---
title: "Proceedings of the ACM on Programming Languages 2020 — all"
description: "All 170 papers of Proceedings of the ACM on Programming Languages 2020 · page 1 of 2, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Proceedings of the ACM on Programming…](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/) / [2020](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/) / papers

# Proceedings of the ACM on Programming Languages 2020: all accepted papers

170 papers · page 1 of 2 · the most cited first · [← Proceedings of the ACM on Programming Languages 2020](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/)

**1** [2](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/page/2/) [next →](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/page/2/)

1. **[Adversarial examples for models of code ↗](https://doi.org/10.1145/3428230)**Noam Yefet, Uri Alon, Eran Yahav*161 citations*
2. **[Random testing for C and C++ compilers with YARPGen ↗](https://doi.org/10.1145/3428264)**Vsevolod Livinskii, Dmitry Babokin, John David Regehr*142 citations*
3. **[Projection-based runtime assertions for testing and debugging Quantum programs ↗](https://doi.org/10.1145/3428218)**Gushu Li, Li Zhou, Nengkun Yu et al.*119 citations*
4. **[Finding bugs in database systems via query partitioning ↗](https://doi.org/10.1145/3428279)**Manuel Rigger, Zhendong Su*118 citations*
5. **[Flow2Vec: value-flow-based precise code embedding ↗](https://doi.org/10.1145/3428301)**Yulei Sui, Xiao Yu Cheng, Guanqin Zhang et al.*92 citations*
6. **[Neural reverse engineering of stripped binaries using augmented control flow graphs ↗](https://doi.org/10.1145/3428293)**Yaniv David, Uri S. Alon, Eran Yahav*84 citations*
7. **[Scaling exact inference for discrete probabilistic programs ↗](https://doi.org/10.1145/3428208)**Steven Holtzen, Guy Van den Broeck, Todd D. Millstein*84 citations*
8. **[History of Logo ↗](https://doi.org/10.1145/3386329)**Cynthia J. Solomon, Brian W. Harvey, Ken Kahn et al.*79 citations*
9. **[How do programmers use unsafe rust? ↗](https://doi.org/10.1145/3428204)**Vytautas Astrauskas, Christoph Matheja, Federico Poli et al.*79 citations*
10. **[LabVIEW ↗](https://doi.org/10.1145/3386328)**Jeff Kodosky*77 citations*
11. **[A history of MATLAB ↗](https://doi.org/10.1145/3386331)**C Moler, Jack Little*64 citations*
12. **[A large-scale longitudinal study of flaky tests ↗](https://doi.org/10.1145/3428270)**Wing Lam, Stefan Winter, Anjiang Wei et al.*63 citations*
13. **[Effects as capabilities: effect handlers and lightweight effect polymorphism ↗](https://doi.org/10.1145/3428194)**Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann*63 citations*
14. **[Perfectly parallel fairness certification of neural networks ↗](https://doi.org/10.1145/3428253)**Caterina Urban, Maria Christakis, Valentin Wüstholz et al.*62 citations*
15. **[Learning semantic program embeddings with graph interval neural network ↗](https://doi.org/10.1145/3428205)**Yu Wang, Ke Wang, Fengjuan Gao et al.*61 citations*
16. **[On the unusual effectiveness of type-aware operator mutations for testing SMT solvers ↗](https://doi.org/10.1145/3428261)**Dominik Winterer, Chengyu Zhang, Zhendong Su*55 citations*
17. **[JavaScript: the first 20 years ↗](https://doi.org/10.1145/3386327)**Allen Wirfs-Brock, Brendan Eich*53 citations*
18. **[A sparse iteration space transformation framework for sparse tensor algebra ↗](https://doi.org/10.1145/3428226)**Ryan Senanayake, Changwan Hong, Ziheng Wang et al.*51 citations*
19. **[A modular cost analysis for probabilistic programs ↗](https://doi.org/10.1145/3428240)**Martin Avanzini, Georg Moser, Michael Schaper*42 citations*
20. **[Program sketching with live bidirectional evaluation ↗](https://doi.org/10.1145/3408991)**Justin Lubin, Nick Collins, Cyrus Omar et al.*42 citations*
21. **[TacTok: semantics-aware proof synthesis ↗](https://doi.org/10.1145/3428299)**Emily First, Yuriy Brun, Arjun Guha*41 citations*
22. **[A unified view of modalities in type systems ↗](https://doi.org/10.1145/3408972)**Andreas M. Abel, Jean-Philippe Bernardy*40 citations*
23. **[Statically verified refinements for multiparty protocols ↗](https://doi.org/10.1145/3428216)**Fangyi Zhou, Francisco Ferreira, Raymond Hu et al.*38 citations*
24. **[A structural model for contextual code changes ↗](https://doi.org/10.1145/3428283)**Shaked Brody, Uri Alon, Eran Yahav*35 citations*
25. **[Mossad: defeating software plagiarism detection ↗](https://doi.org/10.1145/3428206)**Breanna Devore-McDonald, Emery D. Berger*35 citations*
26. **[Raising expectations: automating expected cost analysis with types ↗](https://doi.org/10.1145/3408992)**Di Wang, David M. Kahn, Jan Hoffmann*35 citations*
27. **[Detecting locations in JavaScript programs affected by breaking library changes ↗](https://doi.org/10.1145/3428255)**Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp*33 citations*
28. **[Just-in-time learning for bottom-up enumerative synthesis](https://md.research.elamur.ai/free/en/papers/barke-2020-just-time-learning-bottom-up/)**Shraddha Barke, Hila Peleg, Nadia Polikarpova*33 citations · our summary*
29. **[Retrofitting parallelism onto OCaml ↗](https://doi.org/10.1145/3408995)**KC Sivaramakrishnan, Stephen Dolan, Leo White et al.*33 citations*
30. **[Contextual dispatch for function specialization ↗](https://doi.org/10.1145/3428288)**Olivier Flückiger, Guido Chari, Ming‐Ho Yee et al.*32 citations*
31. **[Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies ↗](https://doi.org/10.1145/3408974)**Bastian Hagedorn, Johannes Lenfers, Thomas Kœhler et al.*31 citations*
32. **[Learning graph-based heuristics for pointer analysis without handcrafting application-specific features ↗](https://doi.org/10.1145/3428247)**Minseok Jeon, Myungho Lee, Hakjoo Oh*29 citations*
33. **[Adding interactive visual syntax to textual code ↗](https://doi.org/10.1145/3428290)**Leif Andersen, Michael Ballantyne, Matthias Felleisen*28 citations*
34. **[Pomsets with preconditions: a simple model of relaxed memory ↗](https://doi.org/10.1145/3428262)**Radha Jagadeesan, Alan Jeffrey, James Riely*28 citations*
35. **[Separation logic for sequential programs (functional pearl) ↗](https://doi.org/10.1145/3408998)**Arthur Charguéraud*28 citations*
36. **[Taming callbacks for smart contract modularity ↗](https://doi.org/10.1145/3428277)**Elvira Albert, Shelly Grossman, Noam Rinetzky et al.*28 citations*
37. **[Effect handlers, evidently ↗](https://doi.org/10.1145/3408981)**Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström et al.*27 citations*
38. **[Igloo: soundly linking compositional refinement and separation logic for distributed system verification ↗](https://doi.org/10.1145/3428220)**Christoph Sprenger, Tobias Klenze, Marco Eilers et al.*27 citations*
39. **[Myths and mythconceptions: what does it mean to be a programming language, anyhow? ↗](https://doi.org/10.1145/3480947)**Mary Shaw*27 citations*
40. **[SteelCore: an extensible concurrent separation logic for effectful dependently typed programs ↗](https://doi.org/10.1145/3409003)**Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz et al.*27 citations*
41. **[The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl) ↗](https://doi.org/10.1145/3409006)**Lionel Parreaux*27 citations*
42. **[CompCertELF: verified separate compilation of C programs into ELF object files ↗](https://doi.org/10.1145/3428265)**Yuting Wang, Xiangzhe Xu, Pierre Wilke et al.*26 citations*
43. **[DynamiTe: dynamic termination and non-termination proofs ↗](https://doi.org/10.1145/3428257)**Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi et al.*26 citations*
44. **[Towards a formal foundation of intermittent computing ↗](https://doi.org/10.1145/3428231)**Milijana Surbatovich, Brandon Lucia, Limin Jia*26 citations*
45. **[Formulog: Datalog for SMT-based static analysis ↗](https://doi.org/10.1145/3428209)**Aaron Bembenek, Michael Greenberg, Stephen Chong*25 citations*
46. **[A quick look at impredicativity ↗](https://doi.org/10.1145/3408971)**Alejandro Serrano, Jurriaan Hage, Simon Jones et al.*24 citations*
47. **[Verifying replicated data types with typeclass refinements in Liquid Haskell ↗](https://doi.org/10.1145/3428284)**Yiyun Liu, James Parker, Patrick Redmond et al.*24 citations*
48. **[A history of Clojure ↗](https://doi.org/10.1145/3386321)**Rich Hickey*23 citations*
49. **[Automated policy synthesis for system call sandboxing ↗](https://doi.org/10.1145/3428203)**Shankara Pailoor, Xinyu Wang, Hovav Shacham et al.*23 citations*
50. **[Compiling effect handlers in capability-passing style ↗](https://doi.org/10.1145/3408975)**Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann*23 citations*
51. **[Precise static modeling of Ethereum “memory” ↗](https://doi.org/10.1145/3428258)**Sifis Lagouvardos, Neville Grech, Ilias Tsatiris et al.*23 citations*
52. **[Fixpoints for the masses: programming with first-class Datalog constraints ↗](https://doi.org/10.1145/3428193)**Magnus Madsen, Ondřej Lhoták*22 citations*
53. **[Regex matching with counting-set automata ↗](https://doi.org/10.1145/3428286)**Lenka Turoňová, Lukáš Holík, Ondřej Lengál et al.*22 citations*
54. **[Certified and efficient instruction scheduling: application to interlocked VLIW processors ↗](https://doi.org/10.1145/3428197)**Cyril Six, Sylvain Boulmé, David P. Monniaux*21 citations*
55. **[Interactive synthesis of temporal specifications from examples and natural language ↗](https://doi.org/10.1145/3428269)**Ivan Gavran, Eva Darulová, Rupak Majumdar*21 citations*
56. **[Liquid information flow control ↗](https://doi.org/10.1145/3408987)**Nadia Polikarpova, Deian Stefan, Jean Yang et al.*21 citations*
57. **[Verifying and improving Halide’s term rewriting system with program synthesis ↗](https://doi.org/10.1145/3428234)**Julie L. Newcomb, Andrew Adams, Steven Johnson et al.*21 citations*
58. **[Dataflow-based pruning for speeding up superoptimization ↗](https://doi.org/10.1145/3428245)**Manasij Mukherjee, Pranav Kant, Zhengyang Liu et al.*20 citations*
59. **[Learning-based controlled concurrency testing ↗](https://doi.org/10.1145/3428298)**Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas et al.*20 citations*
60. **[Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86 ↗](https://doi.org/10.1145/3428219)**Azalea Raad, Ori Lahav, Viktor Vafeiadis*20 citations*
61. **[Digging for fold: synthesis-aided API discovery for Haskell ↗](https://doi.org/10.1145/3428273)**Michael B. James, Zheng Kui Guo, Ziteng Wang et al.*19 citations*
62. **[DiffStream: differential output testing for stream processing programs ↗](https://doi.org/10.1145/3428221)**Κωνσταντίνος Καλλάς, Filip Niksic, Caleb Stanford et al.*18 citations*
63. **[Polymorphic types and effects with Boolean unification ↗](https://doi.org/10.1145/3428222)**Magnus Madsen, Jaco van de Pol*18 citations*
64. **[Shiftry: RNN inference in 2KB of RAM ↗](https://doi.org/10.1145/3428250)**Aayan Kumar, Vivek Seshadri, Rahul R. Sharma*18 citations*
65. **[Staged selective parser combinators ↗](https://doi.org/10.1145/3409002)**Jamie Willis, Nicolas Wu, Matthew Caleb Pickering*18 citations*
66. **[A model for detecting faults in build specifications ↗](https://doi.org/10.1145/3428212)**Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos et al.*17 citations*
67. **[Automatic and efficient variability-aware lifting of functional programs ↗](https://doi.org/10.1145/3428225)**Ramy Shahin, Marsha Chećhik*17 citations*
68. **[Feedback-driven semi-supervised synthesis of program transformations ↗](https://doi.org/10.1145/3428287)**Xiang Yang Gao, Shraddha Barke, Arjun Radhakrishna et al.*17 citations*
69. **[Koord: a language for programming and verifying distributed robotics application ↗](https://doi.org/10.1145/3428300)**Ritwika Ghosh, Chiao Hsieh, Saša Misailovíc et al.*17 citations*
70. **[Macros for domain-specific languages ↗](https://doi.org/10.1145/3428297)**Michael Ballantyne, Alexis King, Matthias Felleisen*17 citations*
71. **[A systematic approach to deriving incremental type checkers ↗](https://doi.org/10.1145/3428195)**André Pacak, Sebastian Thore Erdweg, Tamás Szabó*16 citations*
72. **[CAMP: cost-aware multiparty session protocols ↗](https://doi.org/10.1145/3428223)**David Castro-Perez, Nobuko Yoshida*16 citations*
73. **[Cosmo: a concurrent separation logic for multicore OCaml ↗](https://doi.org/10.1145/3408978)**Glen Mével, Jacques-Henri Jourdan, François Pottier*16 citations*
74. **[Featherweight go ↗](https://doi.org/10.1145/3428217)**Robert Griesemer, Raymond Hu, Wen Kokke et al.*16 citations*
75. **[Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris ↗](https://doi.org/10.1145/3408996)**Paolo G. Giarrusso, Léo Stefanesco, Amin Timany et al.*16 citations*
76. **[A general approach to define binders using matching logic ↗](https://doi.org/10.1145/3408970)**Xiaohong Chen, Grigore Roşu*15 citations*
77. **[Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian ↗](https://doi.org/10.1145/3428200)**Michael Coblenz, Jonathan Aldrich, Brad A. Myers et al.*15 citations*
78. **[FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability ↗](https://doi.org/10.1145/3428246)**Ana Milanova*15 citations*
79. **[Liquid resource types ↗](https://doi.org/10.1145/3408988)**Tristan Knoth, Di Wang, Adam Reynolds et al.*15 citations*
80. **[LiveDroid: identifying and preserving mobile app state in volatile runtime environments ↗](https://doi.org/10.1145/3428228)**Umar Farooq, Zhijia Zhao, Manu Sridharan et al.*15 citations*
81. **[Programming with a read-eval-synth loop ↗](https://doi.org/10.1145/3428227)**Hila Peleg, Roi Gabay, Shachar Itzhaky et al.*15 citations*
82. **[Testing differential privacy with dual interpreters ↗](https://doi.org/10.1145/3428233)**Hengchu Zhang, Edo Roth, Andreas Haeberlen et al.*15 citations*
83. **[Composing and decomposing op-based CRDTs with semidirect products ↗](https://doi.org/10.1145/3408976)**Matthew Weidner, Heather Miller, Christopher Meiklejohn*14 citations*
84. **[Counterexample-guided correlation algorithm for translation validation ↗](https://doi.org/10.1145/3428289)**Shubhani Gupta, Abhishek Rose, Sorav Bansal*14 citations*
85. **[Multiparty motion coordination: from choreographies to robotics programs ↗](https://doi.org/10.1145/3428202)**Rupak Majumdar, Nobuko Yoshida, Damien Zufferey A*14 citations*
86. **[Sparcl: a language for partially-invertible computation ↗](https://doi.org/10.1145/3409000)**Kazutaka Matsuda, Meng Wang*14 citations*
87. **[Verilog HDL and its ancestors and descendants ↗](https://doi.org/10.1145/3386337)**Peter L. Flake, Phil Moorby, Steve Golson et al.*14 citations*
88. **[Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences ↗](https://doi.org/10.1145/3428282)**Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh et al.*13 citations*
89. **[Assertion-based optimization of Quantum programs ↗](https://doi.org/10.1145/3428201)**Thomas Häner, Torsten Hoefler, Matthias Troyer*13 citations*
90. **[Denotational recurrence extraction for amortized analysis ↗](https://doi.org/10.1145/3408979)**Joseph W. Cutler, Daniel R. Licata, Norman Danner*13 citations*
91. **[Guiding dynamic programing via structural probability for accelerating programming by example ↗](https://doi.org/10.1145/3428292)**Ruyi Ji, Yican Sun, Yingfei Xiong et al.*13 citations*
92. **[Rethinking safe consistency in distributed object-oriented programming ↗](https://doi.org/10.1145/3428256)**Mirko Köhler, Nafise Eskandani, Pascal Weisenburger et al.*13 citations*
93. **[S, R, and data science ↗](https://doi.org/10.1145/3386334)**John M. Chambers*13 citations*
94. **[Testing consensus implementations using communication closure ↗](https://doi.org/10.1145/3428278)**Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan et al.*13 citations*
95. **[The early history of F# ↗](https://doi.org/10.1145/3386325)**Don Syme*13 citations*
96. **[The evolution of Smalltalk: from Smalltalk-72 through Squeak ↗](https://doi.org/10.1145/3386335)**Daniel Ingalls*13 citations*
97. **[Compiling symbolic execution with staging and algebraic effects ↗](https://doi.org/10.1145/3428232)**Guannan Wei, Oliver Bračevac, Shangyin Tan et al.*12 citations*
98. **[Do you have space for dessert? a verified space cost semantics for CakeML programs ↗](https://doi.org/10.1145/3428272)**Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Syeda et al.*12 citations*
99. **[Gradual verification of recursive heap data structures ↗](https://doi.org/10.1145/3428296)**Jenna Wise, Johannes Bader, Cameron Wong et al.*12 citations*
100. **[Handling bidirectional control flow ↗](https://doi.org/10.1145/3428207)**Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers*12 citations*

**1** [2](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/page/2/) [next →](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/page/2/)

- [← back to](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/) — Proceedings of the ACM on Programming Languages 2020