---
title: "Proceedings of the ACM on Programming Languages 2019"
description: "Proceedings of the ACM on Programming Languages 2019 — papers: 1 paper in the Elamur Research library, with our summaries, ranked by…"
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2019/"
---
[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/)

[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

# Proceedings of the ACM on Programming Languages 2019 — papers

The works of Proceedings of the ACM on Programming Languages published in 2019 that our library holds (publisher: Association for Computing Machinery): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

[**265** works that year](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2019/#works) · [**234** citations of these works](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2019/#works)

## Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

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*

## All works of the year (265)

The most cited first; 1 with our summary link to their page here, the others to the original.

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*

[See all 265 papers in Proceedings of the ACM on Programming Languages 2019 — papers →](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2019/papers/)

## Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. **[Getafix: Learning to Fix Bugs Automatically](https://md.research.elamur.ai/free/en/papers/bader-2019-getafix-learning-fix-bugs-automatically/) [Proceedings of the ACM on Programming Languages](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/)**Johannes Bader, Andrew Scott, Michael Pradel, et al.*2019 · 234 citations*

## Fields

[Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

[🧑‍🔬**Satish Chandra**1 work here · 234 citations](https://md.research.elamur.ai/free/en/authors/satish-chandra/)

## Top institutions

Institutions on the bylines of its works here, by the number of works.

[🏢**Meta (United Kingdom)** London · United Kingdom 1 work here](https://md.research.elamur.ai/free/en/companies/meta-united-kingdom/) · [🏢**Meta** Menlo Park · United States 1 work here](https://md.research.elamur.ai/free/en/companies/meta/)

works and citations from OpenAlex and our library.

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