---
title: "Proceedings of the ACM SIGPLAN Conference on Programming"
description: "Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2020 — accepted papers: 1 paper in…"
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/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-sigplan-conference-on-programming-language-design-and/2020/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Proceedings of the ACM SIGPLAN…](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/) / 2020

# Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2020 — accepted papers

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2020 is the 2020 edition of the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. OpenAlex lists 77 papers of it; our library holds 1 with our summaries. Below: the most cited papers, every accepted paper, and ours with their topics, authors and institutions.

[**77** papers in the proceedings](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2020/#works) · [**77** citations of these works](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/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. **[Ethainter: a smart contract security analyzer for composite vulnerabilities ↗](https://doi.org/10.1145/3385412.3385990)**Lexi Brent, Neville Grech, Sifis Lagouvardos et al.*157 citations*
2. **[Silq: a high-level quantum language with safe uncomputation and intuitive semantics ↗](https://doi.org/10.1145/3385412.3386007)**Benjamin Bichsel, Maximilian Baader, Timon Gehr et al.*147 citations*
3. **[EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation ↗](https://doi.org/10.1145/3385412.3386023)**Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi et al.*119 citations*
4. **[Understanding memory and thread safety practices and issues in real-world Rust programs ↗](https://doi.org/10.1145/3385412.3386036)**Boqin Qin, Yilun Chen, Zeming Yu et al.*114 citations*
5. **[Typilus: neural type hints ↗](https://doi.org/10.1145/3385412.3385997)**Miltiadis Allamanis, Earl T. Barr, Soline Ducousso et al.*92 citations*
6. **[Constant-time foundations for the new spectre era ↗](https://doi.org/10.1145/3385412.3385970)**Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall et al.*89 citations*
7. **[Adaptive low-overhead scheduling for periodic and reactive intermittent execution ↗](https://doi.org/10.1145/3385412.3385998)**Kiwan Maeng, Brandon Lucia*81 citations*
8. **[Binary rewriting without control flow recovery ↗](https://doi.org/10.1145/3385412.3385972)**Gregory J. Duck, Xiang Yang Gao, Abhik Roychoudhury*80 citations*
9. **[Validating SMT solvers via semantic fusion ↗](https://doi.org/10.1145/3385412.3385985)**Dominik Winterer, Chengyu Zhang, Zhendong Su*80 citations*
10. **[Multi-modal synthesis of regular expressions ↗](https://doi.org/10.1145/3385412.3385988)**Qiaochu Chen, Xinyu Wang, Xi Ye et al.*79 citations*

## All accepted papers (77)

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

1. **[Ethainter: a smart contract security analyzer for composite vulnerabilities ↗](https://doi.org/10.1145/3385412.3385990)**Lexi Brent, Neville Grech, Sifis Lagouvardos et al.*157 citations*
2. **[Silq: a high-level quantum language with safe uncomputation and intuitive semantics ↗](https://doi.org/10.1145/3385412.3386007)**Benjamin Bichsel, Maximilian Baader, Timon Gehr et al.*147 citations*
3. **[EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation ↗](https://doi.org/10.1145/3385412.3386023)**Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi et al.*119 citations*
4. **[Understanding memory and thread safety practices and issues in real-world Rust programs ↗](https://doi.org/10.1145/3385412.3386036)**Boqin Qin, Yilun Chen, Zeming Yu et al.*114 citations*
5. **[Typilus: neural type hints ↗](https://doi.org/10.1145/3385412.3385997)**Miltiadis Allamanis, Earl T. Barr, Soline Ducousso et al.*92 citations*
6. **[Constant-time foundations for the new spectre era ↗](https://doi.org/10.1145/3385412.3385970)**Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall et al.*89 citations*
7. **[Adaptive low-overhead scheduling for periodic and reactive intermittent execution ↗](https://doi.org/10.1145/3385412.3385998)**Kiwan Maeng, Brandon Lucia*81 citations*
8. **[Binary rewriting without control flow recovery ↗](https://doi.org/10.1145/3385412.3385972)**Gregory J. Duck, Xiang Yang Gao, Abhik Roychoudhury*80 citations*
9. **[Validating SMT solvers via semantic fusion ↗](https://doi.org/10.1145/3385412.3385985)**Dominik Winterer, Chengyu Zhang, Zhendong Su*80 citations*
10. **[Multi-modal synthesis of regular expressions ↗](https://doi.org/10.1145/3385412.3385988)**Qiaochu Chen, Xinyu Wang, Xi Ye et al.*79 citations*
11. **[Synthesizing structured CAD models with equality saturation and inverse transformations](https://md.research.elamur.ai/free/en/papers/nandi-2020-synthesizing-structured-cad-models-equality/)**Chandrakana Nandi, Max Willsey, Adam Anderson et al.*65 citations · our summary*
12. **[Securing smart contract with runtime validation ↗](https://doi.org/10.1145/3385412.3385982)**Ao Li, Jemin Andrew Choi, Fan Long*60 citations*
13. **[Predictable accelerator design with time-sensitive affine types ↗](https://doi.org/10.1145/3385412.3385974)**Rachit Nigam, Sachille Atapattu, Samuel Thomas et al.*57 citations*
14. **[The essence of Bluespec: a core language for rule-based hardware design ↗](https://doi.org/10.1145/3385412.3385965)**Thomas Bourgeat, Clément Pit-Claudel, Adam J. Chlipala et al.*53 citations*
15. **[NVTraverse: in NVRAM data structures, the destination is more important than the journey ↗](https://doi.org/10.1145/3385412.3386031)**Michal Friedman, Naama Ben-David, Yuanhao Wei et al.*52 citations*
16. **[Blended, precise semantic program embeddings ↗](https://doi.org/10.1145/3385412.3385999)**Ke Wang, Zhendong Su*51 citations*
17. **[Semantic code search via equational reasoning ↗](https://doi.org/10.1145/3385412.3386001)**Varot Premtoon, James Koppel, Armando Solar-Lezama*50 citations*
18. **[Promising 2.0: global optimizations in relaxed memory concurrency ↗](https://doi.org/10.1145/3385412.3386010)**Sung-Hwan Lee, Minki Cho, Anton Podkopaev et al.*48 citations*
19. **[Type-directed scheduling of streaming accelerators ↗](https://doi.org/10.1145/3385412.3385983)**David Durst, Matthew Feldman, Dillon Huff et al.*48 citations*
20. **[Polynomial invariant generation for non-deterministic recursive programs ↗](https://doi.org/10.1145/3385412.3385969)**Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady et al.*45 citations*
21. **[Reconciling enumerative and deductive program synthesis ↗](https://doi.org/10.1145/3385412.3386027)**Kangjing Huang, Xiaokang Qiu, Peiyuan Shen et al.*45 citations*
22. **[Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room ↗](https://doi.org/10.1145/3385412.3386026)**Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan et al.*43 citations*
23. **[Gillian, part i: a multi-language platform for symbolic execution ↗](https://doi.org/10.1145/3385412.3386014)**José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun et al.*38 citations*
24. **[CacheQuery: learning replacement policies from hardware caches ↗](https://doi.org/10.1145/3385412.3386008)**Pepe Vila, Pierre Ganty, Marco Guarnieri et al.*37 citations*
25. **[LLHD: a multi-level intermediate representation for hardware description languages ↗](https://doi.org/10.1145/3385412.3386024)**Fabian Schuiki, Andreas H. A. Kurth, Tobias Grosser et al.*34 citations*

[See all 77 papers in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2020 — accepted papers →](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2020/papers/)

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

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

1. **[Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations](https://md.research.elamur.ai/free/en/papers/nandi-2020-synthesizing-structured-cad-models-equality/) [Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/)**Chandrakana Nandi, Max Willsey, Adam Anderson, et al.*2020 · 77 citations*

## Fields

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

## Top institutions

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

[🎓**University of Washington** Seattle · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-washington/) · [🔬**Max Planck Institute for Software Systems** Saarbrücken · Germany 1 work here](https://md.research.elamur.ai/free/en/labs/max-planck-institute-for-software-systems/)

works and citations from OpenAlex and our library.

- [← previous Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2015](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2015/)
- [↑ back to Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/)