---
title: "Proceedings of the ACM on Programming Languages 2019 — all"
description: "All 265 papers of Proceedings of the ACM on Programming Languages 2019 · page 1 of 3, 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/2019/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/2019/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/) / [2019](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2019/) / papers

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

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

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

1. **[code2vec: learning distributed representations of code ↗](https://doi.org/10.1145/3290353)**Uri Alon, Meital Zilberstein, Omer Levy et al.*1,215 citations*
2. **[An abstract domain for certifying neural networks ↗](https://doi.org/10.1145/3290354)**Gagandeep Singh, Timon Gehr, Markus Püschel et al.*609 citations*
3. **[Getafix: learning to fix bugs automatically](https://md.research.elamur.ai/free/en/papers/bader-2019-getafix-learning-fix-bugs-automatically/)**Johannes Bader, Andrew Scott, Michael Pradel et al.*227 citations · our summary*
4. **[Improving bug detection via context-based code representation learning and attention-based neural networks ↗](https://doi.org/10.1145/3360588)**Yi Li, Shaohua Wang, Tien N. Nguyen et al.*162 citations*
5. **[Leveraging rust types for modular specification and verification ↗](https://doi.org/10.1145/3360573)**Vytautas Astrauskas, Péter Müller, Federico Poli et al.*137 citations*
6. **[Interaction trees: representing recursive and impure programs in Coq ↗](https://doi.org/10.1145/3371119)**Li-yao Xia, Yannick Zakowski, Paul He et al.*134 citations*
7. **[ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS ↗](https://doi.org/10.1145/3290384)**Alasdair Armstrong, Thomas Bauereiß, B. K. Campbell et al.*132 citations*
8. **[Incorrectness logic ↗](https://doi.org/10.1145/3371078)**Peter W. O’Hearn*122 citations*
9. **[Aroma: code recommendation via structural code search ↗](https://doi.org/10.1145/3360578)**Sifei Luan, Di Yang, Celeste Barnaby et al.*104 citations*
10. **[Less is more: multiparty session types revisited ↗](https://doi.org/10.1145/3290343)**Alceste Scalas, Nobuko Yoshida*102 citations*
11. **[Formal foundations of serverless computing ↗](https://doi.org/10.1145/3360575)**Abhinav Jangda, Donald Pinckney, Yuriy Brun et al.*100 citations*
12. **[Safer smart contract programming with Scilla ↗](https://doi.org/10.1145/3360611)**Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen et al.*94 citations*
13. **[Detecting nondeterministic payment bugs in Ethereum smart contracts ↗](https://doi.org/10.1145/3360615)**Shuai Wang, Chengyu Zhang, Zhendong Su*84 citations*
14. **[Quantitative program reasoning with graded modal types ↗](https://doi.org/10.1145/3341714)**Dominic A. Orchard, Vilem-Benjamin Liepelt, Harley Eades*84 citations*
15. **[Decision procedures for path feasibility of string-manipulating programs with complex operations ↗](https://doi.org/10.1145/3290362)**Taolue Chen, Matthew Hague, Anthony W. Lin et al.*82 citations*
16. **[Formal verification of a constant-time preserving C compiler ↗](https://doi.org/10.1145/3371075)**Gilles Barthe, Sandrine Blazy, Benjamin Grégoire et al.*77 citations*
17. **[Initialize once, start fast: application initialization at build time ↗](https://doi.org/10.1145/3360610)**Christian L. Wimmer, Codruţ Stancu, Peter Höfer et al.*74 citations*
18. **[AutoPandas: neural-backed generators for program synthesis ↗](https://doi.org/10.1145/3360594)**Rohan Bavishi, Caroline Lemieux, Roy Fox et al.*73 citations*
19. **[FuzzFactory: domain-specific fuzzing with waypoints ↗](https://doi.org/10.1145/3360600)**Rohan Padhye, Caroline Lemieux, Koushik Sen et al.*73 citations*
20. **[Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems ↗](https://doi.org/10.1145/3290361)**Johannes Späth, Karim Ali, Eric Bodden*72 citations*
21. **[Cubical agda: a dependently typed programming language with univalence and higher inductive types ↗](https://doi.org/10.1145/3341691)**Andrea Vezzosi, Anders Mörtberg, Andreas M. Abel*71 citations*
22. **[Live functional programming with typed holes ↗](https://doi.org/10.1145/3290327)**Cyrus Omar, Ian Voysey, Ravi Chugh et al.*68 citations*
23. **[Qubit allocation as a combination of subgraph isomorphism and token swapping ↗](https://doi.org/10.1145/3360546)**Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange et al.*67 citations*
24. **[Stacked borrows: an aliasing model for Rust ↗](https://doi.org/10.1145/3371109)**Ralf Jung, Hoang-Hai Dang, Jeehoon Kang et al.*67 citations*
25. **[Coq Coq correct! verification of type checking and erasure for Coq, in Coq ↗](https://doi.org/10.1145/3371076)**Matthieu Sozeau, Simon Boulier, Yannick Forster et al.*66 citations*
26. **[RustBelt meets relaxed memory ↗](https://doi.org/10.1145/3371102)**Hoang-Hai Dang, Jacques-Henri Jourdan, Jan-Oliver Kaiser et al.*65 citations*
27. **[CT-wasm: type-driven secure cryptography for the web ecosystem ↗](https://doi.org/10.1145/3290390)**Conrad Watt, John Renner, Natalie Popescu et al.*63 citations*
28. **[Dijkstra monads for all ↗](https://doi.org/10.1145/3341708)**Kenji Maillard, Danel Ahman, Robert Atkey et al.*62 citations*
29. **[Persistency semantics of the Intel-x86 architecture ↗](https://doi.org/10.1145/3371079)**Azalea Raad, John Wickerson, Gil Neiger et al.*61 citations*
30. **[The future is ours: prophecy variables in separation logic ↗](https://doi.org/10.1145/3371113)**Ralf Jung, Rodolphe Lepigre, G. Parthasarathy et al.*61 citations*
31. **[Grounding thin-air reads with event structures ↗](https://doi.org/10.1145/3290383)**Soham Chakraborty, Viktor Vafeiadis*60 citations*
32. **[Demystifying differentiable programming: shift/reset the penultimate backpropagator ↗](https://doi.org/10.1145/3341700)**Fei Wang, Daniel Zheng, James Decker et al.*59 citations*
33. **[IntelliMerge: a refactoring-aware software merging technique ↗](https://doi.org/10.1145/3360596)**Bo Shen, Wei Zhang, Haiyan Zhao et al.*59 citations*
34. **[Pretend synchrony: synchronous verification of asynchronous distributed programs ↗](https://doi.org/10.1145/3290372)**Klaus v. Gleissenthall, Rami Gökhan Kıcı, Alexander Bakst et al.*58 citations*
35. **[Quantum relational Hoare logic ↗](https://doi.org/10.1145/3290346)**Dominique Unruh*58 citations*
36. **[Probabilistic verification of fairness properties via concentration ↗](https://doi.org/10.1145/3360544)**Osbert Bastani, Xin Zhang, Armando Solar-Lezama*57 citations*
37. **[Bridging the gap between programming languages and hardware weak memory models ↗](https://doi.org/10.1145/3290382)**Anton Podkopaev, Ori Lahav, Viktor Vafeiadis*56 citations*
38. **[Definitional proof-irrelevance without K ↗](https://doi.org/10.1145/3290316)**Gaëtan Gilbert, Jesper Cockx, Matthieu Sozeau et al.*55 citations*
39. **[Efficient lock-free durable sets ↗](https://doi.org/10.1145/3360554)**Yoav Zuriel, Michal Friedman, Gali Sheffi et al.*55 citations*
40. **[Exploring C semantics and pointer provenance ↗](https://doi.org/10.1145/3290380)**Kayvan Memarian, Victor B. F. Gomes, Brooks Davis et al.*55 citations*
41. **[Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures ↗](https://doi.org/10.1145/3290342)**David Castro, Raymond Hu, Sung-Shik Jongmans et al.*54 citations*
42. **[On the complexity of checking transactional consistency ↗](https://doi.org/10.1145/3360591)**Ranadeep Biswas, Constantin Enea*52 citations*
43. **[TLA+ model checking made symbolic ↗](https://doi.org/10.1145/3360549)**Igor Konnov, Jure Kukovec, Thanh-Hai Tran*52 citations*
44. **[Diagrammatic algebra: from linear to concurrent systems ↗](https://doi.org/10.1145/3290338)**Filippo Bonchi, Joshua Holland, Robin Piedeleu et al.*50 citations*
45. **[Exceptional asynchronous session types: session types without tiers ↗](https://doi.org/10.1145/3290341)**Simon Fowler, Sam Lindley, J. Garrett Morris et al.*50 citations*
46. **[Provenance-guided synthesis of Datalog programs ↗](https://doi.org/10.1145/3371130)**Mukund Raghothaman, Jonathan Mendelson, David Zhao et al.*50 citations*
47. **[A simple differentiable programming language ↗](https://doi.org/10.1145/3371106)**Martı́n Abadi, Gordon D. Plotkin*49 citations*
48. **[CompCertM: CompCert with C-assembly linking and lightweight modular verification ↗](https://doi.org/10.1145/3371091)**Youngju Song, Minki Cho, Dongjoo Kim et al.*49 citations*
49. **[Efficient automated repair of high floating-point errors in numerical libraries ↗](https://doi.org/10.1145/3290369)**Xin Yi, Liqian Chen, Xiaoguang Mao et al.*49 citations*
50. **[Optimal stateless model checking for reads-from equivalence under sequential consistency ↗](https://doi.org/10.1145/3360576)**Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jönsson et al.*49 citations*
51. **[An abstract stack based approach to verified compositional compilation to machine code ↗](https://doi.org/10.1145/3290375)**Yuting Wang, Pierre Wilke, Zhong Shao*48 citations*
52. **[Efficient differentiable programming in a functional array-processing language ↗](https://doi.org/10.1145/3341701)**Amir Shaikhha, Andrew W Fitzgibbon, Dimitrios Vytiniotis et al.*48 citations*
53. **[Structuring the synthesis of heap-manipulating programs ↗](https://doi.org/10.1145/3290385)**Nadia Polikarpova, Ilya Sergey*48 citations*
54. **[Coverage guided, property based testing ↗](https://doi.org/10.1145/3360607)**Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce*47 citations*
55. **[Fast, sound, and effectively complete dynamic race prediction ↗](https://doi.org/10.1145/3371085)**Andreas Pavlogiannis*47 citations*
56. **[On the fly synthesis of edit suggestions ↗](https://doi.org/10.1145/3360569)**Anders Miltner, Sumit Gulwani, Vu Le et al.*47 citations*
57. **[Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models ↗](https://doi.org/10.1145/3360561)**Azalea Raad, John Wickerson, Viktor Vafeiadis*47 citations*
58. **[Binders by day, labels by night: effect instances via lexically scoped handlers ↗](https://doi.org/10.1145/3371116)**Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk et al.*46 citations*
59. **[Equations reloaded: high-level dependently-typed functional programming and proving in Coq ↗](https://doi.org/10.1145/3341690)**Matthieu Sozeau, Cyprien Mangin*46 citations*
60. **[Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity ↗](https://doi.org/10.1145/3360574)**Jingbo Lu, Jingling Xue*46 citations*
61. **[Abstract interpretation of distributed network control planes ↗](https://doi.org/10.1145/3371110)**Ryan Beckett, Aarti Gupta, Ratul Mahajan et al.*45 citations*
62. **[Abstraction-safe effect handlers via tunneling ↗](https://doi.org/10.1145/3290318)**Yizhou Zhang, Andrew C. Myers*45 citations*
63. **[Aiming low is harder: induction for lower bounds in probabilistic program verification ↗](https://doi.org/10.1145/3371105)**Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl et al.*45 citations*
64. **[Detecting floating-point errors via atomic conditions ↗](https://doi.org/10.1145/3371128)**Daming Zou, Muhan Zeng, Yingfei Xiong et al.*45 citations*
65. **[Constructing quotient inductive-inductive types ↗](https://doi.org/10.1145/3290315)**Ambrus Kaposi, András Kovács, Thorsten Altenkirch*44 citations*
66. **[Gradual typing: a new perspective ↗](https://doi.org/10.1145/3290329)**Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani et al.*44 citations*
67. **[Program synthesis by type-guided abstraction refinement ↗](https://doi.org/10.1145/3371080)**Zheng Kui Guo, Michael B. James, David Justo et al.*43 citations*
68. **[Quantitative separation logic: a logic for reasoning about probabilistic pointer programs ↗](https://doi.org/10.1145/3290347)**Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al.*43 citations*
69. **[StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities ↗](https://doi.org/10.1145/3290332)**Lau Skorstengaard, Dominique Devriese, Lars Birkedal*43 citations*
70. **[Actris: session-type based reasoning in separation logic ↗](https://doi.org/10.1145/3371074)**Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers*42 citations*
71. **[Hamsaz: replication coordination analysis and synthesis ↗](https://doi.org/10.1145/3290387)**Farzin Houshmand, Mohsen Lesani*42 citations*
72. **[A domain theory for statistical probabilistic programming ↗](https://doi.org/10.1145/3290349)**Matthijs Vákár, Ohad Kammar, Sam Staton*41 citations*
73. **[Adventures in monitorability: from branching to linear time and back again ↗](https://doi.org/10.1145/3290365)**Luca Aceto, Antonis Achilleos, Adrian Francalanza et al.*41 citations*
74. **[Compiler fuzzing: how much does it matter? ↗](https://doi.org/10.1145/3360581)**Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson et al.*41 citations*
75. **[The fire triangle: how to mix substitution, dependent elimination, and effects ↗](https://doi.org/10.1145/3371126)**Pierre-Marie Pédrot, Nicolas Tabareau*41 citations*
76. **[The next 700 relational program logics ↗](https://doi.org/10.1145/3371072)**Kenji Maillard, Cătălin Hriţcu, Exequiel Rivas et al.*41 citations*
77. **[A verified, efficient embedding of a verifiable assembly language ↗](https://doi.org/10.1145/3290376)**Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel et al.*40 citations*
78. **[Modular verification for almost-sure termination of probabilistic programs ↗](https://doi.org/10.1145/3360555)**Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee et al.*40 citations*
79. **[Bounded model checking of signal temporal logic properties using syntactic separation ↗](https://doi.org/10.1145/3290364)**Kyungmin Bae, Jia Lee*39 citations*
80. **[On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models ↗](https://doi.org/10.1145/3290381)**Azalea Raad, Marko Doko, Lovro Rožić et al.*38 citations*
81. **[A separation logic for concurrent randomized programs ↗](https://doi.org/10.1145/3290377)**Joseph Tassarotti, Robert Harper*37 citations*
82. **[Liquidate your assets: reasoning about resource usage in liquid Haskell ↗](https://doi.org/10.1145/3371092)**Martin A. T. Handley, Niki Vazou, Graham Hutton*37 citations*
83. **[Visualization by example ↗](https://doi.org/10.1145/3371117)**Chenglong Wang, Yu Feng, Rastislav Bodík et al.*37 citations*
84. **[FrAngel: component-based synthesis with control structures ↗](https://doi.org/10.1145/3290386)**Kensen Shi, Jacob Steinhardt, Percy Liang*36 citations*
85. **[Graduality and parametricity: together again for the first time ↗](https://doi.org/10.1145/3371114)**Max S. New, Dustin Jamner, Amal Ahmed*36 citations*
86. **[The next 700 compiler correctness theorems (functional pearl) ↗](https://doi.org/10.1145/3341689)**DANIEL C. PATTERSON, Amal Ahmed*36 citations*
87. **[A probabilistic separation logic ↗](https://doi.org/10.1145/3371123)**Gilles Barthe, Justin Hsu, Kevin Liao*35 citations*
88. **[Reflection-aware static regression test selection ↗](https://doi.org/10.1145/3360613)**August Shi, Milica Hadzi-Tanovic, Lingming Zhang et al.*35 citations*
89. **[Better late than never: a fully-abstract semantics for classical processes ↗](https://doi.org/10.1145/3290337)**Wen Kokke, Fabrizio Montesi, Marco Peressotti*34 citations*
90. **[Automatic repair of regular expressions ↗](https://doi.org/10.1145/3360565)**Rong Pan, Qinheping Hu, Gaowei Xu et al.*33 citations*
91. **[Closed forms for numerical loops ↗](https://doi.org/10.1145/3290368)**Zachary Kincaid, Jason Breck, John Cyphert et al.*33 citations*
92. **[Implementing a modal dependent type theory ↗](https://doi.org/10.1145/3341711)**Daniel Gratzer, Jonathan Sterling, Lars Birkedal*33 citations*
93. **[Mergeable replicated data types ↗](https://doi.org/10.1145/3360580)**Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan et al.*33 citations*
94. **[Semantics of higher-order probabilistic programs with conditioning ↗](https://doi.org/10.1145/3371125)**Fredrik Dahlqvist, Dexter C. Kozen*33 citations*
95. **[Abstracting extensible data types: or, rows by any other name ↗](https://doi.org/10.1145/3290325)**J. Garrett Morris, James McKinna*32 citations*
96. **[Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy ↗](https://doi.org/10.1145/3360598)**Joseph P. Near, David Darais, Chiké Abuah et al.*32 citations*
97. **[Abstracting algebraic effects ↗](https://doi.org/10.1145/3290319)**Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk et al.*31 citations*
98. **[Fast and exact analysis for LRU caches ↗](https://doi.org/10.1145/3290367)**Valentin Touzeau, Claire Maïza, David P. Monniaux et al.*31 citations*
99. **[Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time ↗](https://doi.org/10.1145/3371129)**Steffen Smolka, Nate Foster, Justin Hsu et al.*31 citations*
100. **[Higher inductive types in cubical computational type theory ↗](https://doi.org/10.1145/3290314)**Evan Cavallo, Robert W. Harper*31 citations*

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

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