---
title: "Proceedings of the ACM on Programming Languages 2020"
description: "Proceedings of the ACM on Programming Languages 2020 — 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/2020/"
---
[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/)

[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

# 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.

[**170** works that year](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/#works) · [**38** citations of these works](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/#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 ↗](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*

## 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 ↗](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*

[See all 170 papers in Proceedings of the ACM on Programming Languages 2020 — papers →](https://md.research.elamur.ai/free/en/venues/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 Synthesis](https://md.research.elamur.ai/free/en/papers/barke-2020-just-time-learning-bottom-up/) [Proceedings of the ACM on Programming Languages](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/)**Shraddha Barke, Hila Peleg, Nadia Polikarpova*2020 · 38 citations*

## Fields

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

## Top institutions

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

[🎓**University of California San Diego** San Diego · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-california-san-diego/)

works and citations from OpenAlex and our library.

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