PLDI 2020 - Preliminary Program - PLDI20
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
Title Page
c0bc77c5d26e0e46665bbb39a0dcaa
0000-0003-4832-7662
i
0
Message from the Chairs
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
iv
0
PLDI 2020 Organization
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
v
xi
0
Sponsors
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
xii
xii
0
Data-Driven Inference of Representation Invariants
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
https://www.cs.princeton.edu/~amiltner/hanoi.pdf
10.1145/3385412.3385967
https://dl.acm.org/doi/pdf/10.1145/3385412.3385967
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Type-Directed Synthesis; Logical Relations; Abstract Data Types
1
15
1
Type Error Feedback via Analytic Program Repair
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
acm_artifacts_evaluated_functional
Type Error Feedback; Program Synthesis; Program Repair; Machine Learning
16
30
2
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
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
acm_artifacts_evaluated_functional
Equality Saturation; Program Synthesis; Decompilation; Computer-Aided Design
31
44
3
Compiler and Runtime Support for Continuation Marks
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Dynamic binding; context inspection
45
58
4
Crafty: Efficient, HTM-Compatible Persistent Transactions
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
acm_artifacts_evaluated_functional
persistent transactions; transactional memory
59
74
5
From Folklore to Fact: Comparing Implementations of Stacks and Continuations
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Call stacks; Concurrency; Continuations; Compilers; Functional Programming
75
90
6
Typilus: Neural Type Hints
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
https://arxiv.org/pdf/2004.10657.pdf
10.1145/3385412.3385997
https://dl.acm.org/doi/pdf/10.1145/3385412.3385997
type inference; structured learning; deep learning; graph neural networks; meta-learning
91
105
7
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
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
Loop Invariant Inference; Program Verification; Continuous Logic Networks
106
120
8
Blended, Precise Semantic Program Embeddings
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
Semantic Program Embedding; Attention Network; Static and Dynamic Program Features
121
134
9
Towards a Verified Range Analysis for JavaScript JITs
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
acm_artifacts_evaluated_functional
JIT verification; range analysis; JavaScript
135
150
10
Binary Rewriting without Control Flow Recovery
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
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
static binary rewriting; binary instrumentation; binary patching; binary repair; instruction punning; instruction eviction; memory management
151
163
11
BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
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
https://arxiv.org/pdf/1902.06570.pdf
10.1145/3385412.3386017
https://dl.acm.org/doi/pdf/10.1145/3385412.3386017
acm_artifacts_evaluated_functional
software debloating; program security
164
180
12
Verifying Concurrent Search Structure Templates
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
template-based verification; concurrent data structures; flow framework; separation logic
181
196
13
Armada: Low-Effort Verification of High-Performance Concurrent Programs
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
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
refinement; weak memory models; x86-TSO
197
210
14
Decidable Verification under a Causally Consistent Shared Memory
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
https://www.cs.tau.ac.il/~orilahav/papers/causal_full.pdf
10.1145/3385412.3385966
https://dl.acm.org/doi/pdf/10.1145/3385412.3385966
acm_artifacts_evaluated_functional
weak memory models; causal consistency; release/acquire; shared-memory; concurrency; verification; decidability; well-structured transition systems
211
226
15
Inductive Sequentialization of Asynchronous Programs
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
verification; asynchrony; concurrency; invariants; refinement; layers; movers; reduction; abstraction; induction
227
242
16
The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
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
Hardware Description Language; Semantics; Compiler Correctness
243
257
17
LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
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
https://arxiv.org/pdf/2004.03494.pdf
http://llhd.io
10.1145/3385412.3386024
https://dl.acm.org/doi/pdf/10.1145/3385412.3386024
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
hardware description languages; intermediate representations; transformation passes
258
271
18
On the Principles of Differentiable Quantum Programming Languages
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
quantum programming languages; differentiable programming languages; quantum machine learning
272
285
19
Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics
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
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Quantum Language; Uncomputation; Semantics
286
300
20
Improving Program Locality in the GC using Hotness
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
data locality; GC; cache optimisation; prefetching
301
313
21
A Marriage of Pointer- and Epoch-Based Reclamation
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
https://cp.kaist.ac.kr/gc/
10.1145/3385412.3385978
https://dl.acm.org/doi/pdf/10.1145/3385412.3385978
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
safe memory reclamation; garbage collection; hazard pointer; pointer-based reclamation; epoch-based reclamation
314
328
22
CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation
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
virtual memory; memory management
329
345
23
Repairing and Mechanising the JavaScript Relaxed Memory Model
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
Alloy; ARMv8; Coq; weak memory; Web worker
346
361
24
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
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
https://sf.snu.ac.kr/promising2.0/
10.1145/3385412.3386010
https://dl.acm.org/doi/pdf/10.1145/3385412.3386010
acm_artifacts_evaluated_functional
Relaxed Memory Concurrency; Operational Semantics; Compiler Optimizations
362
376
25
NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey
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
https://arxiv.org/abs/2004.02841
10.1145/3385412.3386031
https://dl.acm.org/doi/pdf/10.1145/3385412.3386031
Non-volatile Memory; Concurrent Data Structures; Non-blocking; Lock-free
377
392
26
Predictable Accelerator Design with Time-Sensitive Affine Types
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
https://rachitnigam.com/files/pubs/dahlia.pdf
https://capra.cs.cornell.edu/dahlia/
Supplementary material for the paper.
10.1145/3385412.3385974
https://dl.acm.org/doi/pdf/10.1145/3385412.3385974
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Affine Type Systems; High-Level Synthesis
393
407
27
Type-Directed Scheduling of Streaming Accelerators
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
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
acm_artifacts_evaluated_functional
space-time types; hardware description languages; scheduling; image processing; FPGAs
408
422
28
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
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
https://arxiv.org/pdf/2004.00396.pdf
https://links-lang.org/
10.1145/3385412.3386003
https://dl.acm.org/doi/pdf/10.1145/3385412.3386003
acm_artifacts_evaluated_functional
first-class polymorphism; type inference; impredicative types
423
437
29
Securing Smart Contract with Runtime Validation
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
runtime validation; smart contract; compiler
438
453
30
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
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
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
https://www.nevillegrech.com/assets/pdf/ethainter-pldi.pdf
10.1145/3385412.3385990
https://dl.acm.org/doi/pdf/10.1145/3385412.3385990
acm_artifacts_evaluated_functional
static analysis; information flow; smart contracts
454
469
31
Behavioral Simulation for Smart Contracts
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
Blockchain; Smart contracts; Refinement; Simulation
470
486
32
Multi-modal Synthesis of Regular Expressions
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
Program Synthesis; Programming by Natural Languages; Programming by Example; Regular Expression
487
502
33
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
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
https://drive.google.com/file/d/1nBEApuXk3Z3jf7kFGJtRtjWw5vJqRey9/view?usp=sharing
10.1145/3385412.3385996
https://dl.acm.org/doi/pdf/10.1145/3385412.3385996
acm_artifacts_evaluated_functional
Homomorphic Encryption Circuit; Program Synthesis; Term Rewriting
503
518
34
CacheQuery: Learning Replacement Policies from Hardware Caches
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
382dedf994ca4c62ffaea17910480b
Boris Köpf
Köpf
Boris
Microsoft Research
UK
https://arxiv.org/pdf/1912.09770.pdf
10.1145/3385412.3386008
https://dl.acm.org/doi/pdf/10.1145/3385412.3386008
acm_artifacts_evaluated_functional
Cache Replacement Policies; Automata Learning; Program Synthesis; Reverse Engineering
519
532
35
HipHop.js: (A)Synchronous Reactive Web Programming
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
http://hop.inria.fr/hiphop
10.1145/3385412.3385984
https://dl.acm.org/doi/pdf/10.1145/3385412.3385984
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Reactive Programming; Synchronous Programming; Web Programming; JavaScript
533
545
36
EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
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
Homomorphic encryption; compiler; neural networks; privacy-preserving machine learning
546
561
37
Towards an API for the Real Numbers
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
real numbers; API design; comparison; decidability
562
576
38
Responsive Parallelism with Futures and State
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
acm_artifacts_evaluated_functional
responsiveness; futures; shared memory; concurrency; parallelism; type systems; Cilk
577
591
39
SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
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
graph analytics; graph algorithms; compilers; big data
592
607
40
PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization
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
https://compilers.cs.uni-saarland.de/papers/ritter_pmevo_pldi20.pdf
10.1145/3385412.3385995
https://dl.acm.org/doi/pdf/10.1145/3385412.3385995
acm_artifacts_evaluated_functional
port mapping; evolutionary algorithm; processor reverse engineering
608
622
41
PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies
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
e6ba32dc8066acec9e7cc3b4a9d525
Mikel Luján
Luján
Mikel
University of Manchester
UK
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
acm_artifacts_evaluated_functional
non-volatile memory; memory persistence; parallel programs
623
637
42
SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
speculation; dependence analysis; collaboration
638
654
43
Scalable Validation of Binary Lifters
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
acm_artifacts_evaluated_functional
x86-64; Translation Validation; Formal Semantics; LLVM IR; Compiler Optimizations; Graph Isomorphism
655
671
44
Polynomial Invariant Generation for Non-deterministic Recursive Programs
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
Invariant generation; Positivstellensaetze; Polynomial programs
672
687
45
Templates and Recurrences: Better Together
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Invariant generation; Recurrence relation
688
702
46
First-Order Quantified Separators
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-0002-3723-9555
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
invariant inference; first-order logic
703
717
47
Validating SMT Solvers via Semantic Fusion
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
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
Semantic fusion; SMT solvers; Fuzz testing
718
730
48
Debugging and Detecting Numerical Errors in Computation with Posits
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
https://www.cs.rutgers.edu/~santosh.nagarakatte/papers/PositDebug-PLDI-2020-preprint.pdf
10.1145/3385412.3386004
https://dl.acm.org/doi/pdf/10.1145/3385412.3386004
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Posits; dynamic analysis; numerical errors
731
746
49
SmartTrack: Efficient Predictive Race Detection
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
Data race detection; dynamic predictive analysis
747
762
50
Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
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
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Rust; Memory Bug; Concurrency Bug; Bug Study
763
779
51
Fast Graph Simplification for Interleaved Dyck-Reachability
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
CFL-Reachability; Static Analysis
780
793
52
Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room
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
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
https://yanniss.github.io/enterprise-pldi20-draft.pdf
10.1145/3385412.3386026
https://dl.acm.org/doi/pdf/10.1145/3385412.3386026
acm_artifacts_evaluated_functional
static analysis; points-to analysis; Java EE
794
807
53
Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
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
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
Data access complexity; I/O lower bounds; Static analysis; Affine programs
808
822
54
Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
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://tensor-compiler.org/chou-pldi20-taco-conversion.pdf
10.1145/3385412.3385963
https://dl.acm.org/doi/pdf/10.1145/3385412.3385963
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
sparse tensor conversion; sparse tensor assembly; sparse tensor algebra; sparse tensor formats; coordinate remapping notation; attribute query language
823
838
55
OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Undefined Behaviour; Compiler Optimization
839
853
56
Effective Function Merging in the SSA Form
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
acm_artifacts_evaluated_functional
Code Size Reduction; Function Merging; LTO
854
868
57
Proving Almost-Sure Termination by Omega-Regular Decomposition
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
Probabilistic Programs; Almost-Sure Termination; Omega-Regular Languages; Ranking Supermartingales
869
882
58
λPSI: Exact Inference for Higher-Order Probabilistic Programs
λ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
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Probabilistic Programming; Exact; Higher-order
883
897
59
Reactive Probabilistic Programming
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
https://arxiv.org/pdf/1908.07563.pdf
https://github.com/IBM/probzelus/tree/pldi20
10.1145/3385412.3386009
https://dl.acm.org/doi/pdf/10.1145/3385412.3386009
acm_artifacts_evaluated_functional
Probabilistic programming; Reactive programming; Streaming inference; Semantics; Compilation
898
912
60
Constant-Time Foundations for the New Spectre Era
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
acm_artifacts_evaluated_functional
pectre; speculative execution; semantics; static analysis
913
926
61
Gillian, Part I: A Multi-language Platform for Symbolic Execution
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
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
acm_artifacts_evaluated_functional
Symbolic execution; parametric semantics; bug-finding; bounded verification; JavaScript; C
927
942
62
Efficient Handling of String-Number Conversion
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
6df2e1d10fe01ae45fc62060458008
Yu-Fang Chen
Chen
Yu-Fang
Academia Sinica
Taiwan
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
String Solver; Formal Verification; Automata
943
957
63
NV: An Intermediate Language for Verification of Network Control Planes
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
acm_artifacts_evaluated_functional
Network Verification; Network Simulation; Control Plane Analysis; Router Configuration Analysis; Intermediate Verification Language
958
973
64
Detecting Network Load Violations for Distributed Control Planes
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
Quantitative Verification; Routing Protocols; Fault Tolerance; Abstract Representation
974
988
65
Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection
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
GPU; Resilience; ECC
989
1004
66
Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution
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
Appendix: proof of the feasibility test
10.1145/3385412.3385998
https://dl.acm.org/doi/pdf/10.1145/3385412.3385998
intermittent computing; energy-harvesting
1005
1021
67
Faster General Parsing through Context-Free Memoization
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
generalized parsing; context-free; memoization; Earley; GLR; GLL
1022
1035
68
Zippy LL(1) Parsing with Derivatives
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
Parsing; LL(1); Derivatives; Zipper; Formal proof
1036
1051
69
Debug Information Validation for Optimized Code
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
Debug Information; Optimizing Compilers
1052
1065
70
Semantic Code Search via Equational Reasoning
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://www.jameskoppel.com/files/papers/yogo-preprint.pdf
https://www.youtube.com/watch?v=IGoQiUujlkM
10.1145/3385412.3386001
https://dl.acm.org/doi/pdf/10.1145/3385412.3386001
acm_artifacts_evaluated_functional
equational reasoning; code search
1066
1082
71
Proving Data-Poisoning Robustness in Decision Trees
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
Abstract Interpretation; Adversarial Machine Learning; Decision Trees; Poisoning; Robustness
1083
1097
72
A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
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
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Relational properties; machine learning; model counting; SAT solving; Alloy; ApproxMC; ProjMC
1098
1111
73
Learning Fast and Precise Numerical Analysis
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
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
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
Abstract interpretation; Numerical domains; Machine learning; Performance optimization
1112
1127
74
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems
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
acm_artifacts_evaluated_functional
Program Synthesis; Unrealizability; Grammar Flow Analysis; Syntax-Guided Synthesis
1128
1142
75
Question Selection for Interactive Program Synthesis
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
https://github.com/jiry17/IntSy
10.1145/3385412.3386025
https://dl.acm.org/doi/pdf/10.1145/3385412.3386025
acm_artifacts_evaluated_functional
Interaction; Program Synthesis
1143
1158
76
Reconciling Enumerative and Deductive Program Synthesis
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
https://github.com/purdue-cap/DryadSynth
Appendix
10.1145/3385412.3386027
https://dl.acm.org/doi/pdf/10.1145/3385412.3386027
acm_artifacts_evaluated_reusable
acm_artifacts_evaluated_functional
syntax-guided synthesis; divide-and-conquer; enumerative synthesis; deductive synthesis
1159
1174
77