Elamur Research⌕
☰
home / venues / Proceedings of the ACM on Programming… / 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.

 265works that year 1work in our library 234citations of these 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 ↗Uri Alon, Meital Zilberstein, Omer Levy et al.1,215 citations
  2. An abstract domain for certifying neural networks ↗Gagandeep Singh, Timon Gehr, Markus Püschel et al.609 citations
  3. Getafix: learning to fix bugs automaticallyJohannes 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 ↗Yi Li, Shaohua Wang, Tien N. Nguyen et al.162 citations
  5. Leveraging rust types for modular specification and verification ↗Vytautas Astrauskas, Péter Müller, Federico Poli et al.137 citations
  6. Interaction trees: representing recursive and impure programs in Coq ↗Li-yao Xia, Yannick Zakowski, Paul He et al.134 citations
  7. ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS ↗Alasdair Armstrong, Thomas Bauereiß, B. K. Campbell et al.132 citations
  8. Incorrectness logic ↗Peter W. O’Hearn122 citations
  9. Aroma: code recommendation via structural code search ↗Sifei Luan, Di Yang, Celeste Barnaby et al.104 citations
  10. Less is more: multiparty session types revisited ↗Alceste Scalas, Nobuko Yoshida102 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 ↗Uri Alon, Meital Zilberstein, Omer Levy et al.1,215 citations
  2. An abstract domain for certifying neural networks ↗Gagandeep Singh, Timon Gehr, Markus Püschel et al.609 citations
  3. Getafix: learning to fix bugs automaticallyJohannes 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 ↗Yi Li, Shaohua Wang, Tien N. Nguyen et al.162 citations
  5. Leveraging rust types for modular specification and verification ↗Vytautas Astrauskas, Péter Müller, Federico Poli et al.137 citations
  6. Interaction trees: representing recursive and impure programs in Coq ↗Li-yao Xia, Yannick Zakowski, Paul He et al.134 citations
  7. ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS ↗Alasdair Armstrong, Thomas Bauereiß, B. K. Campbell et al.132 citations
  8. Incorrectness logic ↗Peter W. O’Hearn122 citations
  9. Aroma: code recommendation via structural code search ↗Sifei Luan, Di Yang, Celeste Barnaby et al.104 citations
  10. Less is more: multiparty session types revisited ↗Alceste Scalas, Nobuko Yoshida102 citations
  11. Formal foundations of serverless computing ↗Abhinav Jangda, Donald Pinckney, Yuriy Brun et al.100 citations
  12. Safer smart contract programming with Scilla ↗Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen et al.94 citations
  13. Detecting nondeterministic payment bugs in Ethereum smart contracts ↗Shuai Wang, Chengyu Zhang, Zhendong Su84 citations
  14. Quantitative program reasoning with graded modal types ↗Dominic A. Orchard, Vilem-Benjamin Liepelt, Harley Eades84 citations
  15. Decision procedures for path feasibility of string-manipulating programs with complex operations ↗Taolue Chen, Matthew Hague, Anthony W. Lin et al.82 citations
  16. Formal verification of a constant-time preserving C compiler ↗Gilles Barthe, Sandrine Blazy, Benjamin Grégoire et al.77 citations
  17. Initialize once, start fast: application initialization at build time ↗Christian L. Wimmer, Codruţ Stancu, Peter Höfer et al.74 citations
  18. AutoPandas: neural-backed generators for program synthesis ↗Rohan Bavishi, Caroline Lemieux, Roy Fox et al.73 citations
  19. FuzzFactory: domain-specific fuzzing with waypoints ↗Rohan Padhye, Caroline Lemieux, Koushik Sen et al.73 citations
  20. Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems ↗Johannes Späth, Karim Ali, Eric Bodden72 citations
  21. Cubical agda: a dependently typed programming language with univalence and higher inductive types ↗Andrea Vezzosi, Anders Mörtberg, Andreas M. Abel71 citations
  22. Live functional programming with typed holes ↗Cyrus Omar, Ian Voysey, Ravi Chugh et al.68 citations
  23. Qubit allocation as a combination of subgraph isomorphism and token swapping ↗Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange et al.67 citations
  24. Stacked borrows: an aliasing model for Rust ↗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 ↗Matthieu Sozeau, Simon Boulier, Yannick Forster et al.66 citations

See all 265 papers in 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 AutomaticallyProceedings of the ACM on Programming LanguagesJohannes Bader, Andrew Scott, Michael Pradel, et al.2019 · 234 citations

 Fields

Computer Science (1)

 Top authors

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

🧑‍🔬Satish Chandra1 work here · 234 citations

 Top institutions

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

🏢Meta (United Kingdom)London · United Kingdom1 work here🏢MetaMenlo Park · United States1 work here

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2019/