{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:24Z","timestamp":1750220004602,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"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":[[2022,11,7]]},"DOI":"10.1145\/3540250.3549116","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"233-244","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Static executes-before analysis for event driven programs"],"prefix":"10.1145","author":[{"given":"Rekha","family":"Pai","sequence":"first","affiliation":[{"name":"IISc Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Uppar","sequence":"additional","affiliation":[{"name":"IISc Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akshatha","family":"Shenoy","sequence":"additional","affiliation":[{"name":"TCS Research, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pranshul","family":"Kushwaha","sequence":"additional","affiliation":[{"name":"IISc Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deepak","family":"D'Souza","sequence":"additional","affiliation":[{"name":"IISc Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48288-9_5"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17184-1_25"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19718-5_11"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. 19th ACM Symposium on Operating Systems Principles (SOSP","author":"Dawson","year":"2003","unstructured":"Dawson R. Engler and Ken Ashcraft. 2003. RacerX: effective, static detection of race conditions and deadlocks . In Proc. 19th ACM Symposium on Operating Systems Principles (SOSP 2003 ). ACM, Bolton Landing, NY, USA. 237\u2013252. Dawson R. Engler and Ken Ashcraft. 2003. RacerX: effective, static detection of race conditions and deadlocks. In Proc. 19th ACM Symposium on Operating Systems Principles (SOSP 2003). ACM, Bolton Landing, NY, USA. 237\u2013252."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. International Symposium on Code Generation and Optimization (CGO","author":"Fu Xinwei","year":"2018","unstructured":"Xinwei Fu , Dongyoon Lee , and Changhee Jung . 2018 . nAdroid: Statically Detecting Ordering Violations in Android Applications . In Proc. International Symposium on Code Generation and Optimization (CGO 2018). ACM, Vienna, Austria,. 62\u201374. Xinwei Fu, Dongyoon Lee, and Changhee Jung. 2018. nAdroid: Statically Detecting Ordering Violations in Android Applications. In Proc. International Symposium on Code Generation and Optimization (CGO 2018). ACM, Vienna, Austria,. 62\u201374."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250765"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173173"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595701"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. 12th International Conference on Compiler Construction (CC","author":"Lhot\u00e1k Ondrej","year":"2003","unstructured":"Ondrej Lhot\u00e1k and Laurie J. Hendren . 2003. Scaling Java Points-to Analysis Using SPARK . In Proc. 12th International Conference on Compiler Construction (CC 2003 ). Springer, Warsaw, Poland. 153\u2013169. Ondrej Lhot\u00e1k and Laurie J. Hendren. 2003. Scaling Java Points-to Analysis Using SPARK. In Proc. 12th International Conference on Compiler Construction (CC 2003). Springer, Warsaw, Poland. 153\u2013169."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594311"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_33"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7088367"},{"key":"e_1_3_2_1_15_1","unstructured":"Rekha R. Pai Abhishek Uppar Akshatha Shenoy Pranshul Kushwaha and Deepak D\u2019Souza. 2022. Static Executes-Before Analysis for Event Driven Programs. http:\/\/www.csa.iisc.ac.in\/ deepakd\/papers\/executes-before.pdf \t\t\t\t  Rekha R. Pai Abhishek Uppar Akshatha Shenoy Pranshul Kushwaha and Deepak D\u2019Souza. 2022. Static Executes-Before Analysis for Event Driven Programs. http:\/\/www.csa.iisc.ac.in\/ deepakd\/papers\/executes-before.pdf"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386901.3396602"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416639"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30942-8_21"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. Usenix","author":"Sterling Nicholas","year":"1993","unstructured":"Nicholas Sterling . 1993 . WARLOCK - A Static Data Race Analysis Tool . In Proc. Usenix Winter 1993 Technical Conference, San Diego, California. USENIX Association, 97\u2013106. Nicholas Sterling. 1993. WARLOCK - A Static Data Race Analysis Tool. In Proc. Usenix Winter 1993 Technical Conference, San Diego, California. USENIX Association, 97\u2013106."},{"key":"e_1_3_2_1_20_1","volume-title":"Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. In 12th IEEE Conference on Software Testing, Validation and Verification, ICST","author":"Wu Diyu","year":"2019","unstructured":"Diyu Wu , Jie Liu , Yulei Sui , Shiping Chen , and Jingling Xue . 2019 . Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. In 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019. IEEE, Xi\u2019an, China. 276\u2013287. Diyu Wu, Jie Liu, Yulei Sui, Shiping Chen, and Jingling Xue. 2019. Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. In 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019. IEEE, Xi\u2019an, China. 276\u2013287."}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"],"location":"Singapore Singapore","acronym":"ESEC\/FSE '22"},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549116","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3549116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:02Z","timestamp":1750182662000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":20,"alternative-id":["10.1145\/3540250.3549116","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3549116","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}