{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:35:48Z","timestamp":1759638948051,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,20]],"date-time":"2021-06-20T00:00:00Z","timestamp":1624147200000},"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":[[2021,6,22]]},"DOI":"10.1145\/3460946.3464314","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T12:19:55Z","timestamp":1624018795000},"page":"13-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Program analysis for reversible languages"],"prefix":"10.1145","author":[{"given":"Niklas","family":"Deworetzki","sequence":"first","affiliation":[{"name":"TH Mittelhessen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0216-8803","authenticated-orcid":false,"given":"Uwe","family":"Meyer","sequence":"additional","affiliation":[{"name":"TH Mittelhessen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compilers: Principles, Techniques and Tools. Pearson.","author":"Aho A. V.","year":"2006","unstructured":"A. V. Aho , R. Sethi , and J. D. Ullman . 2006 . Compilers: Principles, Techniques and Tools. Pearson. A. V. Aho, R. Sethi, and J. D. Ullman. 2006. Compilers: Principles, Techniques and Tools. Pearson."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73561"},{"key":"e_1_3_2_1_3_1","first-page":"c2011","volume-title":"Jens Knoop (Ed.) (Lecture Notes in Computer Science","volume":"163","author":"Axelsen Holger Bock","year":"2011","unstructured":"Holger Bock Axelsen . 2011 . Clean Translation of an Imperative Reversible Programming Language.. In CC , Jens Knoop (Ed.) (Lecture Notes in Computer Science , Vol. 6601). Springer, 144\u2013 163 . isbn:978-3-642-19860-1 http:\/\/dblp.uni-trier.de\/db\/conf\/cc\/c c2011 .html##Axelsen11 Holger Bock Axelsen. 2011. Clean Translation of an Imperative Reversible Programming Language.. In CC, Jens Knoop (Ed.) (Lecture Notes in Computer Science, Vol. 6601). Springer, 144\u2013163. isbn:978-3-642-19860-1 http:\/\/dblp.uni-trier.de\/db\/conf\/cc\/cc2011.html##Axelsen11"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1088\/1742-5468\/2015\/06\/p06015"},{"volume-title":"The Future of Computing Depends on Making It Reversible","author":"Frank Michael P.","key":"e_1_3_2_1_5_1","unstructured":"Michael P. Frank . 2017. The Future of Computing Depends on Making It Reversible . IEEE Spectrum , September. Michael P. Frank. 2017. The Future of Computing Depends on Making It Reversible. IEEE Spectrum, September."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.11309\/jssst.33.3_108"},{"key":"e_1_3_2_1_7_1","volume-title":"Selected Results of the COST Action IC1405, Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, and Carla Ferreira (Eds.) (Lecture Notes in Computer Science","author":"Hoey James","year":"2070","unstructured":"James Hoey , Ivan Lanese , Naoki Nishida , Irek Ulidowski , and Germ\u00e1n Vidal . 2020. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs .. In Selected Results of the COST Action IC1405, Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, and Carla Ferreira (Eds.) (Lecture Notes in Computer Science , Vol. 12070). Springer, 108\u2013 127 . isbn:978-3-030-47361-7 http:\/\/dblp.uni-trier.de\/db\/series\/lncs\/lncs1 2070 .html##HoeyL0UV20 James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, and Germ\u00e1n Vidal. 2020. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs.. In Selected Results of the COST Action IC1405, Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, and Carla Ferreira (Eds.) (Lecture Notes in Computer Science, Vol. 12070). Springer, 108\u2013127. isbn:978-3-030-47361-7 http:\/\/dblp.uni-trier.de\/db\/series\/lncs\/lncs12070.html##HoeyL0UV20"},{"key":"e_1_3_2_1_8_1","volume-title":"16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)","author":"Jeong Eunji","year":"2019","unstructured":"Eunji Jeong , Sungwoo Cho , Gyeong-In Yu , Joo Seong Jeong , Dong-Jin Shin , and Byung-Gon Chun . 2019 . JANUS: Fast and Flexible Deep Learning via Symbolic Graph Execution of Imperative Programs . In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19) . USENIX Association, Boston, MA. 453\u2013468. isbn:978-1-93 1971-49-2 https:\/\/www.usenix.org\/conference\/nsdi19\/presentation\/jeong Eunji Jeong, Sungwoo Cho, Gyeong-In Yu, Joo Seong Jeong, Dong-Jin Shin, and Byung-Gon Chun. 2019. JANUS: Fast and Flexible Deep Learning via Symbolic Graph Execution of Imperative Programs. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). USENIX Association, Boston, MA. 453\u2013468. isbn:978-1-931971-49-2 https:\/\/www.usenix.org\/conference\/nsdi19\/presentation\/jeong"},{"key":"e_1_3_2_1_9_1","volume-title":"Selected Results of the COST Action IC1405, Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, and Carla Ferreira (Eds.) (Lecture Notes in Computer Science","author":"Kuhn Stefan","year":"2070","unstructured":"Stefan Kuhn , Bogdan Aman , Gabriel Ciobanu , Anna Philippou , Kyriaki Psara , and Irek Ulidowski . 2020. Reversibility in Chemical Reactions .. In Selected Results of the COST Action IC1405, Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, and Carla Ferreira (Eds.) (Lecture Notes in Computer Science , Vol. 12070). Springer, 151\u2013 176 . isbn:978-3-030-47361-7 http:\/\/dblp.uni-trier.de\/db\/series\/lncs\/lncs1 2070 .html##0001ACPPU20 Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, and Irek Ulidowski. 2020. Reversibility in Chemical Reactions.. In Selected Results of the COST Action IC1405, Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, and Carla Ferreira (Eds.) (Lecture Notes in Computer Science, Vol. 12070). Springer, 151\u2013176. isbn:978-3-030-47361-7 http:\/\/dblp.uni-trier.de\/db\/series\/lncs\/lncs12070.html##0001ACPPU20"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.53.0183"},{"key":"e_1_3_2_1_11_1","unstructured":"C. Lutz. 1986. Janus \u2013 A Time-Reversible Language. http:\/\/tetsuo.jp\/ref\/janus.pdf Letter to R. Landauer.  C. Lutz. 1986. Janus \u2013 A Time-Reversible Language. http:\/\/tetsuo.jp\/ref\/janus.pdf Letter to R. Landauer."},{"key":"e_1_3_2_1_12_1","volume-title":"Ershov Memorial Conference, Manuel Mazzara and Andrei Voronkov (Eds.) (Lecture Notes in Computer Science","volume":"217","author":"Mogensen Torben \u00c6gidius","year":"2015","unstructured":"Torben \u00c6gidius Mogensen . 2015 . RSSA: A Reversible SSA Form .. In Ershov Memorial Conference, Manuel Mazzara and Andrei Voronkov (Eds.) (Lecture Notes in Computer Science , Vol. 9609). Springer, 203\u2013 217 . isbn:978-3-319-41578-9 http:\/\/dblp.uni-trier.de\/db\/conf\/ershov\/ershov2015.html##Mogensen15 Torben \u00c6gidius Mogensen. 2015. RSSA: A Reversible SSA Form.. In Ershov Memorial Conference, Manuel Mazzara and Andrei Voronkov (Eds.) (Lecture Notes in Computer Science, Vol. 9609). Springer, 203\u2013217. isbn:978-3-319-41578-9 http:\/\/dblp.uni-trier.de\/db\/conf\/ershov\/ershov2015.html##Mogensen15"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1366230.1366239"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244404"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Canada","acronym":"PLDI '21"},"container-title":["Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460946.3464314","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460946.3464314","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:22Z","timestamp":1750193302000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460946.3464314"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,20]]},"references-count":14,"alternative-id":["10.1145\/3460946.3464314","10.1145\/3460946"],"URL":"https:\/\/doi.org\/10.1145\/3460946.3464314","relation":{},"subject":[],"published":{"date-parts":[[2021,6,20]]},"assertion":[{"value":"2021-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}