---
title: "Proceedings of the ACM on Programming Languages 2020 — all"
description: "All 170 papers of Proceedings of the ACM on Programming Languages 2020 · page 2 of 2, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/page/2/"
---
[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/papers/page/2/)

[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](https://md.research.elamur.ai/free/en/venues/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/) / page 2

# Proceedings of the ACM on Programming Languages 2020: all accepted papers

170 papers · page 2 of 2 · the most cited first · [← Proceedings of the ACM on Programming Languages 2020](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/)

[← prev](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/) [1](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/) **2**

101. **[Proving highly-concurrent traversals correct ↗](https://doi.org/10.1145/3428196)**Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea et al.*12 citations*
102. **[Regular language type inference with term rewriting ↗](https://doi.org/10.1145/3408994)**Timothée Haudebourg, Thomas Genet, Thomas Wiben Jensen*12 citations*
103. **[TLC: temporal logic of distributed components ↗](https://doi.org/10.1145/3409005)**Jeremiah Griffin, Mohsen Lesani, Narges Shadab et al.*12 citations*
104. **[The history of Standard ML ↗](https://doi.org/10.1145/3386336)**David B. MacQueen, Robert W. Harper, John H. Reppy*12 citations*
105. **[Program equivalence for assisted grading of functional programs ↗](https://doi.org/10.1145/3428239)**Joshua Clune, Vijay Ramamurthy, Ruben Martins et al.*11 citations*
106. **[Recovering purity with comonads and capabilities ↗](https://doi.org/10.1145/3408993)**Vikraman Choudhury, Neel Krishnaswami*11 citations*
107. **[Thriving in a crowded and changing world: C++ 2006–2020 ↗](https://doi.org/10.1145/3386320)**Bjarne Stroustrup*11 citations*
108. **[Enabling accuracy-aware Quantum compilers using symbolic resource estimation ↗](https://doi.org/10.1145/3428198)**Giulia Meuli, Mathias Soeken, Martin Roetteler et al.*10 citations*
109. **[Kinds are calling conventions ↗](https://doi.org/10.1145/3408986)**Paul Downen, Zena M. Ariola, Simon Jones et al.*10 citations*
110. **[Origins of the D programming language ↗](https://doi.org/10.1145/3386323)**Walter Bright, Andrei Alexandrescu, Michael Parker*10 citations*
111. **[Precise inference of expressive units of measurement types ↗](https://doi.org/10.1145/3428210)**Tongtong Xiang, Jeff Y. Luo, Werner Dietl*10 citations*
112. **[Designing types for R, empirically ↗](https://doi.org/10.1145/3428249)**Alexi Turcotte, Aviral Goel, Filip Křikava et al.*9 citations*
113. **[Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization ↗](https://doi.org/10.1145/3428236)**Anders Møller, Oskar Haarklou Veileborg*9 citations*
114. **[Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications ↗](https://doi.org/10.1145/3428248)**Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen et al.*9 citations*
115. **[Semiring optimizations: dynamic elision of expressions with identity and absorbing elements ↗](https://doi.org/10.1145/3428199)**Guilherme Vieira Leobas, Fernando Magno Quintão Pereira*9 citations*
116. **[World age in Julia: optimizing method dispatch in the presence of eval ↗](https://doi.org/10.1145/3428275)**Julia Belyakova, Benjamin Chung, Jack Gelinas et al.*9 citations*
117. **[A type-and-effect system for object initialization ↗](https://doi.org/10.1145/3428243)**Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis et al.*8 citations*
118. **[Build scripts with perfect dependencies ↗](https://doi.org/10.1145/3428237)**Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt*8 citations*
119. **[Hidden inheritance: an inline caching design for TypeScript performance ↗](https://doi.org/10.1145/3428242)**Zhefeng Wu, Zhe Sun, Kai Gong et al.*8 citations*
120. **[Hygienic macro technology ↗](https://doi.org/10.1145/3386330)**William Clinger, Mitchell Wand*8 citations*
121. **[Kindly bent to free us ↗](https://doi.org/10.1145/3408985)**Gabriel Radanne, Hannes Saffrich, Peter J. Thiemann*8 citations*
122. **[Lower your guards: a compositional pattern-match coverage checker ↗](https://doi.org/10.1145/3408989)**Sebastian Graf, Simon Jones, Ryan G. Scott*8 citations*
123. **[Programming at the edge of synchrony ↗](https://doi.org/10.1145/3428281)**Cezara Drăgoi, Josef Widder, Damien Zufferey A*8 citations*
124. **[StreamQL: a query language for processing streaming time series ↗](https://doi.org/10.1145/3428251)**Lingkun Kong, Konstantinos Mamouras*8 citations*
125. **[A dependently typed calculus with pattern matching and erasure inference ↗](https://doi.org/10.1145/3408973)**Matúš Tejiščák*7 citations*
126. **[Dynamic dispatch of context-sensitive optimizations ↗](https://doi.org/10.1145/3428235)**Gabriel Poesia, Fernando Magno Quintão Pereira*7 citations*
127. **[Exposing cache timing side-channel leaks through out-of-order symbolic execution ↗](https://doi.org/10.1145/3428215)**Shengjian Guo, Yueqi Chen, Jiyong Yu et al.*7 citations*
128. **[Foundations of empirical memory consistency testing ↗](https://doi.org/10.1145/3428294)**Jake Kirkham, Tyler Sorensen, Esin Türeci et al.*7 citations*
129. **[Stable relations and abstract interpretation of higher-order programs ↗](https://doi.org/10.1145/3409001)**Benoît Montagu, Thomas Wiben Jensen*7 citations*
130. **[Taming type annotations in gradual typing ↗](https://doi.org/10.1145/3428259)**John Peter Campora, Sheng Chen*7 citations*
131. **[The anchor verifier for blocking and non-blocking concurrent software ↗](https://doi.org/10.1145/3428224)**Cormac Flanagan A, Stephen N. Freund*7 citations*
132. **[Towards a unified proof framework for automated fixpoint reasoning using matching logic ↗](https://doi.org/10.1145/3428229)**Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues et al.*7 citations*
133. **[Unifying execution of imperative generators and declarative specifications ↗](https://doi.org/10.1145/3428285)**Pengyu Nie, Marinela Parović, Zhiqiang Zang et al.*7 citations*
134. **[APL since 1978 ↗](https://doi.org/10.1145/3386319)**Roger K. W. Hui, Morten J. Kromberg*6 citations*
135. **[Incremental predicate analysis for regression verification ↗](https://doi.org/10.1145/3428252)**Qianshan Yu, Fei He, Bow-Yaw Wang*6 citations*
136. **[Revisiting iso-recursive subtyping ↗](https://doi.org/10.1145/3428291)**Yaoda Zhou, Bruno C. d. S. Oliveira, Jinxu Zhao*6 citations*
137. **[Signature restriction for polymorphic algebraic effects ↗](https://doi.org/10.1145/3408999)**Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi*6 citations*
138. **[Computation focusing ↗](https://doi.org/10.1145/3408977)**Nick Rioux, Steve Zdancewic*5 citations*
139. **[Deductive optimization of relational data storage ↗](https://doi.org/10.1145/3428238)**John Feser, Samuel R. Madden, Nan Tang et al.*5 citations*
140. **[Elaboration with first-class implicit function types ↗](https://doi.org/10.1145/3408983)**András Kovács*5 citations*
141. **[Inter-theory dependency analysis for SMT string solvers ↗](https://doi.org/10.1145/3428260)**Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar*5 citations*
142. **[Parsing with zippers (functional pearl) ↗](https://doi.org/10.1145/3408990)**Pierce Darragh, Michael D. Adams*5 citations*
143. **[Resolution as intersection subtyping via Modus Ponens ↗](https://doi.org/10.1145/3428274)**Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira et al.*5 citations*
144. **[A history of the Groovy programming language ↗](https://doi.org/10.1145/3386326)**Paul King*4 citations*
145. **[Fast linear programming through transprecision computing on small and sparse data ↗](https://doi.org/10.1145/3428263)**Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein et al.*4 citations*
146. **[Geometry types for graphics programming ↗](https://doi.org/10.1145/3428241)**Dietrich Geisler, Irene Yoon, Aditi Kabra et al.*4 citations*
147. **[Guided linking: dynamic linking without the costs ↗](https://doi.org/10.1145/3428213)**Sean Bartell, Will Dietz, Vikram Adve*4 citations*
148. **[Higher-order demand-driven symbolic evaluation ↗](https://doi.org/10.1145/3408984)**Zachary Palmer, Theodore Park, Scott F. Smith et al.*4 citations*
149. **[History of coarrays and SPMD parallelism in Fortran ↗](https://doi.org/10.1145/3386322)**John K. Reid, Bill Long, Jon L. Steidel*4 citations*
150. **[Satune: synthesizing efficient SAT encoders ↗](https://doi.org/10.1145/3428214)**Hamed Gorjiara, Guoqing Harry Xu, Brian Charles Demsky*4 citations*
151. **[Sound garbage collection for C using pointer provenance ↗](https://doi.org/10.1145/3428244)**Subarno Banerjee, David Andrew Devecsery, Peter M. Chen et al.*4 citations*
152. **[A history of the Oz multiparadigm language ↗](https://doi.org/10.1145/3386333)**Peter Van Roy, Seif Haridi, Christian Schulte et al.*3 citations*
153. **[Effects for efficiency: asymptotic speedup with first-class control ↗](https://doi.org/10.1145/3408982)**Daniel Hillerström, Sam Lindley, John Longley*3 citations*
154. **[Programming and reasoning with partial observability ↗](https://doi.org/10.1145/3428268)**Eric Atkinson, Michael Carbin*3 citations*
155. **[Scalable and serializable networked multi-actor programming ↗](https://doi.org/10.1145/3428266)**Bo Sang, Patrick Th. Eugster, Gustavo Petri et al.*3 citations*
156. **[Termination analysis for evolving programs: an incremental approach by reusing certified modules ↗](https://doi.org/10.1145/3428267)**Fei He, Jitao Han*3 citations*
157. **[ιDOT: a DOT calculus with object initialization ↗](https://doi.org/10.1145/3428276)**Ifaz Kabir, Yu-Feng Li, Ondřej Lhoták*3 citations*
158. **[Evolution of Emacs Lisp ↗](https://doi.org/10.1145/3386324)**Stefan Monnier, Michael Sperber*2 citations*
159. **[Fuzzing channel-based concurrency runtimes using types and effects ↗](https://doi.org/10.1145/3428254)**Quentin Stiévenart, Magnus Madsen*2 citations*
160. **[Sealing pointer-based optimizations behind pure functions ↗](https://doi.org/10.1145/3408997)**Daniel Selsam, Simon Hudon, Leonardo de Moura*2 citations*
161. **[Strong functional pearl: Harper’s regular-expression matcher in Cedille ↗](https://doi.org/10.1145/3409004)**Aaron Stump, Christa Jenkins, Stephan Spahn et al.*2 citations*
162. **[Differentially-private software frequency profiling under linear constraints ↗](https://doi.org/10.1145/3428271)**Hailong Zhang, Yu Hao, Sufian Latif et al.*1 citation*
163. **[Structure interpretation of text formats ↗](https://doi.org/10.1145/3428280)**Sumit Gulwani, Vu Le, Arjun Radhakrishna et al.*1 citation*
164. **[Duplo: a framework for OCaml post-link optimisation ↗](https://doi.org/10.1145/3408980)**Nandor Licker, Timothy M. Jones
165. **[TacTok:意味論を意識した証明合成【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002267305289697)**Emily First, Yuriy Brun, Arjun Guha
166. **[The origins of Objective-C at PPI/Stepstone and its evolution at NeXT ↗](https://doi.org/10.1145/3386332)**Brad J. Cox, Steve Naroff, Hansen Hsu
167. **[WATCHER: in-situ failure diagnosis ↗](https://doi.org/10.1145/3428211)**Hongyu Liu, Sam Silvestro, Xiangyu Zhang et al.
168. **[アクター並行性バグ:症状,根本原因,API使用,および差異に関する包括的研究【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002245404589921)**Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh et al.
169. **[ダイナミTe:動的終結と非停止証明【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002234767239901)**Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi et al.
170. **[マッチング論理を用いた自動不動点推論のための統一証明フレームワークに向けて【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002242412834545)**Chen Xiaohong, Minh-Thai Trinh, Rodrigues Nishant et al.

[← prev](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/) [1](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/) **2**

- [← back to](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/) — Proceedings of the ACM on Programming Languages 2020