PLDI20 PLDI 2020 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2020) London, UK Europe/London June 15–20, 2020 Alastair F. Donaldson Emina Torlak

Title Page c0bc77c5d26e0e46665bbb39a0dcaa 0000-0003-4832-7662 i 0

Message from the Chairs Alastair F. Donaldson and Emina Torlak Imperial College London, UK; University of Washington, USA 3a58e33d26ca0709f3649aac4d1214 Alastair F. Donaldson Donaldson Alastair F. Imperial College London UK http://multicore.doc.ic.ac.uk/ http://multicore.doc.ic.ac.uk/img/people/ally.jpg https://scholar.google.co.uk/citations?user=ZIUuqNwAAAAJ&hl=en https://twitter.com/afd_icl https://www.linkedin.com/in/alastairdonaldson/ 0000-0002-7448-7961 f19d64f0ee44ffdd563baad9b555fe Emina Torlak Torlak Emina University of Washington USA 0000-0002-1155-2711 iii 0

PLDI 2020 Organization 3a58e33d26ca0709f3649aac4d1214 http://multicore.doc.ic.ac.uk/ http://multicore.doc.ic.ac.uk/img/people/ally.jpg https://scholar.google.co.uk/citations?user=ZIUuqNwAAAAJ&hl=en https://twitter.com/afd_icl https://www.linkedin.com/in/alastairdonaldson/ 0000-0002-7448-7961 cii 0

Sponsors 3a58e33d26ca0709f3649aac4d1214 http://multicore.doc.ic.ac.uk/ http://multicore.doc.ic.ac.uk/img/people/ally.jpg https://scholar.google.co.uk/citations?user=ZIUuqNwAAAAJ&hl=en https://twitter.com/afd_icl https://www.linkedin.com/in/alastairdonaldson/ 0000-0002-7448-7961 cci 0

Data-Driven Inference of Representation Invariants Anders Miltner, Saswat Padhi, Todd Millstein, and David Walker Princeton University, USA; University of California at Los Angeles, USA 92fbf762e559ec3d4a9b5e0136fd51 Anders Miltner Miltner Anders Princeton University USA bc0754b8f0b290b4bda42e686c111e Saswat Padhi Padhi Saswat University of California at Los Angeles USA a0c20a917b7af28947e045b7e9d046 Todd Millstein Millstein Todd University of California at Los Angeles USA 0000-0002-2031-1514 16589f82ddb769a15781d5259de9ba David Walker Walker David Princeton University USA 0000-0003-3681-149X http://scholar.google.com/scholar?q=Anders+Miltner%2C+Saswat+Padhi%2C+Todd+Millstein%2C+and+David+Walker+%22Data-Driven+Inference+of+Representation+Invariants%22 10.1145/3385412.3385967 https://dl.acm.org/doi/pdf/10.1145/3385412.3385967 10.1145/3395638 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1 1

Type Error Feedback via Analytic Program Repair Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, and Ranjit Jhala University of California at San Diego, USA; University of Michigan, USA 695d925d8b46332ffb428c2e5554a9 Georgios Sakkas Sakkas Georgios University of California at San Diego USA https://gsakkas.github.io/ https://gsakkas.github.io/assets/images/myphoto.jpg https://scholar.google.com/citations?user=yRC3GKkAAAAJ&hl=en https://www.linkedin.com/in/gsakkas/ 0000-0002-1071-8038 ca82eb1d8b16136eafceabfd8d7029 Madeline Endres Endres Madeline University of Michigan USA http://www-personal.umich.edu/~endremad/ http://www-personal.umich.edu/~endremad/maddy1.jpg https://scholar.google.com/citations?user=igiCj3cAAAAJ&hl=en https://twitter.com/cellocorgi 0000-0002-4618-4939 e9b1b05d169d6e96ae26a9d7cfbedd Benjamin Cosman Cosman Benjamin University of California at San Diego USA 202e6495cc7ade37e474f276c43f94 Westley Weimer Weimer Westley University of Michigan USA 0000-0001-6749-2204 bb903e21b284d38ed3e252aaa34b1b Ranjit Jhala Jhala Ranjit University of California at San Diego USA 0000-0002-1802-9421 http://scholar.google.com/scholar?q=Georgios+Sakkas%2C+Madeline+Endres%2C+Benjamin+Cosman%2C+Westley+Weimer%2C+and+Ranjit+Jhala+%22Type+Error+Feedback+via+Analytic+Program+Repair%22 10.1145/3385412.3386005 https://dl.acm.org/doi/pdf/10.1145/3385412.3386005 10.1145/3395640 acm_artifacts_available acm_artifacts_evaluated_functional 21 2

Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock University of Washington, USA; Certora, USA; MPI-SWS, Germany d19ee8fb63315d01f0824b6dc6b2f2 Chandrakana Nandi Nandi Chandrakana University of Washington USA http://homes.cs.washington.edu/~cnandi/ 0000-0001-8633-8413 ff9c5c7bfba5bd2076fdd63517132a Max Willsey Willsey Max University of Washington USA https://mwillsey.com https://www.mwillsey.com/assets/max.jpg https://scholar.google.com/citations?user=zko9-RwAAAAJ&hl=en 0000-0001-8066-4218 9d984842c291e1e6cae4355dd15965 Adam Anderson Anderson Adam University of Washington USA 9fc54458b4632f5eac9505b28dafd6 James R. Wilcox Wilcox James R. Certora USA 61ab8b5b1e02c9c7f3f56ac75b428e Eva Darulova Darulova Eva MPI-SWS Germany 0000-0002-6848-3163 24a0f2419d7e3f3802270b3a59d16e Dan Grossman Grossman Dan University of Washington USA ff6f6290a2c5137ff262a9ee32c102 Zachary Tatlock Tatlock Zachary University of Washington USA 0000-0002-4731-0124 http://scholar.google.com/scholar?q=Chandrakana+Nandi%2C+Max+Willsey%2C+Adam+Anderson%2C+James+R.+Wilcox%2C+Eva+Darulova%2C+Dan+Grossman%2C+and+Zachary+Tatlock+%22Synthesizing+Structured+CAD+Models+with+Equality+Saturation+and+Inverse+Transformations%22 10.1145/3385412.3386012 https://dl.acm.org/doi/pdf/10.1145/3385412.3386012 10.1145/3395645 acm_artifacts_available acm_artifacts_evaluated_functional 41 3

Compiler and Runtime Support for Continuation Marks Matthew Flatt and R. Kent Dybvig University of Utah, USA; Cisco Systems, USA ae7b1e49e73f3f1f3531b20749dbd3 Matthew Flatt Flatt Matthew University of Utah USA 0000-0001-8994-2552 54f25b6014a6be73a202e2ef631d32 R. Kent Dybvig Dybvig R. Kent Cisco Systems USA http://scholar.google.com/scholar?q=Matthew+Flatt+and+R.+Kent+Dybvig+%22Compiler+and+Runtime+Support+for+Continuation+Marks%22 10.1145/3385412.3385981 https://dl.acm.org/doi/pdf/10.1145/3385412.3385981 10.1145/3395632 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 61 4

Crafty: Efficient, HTM-Compatible Persistent Transactions Kaan Genç, Michael D. Bond, and Guoqing Harry Xu Ohio State University, USA; University of California at Los Angeles, USA aa441f76f99545d0c4941a81dc2784 Kaan Genç Genç Kaan Ohio State University USA 309355045df2f141ae608afe98d7ce Michael D. Bond Bond Michael D. Ohio State University USA 0000-0002-8971-4944 1075e04be2b31bf952328b4a4092b1 Guoqing Harry Xu Xu Guoqing Harry University of California at Los Angeles USA 0000-0003-4737-2146 http://scholar.google.com/scholar?q=Kaan+Gen%C3%A7%2C+Michael+D.+Bond%2C+and+Guoqing+Harry+Xu+%22Crafty%3A+Efficient%2C+HTM-Compatible+Persistent+Transactions%22 10.1145/3385412.3385991 https://dl.acm.org/doi/pdf/10.1145/3385412.3385991 10.5281/zenodo.3752546 acm_artifacts_available acm_artifacts_evaluated_functional 81 5

From Folklore to Fact: Comparing Implementations of Stacks and Continuations Kavon Farvardin and John Reppy University of Chicago, USA 57b9bd643acd6fcb0b13867e2aad77 Kavon Farvardin Farvardin Kavon University of Chicago USA e9ddb11ffb508a3f1c39d20a4bec9a John Reppy Reppy John University of Chicago USA 0000-0002-5881-298X http://scholar.google.com/scholar?q=Kavon+Farvardin+and+John+Reppy+%22From+Folklore+to+Fact%3A+Comparing+Implementations+of+Stacks+and+Continuations%22 10.1145/3385412.3385994 https://dl.acm.org/doi/pdf/10.1145/3385412.3385994 10.1145/3395636 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 101 6

Typilus: Neural Type Hints Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, and Zheng Gao Microsoft Research, UK; University College London, UK; ENSTA Paris, France 70df73418a28efdfd2efd6914db53b Miltiadis Allamanis Allamanis Miltiadis Microsoft Research UK https://scholar.google.com/citations?user=rYsjwZgAAAAJ 0000-0002-5819-9900 9d379b3ac46968478fd43c952d9092 Earl T. Barr Barr Earl T. University College London UK https://scholar.google.com/citations?user=lSvqKPkAAAAJ 0000-0003-0771-7891 3d31cd542656736f2eba6c5f98ea01 Soline Ducousso Ducousso Soline ENSTA Paris France 1654a24cba623a8dc731ae795a1901 Zheng Gao Gao Zheng University College London UK http://scholar.google.com/scholar?q=Miltiadis+Allamanis%2C+Earl+T.+Barr%2C+Soline+Ducousso%2C+and+Zheng+Gao+%22Typilus%3A+Neural+Type+Hints%22 10.1145/3385412.3385997 https://dl.acm.org/doi/pdf/10.1145/3385412.3385997 121 7

Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, and Ronghui Gu Columbia University, USA b0321f661ebf071f96cf96774736eb Jianan Yao Yao Jianan Columbia University USA 0009-0008-4675-8980 7da335c4eedda89cb5995c62b914ce Gabriel Ryan Ryan Gabriel Columbia University USA 0009-0003-9464-587X 0b7a12ed9460b564da76bf07c86b66 Justin Wong Wong Justin Columbia University USA 30b05448c4231c3445c720aeb0b33a Suman Jana Jana Suman Columbia University USA http://www.sumanj.info https://scholar.google.com/citations?user=SDY9FwUAAAAJ&hl=en 0000-0003-3518-4877 eff44f3baa20df2a1dc66b889bed2b Ronghui Gu Gu Ronghui Columbia University USA https://www.cs.columbia.edu/~rgu/ 0000-0002-6812-6182 http://scholar.google.com/scholar?q=Jianan+Yao%2C+Gabriel+Ryan%2C+Justin+Wong%2C+Suman+Jana%2C+and+Ronghui+Gu+%22Learning+Nonlinear+Loop+Invariants+with+Gated+Continuous+Logic+Networks%22 10.1145/3385412.3385986 https://dl.acm.org/doi/pdf/10.1145/3385412.3385986 acm_artifacts_evaluated_functional 141 8

Blended, Precise Semantic Program Embeddings Ke Wang and Zhendong Su Visa Research, USA; ETH Zurich, Switzerland e8bb4fac9dca8f722629b64fbf9e06 Ke Wang Wang Ke Visa Research USA 0000-0003-0844-5023 3c6367d62fc83ed25ecdbbdf81731d Zhendong Su Su Zhendong ETH Zurich Switzerland 0000-0002-2970-1391 http://scholar.google.com/scholar?q=Ke+Wang+and+Zhendong+Su+%22Blended%2C+Precise+Semantic+Program+Embeddings%22 10.1145/3385412.3385999 https://dl.acm.org/doi/pdf/10.1145/3385412.3385999 161 9

Towards a Verified Range Analysis for JavaScript JITs Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, and Deian Stefan Stanford University, USA; University of California at San Diego, USA; University of Texas at Austin, USA 52e20c38a3d1bc1fab2abc051f1bb6 Fraser Brown Brown Fraser Stanford University USA 28c2bc5fa9215bac00ad74bc4e60e5 John Renner Renner John University of California at San Diego USA b31839866dcc65dfc77d3b330e9275 Andres Nötzli Nötzli Andres Stanford University USA 5db2e55c063a1a183936395165cfa8 Sorin Lerner Lerner Sorin University of California at San Diego USA https://cseweb.ucsd.edu//~lerner/ 0000-0003-3957-0628 535c0e171b6453931e404e8e100e3f Hovav Shacham Shacham Hovav University of Texas at Austin USA 83d170c091dee89d1472f6e5d492fb Deian Stefan Stefan Deian University of California at San Diego USA 0000-0002-7041-7464 http://scholar.google.com/scholar?q=Fraser+Brown%2C+John+Renner%2C+Andres+N%C3%B6tzli%2C+Sorin+Lerner%2C+Hovav+Shacham%2C+and+Deian+Stefan+%22Towards+a+Verified+Range+Analysis+for+JavaScript+JITs%22 10.1145/3385412.3385968 https://dl.acm.org/doi/pdf/10.1145/3385412.3385968 10.1145/3395642 acm_artifacts_available acm_artifacts_evaluated_functional 181 10

Binary Rewriting without Control Flow Recovery Gregory J. Duck, Xiang Gao, and Abhik Roychoudhury National University of Singapore, Singapore e76e8fb27878c069ce38de20a324cd Gregory J. Duck Duck Gregory J. National University of Singapore Singapore 0000-0002-0837-9671 9e05824fef9808742cf691aa44317d Xiang Gao Gao Xiang National University of Singapore Singapore 3df7706ecd48d2527181d283c49957 Abhik Roychoudhury Roychoudhury Abhik National University of Singapore Singapore http://www.comp.nus.edu.sg/~abhik http://www.comp.nus.edu.sg/~abhik/2011.jpg https://scholar.google.com.sg/citations?user=UxFWSJIAAAAJ&hl=en 0000-0002-7127-1137 http://scholar.google.com/scholar?q=Gregory+J.+Duck%2C+Xiang+Gao%2C+and+Abhik+Roychoudhury+%22Binary+Rewriting+without+Control+Flow+Recovery%22 10.1145/3385412.3385972 https://dl.acm.org/doi/pdf/10.1145/3385412.3385972 201 11

BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t Chris Porter, Girish Mururu, Prithayan Barua, and Santosh Pande Georgia Institute of Technology, USA 719420bd7e74f249be0d687c0c10ba Chris Porter Porter Chris Georgia Institute of Technology USA 6c773227e5b7ab046caf53e8f090d8 Girish Mururu Mururu Girish Georgia Institute of Technology USA 0000-0003-0795-1434 ed0c2da42593f3cc80078d3c92c15e Prithayan Barua Barua Prithayan Georgia Institute of Technology USA c85cbbe3b5af215b84fcc31eb03add Santosh Pande Pande Santosh Georgia Institute of Technology USA http://scholar.google.com/scholar?q=Chris+Porter%2C+Girish+Mururu%2C+Prithayan+Barua%2C+and+Santosh+Pande+%22BlankIt+Library+Debloating%3A+Getting+What+You+Want+Instead+of+Cutting+What+You+Don%E2%80%99t%22 10.1145/3385412.3386017 https://dl.acm.org/doi/pdf/10.1145/3385412.3386017 10.1145/3395649 acm_artifacts_available acm_artifacts_evaluated_functional 221 12

Verifying Concurrent Search Structure Templates Siddharth Krishna, Nisarg Patel, Dennis Shasha, and Thomas Wies Microsoft Research, UK; New York University, USA f7ecf98706adeb1c9448bae8b88fd8 Siddharth Krishna Krishna Siddharth Microsoft Research UK 1c7a16117633e6a1a90b2887be1c2d Nisarg Patel Patel Nisarg New York University USA f63fe15b6efbd78f1d1119acb0967f Dennis Shasha Shasha Dennis New York University USA 6e8679216c6dc550ce668085979500 Thomas Wies Wies Thomas New York University USA 0000-0003-4051-5968 http://scholar.google.com/scholar?q=Siddharth+Krishna%2C+Nisarg+Patel%2C+Dennis+Shasha%2C+and+Thomas+Wies+%22Verifying+Concurrent+Search+Structure+Templates%22 10.1145/3385412.3386029 https://dl.acm.org/doi/pdf/10.1145/3385412.3386029 10.1145/3395655 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 241 13

Armada: Low-Effort Verification of High-Performance Concurrent Programs Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, and Xueyuan Zhao Microsoft Research, USA; University of Michigan, USA; Yale University, USA; Carnegie Mellon University, USA; Calibra, USA; Certora, USA f1879695c198380a5a1014b19066b3 Jacob R. Lorch Lorch Jacob R. Microsoft Research USA 0000-0002-7269-2769 ecb2878bc73c6f06bd9350361c76a5 Yixuan Chen Chen Yixuan University of Michigan USA Yale University USA 0000-0001-8659-8493 607064a3f26727f93f3f6af5c1f643 Manos Kapritsos Kapritsos Manos University of Michigan USA 0000-0002-4368-7418 b0cc3960010ad441c0a7d7b1c7248f Bryan Parno Parno Bryan Carnegie Mellon University USA https://www.andrew.cmu.edu/user/bparno/ 0000-0002-9113-1684 b3f5dec2f9320d8acd9cd93561f7c5 Shaz Qadeer Qadeer Shaz Calibra USA c1f11db00525974848b221d15c6046 Upamanyu Sharma Sharma Upamanyu University of Michigan USA 9fc54458b4632f5eac9505b28dafd6 James R. Wilcox Wilcox James R. Certora USA 5e3e3effca3f53d815899c92384183 Xueyuan Zhao Zhao Xueyuan Carnegie Mellon University USA http://scholar.google.com/scholar?q=Jacob+R.+Lorch%2C+Yixuan+Chen%2C+Manos+Kapritsos%2C+Bryan+Parno%2C+Shaz+Qadeer%2C+Upamanyu+Sharma%2C+James+R.+Wilcox%2C+and+Xueyuan+Zhao+%22Armada%3A+Low-Effort+Verification+of+High-Performance+Concurrent+Programs%22 10.1145/3385412.3385971 https://dl.acm.org/doi/pdf/10.1145/3385412.3385971 10.1145/3395653 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 261 14

Decidable Verification under a Causally Consistent Shared Memory Ori Lahav and Udi Boker Tel Aviv University, Israel; IDC Herzliya, Israel 8902a6da7f60455bc9c2285b304bb2 Ori Lahav Lahav Ori Tel Aviv University Israel https://www.cs.tau.ac.il/~orilahav/ 0000-0003-4305-6998 d56b4b01c79e96b16b78b0910dc0b9 Udi Boker Boker Udi IDC Herzliya Israel http://scholar.google.com/scholar?q=Ori+Lahav+and+Udi+Boker+%22Decidable+Verification+under+a+Causally+Consistent+Shared+Memory%22 10.1145/3385412.3385966 https://dl.acm.org/doi/pdf/10.1145/3385412.3385966 10.1145/3395637 acm_artifacts_available acm_artifacts_evaluated_functional 281 15

Inductive Sequentialization of Asynchronous Programs Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer IST Austria, Austria; IRIF, France; University of Paris, France; CNRS, France; Calibra, USA e8aa8673019bdc7a2e5f1900d6b917 Bernhard Kragl Kragl Bernhard IST Austria Austria http://pub.ist.ac.at/~bkragl/ http://pub.ist.ac.at/~bkragl/img/bkragl.jpg 02bfe651beb36f859bf0ea3335b4b6 Constantin Enea Enea Constantin IRIF France University of Paris France CNRS France 8ffc0efdc86d4b21a7c959055068ef Thomas A. Henzinger Henzinger Thomas A. IST Austria Austria 6d89e2b5af4b70f7ab29b078f948d0 Suha Orhun Mutluergil Mutluergil Suha Orhun IRIF France University of Paris France CNRS France b3f5dec2f9320d8acd9cd93561f7c5 Shaz Qadeer Qadeer Shaz Calibra USA http://scholar.google.com/scholar?q=Bernhard+Kragl%2C+Constantin+Enea%2C+Thomas+A.+Henzinger%2C+Suha+Orhun+Mutluergil%2C+and+Shaz+Qadeer+%22Inductive+Sequentialization+of+Asynchronous+Programs%22 10.1145/3385412.3385980 https://dl.acm.org/doi/pdf/10.1145/3385412.3385980 10.5281/zenodo.3754772 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 301 16

The Essence of Bluespec: A Core Language for Rule-Based Hardware Design Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, and Arvind Massachusetts Institute of Technology, USA 5b898056e939f7b39f34bd934c238a Thomas Bourgeat Bourgeat Thomas Massachusetts Institute of Technology USA 0000-0002-8468-8409 5d6943bf29c6d08d22ee2c2e87a1b8 Clément Pit-Claudel Pit-Claudel Clément Massachusetts Institute of Technology USA https://pit-claudel.fr/clement/ http://pit-claudel.fr/clement/me.jpg https://scholar.google.com/citations?user=kMj6fBwAAAAJ https://twitter.com/cpitclaudel https://www.linkedin.com/in/clementpitclaudel/ 0000-0002-1900-3901 64ccc5678e24745fc3e25ef094956b Adam Chlipala Chlipala Adam Massachusetts Institute of Technology USA http://adam.chlipala.net/ http://adam.chlipala.net/adamc2019.jpg http://scholar.google.com/citations?user=Imh0w3AAAAAJ https://www.linkedin.com/in/adamch/ 0000-0001-7085-9417 612aae270be8d2929fe202dd6efd2e Arvind Arvind Massachusetts Institute of Technology USA http://scholar.google.com/scholar?q=Thomas+Bourgeat%2C+Cl%C3%A9ment+Pit-Claudel%2C+Adam+Chlipala%2C+and++Arvind+%22The+Essence+of+Bluespec%3A+A+Core+Language+for+Rule-Based+Hardware+Design%22 10.1145/3385412.3385965 https://dl.acm.org/doi/pdf/10.1145/3385412.3385965 acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 321 17

LLHD: A Multi-level Intermediate Representation for Hardware Description Languages Fabian Schuiki, Andreas Kurth, Tobias Grosser, and Luca Benini ETH Zurich, Switzerland 8cbdb41ddb050eaa28414874267aef Fabian Schuiki Schuiki Fabian ETH Zurich Switzerland 031516fd588d0e2d4f7ea0481c905c Andreas Kurth Kurth Andreas ETH Zurich Switzerland 2bc9248081767d5713c9fa0874a5b0 Tobias Grosser Grosser Tobias ETH Zurich Switzerland ddbb12f4ee5b6fe3b53048534e431e Luca Benini Benini Luca ETH Zurich Switzerland http://scholar.google.com/scholar?q=Fabian+Schuiki%2C+Andreas+Kurth%2C+Tobias+Grosser%2C+and+Luca+Benini+%22LLHD%3A+A+Multi-level+Intermediate+Representation+for+Hardware+Description+Languages%22 10.1145/3385412.3386024 https://dl.acm.org/doi/pdf/10.1145/3385412.3386024 10.1145/3395654 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 341 18

On the Principles of Differentiable Quantum Programming Languages Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, and Xiaodi Wu University of Maryland, USA 6c1abc0b8b4e14d84152a7f284937f Shaopeng Zhu Zhu Shaopeng University of Maryland USA 7957c63bc01587ef56da7f38117a4e Shih-Han Hung Hung Shih-Han University of Maryland USA 71ffdcbfadc7cad50faf3f75888580 Shouvanik Chakrabarti Chakrabarti Shouvanik University of Maryland USA 2ee3b078661b3c0b8a5d4933bd5e41 Xiaodi Wu Wu Xiaodi University of Maryland USA 0000-0001-8877-9802 http://scholar.google.com/scholar?q=Shaopeng+Zhu%2C+Shih-Han+Hung%2C+Shouvanik+Chakrabarti%2C+and+Xiaodi+Wu+%22On+the+Principles+of+Differentiable+Quantum+Programming+Languages%22 10.1145/3385412.3386011 https://dl.acm.org/doi/pdf/10.1145/3385412.3386011 10.1145/3395644 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 361 19

Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics Benjamin Bichsel, Maximilian Baader, Timon Gehr, and Martin Vechev ETH Zurich, Switzerland 3a9e546ad2854c08dfc3fd9b4e9df9 Benjamin Bichsel Bichsel Benjamin ETH Zurich Switzerland 0000-0003-3283-7908 7f9980a59073de3fde713b0d1d50fd Maximilian Baader Baader Maximilian ETH Zurich Switzerland https://www.sri.inf.ethz.ch/people/max https://scholar.google.com/citations?user=LKqCkWoAAAAJ&hl=en&oi=ao 0000-0002-9271-6422 b8950ca30de6e42e82c3f1b7f69f7b Timon Gehr Gehr Timon ETH Zurich Switzerland 0009-0000-7470-0489 59ecdc47afb0820ce03a31973eeb49 Martin Vechev Vechev Martin ETH Zurich Switzerland https://www.sri.inf.ethz.ch/people/martin https://scholar.google.com/citations?user=aZ1Rh50AAAAJ&hl=en 0000-0002-0054-9568 http://scholar.google.com/scholar?q=Benjamin+Bichsel%2C+Maximilian+Baader%2C+Timon+Gehr%2C+and+Martin+Vechev+%22Silq%3A+A+High-Level+Quantum+Language+with+Safe+Uncomputation+and+Intuitive+Semantics%22 10.1145/3385412.3386007 https://dl.acm.org/doi/pdf/10.1145/3385412.3386007 10.5281/zenodo.3764961 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 381 20

Improving Program Locality in the GC using Hotness Albert Mingkun Yang, Erik Österlund, and Tobias Wrigstad Uppsala University, Sweden; Oracle, Sweden 45ecb4ae0249c53fb6aa892d290983 Albert Mingkun Yang Yang Albert Mingkun Uppsala University Sweden 5f6a73b4e1515d3955d99dc5fcb4c6 Erik Österlund Österlund Erik Oracle Sweden 0000-0003-3686-8568 2368d16f9b340697632ec641be1465 Tobias Wrigstad Wrigstad Tobias Uppsala University Sweden 0000-0002-4269-5408 http://scholar.google.com/scholar?q=Albert+Mingkun+Yang%2C+Erik+%C3%96sterlund%2C+and+Tobias+Wrigstad+%22Improving+Program+Locality+in+the+GC+using+Hotness%22 10.1145/3385412.3385977 https://dl.acm.org/doi/pdf/10.1145/3385412.3385977 10.1145/3395659 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 401 21

A Marriage of Pointer- and Epoch-Based Reclamation Jeehoon Kang and Jaehwang Jung KAIST, South Korea 1a4b63c21fe2a7b86d15fe4a2bbdab Jeehoon Kang Kang Jeehoon KAIST South Korea https://cp.kaist.ac.kr/jeehoon.kang https://cp.kaist.ac.kr/assets/jeehoon.kang.jpg https://scholar.google.com/citations?user=rVgfdSYAAAAJ https://twitter.com/jeehoon_kang https://www.linkedin.com/in/jeehoon-kang-2b5b6172 0000-0002-2115-0871 de75278faa68e8cbebbb5c552ebe39 Jaehwang Jung Jung Jaehwang KAIST South Korea 0000-0001-6099-2644 http://scholar.google.com/scholar?q=Jeehoon+Kang+and+Jaehwang+Jung+%22A+Marriage+of+Pointer-+and+Epoch-Based+Reclamation%22 10.1145/3385412.3385978 https://dl.acm.org/doi/pdf/10.1145/3385412.3385978 10.1145/3395630 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 421 22

CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation Brian Suchy, Simone Campanoni, Nikos Hardavellas, and Peter Dinda Northwestern University, USA ecfe2d00d874cb5ef945706d77ef35 Brian Suchy Suchy Brian Northwestern University USA 0000-0002-1559-9322 4a281b1fbf9b39cdfc471a72889b9f Simone Campanoni Campanoni Simone Northwestern University USA 0000-0001-9806-7016 d770ab2d68fa7b05f571baa6aa3edc Nikos Hardavellas Hardavellas Nikos Northwestern University USA 0000-0002-1137-8100 eb1782d110be64e7523a65bb4d4e66 Peter Dinda Dinda Peter Northwestern University USA 0000-0001-5315-5987 http://scholar.google.com/scholar?q=Brian+Suchy%2C+Simone+Campanoni%2C+Nikos+Hardavellas%2C+and+Peter+Dinda+%22CARAT%3A+A+Case+for+Virtual+Memory+through+Compiler-+and+Runtime-Based+Address+Translation%22 10.1145/3385412.3385987 https://dl.acm.org/doi/pdf/10.1145/3385412.3385987 441 23

Repairing and Mechanising the JavaScript Relaxed Memory Model Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, and Shu-yu Guo University of Cambridge, UK; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; ENS Rennes, France; Bloomberg, USA 77786e2f196ae3e7ac31663bd67459 Conrad Watt Watt Conrad University of Cambridge UK 0000-0002-0596-877X 750a6c51d2057fa64e354fb5247c4a Christopher Pulte Pulte Christopher University of Cambridge UK https://www.cl.cam.ac.uk/~cp526/ 0000-0002-7369-183X a105050abbcebdda1234b29e32c56e Anton Podkopaev Podkopaev Anton National Research University Higher School of Economics Russia MPI-SWS Germany db49d344dc363f99a458c772820c8b Guillaume Barbier Barbier Guillaume ENS Rennes France 4b406577da05ac2ee56b768dbdc479 Stephen Dolan Dolan Stephen University of Cambridge UK c3df440d6d4fbed4b8054457700e9c Shaked Flur Flur Shaked University of Cambridge UK 9c92bbed84cb4c7f81215ecb7aeba5 Jean Pichon-Pharabod Pichon-Pharabod Jean University of Cambridge UK a8a1b66506806cf4400e2881895dc2 Shu-yu Guo Guo Shu-yu Bloomberg USA http://scholar.google.com/scholar?q=Conrad+Watt%2C+Christopher+Pulte%2C+Anton+Podkopaev%2C+Guillaume+Barbier%2C+Stephen+Dolan%2C+Shaked+Flur%2C+Jean+Pichon-Pharabod%2C+and+Shu-yu+Guo+%22Repairing+and+Mechanising+the+JavaScript+Relaxed+Memory+Model%22 10.1145/3385412.3385973 https://dl.acm.org/doi/pdf/10.1145/3385412.3385973 461 24

Promising 2.0: Global Optimizations in Relaxed Memory Concurrency Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, and Viktor Vafeiadis Seoul National University, South Korea; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; IIT Delhi, India; Tel Aviv University, Israel 8f1aeae8dd50f4f55fbebb04ee7267 Sung-Hwan Lee Lee Sung-Hwan Seoul National University South Korea https://sunghwanl.github.io/ https://scholar.google.com/citations?user=TRaVY9IAAAAJ 0000-0003-0783-7033 8af6d42514e4a3bc719643b71f4e14 Minki Cho Cho Minki Seoul National University South Korea 0000-0002-6684-0921 a105050abbcebdda1234b29e32c56e Anton Podkopaev Podkopaev Anton National Research University Higher School of Economics Russia MPI-SWS Germany 0d96c4bfdd411b0304c28c84491a89 Soham Chakraborty Chakraborty Soham IIT Delhi India 649ad177e4f780d41f2ac8ee01b309 Chung-Kil Hur Hur Chung-Kil Seoul National University South Korea 0000-0002-1656-0913 8902a6da7f60455bc9c2285b304bb2 Ori Lahav Lahav Ori Tel Aviv University Israel https://www.cs.tau.ac.il/~orilahav/ 0000-0003-4305-6998 770b182ec30af903cabcea74f83c24 Viktor Vafeiadis Vafeiadis Viktor MPI-SWS Germany https://people.mpi-sws.org/~viktor/ https://www.mpi-sws.org/people/viktor/Viktor-Vafeiadis.jpg https://scholar.google.com/citations?user=kysdyH4AAAAJ 0000-0001-8436-0334 http://scholar.google.com/scholar?q=Sung-Hwan+Lee%2C+Minki+Cho%2C+Anton+Podkopaev%2C+Soham+Chakraborty%2C+Chung-Kil+Hur%2C+Ori+Lahav%2C+and+Viktor+Vafeiadis+%22Promising+2.0%3A+Global+Optimizations+in+Relaxed+Memory+Concurrency%22 10.1145/3385412.3386010 https://dl.acm.org/doi/pdf/10.1145/3385412.3386010 10.1145/3395643 acm_artifacts_available acm_artifacts_evaluated_functional 481 25

NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, and Erez Petrank Technion, Israel; Carnegie Mellon University, USA 7767256e9baebeef2779d6431582d4 Michal Friedman Friedman Michal Technion Israel 4686cb9684ec230dc2a89e2584f583 Naama Ben-David Ben-David Naama Carnegie Mellon University USA 870db666466b033077539009d7b68b Yuanhao Wei Wei Yuanhao Carnegie Mellon University USA 0000-0002-5176-0961 3df3457175c85ebf73396004b77a97 Guy E. Blelloch Blelloch Guy E. Carnegie Mellon University USA 0000-0003-0224-9187 f67b98a7a4fb561f11695af408ebc8 Erez Petrank Petrank Erez Technion Israel 0000-0002-6353-956X http://scholar.google.com/scholar?q=Michal+Friedman%2C+Naama+Ben-David%2C+Yuanhao+Wei%2C+Guy+E.+Blelloch%2C+and+Erez+Petrank+%22NVTraverse%3A+In+NVRAM+Data+Structures%2C+the+Destination+Is+More+Important+Than+the+Journey%22 10.1145/3385412.3386031 https://dl.acm.org/doi/pdf/10.1145/3385412.3386031 501 26

Predictable Accelerator Design with Time-Sensitive Affine Types Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, and Zhiru Zhang Cornell University, USA 070e67615da6bf9b7a668ddf5ad077 Rachit Nigam Nigam Rachit Cornell University USA https://rachitnigam.com https://rachitnigam.com/img/headshot.jpg https://scholar.google.com/citations?user=RNL2GjEAAAAJ&hl=en https://twitter.com/notypes 0000-0003-0983-5867 ddd5dcbe1e84c601e8d00312fef4b6 Sachille Atapattu Atapattu Sachille Cornell University USA 9bba82c3687b9acb03e023381b61c9 Samuel Thomas Thomas Samuel Cornell University USA 0ef4796ca3a170827f8db0e3e409c0 Zhijing Li Li Zhijing Cornell University USA 134157aeb95f6abf1770de28c34f7a Theodore Bauer Bauer Theodore Cornell University USA a6e76967a46a2a58e653e7479845dd Yuwei Ye Ye Yuwei Cornell University USA 3e8a2e78fe66aa0ace0304d2ba9476 Apurva Koti Koti Apurva Cornell University USA 270af2585385ac177cfbe5024ba1af Adrian Sampson Sampson Adrian Cornell University USA https://www.cs.cornell.edu/~asampson/ 0000-0003-0837-8924 b6cbb929dee9aad3d35972b3e73802 Zhiru Zhang Zhang Zhiru Cornell University USA https://scholar.google.com/citations?user=x05pUHsAAAAJ&hl=en 0000-0002-0778-0308 http://scholar.google.com/scholar?q=Rachit+Nigam%2C+Sachille+Atapattu%2C+Samuel+Thomas%2C+Zhijing+Li%2C+Theodore+Bauer%2C+Yuwei+Ye%2C+Apurva+Koti%2C+Adrian+Sampson%2C+and+Zhiru+Zhang+%22Predictable+Accelerator+Design+with+Time-Sensitive+Affine+Types%22 10.1145/3385412.3385974 https://dl.acm.org/doi/pdf/10.1145/3385412.3385974 10.1145/3395657 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 521 27

Type-Directed Scheduling of Streaming Accelerators David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, and Pat Hanrahan Stanford University, USA; University of California at Los Angeles, USA; University of California at Berkeley, USA; CISPA, Germany 1986a126655134db538f750e3cd8f9 David Durst Durst David Stanford University USA 4756f0cce3f8f3e589a8c93cd5fe3e Matthew Feldman Feldman Matthew Stanford University USA 0b954cd4d1e1b866a35fd174defe60 Dillon Huff Huff Dillon Stanford University USA 2a8201b7e72066a29c4b1c5ca4dbe3 David Akeley Akeley David University of California at Los Angeles USA 3d0d15317f01d3e5747f5d9023e549 Ross Daly Daly Ross Stanford University USA 9388d3c472d5de774a6ec7dfc7ed3f Gilbert Louis Bernstein Bernstein Gilbert Louis University of California at Berkeley USA http://www.gilbertbernstein.com 0000-0002-3016-1169 2493f8f6c34ad0316e35a94ce0eebc Marco Patrignani Patrignani Marco Stanford University USA CISPA Germany 0000-0003-3411-9678 4d95a070fb54b5e0f1ab44c9c65fcc Kayvon Fatahalian Fatahalian Kayvon Stanford University USA 0000-0001-8754-0429 4e0f3a769db5f3cd53ebf3c5716c30 Pat Hanrahan Hanrahan Pat Stanford University USA 0000-0002-3474-9752 http://scholar.google.com/scholar?q=David+Durst%2C+Matthew+Feldman%2C+Dillon+Huff%2C+David+Akeley%2C+Ross+Daly%2C+Gilbert+Louis+Bernstein%2C+Marco+Patrignani%2C+Kayvon+Fatahalian%2C+and+Pat+Hanrahan+%22Type-Directed+Scheduling+of+Streaming+Accelerators%22 10.1145/3385412.3385983 https://dl.acm.org/doi/pdf/10.1145/3385412.3385983 10.1145/3395633 acm_artifacts_available acm_artifacts_evaluated_functional 541 28

FreezeML: Complete and Easy Type Inference for First-Class Polymorphism Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, and Jonathan Coates University of Edinburgh, UK; Imperial College London, UK; Lodz University of Technology, Poland; Alan Turing Institute, UK 66d705e825e76d48dec3ea2482ebf6 Frank Emrich Emrich Frank University of Edinburgh UK 0000-0002-8591-2740 d1bff19015a939086841aae1a25210 Sam Lindley Lindley Sam University of Edinburgh UK Imperial College London UK 0000-0002-1360-4714 9d24f31c2bba2d671b2bda63fd9e42 Jan Stolarek Stolarek Jan University of Edinburgh UK Lodz University of Technology Poland 0000-0002-0140-5689 54407ba4e373dc2490770f9d250da1 James Cheney Cheney James University of Edinburgh UK Alan Turing Institute UK 0000-0002-1307-9286 bd30f2ead8cac0d27a9f1c5e4d1747 Jonathan Coates Coates Jonathan University of Edinburgh UK http://scholar.google.com/scholar?q=Frank+Emrich%2C+Sam+Lindley%2C+Jan+Stolarek%2C+James+Cheney%2C+and+Jonathan+Coates+%22FreezeML%3A+Complete+and+Easy+Type+Inference+for+First-Class+Polymorphism%22 10.1145/3385412.3386003 https://dl.acm.org/doi/pdf/10.1145/3385412.3386003 10.1145/3395639 acm_artifacts_available acm_artifacts_evaluated_functional 561 29

Securing Smart Contract with Runtime Validation Ao Li, Jemin Andrew Choi, and Fan Long University of Toronto, Canada da29d96b864236ee4324a0bcdbd6c9 Ao Li Li Ao University of Toronto Canada e8f9703f4ff81ee79f4479333c0422 Jemin Andrew Choi Choi Jemin Andrew University of Toronto Canada e5be61112b2436392b972b0aa4bca9 Fan Long Long Fan University of Toronto Canada 0000-0001-7973-1188 http://scholar.google.com/scholar?q=Ao+Li%2C+Jemin+Andrew+Choi%2C+and+Fan+Long+%22Securing+Smart+Contract+with+Runtime+Validation%22 10.1145/3385412.3385982 https://dl.acm.org/doi/pdf/10.1145/3385412.3385982 acm_artifacts_evaluated_functional 581 30

Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, and Yannis Smaragdakis International Computer Science Institute, USA; University of Sydney, Australia; University of Athens, Greece c920056d0ba9845fb3b4a9b3cf0e9b Lexi Brent Brent Lexi International Computer Science Institute USA University of Sydney Australia db45b6408ffb3df920ad2d98e5fbeb Neville Grech Grech Neville University of Athens Greece 0000-0002-6790-2872 23fce2cba97bdee00af93b339683dc Sifis Lagouvardos Lagouvardos Sifis University of Athens Greece 0000-0002-6233-1548 1004bd673b20dbf6228cabecc7d636 Bernhard Scholz Scholz Bernhard University of Sydney Australia http://b-scholz.github.io 0000-0002-7672-7359 3aa91d68c957b1aac82d4245ffcde0 Yannis Smaragdakis Smaragdakis Yannis University of Athens Greece http://scholar.google.com/scholar?q=Lexi+Brent%2C+Neville+Grech%2C+Sifis+Lagouvardos%2C+Bernhard+Scholz%2C+and+Yannis+Smaragdakis+%22Ethainter%3A+A+Smart+Contract+Security+Analyzer+for+Composite+Vulnerabilities%22 10.1145/3385412.3385990 https://dl.acm.org/doi/pdf/10.1145/3385412.3385990 10.5281/zenodo.3760403 acm_artifacts_available acm_artifacts_evaluated_functional 601 31

Behavioral Simulation for Smart Contracts Sidi Mohamed Beillahi, Gabriela Ciocarlie, Michael Emmi, and Constantin Enea University of Paris Diderot, France; IRIF, France; CNRS, France; SRI International, USA; IUF, France 564214d98d6922dde530a5191100ae Sidi Mohamed Beillahi Beillahi Sidi Mohamed University of Paris Diderot France IRIF France CNRS France 1d4a441bb35a0fe3636c7292853cfd Gabriela Ciocarlie Ciocarlie Gabriela SRI International USA ae167c5b5321d651e2df2ddd78922a Michael Emmi Emmi Michael SRI International USA 02bfe651beb36f859bf0ea3335b4b6 Constantin Enea Enea Constantin University of Paris Diderot France IRIF France CNRS France IUF France http://scholar.google.com/scholar?q=Sidi+Mohamed+Beillahi%2C+Gabriela+Ciocarlie%2C+Michael+Emmi%2C+and+Constantin+Enea+%22Behavioral+Simulation+for+Smart+Contracts%22 10.1145/3385412.3386022 https://dl.acm.org/doi/pdf/10.1145/3385412.3386022 acm_artifacts_evaluated_functional 621 32

Multi-modal Synthesis of Regular Expressions Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, and Isil Dillig University of Texas at Austin, USA; University of Michigan at Ann Arbor, USA 7fe51fbdffeb9e4a845495be77b177 Qiaochu Chen Chen Qiaochu University of Texas at Austin USA 0000-0003-4680-5157 a537d2a8c9e4dc28439e6c97a29514 Xinyu Wang Wang Xinyu University of Michigan at Ann Arbor USA 0000-0002-1836-0202 77941fe2f9c57cd304e1dde0f0adf9 Xi Ye Ye Xi University of Texas at Austin USA 7d8845735fd4acd39d8cb15bab55ae Greg Durrett Durrett Greg University of Texas at Austin USA 0000-0002-7061-7298 2fa5ae1925e3debace478a6cede9aa Isil Dillig Dillig Isil University of Texas at Austin USA 0000-0001-8006-1230 http://scholar.google.com/scholar?q=Qiaochu+Chen%2C+Xinyu+Wang%2C+Xi+Ye%2C+Greg+Durrett%2C+and+Isil+Dillig+%22Multi-modal+Synthesis+of+Regular+Expressions%22 10.1145/3385412.3385988 https://dl.acm.org/doi/pdf/10.1145/3385412.3385988 641 33

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting DongKwon Lee, Woosuk Lee, Hakjoo Oh, and Kwangkeun Yi Seoul National University, South Korea; Hanyang University, South Korea; Korea University, South Korea 6a20eab5cbf53a867d52e91825f64e DongKwon Lee Lee DongKwon Seoul National University South Korea 5401a611c71047d9d1434df6a65694 Woosuk Lee Lee Woosuk Hanyang University South Korea f1a299473eac26ecf0e288112ffeca Hakjoo Oh Oh Hakjoo Korea University South Korea 19e041b2c629723d80e8964efd1c73 Kwangkeun Yi Yi Kwangkeun Seoul National University South Korea 0009-0007-5027-2177 http://scholar.google.com/scholar?q=DongKwon+Lee%2C+Woosuk+Lee%2C+Hakjoo+Oh%2C+and+Kwangkeun+Yi+%22Optimizing+Homomorphic+Evaluation+Circuits+by+Program+Synthesis+and+Term+Rewriting%22 10.1145/3385412.3385996 https://dl.acm.org/doi/pdf/10.1145/3385412.3385996 10.5281/zenodo.3756609 acm_artifacts_available acm_artifacts_evaluated_functional 661 34

CacheQuery: Learning Replacement Policies from Hardware Caches Pepe Vila, Pierre Ganty, Marco Guarnieri, and Boris Köpf IMDEA Software Institute, Spain; Universidad Politécnica de Madrid, Spain; Microsoft Research, UK 1c723dc9b4cdd3174c56b6f7dd8fbe Pepe Vila Vila Pepe IMDEA Software Institute Spain Universidad Politécnica de Madrid Spain 528edbd3e858c75cf3c2de13dbf1a4 Pierre Ganty Ganty Pierre IMDEA Software Institute Spain d517d3df041654ff769cb2e45273cb Marco Guarnieri Guarnieri Marco IMDEA Software Institute Spain 0000-0001-5767-555X 382dedf994ca4c62ffaea17910480b Boris Köpf Köpf Boris Microsoft Research UK http://scholar.google.com/scholar?q=Pepe+Vila%2C+Pierre+Ganty%2C+Marco+Guarnieri%2C+and+Boris+K%C3%B6pf+%22CacheQuery%3A+Learning+Replacement+Policies+from+Hardware+Caches%22 10.1145/3385412.3386008 https://dl.acm.org/doi/pdf/10.1145/3385412.3386008 10.5281/zenodo.3759110 acm_artifacts_available acm_artifacts_evaluated_functional 681 35

HipHop.js: (A)Synchronous Reactive Web Programming Gérard Berry and Manuel Serrano Collège de France, France; Inria, France 551ba85ea3cc9765eb345780c3b7ac Gérard Berry Berry Gérard Collège de France France 309b1c1b77b67e3b2f656aa385eeaf Manuel Serrano Serrano Manuel Inria France http://www-sop.inria.fr/members/Manuel.Serrano/ 0000-0002-5240-1610 http://scholar.google.com/scholar?q=G%C3%A9rard+Berry+and+Manuel+Serrano+%22HipHop.js%3A+%28A%29Synchronous+Reactive+Web+Programming%22 10.1145/3385412.3385984 https://dl.acm.org/doi/pdf/10.1145/3385412.3385984 10.1145/3395634 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 701 36

EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, and Madan Musuvathi University of Texas at Austin, USA; EPFL, Switzerland; Microsoft Research, USA 48b9fb0c5212a5b78bfa912bd844f8 Roshan Dathathri Dathathri Roshan University of Texas at Austin USA 322fbf6fd2fdd8a166aa813ebedae7 Blagovesta Kostova Kostova Blagovesta EPFL Switzerland 628ef72106212a0e063ad73511ba09 Olli Saarikivi Saarikivi Olli Microsoft Research USA 0000-0001-7596-4734 22eb38db8ee8ff6c1aa22604c4c29b Wei Dai Dai Wei Microsoft Research USA 5eb4c39cb3d0fda06fbe19f3955a5d Kim Laine Laine Kim Microsoft Research USA 00b67e7d4a78d792c73c516543ab76 Madan Musuvathi Musuvathi Madan Microsoft Research USA 0000-0002-2482-7892 http://scholar.google.com/scholar?q=Roshan+Dathathri%2C+Blagovesta+Kostova%2C+Olli+Saarikivi%2C+Wei+Dai%2C+Kim+Laine%2C+and+Madan+Musuvathi+%22EVA%3A+An+Encrypted+Vector+Arithmetic+Language+and+Compiler+for+Efficient+Homomorphic+Computation%22 10.1145/3385412.3386023 https://dl.acm.org/doi/pdf/10.1145/3385412.3386023 721 37

Towards an API for the Real Numbers Hans-J. Boehm Google, USA 8b07d90a42f99b8a115c9673189057 Hans-J. Boehm Boehm Hans-J. Google USA http://scholar.google.com/scholar?q=Hans-J.+Boehm+%22Towards+an+API+for+the+Real+Numbers%22 10.1145/3385412.3386037 https://dl.acm.org/doi/pdf/10.1145/3385412.3386037 10.1145/3395658 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 741 38

Responsive Parallelism with Futures and State Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, and I-Ting Angelina Lee Carnegie Mellon University, USA; Washington University in St. Louis, USA cf3fa2baa914d016bbf174a2662009 Stefan K. Muller Muller Stefan K. Carnegie Mellon University USA 9cfc074457ae6302e835350d86b204 Kyle Singer Singer Kyle Washington University in St. Louis USA 0009-0004-3588-2215 eae730c504c935485ba5ad42c3503c Noah Goldstein Goldstein Noah Washington University in St. Louis USA def45b221feb3e5ca2cdb21bac8508 Umut A. Acar Acar Umut A. Carnegie Mellon University USA 0000-0002-2623-4986 812838fdaf82036c6fe5b66cba69d7 Kunal Agrawal Agrawal Kunal Washington University in St. Louis USA 0000-0001-5882-6647 363422651b4f4fe629af81a7db917d I-Ting Angelina Lee Lee I-Ting Angelina Washington University in St. Louis USA 0000-0002-0687-5508 http://scholar.google.com/scholar?q=Stefan+K.+Muller%2C+Kyle+Singer%2C+Noah+Goldstein%2C+Umut+A.+Acar%2C+Kunal+Agrawal%2C+and+I-Ting+Angelina+Lee+%22Responsive+Parallelism+with+Futures+and+State%22 10.1145/3385412.3386013 https://dl.acm.org/doi/pdf/10.1145/3385412.3386013 10.5281/zenodo.3692205 acm_artifacts_available acm_artifacts_evaluated_functional 761 39

SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, and Xuehai Qian University of Southern California, USA; Northeastern University, USA; Beihang University, China a1c512ffcdd28c15a8a49191c05fa2 Youwei Zhuo Zhuo Youwei University of Southern California USA c698709bba126695fc359145c237ee Jingji Chen Chen Jingji University of Southern California USA fbe406c6fca3bc5d1402da43926b88 Qinyi Luo Luo Qinyi University of Southern California USA 62133573d2101e3ac120b28402ea65 Yanzhi Wang Wang Yanzhi Northeastern University USA dd7b175aad5a72662c8d843e5fad43 Hailong Yang Yang Hailong Beihang University China 0000-0003-1101-7927 9252952cfc777053627386f9e838ad Depei Qian Qian Depei Beihang University China 0000-0002-5382-1473 94e4443ccab7a6551eea966e1b1a00 Xuehai Qian Qian Xuehai University of Southern California USA http://scholar.google.com/scholar?q=Youwei+Zhuo%2C+Jingji+Chen%2C+Qinyi+Luo%2C+Yanzhi+Wang%2C+Hailong+Yang%2C+Depei+Qian%2C+and+Xuehai+Qian+%22SympleGraph%3A+Distributed+Graph+Processing+with+Precise+Loop-Carried+Dependency+Guarantee%22 10.1145/3385412.3385961 https://dl.acm.org/doi/pdf/10.1145/3385412.3385961 acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 781 40

PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization Fabian Ritter and Sebastian Hack Saarland University, Germany 09050dcbca1534baf59368c3c6a90f Fabian Ritter Ritter Fabian Saarland University Germany https://compilers.cs.uni-saarland.de/people/ritter/ 0000-0001-9227-0910 fbb7fb2583ed7205dd17404c34e52f Sebastian Hack Hack Sebastian Saarland University Germany https://compilers.cs.uni-saarland.de/people/hack/ 0000-0002-3387-2134 http://scholar.google.com/scholar?q=Fabian+Ritter+and+Sebastian+Hack+%22PMEvo%3A+Portable+Inference+of+Port+Mappings+for+Out-of-Order+Processors+by+Evolutionary+Optimization%22 10.1145/3385412.3385995 https://dl.acm.org/doi/pdf/10.1145/3385412.3385995 acm_artifacts_evaluated_functional 801 41

PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies Zhenwei Wu, Kai Lu, Andrew Nisbet, Wenzhe Zhang, and Mikel Luján National University of Defense Technology, China; University of Manchester, UK d53f1a908a4c2ee20149650678dbf1 Zhenwei Wu Wu Zhenwei National University of Defense Technology China University of Manchester UK 13f1f86a2dedc94ae4759c0c78bc95 Kai Lu Lu Kai National University of Defense Technology China 54b757e5566b18543ba0b27d747cb3 Andrew Nisbet Nisbet Andrew University of Manchester UK e8806839e516c9bdb6490cb38341bf Wenzhe Zhang Zhang Wenzhe National University of Defense Technology China 0000-0002-8798-2195 e6ba32dc8066acec9e7cc3b4a9d525 Mikel Luján Luján Mikel University of Manchester UK 0000-0002-0842-1083 http://scholar.google.com/scholar?q=Zhenwei+Wu%2C+Kai+Lu%2C+Andrew+Nisbet%2C+Wenzhe+Zhang%2C+and+Mikel+Luj%C3%A1n+%22PMThreads%3A+Persistent+Memory+Threads+Harnessing+Versioned+Shadow+Copies%22 10.1145/3385412.3386000 https://dl.acm.org/doi/pdf/10.1145/3385412.3386000 10.5281/zenodo.3756416 acm_artifacts_available acm_artifacts_evaluated_functional 821 42

SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, and David I. August Princeton University, USA; Northwestern University, USA dedbad436e493e9560c0e55d35e4af Sotiris Apostolakis Apostolakis Sotiris Princeton University USA 2f787277e5768d9e9e4be4678bedc8 Ziyang Xu Xu Ziyang Princeton University USA 01e97d55e09776efd8a15df5d147b3 Zujun Tan Tan Zujun Princeton University USA 0000-0002-1450-6817 0518bf243179f7e20efa10b5a55c64 Greg Chan Chan Greg Princeton University USA 4a281b1fbf9b39cdfc471a72889b9f Simone Campanoni Campanoni Simone Northwestern University USA 0000-0001-9806-7016 98fe267e7bc122cb4ee2e7e59f34ef David I. August August David I. Princeton University USA http://scholar.google.com/scholar?q=Sotiris+Apostolakis%2C+Ziyang+Xu%2C+Zujun+Tan%2C+Greg+Chan%2C+Simone+Campanoni%2C+and+David+I.+August+%22SCAF%3A+A+Speculation-Aware+Collaborative+Dependence+Analysis+Framework%22 10.1145/3385412.3386028 https://dl.acm.org/doi/pdf/10.1145/3385412.3386028 10.5281/zenodo.3751586 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 841 43

Scalable Validation of Binary Lifters Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, and Christopher W. Fletcher University of Illinois at Urbana-Champaign, USA 4bf5d6a5c71cb96e4586c86c1c6c68 Sandeep Dasgupta Dasgupta Sandeep University of Illinois at Urbana-Champaign USA c4bd38f8906d33119841068132a841 Sushant Dinesh Dinesh Sushant University of Illinois at Urbana-Champaign USA f05f6ad096e15443f6b1b2ad1aeb0c Deepan Venkatesh Venkatesh Deepan University of Illinois at Urbana-Champaign USA 1abea03b90f334202f8d68d28edf4c Vikram S. Adve Adve Vikram S. University of Illinois at Urbana-Champaign USA https://vikram.cs.illinois.edu/ https://vikram.cs.illinois.edu/files/2016/05/Adve_Vikram_Apr2013_300dpi-300x225.jpg https://scholar.google.com/citations?user=VbruE20AAAAJ 0000-0002-0760-9690 4638762784d1e9cd79912f8ad419ce Christopher W. Fletcher Fletcher Christopher W. University of Illinois at Urbana-Champaign USA http://cwfletcher.net https://scholar.google.com/citations?user=QRw9-IYAAAAJ&hl=en&oi=sra 0000-0002-9995-5995 http://scholar.google.com/scholar?q=Sandeep+Dasgupta%2C+Sushant+Dinesh%2C+Deepan+Venkatesh%2C+Vikram+S.+Adve%2C+and+Christopher+W.+Fletcher+%22Scalable+Validation+of+Binary+Lifters%22 10.1145/3385412.3385964 https://dl.acm.org/doi/pdf/10.1145/3385412.3385964 10.5281/zenodo.3756283 acm_artifacts_available acm_artifacts_evaluated_functional 861 44

Polynomial Invariant Generation for Non-deterministic Recursive Programs Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady IST Austria, Austria; Shanghai Jiao Tong University, China; Ferdowsi University of Mashhad, Iran 3294381e95ff831250224c4ee6b646 Krishnendu Chatterjee Chatterjee Krishnendu IST Austria Austria 0000-0002-4561-241X 56ee6df50d2dc8cf3ad3bada06bdb7 Hongfei Fu Fu Hongfei Shanghai Jiao Tong University China 1856f26f0b6af10b49ca931b7a2768 Amir Kafshdar Goharshady Goharshady Amir Kafshdar IST Austria Austria 9a1567586dc460bb20ae360978ece3 Ehsan Kafshdar Goharshady Goharshady Ehsan Kafshdar Ferdowsi University of Mashhad Iran http://scholar.google.com/scholar?q=Krishnendu+Chatterjee%2C+Hongfei+Fu%2C+Amir+Kafshdar+Goharshady%2C+and+Ehsan+Kafshdar+Goharshady+%22Polynomial+Invariant+Generation+for+Non-deterministic+Recursive+Programs%22 10.1145/3385412.3385969 https://dl.acm.org/doi/pdf/10.1145/3385412.3385969 881 45

Templates and Recurrences: Better Together Jason Breck, John Cyphert, Zachary Kincaid, and Thomas Reps University of Wisconsin-Madison, USA; Princeton University, USA 233cd5eeddf08c81af765d0702f101 Jason Breck Breck Jason University of Wisconsin-Madison USA bf78db3ad93e9e88727f251e0316b6 John Cyphert Cyphert John University of Wisconsin-Madison USA https://pages.cs.wisc.edu/~jcyphert/me.jpg 0009-0007-6310-413X 262413186804704a15421d6ff02cfb Zachary Kincaid Kincaid Zachary Princeton University USA 0000-0002-7294-9165 057b813ebbeb600c2d9a6d2966e136 Thomas Reps Reps Thomas University of Wisconsin-Madison USA http://pages.cs.wisc.edu/~reps/ http://pages.cs.wisc.edu/~pubs/pictures/facstaff/reps-large.jpg http://scholar.google.com/citations?user=pwhyTq0AAAAJ https://www.linkedin.com/in/thomas-reps-437b2a69/ 0000-0002-5676-9949 http://scholar.google.com/scholar?q=Jason+Breck%2C+John+Cyphert%2C+Zachary+Kincaid%2C+and+Thomas+Reps+%22Templates+and+Recurrences%3A+Better+Together%22 10.1145/3385412.3386035 https://dl.acm.org/doi/pdf/10.1145/3385412.3386035 10.1145/3395656 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 901 46

First-Order Quantified Separators Jason R. Koenig, Oded Padon, Neil Immerman, and Alex Aiken Stanford University, USA; University of Massachusetts at Amherst, USA 2e091c1bd2a706e8153bedd4801ce4 Jason R. Koenig Koenig Jason R. Stanford University USA 3f026c3bbf0854e828862c7b9fe4da Oded Padon Padon Oded Stanford University USA 0009-0006-4209-1635 6829f656dfc1ea5acd87c63d7a811a Neil Immerman Immerman Neil University of Massachusetts at Amherst USA https://people.cs.umass.edu/~immerman/ https://people.cs.umass.edu/~immerman/neil2014.jpg 97176042d95fc2364db32a38f4f638 Alex Aiken Aiken Alex Stanford University USA http://theory.stanford.edu/~aiken/ 0000-0003-3372-9036 http://scholar.google.com/scholar?q=Jason+R.+Koenig%2C+Oded+Padon%2C+Neil+Immerman%2C+and+Alex+Aiken+%22First-Order+Quantified+Separators%22 10.1145/3385412.3386018 https://dl.acm.org/doi/pdf/10.1145/3385412.3386018 10.1145/3395650 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 921 47

Validating SMT Solvers via Semantic Fusion Dominik Winterer, Chengyu Zhang, and Zhendong Su ETH Zurich, Switzerland; East China Normal University, China cad4d80f12ccfa9684c94c609781c9 Dominik Winterer Winterer Dominik ETH Zurich Switzerland 0000-0002-4122-5981 a660adc91fb64dbfe70662d354f25d Chengyu Zhang Zhang Chengyu East China Normal University China 0000-0002-7285-289X 3c6367d62fc83ed25ecdbbdf81731d Zhendong Su Su Zhendong ETH Zurich Switzerland 0000-0002-2970-1391 http://scholar.google.com/scholar?q=Dominik+Winterer%2C+Chengyu+Zhang%2C+and+Zhendong+Su+%22Validating+SMT+Solvers+via+Semantic+Fusion%22 10.1145/3385412.3385985 https://dl.acm.org/doi/pdf/10.1145/3385412.3385985 941 48

Debugging and Detecting Numerical Errors in Computation with Posits Sangeeta Chowdhary, Jay P. Lim, and Santosh Nagarakatte Rutgers University, USA 8a79f0bef1392d722ff1f6babf5e34 Sangeeta Chowdhary Chowdhary Sangeeta Rutgers University USA https://scholar.google.com/citations?hl=en&user=_bkg2F8AAAAJ 0000-0003-3053-230X 2afc76b92d178548e67a9e54c9e637 Jay P. Lim Lim Jay P. Rutgers University USA 0000-0002-7572-4017 9e0d5bc520535e2b9db76b60f5df29 Santosh Nagarakatte Nagarakatte Santosh Rutgers University USA https://www.cs.rutgers.edu/~santosh.nagarakatte/Santosh-2019.jpg https://scholar.google.com/citations?user=J7H4N_4AAAAJ&hl=en&oi=ao https://twitter.com/santoshgnag 0000-0002-5048-8548 http://scholar.google.com/scholar?q=Sangeeta+Chowdhary%2C+Jay+P.+Lim%2C+and+Santosh+Nagarakatte+%22Debugging+and+Detecting+Numerical+Errors+in+Computation+with+Posits%22 10.1145/3385412.3386004 https://dl.acm.org/doi/pdf/10.1145/3385412.3386004 10.5281/zenodo.3742225 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 961 49

SmartTrack: Efficient Predictive Race Detection Jake Roemer, Kaan Genç, and Michael D. Bond Ohio State University, USA aeb6a7d8b986bd5eee1cb7603c7d20 Jake Roemer Roemer Jake Ohio State University USA aa441f76f99545d0c4941a81dc2784 Kaan Genç Genç Kaan Ohio State University USA 309355045df2f141ae608afe98d7ce Michael D. Bond Bond Michael D. Ohio State University USA 0000-0002-8971-4944 http://scholar.google.com/scholar?q=Jake+Roemer%2C+Kaan+Gen%C3%A7%2C+and+Michael+D.+Bond+%22SmartTrack%3A+Efficient+Predictive+Race+Detection%22 10.1145/3385412.3385993 https://dl.acm.org/doi/pdf/10.1145/3385412.3385993 10.5281/zenodo.3762236 acm_artifacts_available 981 50

Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, and Yiying Zhang Pennsylvania State University, USA; Purdue University, USA; University of California at San Diego, USA 0816584ced89e30695e13f379737ca Boqin Qin Qin Boqin Pennsylvania State University USA ece789e61159f6e7979ec7bb29bfd8 Yilun Chen Chen Yilun Purdue University USA 7cf10895bdecc067c1bb9266e08fe6 Zeming Yu Yu Zeming Pennsylvania State University USA c16b3456f2007092d24886fd214f16 Linhai Song Song Linhai Pennsylvania State University USA 0000-0002-3185-9278 d94ef206552ed616577e8c9f508e1c Yiying Zhang Zhang Yiying University of California at San Diego USA 0009-0005-6263-7802 http://scholar.google.com/scholar?q=Boqin+Qin%2C+Yilun+Chen%2C+Zeming+Yu%2C+Linhai+Song%2C+and+Yiying+Zhang+%22Understanding+Memory+and+Thread+Safety+Practices+and+Issues+in+Real-World+Rust+Programs%22 10.1145/3385412.3386036 https://dl.acm.org/doi/pdf/10.1145/3385412.3386036 10.5281/zenodo.3756301 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1001 51

Fast Graph Simplification for Interleaved Dyck-Reachability Yuanbo Li, Qirun Zhang, and Thomas Reps Georgia Institute of Technology, USA; University of Wisconsin-Madison, USA b32da2ef1151cea9d6f7c1f14cf264 Yuanbo Li Li Yuanbo Georgia Institute of Technology USA 0000-0002-0194-5589 06f1804e1157b4790e7c2f298ca331 Qirun Zhang Zhang Qirun Georgia Institute of Technology USA 0000-0001-5367-9377 057b813ebbeb600c2d9a6d2966e136 Thomas Reps Reps Thomas University of Wisconsin-Madison USA http://pages.cs.wisc.edu/~reps/ http://pages.cs.wisc.edu/~pubs/pictures/facstaff/reps-large.jpg http://scholar.google.com/citations?user=pwhyTq0AAAAJ https://www.linkedin.com/in/thomas-reps-437b2a69/ 0000-0002-5676-9949 http://scholar.google.com/scholar?q=Yuanbo+Li%2C+Qirun+Zhang%2C+and+Thomas+Reps+%22Fast+Graph+Simplification+for+Interleaved+Dyck-Reachability%22 10.1145/3385412.3386021 https://dl.acm.org/doi/pdf/10.1145/3385412.3386021 1021 52

Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, and Yannis Smaragdakis University of Athens, Greece; CERN, Switzerland; Oracle Labs, Australia; ConsenSys, Australia 40237cb796e99099a2375e44071c78 Anastasios Antoniadis Antoniadis Anastasios University of Athens Greece 0009-0004-1605-967X 66d8dd2936366e4c8184861d07bfb5 Nikos Filippakis Filippakis Nikos CERN Switzerland 8b46fa8d4a724f9bc05436fc00796b Paddy Krishnan Krishnan Paddy Oracle Labs Australia 0000-0002-5905-8499 5ae90d0484f6ae192fd45393ea8ad5 Raghavendra Ramesh Ramesh Raghavendra ConsenSys Australia afbb81478e8a9a44d8397373916214 Nicholas Allen Allen Nicholas Oracle Labs Australia 3aa91d68c957b1aac82d4245ffcde0 Yannis Smaragdakis Smaragdakis Yannis University of Athens Greece http://scholar.google.com/scholar?q=Anastasios+Antoniadis%2C+Nikos+Filippakis%2C+Paddy+Krishnan%2C+Raghavendra+Ramesh%2C+Nicholas+Allen%2C+and+Yannis+Smaragdakis+%22Static+Analysis+of+Java+Enterprise+Applications%3A+Frameworks+and+Caches%2C+the+Elephants+in+the+Room%22 10.1145/3385412.3386026 https://dl.acm.org/doi/pdf/10.1145/3385412.3386026 10.5281/zenodo.3742711 acm_artifacts_available acm_artifacts_evaluated_functional 1041 53

Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, and Fabrice Rastello Grenoble Alps University, France; CNRS, France; Inria, France; Grenoble INP, France; LIG, France; University of Colorado at Denver, USA; Colorado State University, USA; University of Utah, USA 7fa5cc0a73531f9b110fc3e2263e7b Auguste Olivry Olivry Auguste Grenoble Alps University France CNRS France Inria France Grenoble INP France LIG France 3e54cd4be8e8317bd5bfde2a065d1c Julien Langou Langou Julien University of Colorado at Denver USA 194c76d9f0244d5fb6e1b08c89f759 Louis-Noël Pouchet Pouchet Louis-Noël Colorado State University USA 0000-0001-5103-3097 799d8746f1af04eac9c58866c8b96a P. Sadayappan Sadayappan P. University of Utah USA 0000-0002-4737-2034 b9f18083920c629cfa257d7dbc2cf3 Fabrice Rastello Rastello Fabrice Grenoble Alps University France Inria France CNRS France Grenoble INP France LIG France http://scholar.google.com/scholar?q=Auguste+Olivry%2C+Julien+Langou%2C+Louis-No%C3%ABl+Pouchet%2C+P.+Sadayappan%2C+and+Fabrice+Rastello+%22Automated+Derivation+of+Parametric+Data+Movement+Lower+Bounds+for+Affine+Programs%22 10.1145/3385412.3385989 https://dl.acm.org/doi/pdf/10.1145/3385412.3385989 acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1061 54

Automatic Generation of Efficient Sparse Tensor Format Conversion Routines Stephen Chou, Fredrik Kjolstad, and Saman Amarasinghe Massachusetts Institute of Technology, USA; Stanford University, USA 90cda239b3255d7c22151744846645 Stephen Chou Chou Stephen Massachusetts Institute of Technology USA http://stephenchou.net 0000-0002-5048-7131 c07ad83e0a6f9beefcce231f6d8919 Fredrik Kjolstad Kjolstad Fredrik Stanford University USA http://fredrikbk.com/ http://fredrikbk.com/assets/fred.jpg https://scholar.google.com/citations?user=bCCxZ28AAAAJ&hl=en 0000-0002-2267-903X 88b3baa8aec22700597123f49e9003 Saman Amarasinghe Amarasinghe Saman Massachusetts Institute of Technology USA http://people.csail.mit.edu/saman http://people.csail.mit.edu/saman/img/saman4.jpg https://scholar.google.com/citations?user=cF6i_goAAAAJ&hl=en&oi=ao https://www.linkedin.com/in/saman/ 0000-0002-7231-7643 http://scholar.google.com/scholar?q=Stephen+Chou%2C+Fredrik+Kjolstad%2C+and+Saman+Amarasinghe+%22Automatic+Generation+of+Efficient+Sparse+Tensor+Format+Conversion+Routines%22 10.1145/3385412.3385963 https://dl.acm.org/doi/pdf/10.1145/3385412.3385963 acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1081 55

OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization Ankush Phulia, Vaibhav Bhagee, and Sorav Bansal IIT Delhi, India 4f53519cd5169181b296c0a9943d43 Ankush Phulia Phulia Ankush IIT Delhi India 77ab484a791bf143b08fd56cab9608 Vaibhav Bhagee Bhagee Vaibhav IIT Delhi India ad3cbcef1c567645f2ed02db9a2739 Sorav Bansal Bansal Sorav IIT Delhi India 0009-0004-2006-9635 http://scholar.google.com/scholar?q=Ankush+Phulia%2C+Vaibhav+Bhagee%2C+and+Sorav+Bansal+%22OOElala%3A+Order-of-Evaluation+Based+Alias+Analysis+for+Compiler+Optimization%22 10.1145/3385412.3385962 https://dl.acm.org/doi/pdf/10.1145/3385412.3385962 10.1145/3395635 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1101 56

Effective Function Merging in the SSA Form Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, and Hugh Leather University of Edinburgh, UK; University of Manchester, UK; University of Leeds, UK 235c6baf6dcc7a002afc6eec6a6650 Rodrigo C. O. Rocha Rocha Rodrigo C. O. University of Edinburgh UK 11aebcc294e61f9cd02ca7502cc011 Pavlos Petoumenos Petoumenos Pavlos University of Manchester UK a876decd32ec201dedc339fe3455ee Zheng Wang Wang Zheng University of Leeds UK https://zwang4.github.io/ https://scholar.google.com/citations?user=qJ7ZKG8AAAAJ&hl=en 0000-0001-6157-0662 9ca64e7af3d1241f1ee981c063480f Murray Cole Cole Murray University of Edinburgh UK 38e794b1c2ec0f924276589b193764 Hugh Leather Leather Hugh University of Edinburgh UK http://scholar.google.com/scholar?q=Rodrigo+C.+O.+Rocha%2C+Pavlos+Petoumenos%2C+Zheng+Wang%2C+Murray+Cole%2C+and+Hugh+Leather+%22Effective+Function+Merging+in+the+SSA+Form%22 10.1145/3385412.3386030 https://dl.acm.org/doi/pdf/10.1145/3385412.3386030 10.6084/m9.figshare.12089217 acm_artifacts_available acm_artifacts_evaluated_functional 1121 57

Proving Almost-Sure Termination by Omega-Regular Decomposition Jianhui Chen and Fei He Tsinghua University, China 9b59e88a53ec387b8132e71be1b025 Jianhui Chen Chen Jianhui Tsinghua University China aa87b590057d10bdc5b907783074bc Fei He He Fei Tsinghua University China https://feihe.github.io/ 0000-0002-4266-875X http://scholar.google.com/scholar?q=Jianhui+Chen+and+Fei+He+%22Proving+Almost-Sure+Termination+by+Omega-Regular+Decomposition%22 10.1145/3385412.3386002 https://dl.acm.org/doi/pdf/10.1145/3385412.3386002 1141 58

λPSI: Exact Inference for Higher-Order Probabilistic Programs Timon Gehr, Samuel Steffen, and Martin Vechev ETH Zurich, Switzerland b8950ca30de6e42e82c3f1b7f69f7b Timon Gehr Gehr Timon ETH Zurich Switzerland 0009-0000-7470-0489 e69e54baebc9c51aa680db39020bc4 Samuel Steffen Steffen Samuel ETH Zurich Switzerland 59ecdc47afb0820ce03a31973eeb49 Martin Vechev Vechev Martin ETH Zurich Switzerland https://www.sri.inf.ethz.ch/people/martin https://scholar.google.com/citations?user=aZ1Rh50AAAAJ&hl=en 0000-0002-0054-9568 http://scholar.google.com/scholar?q=Timon+Gehr%2C+Samuel+Steffen%2C+and+Martin+Vechev+%22%CE%BBPSI%3A+Exact+Inference+for+Higher-Order+Probabilistic+Programs%22 10.1145/3385412.3386006 https://dl.acm.org/doi/pdf/10.1145/3385412.3386006 10.5281/zenodo.3765314 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1161 59

Reactive Probabilistic Programming Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin IBM Research, USA; Massachusetts Institute of Technology, USA; ENS, France; PSL University, France f9f72528fe84140b6d89d610965dfe Guillaume Baudart Baudart Guillaume IBM Research USA 40273a38df54f5988997ee62812ef3 Louis Mandel Mandel Louis IBM Research USA 0000-0002-5291-6067 2c636b8aea44c2362963f1cca095f2 Eric Atkinson Atkinson Eric Massachusetts Institute of Technology USA 0000-0002-8396-1258 648e030841f2cc8a4697e08d52c931 Benjamin Sherman Sherman Benjamin Massachusetts Institute of Technology USA 8e70bb9ef2ae03dd4a044780fac447 Marc Pouzet Pouzet Marc ENS France PSL University France 0000-0002-2651-7708 f1f9f90c83718c54237d47290a7019 Michael Carbin Carbin Michael Massachusetts Institute of Technology USA https://people.csail.mit.edu/mcarbin/ https://scholar.google.com/citations?user=mtejbKYAAAAJ&hl=en https://twitter.com/mcarbin 0000-0002-6928-0456 http://scholar.google.com/scholar?q=Guillaume+Baudart%2C+Louis+Mandel%2C+Eric+Atkinson%2C+Benjamin+Sherman%2C+Marc+Pouzet%2C+and+Michael+Carbin+%22Reactive+Probabilistic+Programming%22 10.1145/3385412.3386009 https://dl.acm.org/doi/pdf/10.1145/3385412.3386009 10.1145/3395641 acm_artifacts_available acm_artifacts_evaluated_functional 1181 60

Constant-Time Foundations for the New Spectre Era Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe University of California at San Diego, USA; Inria, France; MPI-SP, Germany; IMDEA Software Institute, Spain 487f770f004e7a3d9b755a22a29117 Sunjay Cauligi Cauligi Sunjay University of California at San Diego USA 53293babc144ee26e7ea8abcab3585 Craig Disselkoen Disselkoen Craig University of California at San Diego USA 0000-0003-4358-2963 1e6cc016399fba6971291027b141f1 Klaus v. Gleissenthall Gleissenthall Klaus v. University of California at San Diego USA 46cd15e0c2242b022f422b1aa2d7f3 Dean Tullsen Tullsen Dean University of California at San Diego USA 0000-0003-3174-9316 83d170c091dee89d1472f6e5d492fb Deian Stefan Stefan Deian University of California at San Diego USA 0000-0002-7041-7464 b8f907a85190ecf6278a838d482bb5 Tamara Rezk Rezk Tamara Inria France 37e7fa3410968068c06dd65396da9c Gilles Barthe Barthe Gilles MPI-SP Germany IMDEA Software Institute Spain 0000-0002-3853-1777 http://scholar.google.com/scholar?q=Sunjay+Cauligi%2C+Craig+Disselkoen%2C+Klaus+v.+Gleissenthall%2C+Dean+Tullsen%2C+Deian+Stefan%2C+Tamara+Rezk%2C+and+Gilles+Barthe+%22Constant-Time+Foundations+for+the+New+Spectre+Era%22 10.1145/3385412.3385970 https://dl.acm.org/doi/pdf/10.1145/3385412.3385970 10.1145/3395651 acm_artifacts_available acm_artifacts_evaluated_functional 1201 61

Gillian, Part I: A Multi-language Platform for Symbolic Execution José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, and Philippa Gardner INESC-ID, Portugal; Instituto Superior Técnico, University of Lisbon, Portugal; Imperial College London, UK bb37368d0160c341ea9cbd3b7febaf José Fragoso Santos Fragoso Santos José INESC-ID Portugal Instituto Superior Técnico Portugal Imperial College London UK 0000-0001-5077-300X d8aadd94bd353746a605546e4e742e Petar Maksimović Maksimović Petar Imperial College London UK 0000-0002-0400-7467 dd3f54b9a867d0f57dc3fd6a493508 Sacha-Élie Ayoun Ayoun Sacha-Élie Imperial College London UK https://www.doc.ic.ac.uk/~sja3417 https://www.doc.ic.ac.uk/~sja3417/images/avatar.png https://scholar.google.co.uk/citations?user=u6hoSzgAAAAJ https://twitter.com/SachaAyoun 0000-0001-9419-5387 e206e20a39ef58b20f2b742b55edfb Philippa Gardner Gardner Philippa Imperial College London UK 0000-0002-4187-0585 http://scholar.google.com/scholar?q=Jos%C3%A9+Fragoso+Santos%2C+Petar+Maksimovi%C4%87%2C+Sacha-%C3%89lie+Ayoun%2C+and+Philippa+Gardner+%22Gillian%2C+Part+I%3A+A+Multi-language+Platform+for+Symbolic+Execution%22 10.1145/3385412.3386014 https://dl.acm.org/doi/pdf/10.1145/3385412.3386014 10.1145/3395646 acm_artifacts_available acm_artifacts_evaluated_functional 1221 62

Efficient Handling of String-Number Conversion Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, and Wei-Cheng Wu Uppsala University, Sweden; Academia Sinica, Taiwan; IBM Research, USA; Brno University of Technology, Czechia; University of Southern California, USA 50dd1899cb10f7bdb775c25b4e6925 Parosh Aziz Abdulla Abdulla Parosh Aziz Uppsala University Sweden 0000-0001-6832-6611 612cde488764ff5e3000f9b4bcf8b1 Mohamed Faouzi Atig Atig Mohamed Faouzi Uppsala University Sweden 0000-0001-8229-3481 6df2e1d10fe01ae45fc62060458008 Yu-Fang Chen Chen Yu-Fang Academia Sinica Taiwan 0000-0003-2872-0336 583398c6a82fa4f333397097e06115 Bui Phi Diep Diep Bui Phi Uppsala University Sweden 658080eb4eeda15bda7fc691f61c0a Julian Dolby Dolby Julian IBM Research USA http://researcher.watson.ibm.com/researcher/view.php?person=us-dolby https://scholar.google.com/citations?user=o5QfxzkAAAAJ&hl=en 0000-0002-6658-2678 c86a1e6f28b29e9651dd53213aef2e Petr Janků Janků Petr Brno University of Technology Czechia 4d4fce47c2adba437f994d13a659a9 Hsin-Hung Lin Lin Hsin-Hung Academia Sinica Taiwan 4a65c86e251fccccce14942e9381d0 Lukáš Holík Holík Lukáš Brno University of Technology Czechia http://www.fit.vutbr.cz/~holik/ https://scholar.google.cz/citations?user=0cPbvY0AAAAJ&hl=en 0000-0001-6957-1651 238e099449f754d2a217458a5cc28a Wei-Cheng Wu Wu Wei-Cheng University of Southern California USA http://scholar.google.com/scholar?q=Parosh+Aziz+Abdulla%2C+Mohamed+Faouzi+Atig%2C+Yu-Fang+Chen%2C+Bui+Phi+Diep%2C+Julian+Dolby%2C+Petr+Jank%C5%AF%2C+Hsin-Hung+Lin%2C+Luk%C3%A1%C5%A1+Hol%C3%ADk%2C+and+Wei-Cheng+Wu+%22Efficient+Handling+of+String-Number+Conversion%22 10.1145/3385412.3386034 https://dl.acm.org/doi/pdf/10.1145/3385412.3386034 acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1241 63

NV: An Intermediate Language for Verification of Network Control Planes Nick Giannarakis, Devon Loehr, Ryan Beckett, and David Walker Princeton University, USA; Microsoft Research, USA f76927c9fd0a45164eeb3711f89115 Nick Giannarakis Giannarakis Nick Princeton University USA dfcd0d8f4ad4326ee436a89de20441 Devon Loehr Loehr Devon Princeton University USA 0000-0003-1127-8932 52991306164a3c30f26b7d64c36a6b Ryan Beckett Beckett Ryan Microsoft Research USA 0000-0001-7844-2026 16589f82ddb769a15781d5259de9ba David Walker Walker David Princeton University USA 0000-0003-3681-149X http://scholar.google.com/scholar?q=Nick+Giannarakis%2C+Devon+Loehr%2C+Ryan+Beckett%2C+and+David+Walker+%22NV%3A+An+Intermediate+Language+for+Verification+of+Network+Control+Planes%22 10.1145/3385412.3386019 https://dl.acm.org/doi/pdf/10.1145/3385412.3386019 10.1145/3395652 acm_artifacts_available acm_artifacts_evaluated_functional 1261 64

Detecting Network Load Violations for Distributed Control Planes Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, and Aditya Akella University of Wisconsin-Madison, USA 7296f12a72e78e80d98520204d2330 Kausik Subramanian Subramanian Kausik University of Wisconsin-Madison USA 63c25d00c5a7cd4e7ae51f31addbd9 Anubhavnidhi Abhashkumar Abhashkumar Anubhavnidhi University of Wisconsin-Madison USA aaf23ddde26a598eae697ea4371378 Loris D'Antoni D'Antoni Loris University of Wisconsin-Madison USA http://pages.cs.wisc.edu/~loris/ http://pages.cs.wisc.edu/~loris/images/face.jpg https://scholar.google.com/citations?user=ao8EeJ8AAAAJ&hl=en 0000-0001-9625-4037 b732a4eb9f34358a218105df3abbc6 Aditya Akella Akella Aditya University of Wisconsin-Madison USA http://scholar.google.com/scholar?q=Kausik+Subramanian%2C+Anubhavnidhi+Abhashkumar%2C+Loris+D%27Antoni%2C+and+Aditya+Akella+%22Detecting+Network+Load+Violations+for+Distributed+Control+Planes%22 10.1145/3385412.3385976 https://dl.acm.org/doi/pdf/10.1145/3385412.3385976 acm_artifacts_evaluated_functional 1281 65

Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection Hongjune Kim, Jianping Zeng, Qingrui Liu, Mohammad Abdel-Majeed, Jaejin Lee, and Changhee Jung Seoul National University, South Korea; Purdue University, USA; Annapurna Labs, USA; University of Jordan, Jordan 9249a2637cc50e9cd17ff2c9fb0b73 Hongjune Kim Kim Hongjune Seoul National University South Korea c8d2384531f4bad7aaae68c0e07b00 Jianping Zeng Zeng Jianping Purdue University USA 85e1031555c2b262d9eb8260eeffd5 Qingrui Liu Liu Qingrui Annapurna Labs USA 3ea8d6698df56846282e72448eddbc Mohammad Abdel-Majeed Abdel-Majeed Mohammad University of Jordan Jordan 1f74f9553c8e933bdf017b03e2f819 Jaejin Lee Lee Jaejin Seoul National University South Korea https://scholar.google.com/citations?user=6JaKru0AAAAJ&hl=en 0000-0003-4638-8170 e5cb679ec781dbed814d240c84a1a7 Changhee Jung Jung Changhee Purdue University USA http://scholar.google.com/scholar?q=Hongjune+Kim%2C+Jianping+Zeng%2C+Qingrui+Liu%2C+Mohammad+Abdel-Majeed%2C+Jaejin+Lee%2C+and+Changhee+Jung+%22Compiler-Directed+Soft+Error+Resilience+for+Lightweight+GPU+Register+File+Protection%22 10.1145/3385412.3386033 https://dl.acm.org/doi/pdf/10.1145/3385412.3386033 1301 66

Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution Kiwan Maeng and Brandon Lucia Carnegie Mellon University, USA 4f91682eb81ecf111effa940f0194b Kiwan Maeng Maeng Kiwan Carnegie Mellon University USA bf4708c49b0d37d33520b4fd470efa Brandon Lucia Lucia Brandon Carnegie Mellon University USA 0000-0003-4130-1099 http://scholar.google.com/scholar?q=Kiwan+Maeng+and+Brandon+Lucia+%22Adaptive+Low-Overhead+Scheduling+for+Periodic+and+Reactive+Intermittent+Execution%22 10.1145/3385412.3385998 https://dl.acm.org/doi/pdf/10.1145/3385412.3385998 1321 67

Faster General Parsing through Context-Free Memoization Grzegorz Herman Jagiellonian University, Poland d7ff0d952fb6c4e6e172a4943c0ed4 Grzegorz Herman Herman Grzegorz Jagiellonian University Poland http://scholar.google.com/scholar?q=Grzegorz+Herman+%22Faster+General+Parsing+through+Context-Free+Memoization%22 10.1145/3385412.3386032 https://dl.acm.org/doi/pdf/10.1145/3385412.3386032 1341 68

Zippy LL(1) Parsing with Derivatives Romain Edelmann, Jad Hamza, and Viktor Kunčak EPFL, Switzerland a8f348131a6469e7b85ce7fe802974 Romain Edelmann Edelmann Romain EPFL Switzerland d351c37fc08b1a04877c975b99b0d6 Jad Hamza Hamza Jad EPFL Switzerland f37550eb318deeda6bda3a22058df9 Viktor Kunčak Kunčak Viktor EPFL Switzerland 0000-0001-7044-9522 http://scholar.google.com/scholar?q=Romain+Edelmann%2C+Jad+Hamza%2C+and+Viktor+Kun%C4%8Dak+%22Zippy+LL%281%29+Parsing+with+Derivatives%22 10.1145/3385412.3385992 https://dl.acm.org/doi/pdf/10.1145/3385412.3385992 1361 69

Debug Information Validation for Optimized Code Yuanbo Li, Shuo Ding, Qirun Zhang, and Davide Italiano Georgia Institute of Technology, USA; Apple, USA b32da2ef1151cea9d6f7c1f14cf264 Yuanbo Li Li Yuanbo Georgia Institute of Technology USA 0000-0002-0194-5589 6d105b0b503a2853f75b0edccc5448 Shuo Ding Ding Shuo Georgia Institute of Technology USA 0000-0003-0843-0729 06f1804e1157b4790e7c2f298ca331 Qirun Zhang Zhang Qirun Georgia Institute of Technology USA 0000-0001-5367-9377 17afac40ef905a44b2a0646242b47b Davide Italiano Italiano Davide Apple USA http://scholar.google.com/scholar?q=Yuanbo+Li%2C+Shuo+Ding%2C+Qirun+Zhang%2C+and+Davide+Italiano+%22Debug+Information+Validation+for+Optimized+Code%22 10.1145/3385412.3386020 https://dl.acm.org/doi/pdf/10.1145/3385412.3386020 1381 70

Semantic Code Search via Equational Reasoning Varot Premtoon, James Koppel, and Armando Solar-Lezama Massachusetts Institute of Technology, USA 1ebe2f2e5257a21711b2969c94344d Varot Premtoon Premtoon Varot Massachusetts Institute of Technology USA 86e494e1c71f6268c01695df8c7c0d James Koppel Koppel James Massachusetts Institute of Technology USA 0000-0002-3948-6904 095d97a51ba69038d6ca5203adeb98 Armando Solar-Lezama Solar-Lezama Armando Massachusetts Institute of Technology USA 0000-0001-7604-8252 http://scholar.google.com/scholar?q=Varot+Premtoon%2C+James+Koppel%2C+and+Armando+Solar-Lezama+%22Semantic+Code+Search+via+Equational+Reasoning%22 10.1145/3385412.3386001 https://dl.acm.org/doi/pdf/10.1145/3385412.3386001 10.5281/zenodo.3743160 acm_artifacts_available acm_artifacts_evaluated_functional 1401 71

Proving Data-Poisoning Robustness in Decision Trees Samuel Drews, Aws Albarghouthi, and Loris D'Antoni University of Wisconsin-Madison, USA 86db62bd48919c7a231d2843c7a9e5 Samuel Drews Drews Samuel University of Wisconsin-Madison USA http://pages.cs.wisc.edu/~sdrews http://pages.cs.wisc.edu/~sdrews/img/cropped.jpg 3aa8217a47514655bda0a26d66270b Aws Albarghouthi Albarghouthi Aws University of Wisconsin-Madison USA 0000-0003-4577-175X aaf23ddde26a598eae697ea4371378 Loris D'Antoni D'Antoni Loris University of Wisconsin-Madison USA http://pages.cs.wisc.edu/~loris/ http://pages.cs.wisc.edu/~loris/images/face.jpg https://scholar.google.com/citations?user=ao8EeJ8AAAAJ&hl=en 0000-0001-9625-4037 http://scholar.google.com/scholar?q=Samuel+Drews%2C+Aws+Albarghouthi%2C+and+Loris+D%27Antoni+%22Proving+Data-Poisoning+Robustness+in+Decision+Trees%22 10.1145/3385412.3385975 https://dl.acm.org/doi/pdf/10.1145/3385412.3385975 acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1421 72

A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, and Sarfraz Khurshid University of Texas at Austin, USA; Google, USA 6a4eee96ec4378166ff98e0a51a9d6 Muhammad Usman Usman Muhammad University of Texas at Austin USA 0000-0001-5788-5784 ba214ab83b464bef7eb11cad5a4528 Wenxi Wang Wang Wenxi University of Texas at Austin USA 6b2ff76ed4e25b8e40170d4340720c Marko Vasic Vasic Marko University of Texas at Austin USA https://www.linkedin.com/in/marko-vasic-a62a0168/ a4df161fa3914a172664251fe9e39a Kaiyuan Wang Wang Kaiyuan Google USA 8ff255db6cf76878cd4315293b83ff Haris Vikalo Vikalo Haris University of Texas at Austin USA 6278eb4008b653889670f9d7ba3ab0 Sarfraz Khurshid Khurshid Sarfraz University of Texas at Austin USA 0009-0009-7424-7819 http://scholar.google.com/scholar?q=Muhammad+Usman%2C+Wenxi+Wang%2C+Marko+Vasic%2C+Kaiyuan+Wang%2C+Haris+Vikalo%2C+and+Sarfraz+Khurshid+%22A+Study+of+the+Learnability+of+Relational+Properties%3A+Model+Counting+Meets+Machine+Learning+%28MCML%29%22 10.1145/3385412.3386015 https://dl.acm.org/doi/pdf/10.1145/3385412.3386015 10.1145/3395647 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1441 73

Learning Fast and Precise Numerical Analysis Jingxuan He, Gagandeep Singh, Markus Püschel, and Martin Vechev ETH Zurich, Switzerland a1fa643beb0cab06c71433ea0672ee Jingxuan He He Jingxuan ETH Zurich Switzerland 9d2d15a7eaec98c8387be9e90507e2 Gagandeep Singh Singh Gagandeep ETH Zurich Switzerland 2ef32dd7af140047421e436160c21f Markus Püschel Püschel Markus ETH Zurich Switzerland 0000-0001-8834-8551 59ecdc47afb0820ce03a31973eeb49 Martin Vechev Vechev Martin ETH Zurich Switzerland https://www.sri.inf.ethz.ch/people/martin https://scholar.google.com/citations?user=aZ1Rh50AAAAJ&hl=en 0000-0002-0054-9568 http://scholar.google.com/scholar?q=Jingxuan+He%2C+Gagandeep+Singh%2C+Markus+P%C3%BCschel%2C+and+Martin+Vechev+%22Learning+Fast+and+Precise+Numerical+Analysis%22 10.1145/3385412.3386016 https://dl.acm.org/doi/pdf/10.1145/3385412.3386016 10.1145/3395648 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1461 74

Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems Qinheping Hu, John Cyphert, Loris D'Antoni, and Thomas Reps University of Wisconsin-Madison, USA 3e5902ddcabe8bfa9fc44402a9b490 Qinheping Hu Hu Qinheping University of Wisconsin-Madison USA bf78db3ad93e9e88727f251e0316b6 John Cyphert Cyphert John University of Wisconsin-Madison USA https://pages.cs.wisc.edu/~jcyphert/me.jpg 0009-0007-6310-413X aaf23ddde26a598eae697ea4371378 Loris D'Antoni D'Antoni Loris University of Wisconsin-Madison USA http://pages.cs.wisc.edu/~loris/ http://pages.cs.wisc.edu/~loris/images/face.jpg https://scholar.google.com/citations?user=ao8EeJ8AAAAJ&hl=en 0000-0001-9625-4037 057b813ebbeb600c2d9a6d2966e136 Thomas Reps Reps Thomas University of Wisconsin-Madison USA http://pages.cs.wisc.edu/~reps/ http://pages.cs.wisc.edu/~pubs/pictures/facstaff/reps-large.jpg http://scholar.google.com/citations?user=pwhyTq0AAAAJ https://www.linkedin.com/in/thomas-reps-437b2a69/ 0000-0002-5676-9949 http://scholar.google.com/scholar?q=Qinheping+Hu%2C+John+Cyphert%2C+Loris+D%27Antoni%2C+and+Thomas+Reps+%22Exact+and+Approximate+Methods+for+Proving+Unrealizability+of+Syntax-Guided+Synthesis+Problems%22 10.1145/3385412.3385979 https://dl.acm.org/doi/pdf/10.1145/3385412.3385979 10.1145/3395631 acm_artifacts_available acm_artifacts_evaluated_functional 1481 75

Question Selection for Interactive Program Synthesis Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, and Zhenjiang Hu Peking University, China d1b1390a412ff025e909ccb7970d1e Ruyi Ji Ji Ruyi Peking University China 0000-0002-0150-8629 d1507d6c5510502006c447519cafe9 Jingjing Liang Liang Jingjing Peking University China 5df6d484ed0d5a64fa9640bd3266b7 Yingfei Xiong Xiong Yingfei Peking University China 0000-0001-8991-747X 8b35847b39e7ff51daadb1a793af9c Lu Zhang Zhang Lu Peking University China http://scholar.google.com/citations?hl=en&user=JUnz2VcAAAAJ 0000-0001-8304-7055 ecf96769b6c0ddcd3803e42015b2c6 Zhenjiang Hu Hu Zhenjiang Peking University China 0000-0002-9034-205X http://scholar.google.com/scholar?q=Ruyi+Ji%2C+Jingjing+Liang%2C+Yingfei+Xiong%2C+Lu+Zhang%2C+and+Zhenjiang+Hu+%22Question+Selection+for+Interactive+Program+Synthesis%22 10.1145/3385412.3386025 https://dl.acm.org/doi/pdf/10.1145/3385412.3386025 10.5281/zenodo.3750961 acm_artifacts_available acm_artifacts_evaluated_functional 1501 76

Reconciling Enumerative and Deductive Program Synthesis Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, and Yanjun Wang Purdue University, USA ef72b9493bf227a59de500b0318712 Kangjing Huang Huang Kangjing Purdue University USA 740f61816888801f8651b5c5137d33 Xiaokang Qiu Qiu Xiaokang Purdue University USA https://engineering.purdue.edu/~xqiu/ https://engineering.purdue.edu/~xqiu/images/photo.jpeg https://scholar.google.com/citations?user=xGHVK6sAAAAJ&hl=en https://www.linkedin.com/in/xiaokang-qiu-365b4a8 0000-0001-9476-7349 1497f520803d957be6a427956674e0 Peiyuan Shen Shen Peiyuan Purdue University USA 038c55b6f086c324b75d3e34472de4 Yanjun Wang Wang Yanjun Purdue University USA 0000-0002-9459-9813 http://scholar.google.com/scholar?q=Kangjing+Huang%2C+Xiaokang+Qiu%2C+Peiyuan+Shen%2C+and+Yanjun+Wang+%22Reconciling+Enumerative+and+Deductive+Program+Synthesis%22 10.1145/3385412.3386027 https://dl.acm.org/doi/pdf/10.1145/3385412.3386027 10.5281/zenodo.3753963 acm_artifacts_available acm_artifacts_evaluated_reusable acm_artifacts_evaluated_functional 1521 77