{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:01Z","timestamp":1750306141132,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T00:00:00Z","timestamp":1499644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,10]]},"DOI":"10.1145\/3092703.3092733","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"102-112","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Efficient computation of happens-before relation for event-driven programs"],"prefix":"10.1145","author":[{"given":"Pallavi","family":"Maiya","sequence":"first","affiliation":[{"name":"IISc Bangalore, India"}]},{"given":"Aditya","family":"Kanade","sequence":"additional","affiliation":[{"name":"IISc Bangalore, India"}]}],"member":"320","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Retrieved","author":"Bielik Pavol","year":"2015","unstructured":"Pavol Bielik , Veselin Raychev , and Martin Vechev . 2015 . EventRacer for Android. (2015) . Retrieved May 10, 2017 from http:\/\/eventracer.org\/android Pavol Bielik, Veselin Raychev, and Martin Vechev. 2015. EventRacer for Android. (2015). Retrieved May 10, 2017 from http:\/\/eventracer.org\/android"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814303"},{"key":"e_1_3_2_1_3_1","volume-title":"Bond","author":"Biswas Swarnendu","year":"2014","unstructured":"Swarnendu Biswas , Jipeng Huang , Aritra Sengupta , and Michael D . Bond . 2014 . Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, and Michael D. Bond. 2014."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594323"},{"key":"e_1_3_2_1_5_1","unstructured":"Mark Christiaens and Koen De Bosschere. 2001.  Mark Christiaens and Koen De Bosschere. 2001."},{"key":"e_1_3_2_1_6_1","volume-title":"On-the-fly Race Detection in Java Programs. In Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium -","volume":"1","author":"Topological Approach","unstructured":"TRaDe, a Topological Approach to On-the-fly Race Detection in Java Programs. In Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1 (JVM\u201901). USENIX Association, Berkeley, CA, USA, 15\u201315. http:\/\/dl.acm.org\/citation.cfm?id=1267847.1267862 TRaDe, a Topological Approach to On-the-fly Race Detection in Java Programs. In Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1 (JVM\u201901). USENIX Association, Berkeley, CA, USA, 15\u201315. http:\/\/dl.acm.org\/citation.cfm?id=1267847.1267862"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_8_1","unstructured":"Cormac Flanagan Stephen N. Freund and Jaeheon Yi. 2008.  Cormac Flanagan Stephen N. Freund and Jaeheon Yi. 2008."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375618"},{"key":"e_1_3_2_1_10_1","volume-title":"Cristiano L. Pereira, and Gilles A. Pokam.","author":"Hsiao Chun-Hung","year":"2017","unstructured":"Chun-Hung Hsiao , Satish Narayanasamy , Essam Muhammad Idris Khan , Cristiano L. Pereira, and Gilles A. Pokam. 2017 . Chun-Hung Hsiao, Satish Narayanasamy, Essam Muhammad Idris Khan, Cristiano L. Pereira, and Gilles A. Pokam. 2017."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037712"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594330"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931069"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/99935.99944"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814282"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_44"},{"key":"e_1_3_2_1_18_1","unstructured":"Pallavi Maiya and Aditya Kanade. 2017.  Pallavi Maiya and Aditya Kanade. 2017."},{"key":"e_1_3_2_1_19_1","volume-title":"Retrieved","author":"Proofs Correctness","year":"2017","unstructured":"Correctness Proofs and Complexity Analysis of EventTrack Algorithm . ( 2017 ). Retrieved May 10, 2017 from http: \/\/www.iiscseal.net\/publications\/eventtrackappendix.pdf Correctness Proofs and Complexity Analysis of EventTrack Algorithm. (2017). Retrieved May 10, 2017 from http: \/\/www.iiscseal.net\/publications\/eventtrackappendix.pdf"},{"key":"e_1_3_2_1_20_1","volume-title":"Retrieved","author":"Maiya Pallavi","year":"2017","unstructured":"Pallavi Maiya and Aditya Kanade . 2017 . EventTrack. (2017) . Retrieved May 10, 2017 from http:\/\/bitbucket.org\/iiscseal\/eventtrack Pallavi Maiya and Aditya Kanade. 2017. EventTrack. (2017). Retrieved May 10, 2017 from http:\/\/bitbucket.org\/iiscseal\/eventtrack"},{"key":"e_1_3_2_1_21_1","unstructured":"Pallavi Maiya Aditya Kanade and Rupak Majumdar. 2014. DroidRacer. (2014).  Pallavi Maiya Aditya Kanade and Rupak Majumdar. 2014. DroidRacer. (2014)."},{"key":"e_1_3_2_1_22_1","unstructured":"Retrieved May 10 2017 from http:\/\/www.iiscseal.net\/droidracer  Retrieved May 10 2017 from http:\/\/www.iiscseal.net\/droidracer"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594311"},{"key":"e_1_3_2_1_24_1","first-page":"215","article-title":"Virtual time and global states of distributed systems","volume":"1","author":"Mattern Friedemann","year":"1989","unstructured":"Friedemann Mattern . 1989 . Virtual time and global states of distributed systems . Parallel and Distributed Algorithms 1 , 23 (1989), 215 \u2013 226 . Friedemann Mattern. 1989. Virtual time and global states of distributed systems. Parallel and Distributed Algorithms 1, 23 (1989), 215\u2013226.","journal-title":"Parallel and Distributed Algorithms"},{"key":"e_1_3_2_1_25_1","unstructured":"Zigurd Mednieks Laird Dornin G Blake Meike and Masumi Nakamura. 2012.  Zigurd Mednieks Laird Dornin G Blake Meike and Masumi Nakamura. 2012."},{"volume-title":"O\u2019Reilly Media","author":"Android Programming","key":"e_1_3_2_1_26_1","unstructured":"Programming Android . O\u2019Reilly Media , Inc . Programming Android. O\u2019Reilly Media, Inc."},{"key":"e_1_3_2_1_27_1","unstructured":"Robert O\u2019Callahan and Jong-Deok Choi. 2003.  Robert O\u2019Callahan and Jong-Deok Choi. 2003."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_29_1","unstructured":"Boris Petrov Martin Vechev Manu Sridharan and Julian Dolby. 2012.  Boris Petrov Martin Vechev Manu Sridharan and Julian Dolby. 2012."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254095"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_32_1","unstructured":"Veselin Raychev Martin Vechev and Manu Sridharan. 2013.  Veselin Raychev Martin Vechev and Manu Sridharan. 2013."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509538"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931068"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103702"}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Santa Barbara CA USA","acronym":"ISSTA '17"},"container-title":["Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092733","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3092733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:27Z","timestamp":1750217847000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092733"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":35,"alternative-id":["10.1145\/3092703.3092733","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3092733","relation":{},"subject":[],"published":{"date-parts":[[2017,7,10]]},"assertion":[{"value":"2017-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}