{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:40:35Z","timestamp":1743046835040,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031253119"},{"type":"electronic","value":"9783031253126"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-25312-6_31","type":"book-chapter","created":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T18:47:24Z","timestamp":1675968444000},"page":"267-276","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Static Deadlock Detection in\u00a0Low-Level C Code"],"prefix":"10.1007","author":[{"given":"Dominik","family":"Harmim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladim\u00edr","family":"Marcin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucie","family":"Svobodov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,10]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Blackshear, S., Gorogiannis, N., O\u2019Hearn, P., Sergey, I.: RacerD: compositional static race detection. In: Proceedings of ACMPL (OOPSLA), vol. 2, pp. 144:1\u2013144:28 (2018)","DOI":"10.1145\/3276514"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Brotherston, J., Brunet, P., Gorogiannis, N., Kanovich, M.: A Compositional Deadlock Detector for Android Java. In: Proceedings of ASE 2021. IEEE (2021)","DOI":"10.1109\/ASE51524.2021.9678572"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Cai, Y., Meng, R., Palsberg, J.: Low-Overhead Deadlock Prediction. In: Proc. of ICSE 2020. ACM (2020)","DOI":"10.1145\/3377811.3380367"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-17524-9_1","volume-title":"NASA Formal Methods","author":"C Calcagno","year":"2015","unstructured":"Calcagno, C., et al.: Moving fast with software verification. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2015. LNCS, vol. 9058, pp. 3\u201311. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17524-9_1"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approx. of fixpoints. In Proceedings of POPL 1977. ACM (1977)","DOI":"10.1145\/512950.512973"},{"issue":"8","key":"31_CR6","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/3338112","volume":"62","author":"D Distefano","year":"2019","unstructured":"Distefano, D., F\u00e4hndrich, M., Logozzo, F., O\u2019Hearn, P.: Scaling Static Analyses at Facebook. Commun. ACM 62(8), 62\u201370 (2019)","journal-title":"Commun. ACM"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Framework for testing multi-threaded java programs. Concur. Computat. Pract. Exper. 15(3\u20135), 485\u2013499 2003","DOI":"10.1002\/cpe.654"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Engler, D., Ashcraft, K.: RacerX: Effective, static detection of race conditions and deadlocks. In: Proceedings of SOSP 2003. ACM (2003)","DOI":"10.1145\/945445.945468"},{"issue":"3","key":"31_CR9","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1002\/stvr.1546","volume":"25","author":"J Fiedor","year":"2015","unstructured":"Fiedor, J., Hrub\u00e1, V., K\u0159ena, B., Letko, Z., Ur, S., Vojnar, T.: Advances in noise-based testing of concurrent software. Softw. Test. Verif. Reliab. 25(3), 272\u2013309 (2015)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Fiedor, J., Mu\u017eikovsk\u00e1, M., Smr\u010dka, A., Va\u0161\u00ed\u010dek, O., Vojnar, T.: Advances in the ANaConDA Framework for Dynamic Analysis. In: Proceedings of ISSTA 2018. ACM (2018)","DOI":"10.1145\/3213846.3229505"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.: FastTrack: efficient and precise dynamic race detection. In: Proceedings of PLDI 2009. ACM (2009)","DOI":"10.1145\/1542476.1542490"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S., Yi, J.: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In: Proceedings of PLDI 2008. ACM (2008)","DOI":"10.1145\/1375581.1375618"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/10722468_15","volume-title":"SPIN Model Checking and Software Verification","author":"K Havelund","year":"2000","unstructured":"Havelund, K.: Using Runtime analysis to guide model checking of java programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, pp. 245\u2013264. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/10722468_15"},{"issue":"4","key":"31_CR14","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K Havelund","year":"2000","unstructured":"Havelund, K., Pressburger, T.: Model checking java programs using java pathfinder. Inter. Jour. on STTT 2(4), 366\u2013381 (2000)","journal-title":"Inter. Jour. on STTT"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Kildall, G.: A Unified Approach To Global Program Optimization. In: Proceedings of POPL1973. ACM (1973)","DOI":"10.1145\/512927.512945"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Kroening, D., Poetzl, D., Schrammel, P., Wachter, B.: Sound static deadlock analysis for c\/pthreads. In Proc. of ASE 2016. ACM (2016)","DOI":"10.1145\/2970276.2970309"},{"key":"31_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-70545-1_7","volume-title":"Computer Aided Verification","author":"A Lal","year":"2008","unstructured":"Lal, A., Reps, T.: Reducing concurrent analysis under a context bound to sequential analysis. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 37\u201351. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70545-1_7"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Lerch, J., Sp\u00e4th, J., Bodden, E., Mezini, M.: Access-path abstraction: scaling field-sensitive data-flow analysis with unbound. Access Paths. In: Proceedings of ASE 2015. IEEE (2015)","DOI":"10.1109\/ASE.2015.9"},{"key":"31_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-319-46520-3_12","volume-title":"Automated Technology for Verification and Analysis","author":"TL Nguyen","year":"2016","unstructured":"Nguyen, T.L., Fischer, B., La Torre, S., Parlato, G.: Lazy sequentialization for the safety verification of unbounded concurrent programs. In: Artho, C., Legay, A., Peled, D. (eds.) ATVA 2016. LNCS, vol. 9938, pp. 174\u2013191. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46520-3_12"},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M.: Precise Interprocedural dataflow analysis via graph reachability. In Proceedings of POPL1995. ACM (1995)","DOI":"10.1145\/199448.199462"},{"key":"31_CR21","unstructured":"Signoles, J., Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Yakobowski, B.: FramaC A Software Analysis Perspective. Formal Asp. Comput. 27, 22 (2012)"},{"key":"31_CR22","doi-asserted-by":"crossref","unstructured":"Wu, J., Tang, Y., Cui, H ., Yang, J.: Sound and precise analysis of parallel programs through schedule specialization. In: Proceedings of PLDI 2012. ACM (2012)","DOI":"10.1145\/2254064.2254090"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-25312-6_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T18:58:17Z","timestamp":1675969097000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-25312-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031253119","9783031253126"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-25312-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"10 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EUROCAST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Systems Theory","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Las Palmas de Gran Canaria","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 February 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 February 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eurocast2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/eurocast2022.fulp.ulpgc.es\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}