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

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 ↗Lexi Brent, Neville Grech, Sifis Lagouvardos et al.157 citations
2. Silq: a high-level quantum language with safe uncomputation and intuitive semantics ↗Benjamin Bichsel, Maximilian Baader, Timon Gehr et al.147 citations
3. EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation ↗Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi et al.119 citations
4. Understanding memory and thread safety practices and issues in real-world Rust programs ↗Boqin Qin, Yilun Chen, Zeming Yu et al.114 citations
5. Typilus: neural type hints ↗Miltiadis Allamanis, Earl T. Barr, Soline Ducousso et al.92 citations
6. Constant-time foundations for the new spectre era ↗Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall et al.89 citations
7. Adaptive low-overhead scheduling for periodic and reactive intermittent execution ↗Kiwan Maeng, Brandon Lucia81 citations
8. Binary rewriting without control flow recovery ↗Gregory J. Duck, Xiang Yang Gao, Abhik Roychoudhury80 citations
9. Validating SMT solvers via semantic fusion ↗Dominik Winterer, Chengyu Zhang, Zhendong Su80 citations
10. Multi-modal synthesis of regular expressions ↗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 ↗Lexi Brent, Neville Grech, Sifis Lagouvardos et al.157 citations
2. Silq: a high-level quantum language with safe uncomputation and intuitive semantics ↗Benjamin Bichsel, Maximilian Baader, Timon Gehr et al.147 citations
3. EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation ↗Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi et al.119 citations
4. Understanding memory and thread safety practices and issues in real-world Rust programs ↗Boqin Qin, Yilun Chen, Zeming Yu et al.114 citations
5. Typilus: neural type hints ↗Miltiadis Allamanis, Earl T. Barr, Soline Ducousso et al.92 citations
6. Constant-time foundations for the new spectre era ↗Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall et al.89 citations
7. Adaptive low-overhead scheduling for periodic and reactive intermittent execution ↗Kiwan Maeng, Brandon Lucia81 citations
8. Binary rewriting without control flow recovery ↗Gregory J. Duck, Xiang Yang Gao, Abhik Roychoudhury80 citations
9. Validating SMT solvers via semantic fusion ↗Dominik Winterer, Chengyu Zhang, Zhendong Su80 citations
10. Multi-modal synthesis of regular expressions ↗Qiaochu Chen, Xinyu Wang, Xi Ye et al.79 citations
11. Synthesizing structured CAD models with equality saturation and inverse transformationsChandrakana Nandi, Max Willsey, Adam Anderson et al.65 citations · our summary
12. Securing smart contract with runtime validation ↗Ao Li, Jemin Andrew Choi, Fan Long60 citations
13. Predictable accelerator design with time-sensitive affine types ↗Rachit Nigam, Sachille Atapattu, Samuel Thomas et al.57 citations
14. The essence of Bluespec: a core language for rule-based hardware design ↗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 ↗Michal Friedman, Naama Ben-David, Yuanhao Wei et al.52 citations
16. Blended, precise semantic program embeddings ↗Ke Wang, Zhendong Su51 citations
17. Semantic code search via equational reasoning ↗Varot Premtoon, James Koppel, Armando Solar-Lezama50 citations
18. Promising 2.0: global optimizations in relaxed memory concurrency ↗Sung-Hwan Lee, Minki Cho, Anton Podkopaev et al.48 citations
19. Type-directed scheduling of streaming accelerators ↗David Durst, Matthew Feldman, Dillon Huff et al.48 citations
20. Polynomial invariant generation for non-deterministic recursive programs ↗Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady et al.45 citations
21. Reconciling enumerative and deductive program synthesis ↗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 ↗Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan et al.43 citations
23. Gillian, part i: a multi-language platform for symbolic execution ↗José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun et al.38 citations
24. CacheQuery: learning replacement policies from hardware caches ↗Pepe Vila, Pierre Ganty, Marco Guarnieri et al.37 citations
25. LLHD: a multi-level intermediate representation for hardware description languages ↗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 →

📄 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 TransformationsProceedings of the ACM SIGPLAN Conference on Programming Language Design and ImplementationChandrakana Nandi, Max Willsey, Adam Anderson, et al.2020 · 77 citations

📚 Fields

🖥️Computer Science (1)⚙️Engineering (1)

🏛️ Top institutions

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

🎓University of WashingtonSeattle · United States1 work here🔬Max Planck Institute for Software SystemsSaarbrücken · Germany1 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-sigplan-conference-on-programming-language-design-and/2020/