{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:33:56Z","timestamp":1791459236931,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CCF-1552935,CNS-1617985"],"award-info":[{"award-number":["CCF-1552935,CNS-1617985"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192390","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"359-373","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["D4: fast concurrency debugging with parallel differential analysis"],"prefix":"10.1145","author":[{"given":"Bozhen","family":"Liu","sequence":"first","affiliation":[{"name":"Texas A&M University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeff","family":"Huang","sequence":"additional","affiliation":[{"name":"Texas A&M University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Akka Cluster Usage. http:\/\/http:\/\/doc.akka.io\/docs\/akka\/current\/java\/ cluster-usage.html .  Akka Cluster Usage. http:\/\/http:\/\/doc.akka.io\/docs\/akka\/current\/java\/ cluster-usage.html ."},{"key":"e_1_3_2_2_2_1","unstructured":"Titan Graph Partitioning. http:\/\/s3.thinkaurelius.com\/docs\/titan\/0.5. 0\/graph-partitioning.html .  Titan Graph Partitioning. http:\/\/s3.thinkaurelius.com\/docs\/titan\/0.5. 0\/graph-partitioning.html ."},{"key":"e_1_3_2_2_3_1","unstructured":"T. J. Watson Libraries for Analysis (WALA). http:\/\/wala.sourceforge. net\/ .  T. J. Watson Libraries for Analysis (WALA). http:\/\/wala.sourceforge. net\/ ."},{"key":"e_1_3_2_2_4_1","unstructured":"RacerD. http:\/\/fbinfer.com\/docs\/racerd.html .  RacerD. http:\/\/fbinfer.com\/docs\/racerd.html ."},{"key":"e_1_3_2_2_5_1","unstructured":"D4 website. https:\/\/github.com\/parasol-aser\/D4 .  D4 website. https:\/\/github.com\/parasol-aser\/D4 ."},{"key":"e_1_3_2_2_6_1","unstructured":"The Language Server protocol. https:\/\/langserver.org\/ .  The Language Server protocol. https:\/\/langserver.org\/ ."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950332"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133993"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568243"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694371"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254100"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944862.1944872"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966465"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/506315.506316"},{"key":"e_1_3_2_2_20_1","first-page":"232","volume-title":"E. Alias Analysis for Object-oriented Programs. Aliasing in ObjectOriented Programming","author":"Sridharan M.","year":"2013","unstructured":"Sridharan , M. , Chandra , S. , Dolby , J. , and Fink , S. J ., and Yahav , E. Alias Analysis for Object-oriented Programs. Aliasing in ObjectOriented Programming ( 2013 ), pp. 196\u2013 232 . Sridharan, M., Chandra, S., Dolby, J., and Fink, S. J., and Yahav, E. Alias Analysis for Object-oriented Programs. Aliasing in ObjectOriented Programming (2013), pp. 196\u2013232."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250767"},{"key":"e_1_3_2_2_22_1","first-page":"236","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation,  OSDI\u201912","author":"Jin G.","unstructured":"Jin , G. , Zhang , W. , Deng , D. , Liblit , B. , and Lu , S . Automated concurrency-bug fixing . In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201912 , USENIX Association , pp. 221\u2013 236 . Jin, G., Zhang, W., Deng, D., Liblit, B., and Lu, S. Automated concurrency-bug fixing. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201912, USENIX Association, pp. 221\u2013236."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37051-9_3"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145831"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869495"},{"key":"e_1_3_2_2_26_1","first-page":"280","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation,  OSDI\u201908","author":"Musuvathi M.","unstructured":"Musuvathi , M. , Qadeer , S. , Ball , T. , Basler , G. , Nainar , P. A. , and Neamtiu , I . Finding and reproducing heisenbugs in concurrent programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201908 , USENIX Association , pp. 267\u2013 280 . Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P. A., and Neamtiu, I. Finding and reproducing heisenbugs in concurrent programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201908, USENIX Association, pp. 267\u2013280."},{"key":"e_1_3_2_2_27_1","first-page":"28","volume-title":"Proceedings of the 22Nd International Conference on Parallel Architectures and Compilation Techniques,  PACT \u201913","author":"Nagaraj V.","unstructured":"Nagaraj , V. , and Govindarajan , R . Parallel flow-sensitive pointer analysis by graph-rewriting . In Proceedings of the 22Nd International Conference on Parallel Architectures and Compilation Techniques, PACT \u201913 , IEEE Press , pp. 19\u2013 28 . Nagaraj, V., and Govindarajan, R. Parallel flow-sensitive pointer analysis by graph-rewriting. In Proceedings of the 22Nd International Conference on Parallel Architectures and Compilation Techniques, PACT \u201913, IEEE Press, pp. 19\u201328."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28652-0_4"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069785"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351720"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094817"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2014.54"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970298"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818787"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950395"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346191"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092705"},{"key":"e_1_3_2_2_44_1","unstructured":"Camil Demetrescu Fully Dynamic Algorithms for Path Problems on Directed Graphs. PhD thesis 2001.  Camil Demetrescu Fully Dynamic Algorithms for Path Problems on Directed Graphs. PhD thesis 2001."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2756553"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993636.1993679"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568294"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192390","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192390","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192390","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192390"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":46,"alternative-id":["10.1145\/3192366.3192390","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192390","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192390","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}