Elamur Research⌕
☰
home / venues / Proceedings of the ACM on Programming… / 2020

Proceedings of the ACM on Programming Languages 2020 — papers

The works of Proceedings of the ACM on Programming Languages published in 2020 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.

 170works that year 1work in our library 38citations 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. Adversarial examples for models of code ↗Noam Yefet, Uri Alon, Eran Yahav161 citations
  2. Random testing for C and C++ compilers with YARPGen ↗Vsevolod Livinskii, Dmitry Babokin, John David Regehr142 citations
  3. Projection-based runtime assertions for testing and debugging Quantum programs ↗Gushu Li, Li Zhou, Nengkun Yu et al.119 citations
  4. Finding bugs in database systems via query partitioning ↗Manuel Rigger, Zhendong Su118 citations
  5. Flow2Vec: value-flow-based precise code embedding ↗Yulei Sui, Xiao Yu Cheng, Guanqin Zhang et al.92 citations
  6. Neural reverse engineering of stripped binaries using augmented control flow graphs ↗Yaniv David, Uri S. Alon, Eran Yahav84 citations
  7. Scaling exact inference for discrete probabilistic programs ↗Steven Holtzen, Guy Van den Broeck, Todd D. Millstein84 citations
  8. History of Logo ↗Cynthia J. Solomon, Brian W. Harvey, Ken Kahn et al.79 citations
  9. How do programmers use unsafe rust? ↗Vytautas Astrauskas, Christoph Matheja, Federico Poli et al.79 citations
  10. LabVIEW ↗Jeff Kodosky77 citations

All works of the year (170)

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

  1. Adversarial examples for models of code ↗Noam Yefet, Uri Alon, Eran Yahav161 citations
  2. Random testing for C and C++ compilers with YARPGen ↗Vsevolod Livinskii, Dmitry Babokin, John David Regehr142 citations
  3. Projection-based runtime assertions for testing and debugging Quantum programs ↗Gushu Li, Li Zhou, Nengkun Yu et al.119 citations
  4. Finding bugs in database systems via query partitioning ↗Manuel Rigger, Zhendong Su118 citations
  5. Flow2Vec: value-flow-based precise code embedding ↗Yulei Sui, Xiao Yu Cheng, Guanqin Zhang et al.92 citations
  6. Neural reverse engineering of stripped binaries using augmented control flow graphs ↗Yaniv David, Uri S. Alon, Eran Yahav84 citations
  7. Scaling exact inference for discrete probabilistic programs ↗Steven Holtzen, Guy Van den Broeck, Todd D. Millstein84 citations
  8. History of Logo ↗Cynthia J. Solomon, Brian W. Harvey, Ken Kahn et al.79 citations
  9. How do programmers use unsafe rust? ↗Vytautas Astrauskas, Christoph Matheja, Federico Poli et al.79 citations
  10. LabVIEW ↗Jeff Kodosky77 citations
  11. A history of MATLAB ↗C Moler, Jack Little64 citations
  12. A large-scale longitudinal study of flaky tests ↗Wing Lam, Stefan Winter, Anjiang Wei et al.63 citations
  13. Effects as capabilities: effect handlers and lightweight effect polymorphism ↗Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann63 citations
  14. Perfectly parallel fairness certification of neural networks ↗Caterina Urban, Maria Christakis, Valentin Wüstholz et al.62 citations
  15. Learning semantic program embeddings with graph interval neural network ↗Yu Wang, Ke Wang, Fengjuan Gao et al.61 citations
  16. On the unusual effectiveness of type-aware operator mutations for testing SMT solvers ↗Dominik Winterer, Chengyu Zhang, Zhendong Su55 citations
  17. JavaScript: the first 20 years ↗Allen Wirfs-Brock, Brendan Eich53 citations
  18. A sparse iteration space transformation framework for sparse tensor algebra ↗Ryan Senanayake, Changwan Hong, Ziheng Wang et al.51 citations
  19. A modular cost analysis for probabilistic programs ↗Martin Avanzini, Georg Moser, Michael Schaper42 citations
  20. Program sketching with live bidirectional evaluation ↗Justin Lubin, Nick Collins, Cyrus Omar et al.42 citations
  21. TacTok: semantics-aware proof synthesis ↗Emily First, Yuriy Brun, Arjun Guha41 citations
  22. A unified view of modalities in type systems ↗Andreas M. Abel, Jean-Philippe Bernardy40 citations
  23. Statically verified refinements for multiparty protocols ↗Fangyi Zhou, Francisco Ferreira, Raymond Hu et al.38 citations
  24. A structural model for contextual code changes ↗Shaked Brody, Uri Alon, Eran Yahav35 citations
  25. Mossad: defeating software plagiarism detection ↗Breanna Devore-McDonald, Emery D. Berger35 citations

See all 170 papers in Proceedings of the ACM on Programming Languages 2020 — papers →

 Works with our summary in our library (1)

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

  1. Just-in-Time Learning for Bottom-Up Enumerative SynthesisProceedings of the ACM on Programming LanguagesShraddha Barke, Hila Peleg, Nadia Polikarpova2020 · 38 citations

 Fields

Computer Science (1)

 Top institutions

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

🎓University of California San DiegoSan Diego · 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/2020/