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

[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](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2020/) / papers

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

77 papers · the most cited first · [← Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2020](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2020/)

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*
26. **[Question selection for interactive program synthesis ↗](https://doi.org/10.1145/3385412.3386025)**Ruyi Ji, Jingjing Liang, Yingfei Xiong et al.*33 citations*
27. **[Data-driven inference of representation invariants ↗](https://doi.org/10.1145/3385412.3385967)**Anders Miltner, Saswat Padhi, Todd D. Millstein et al.*32 citations*
28. **[NV: an intermediate language for verification of network control planes ↗](https://doi.org/10.1145/3385412.3386019)**Nick Giannarakis, Devon Loehr, Ryan Beckett et al.*32 citations*
29. **[BlankIt library debloating: getting what you want instead of cutting what you don’t ↗](https://doi.org/10.1145/3385412.3386017)**Chris Porter, Girish Mururu, Prithayan Barua et al.*31 citations*
30. **[Compiler-directed soft error resilience for lightweight GPU register file protection ↗](https://doi.org/10.1145/3385412.3386033)**Hongjune Kim, Jianping Zeng, Qingrui Liu et al.*31 citations*
31. **[Crafty: efficient, HTM-compatible persistent transactions ↗](https://doi.org/10.1145/3385412.3385991)**Kaan Genç, Michael D. Bond, Guoqing Harry Xu*31 citations*
32. **[First-order quantified separators ↗](https://doi.org/10.1145/3385412.3386018)**Jason R. Koenig, Oded Padon, Neil Immerman et al.*31 citations*
33. **[Debug information validation for optimized code ↗](https://doi.org/10.1145/3385412.3386020)**Yuanbo Li, Shuo Ding, Qirun Zhang et al.*30 citations*
34. **[Decidable verification under a causally consistent shared memory ↗](https://doi.org/10.1145/3385412.3385966)**Ori Lahav, Udi Boker*30 citations*
35. **[Fast graph simplification for interleaved Dyck-reachability ↗](https://doi.org/10.1145/3385412.3386021)**Yuanbo Li, Qirun Zhang, Thomas Reps*30 citations*
36. **[Optimizing homomorphic evaluation circuits by program synthesis and term rewriting ↗](https://doi.org/10.1145/3385412.3385996)**Dong-Kwon Lee, Woosuk Lee, Hakjoo Oh et al.*30 citations*
37. **[Effective function merging in the SSA form ↗](https://doi.org/10.1145/3385412.3386030)**Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang et al.*29 citations*
38. **[PMThreads: persistent memory threads harnessing versioned shadow copies ↗](https://doi.org/10.1145/3385412.3386000)**Zhenwei Wu, Kai Lü, Andrew Nisbet et al.*29 citations*
39. **[Scalable validation of binary lifters ↗](https://doi.org/10.1145/3385412.3385964)**Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh et al.*29 citations*
40. **[Templates and recurrences: better together ↗](https://doi.org/10.1145/3385412.3386035)**Jason Breck, John Cyphert, Zachary Kincaid et al.*29 citations*
41. **[SmartTrack: efficient predictive race detection ↗](https://doi.org/10.1145/3385412.3385993)**Jake Roemer, Kaan Genç, Michael D. Bond*28 citations*
42. **[Towards a verified range analysis for JavaScript JITs ↗](https://doi.org/10.1145/3385412.3385968)**Fraser Brown, John Renner, Andres Nötzli et al.*28 citations*
43. **[λPSI: exact inference for higher-order probabilistic programs ↗](https://doi.org/10.1145/3385412.3386006)**Timon Gehr, Samuel Steffen, Martin Vechev*28 citations*
44. **[Automatic generation of efficient sparse tensor format conversion routines ↗](https://doi.org/10.1145/3385412.3385963)**Stephen Chou, Fredrik Kjølstad, Saman P. Amarasinghe*26 citations*
45. **[Debugging and detecting numerical errors in computation with posits ↗](https://doi.org/10.1145/3385412.3386004)**Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte*26 citations*
46. **[Inductive sequentialization of asynchronous programs ↗](https://doi.org/10.1145/3385412.3385980)**Bernhard Kragl, Constantin Enea, Thomas A. Henzinger et al.*26 citations*
47. **[A marriage of pointer- and epoch-based reclamation ↗](https://doi.org/10.1145/3385412.3385978)**Jeehoon Kang, JaeHwang Jung*25 citations*
48. **[Armada: low-effort verification of high-performance concurrent programs ↗](https://doi.org/10.1145/3385412.3385971)**Jacob R. Lorch, Yixuan Chen, Manos Kapritsos et al.*25 citations*
49. **[Efficient handling of string-number conversion ↗](https://doi.org/10.1145/3385412.3386034)**Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu‐Fang Chen et al.*25 citations*
50. **[Type error feedback via analytic program repair ↗](https://doi.org/10.1145/3385412.3386005)**Georgios Sakkas, Madeline Endres, Benjamin Cosman et al.*24 citations*
51. **[Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems ↗](https://doi.org/10.1145/3385412.3385979)**Qinheping Hu, John Cyphert, Loris D'Antoni et al.*22 citations*
52. **[Improving program locality in the GC using hotness ↗](https://doi.org/10.1145/3385412.3385977)**Albert Mingkun Yang, Erik Österlund, Tobias Wrigstad*21 citations*
53. **[Repairing and mechanising the JavaScript relaxed memory model ↗](https://doi.org/10.1145/3385412.3385973)**Conrad Watt, Christopher Pulte, Anton Podkopaev et al.*20 citations*
54. **[Proving data-poisoning robustness in decision trees ↗](https://doi.org/10.1145/3385412.3385975)**Samuel Drews, Aws Albarghouthi, Loris D’Antoni*19 citations*
55. **[Learning fast and precise numerical analysis ↗](https://doi.org/10.1145/3385412.3386016)**Jingxuan He, Gagandeep Singh, Markus Püschel et al.*18 citations*
56. **[Proving almost-sure termination by omega-regular decomposition ↗](https://doi.org/10.1145/3385412.3386002)**Jianhui Chen, Fei He*18 citations*
57. **[Verifying concurrent search structure templates ↗](https://doi.org/10.1145/3385412.3386029)**Siddharth Krishna, Nisarg A. Patel, Dennis E. Shasha et al.*18 citations*
58. **[Detecting network load violations for distributed control planes ↗](https://doi.org/10.1145/3385412.3385976)**Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D’Antoni et al.*17 citations*
59. **[From folklore to fact: comparing implementations of stacks and continuations ↗](https://doi.org/10.1145/3385412.3385994)**Kavon Farvardin, John H. Reppy*17 citations*
60. **[CARAT: a case for virtual memory through compiler- and runtime-based address translation ↗](https://doi.org/10.1145/3385412.3385987)**Brian Suchy, Simone Campanoni, Nikos Hardavellas et al.*16 citations*
61. **[Behavioral simulation for smart contracts ↗](https://doi.org/10.1145/3385412.3386022)**Sidi Mohamed Beillahi, Gabriela Felicia Ciocarlie, Michael Emmi et al.*15 citations*
62. **[FreezeML: complete and easy type inference for first-class polymorphism ↗](https://doi.org/10.1145/3385412.3386003)**Frank Emrich, Sam Lindley, Jan Stolarek et al.*13 citations*
63. **[PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization ↗](https://doi.org/10.1145/3385412.3385995)**Fabian Ritter, Sebastian Hack*13 citations*
64. **[SympleGraph: distributed graph processing with precise loop-carried dependency guarantee ↗](https://doi.org/10.1145/3385412.3385961)**Youwei Zhuo, Jingji Chen, Qinyi Luo et al.*13 citations*
65. **[Zippy LL(1) parsing with derivatives ↗](https://doi.org/10.1145/3385412.3385992)**Romain Edelmann, Jad Hamza, Viktor Kunčak*13 citations*
66. **[Responsive parallelism with futures and state ↗](https://doi.org/10.1145/3385412.3386013)**Stefan K. Muller, Kyle Singer, Noah Goldstein et al.*12 citations*
67. **[Towards an API for the real numbers ↗](https://doi.org/10.1145/3385412.3386037)**Hans‐J. Boehm*12 citations*
68. **[HipHop.js: (A)Synchronous reactive web programming ↗](https://doi.org/10.1145/3385412.3385984)**Gérard Berry, Manuel Serrano*11 citations*
69. **[On the principles of differentiable quantum programming languages ↗](https://doi.org/10.1145/3385412.3386011)**Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti et al.*11 citations*
70. **[SCAF: a speculation-aware collaborative dependence analysis framework ↗](https://doi.org/10.1145/3385412.3386028)**Sotiris Apostolakis, Ziyang Xu, Zujun Tan et al.*11 citations*
71. **[Compiler and runtime support for continuation marks ↗](https://doi.org/10.1145/3385412.3385981)**Matthew Flatt, R. Kent Dybvig*9 citations*
72. **[OOElala: order-of-evaluation based alias analysis for compiler optimization ↗](https://doi.org/10.1145/3385412.3385962)**Ankush Phulia, Vaibhav Bhagee, Sorav Bansal*9 citations*
73. **[A study of the learnability of relational properties: model counting meets machine learning (MCML) ↗](https://doi.org/10.1145/3385412.3386015)**Muhammad Usman, Wenxi Wang, Marko Vasic et al.*5 citations*
74. **[Faster general parsing through context-free memoization ↗](https://doi.org/10.1145/3385412.3386032)**Grzegorz Herman*4 citations*
75. **[Learning nonlinear loop invariants with gated continuous logic networks ↗](https://doi.org/10.1145/3385412.3385986)**Jianan Yao, Gabriel Ryan, Justin Wong et al.*1 citation*
76. **[Reactive probabilistic programming ↗](https://doi.org/10.1145/3385412.3386009)**Guillaume Baudart, Louis Mandel, Eric Atkinson et al.*1 citation*
77. **[Automated derivation of parametric data movement lower bounds for affine programs ↗](https://doi.org/10.1145/3385412.3385989)**Auguste Olivry, Julien Langou F, Louis-Noël Pouchet et al.
- [← back to](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