---
title: "Proceedings of the ACM on Programming Languages 2019 — all"
description: "All 265 papers of Proceedings of the ACM on Programming Languages 2019 · page 2 of 3, 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/2019/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/2019/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/) / [2019](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2019/) / [papers](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2019/papers/) / page 2

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

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

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

101. **[Weakening WebAssembly ↗](https://doi.org/10.1145/3360559)**Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod*31 citations*
102. **[LWeb: information flow security for multi-tier web applications ↗](https://doi.org/10.1145/3290388)**James Parker, Niki Vazou, Michael Hicks*29 citations*
103. **[Quantitative robustness analysis of quantum programs ↗](https://doi.org/10.1145/3290344)**Shih-Han Hung, Kesha Hietala, Shaopeng Zhu et al.*29 citations*
104. **[Relational proofs for quantum programs ↗](https://doi.org/10.1145/3371089)**Gilles Barthe, Justin Hsu, Mingsheng Ying et al.*29 citations*
105. **[System FR: formalized foundations for the stainless verifier ↗](https://doi.org/10.1145/3360592)**Jad Hamza, Nicolas Voirol, Viktor Kunčak*29 citations*
106. **[Trace types and denotational semantics for sound programmable inference in probabilistic languages ↗](https://doi.org/10.1145/3371087)**Alexander K. Lew, Marco Cusumano-Towner, Benjamin Sherman et al.*29 citations*
107. **[Bayesian synthesis of probabilistic programs for automatic data modeling ↗](https://doi.org/10.1145/3290350)**Feras A. Saad, Marco Cusumano-Towner, Ulrich Schaechtle et al.*28 citations*
108. **[Game semantics for quantum programming ↗](https://doi.org/10.1145/3290345)**Pierre Clairambault, Marc de Visme, Glynn Winskel*28 citations*
109. **[Narcissus: correct-by-construction derivation of decoders and encoders from binary formats ↗](https://doi.org/10.1145/3341686)**Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel et al.*28 citations*
110. **[BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation ↗](https://doi.org/10.1145/3360563)**Zhuo Zhang, Wei You, Guanhong Tao et al.*27 citations*
111. **[Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization ↗](https://doi.org/10.1145/3290351)**Tetsuya Sato, Alejandro Aguirre, Gilles Barthe et al.*27 citations*
112. **[A true positives theorem for a static race detector ↗](https://doi.org/10.1145/3290370)**Nikos Gorogiannis, Peter W. O’Hearn, Ilya Sergey*26 citations*
113. **[Abstract extensionality: on the properties of incomplete abstract interpretations ↗](https://doi.org/10.1145/3371096)**Roberto Bruni, Roberto Giacobazzi, Roberta Gori B et al.*26 citations*
114. **[Gradual type theory ↗](https://doi.org/10.1145/3290328)**Max S. New, Daniel R. Licata, Amal Ahmed*26 citations*
115. **[Skeletal semantics and their interpretations ↗](https://doi.org/10.1145/3290357)**Martin Bodin, Philippa Gardner, Thomas Wiben Jensen et al.*26 citations*
116. **[Sound and robust solid modeling via exact real arithmetic and continuity ↗](https://doi.org/10.1145/3341703)**Benjamin Sherman, Jesse Michel, Michael Carbin*26 citations*
117. **[The high-level benefits of low-level sandboxing ↗](https://doi.org/10.1145/3371100)**Michael Sammler, Deepak Garg, Derek R. Dreyer et al.*26 citations*
118. **[Full abstraction for the quantum lambda-calculus ↗](https://doi.org/10.1145/3371131)**Pierre Clairambault, Marc de Visme*25 citations*
119. **[I/O dependent idempotence bugs in intermittent systems ↗](https://doi.org/10.1145/3360609)**Milijana Surbatovich, Limin Jia, Brandon Lucia*25 citations*
120. **[JaVerT 2.0: compositional symbolic execution for JavaScript ↗](https://doi.org/10.1145/3290379)**José Fragoso Santos, Petar Maksimović, Gabriela Cunha Sampaio et al.*25 citations*
121. **[A²I: abstract² interpretation ↗](https://doi.org/10.1145/3290355)**Patrick M. Cousot, Roberto Giacobazzi, Francesco Ranzato*24 citations*
122. **[Backpropagation in the simply typed lambda-calculus with linear negation ↗](https://doi.org/10.1145/3371132)**Aloïs Brunel, Damiano Mazza, Michele Pagani*24 citations*
123. **[ApproxHPVM: a portable compiler IR for accuracy-aware optimizations ↗](https://doi.org/10.1145/3360612)**Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa et al.*23 citations*
124. **[Efficient parameterized algorithms for data packing ↗](https://doi.org/10.1145/3290366)**Krishnendu Chatterjee, Amir Kafshdar Goharshady, Nastaran Okati et al.*23 citations*
125. **[Mechanized relational verification of concurrent programs with continuations ↗](https://doi.org/10.1145/3341709)**Amin Timany, Lars Birkedal*23 citations*
126. **[Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types ↗](https://doi.org/10.1145/3290322)**Jana Dunfield, Neelakantan R. Krishnaswami*23 citations*
127. **[Value-centric dynamic partial order reduction ↗](https://doi.org/10.1145/3360550)**Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman*23 citations*
128. **[Mechanized semantics and verified compilation for a dataflow synchronous language with reset ↗](https://doi.org/10.1145/3371112)**Timothy Bourke, Lélio Brun, Marc Pouzet*22 citations*
129. **[Trace aware random testing for distributed systems ↗](https://doi.org/10.1145/3360606)**Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee*22 citations*
130. **[Certifying graph-manipulating C programs via localizations within data structures ↗](https://doi.org/10.1145/3360597)**Shengyi Wang, Qinxiang Cao, Anshuman Mohan et al.*21 citations*
131. **[Dynamic type inference for gradual Hindley–Milner typing ↗](https://doi.org/10.1145/3290331)**Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi*21 citations*
132. **[Executable formal semantics for the POSIX shell ↗](https://doi.org/10.1145/3371111)**Michael Greenberg, Austin J. Blatt*21 citations*
133. **[Reductions for safety proofs ↗](https://doi.org/10.1145/3371081)**Azadeh Farzan, Anthony Vandikas*21 citations*
134. **[Towards verified stochastic variational inference for probabilistic programs ↗](https://doi.org/10.1145/3371084)**Wonyeol Lee, Hangyeol Yu, Xavier Rival et al.*21 citations*
135. **[Closure conversion is safe for space ↗](https://doi.org/10.1145/3341687)**Zoe Paraskevopoulou, Andrew W. Appel*20 citations*
136. **[Fuzzi: a three-level logic for differential privacy ↗](https://doi.org/10.1145/3341697)**Hengchu Zhang, Edo Roth, Andreas Haeberlen et al.*20 citations*
137. **[Modular quantitative monitoring ↗](https://doi.org/10.1145/3290363)**Rajeev Alur, Konstantinos Mamouras, Caleb Stanford*20 citations*
138. **[Recurrence extraction for functional programs through call-by-push-value ↗](https://doi.org/10.1145/3371083)**G. A. Kavvos, Edward Morehouse, Daniel R. Licata et al.*20 citations*
139. **[Refinement of path expressions for static analysis ↗](https://doi.org/10.1145/3290358)**John Cyphert, Jason Breck, Zachary Kincaid et al.*20 citations*
140. **[Staged abstract interpreters: fast and modular whole-program analysis via meta-programming ↗](https://doi.org/10.1145/3360552)**Guannan Wei, Yuxuan Chen, Tiark Rompf*20 citations*
141. **[Weak-consistency specification via visibility relaxation ↗](https://doi.org/10.1145/3290373)**Michael Emmi, Constantin Enea*20 citations*
142. **[A formalization of Java’s concurrent access modes ↗](https://doi.org/10.1145/3360568)**John Bender, Jens Palsberg*19 citations*
143. **[Disentanglement in nested-parallel programs ↗](https://doi.org/10.1145/3371115)**Sam Westrick, Rohan Yadav, Matthew T. Fluet et al.*19 citations*
144. **[Effective lock handling in stateless model checking ↗](https://doi.org/10.1145/3360599)**Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis*19 citations*
145. **[Relational verification using reinforcement learning ↗](https://doi.org/10.1145/3360567)**Jia Chen, Jiayi Wei, Yu Feng et al.*19 citations*
146. **[Seq: a high-performance language for bioinformatics ↗](https://doi.org/10.1145/3360551)**Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi et al.*19 citations*
147. **[Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks ↗](https://doi.org/10.1145/3341713)**Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg*19 citations*
148. **[A predicate transformer semantics for effects (functional pearl) ↗](https://doi.org/10.1145/3341707)**Wouter Swierstra, Tim Baanen*18 citations*
149. **[Approximate normalization for gradual dependent types ↗](https://doi.org/10.1145/3341692)**Joseph Eremondi, Éric Tanter, Ronald Garcia*18 citations*
150. **[Compiling with continuations, or without? whatever. ↗](https://doi.org/10.1145/3341643)**Youyou Cong, Leo Osvald, Grégory M. Essertel et al.*18 citations*
151. **[Iron: managing obligations in higher-order concurrent separation logic ↗](https://doi.org/10.1145/3290378)**Aleš Bizjak, Daniel Gratzer, Robbert Krebbers et al.*18 citations*
152. **[Linear capabilities for fully abstract compilation of separation-logic-verified code ↗](https://doi.org/10.1145/3341688)**Thomas Van Strydonck, Frank Piessens, Dominique Devriese*18 citations*
153. **[Bindings as bounded natural functors ↗](https://doi.org/10.1145/3290335)**Jasmin Christian Blanchette, Lorenzo Gheri, Andrei Popescu et al.*17 citations*
154. **[Decidable verification of uninterpreted programs ↗](https://doi.org/10.1145/3290359)**Umang Mathur, P. Madhusudan, Mahesh Viswanathan*17 citations*
155. **[Fixpoint games on continuous lattices ↗](https://doi.org/10.1145/3290339)**Paolo Baldan, Barbara König, Christina Mika-Michalski et al.*17 citations*
156. **[Specifying concurrent programs in separation logic: morphisms and simulations ↗](https://doi.org/10.1145/3360587)**Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco et al.*17 citations*
157. **[SyTeCi: automating contextual equivalence for higher-order programs with references ↗](https://doi.org/10.1145/3371127)**Guilhem Jaber*17 citations*
158. **[Synthesizing symmetric lenses ↗](https://doi.org/10.1145/3341699)**Anders Miltner, Solomon Maina, Kathleen Fisher et al.*17 citations*
159. **[Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side ↗](https://doi.org/10.1145/3290340)**Simon Castellan, Nobuko Yoshida*17 citations*
160. **[Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation ↗](https://doi.org/10.1145/3371088)**Mengqi Liu, Lionel Rieg, Zhong Shao et al.*17 citations*
161. **[A reasonably exceptional type theory ↗](https://doi.org/10.1145/3341712)**Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann et al.*16 citations*
162. **[Automatic and scalable detection of logical errors in functional programming assignments ↗](https://doi.org/10.1145/3360614)**Dowon Song, Myungho Lee, Hakjoo Oh*16 citations*
163. **[Bisimulation as path type for guarded recursive types ↗](https://doi.org/10.1145/3290317)**Rasmus Ejlers Møgelberg, Niccolò Veltrì*16 citations*
164. **[From fine- to coarse-grained dynamic information flow control and back ↗](https://doi.org/10.1145/3290389)**Marco Vassena, Alejandro Russo, Deepak Garg et al.*16 citations*
165. **[Modular verification of web page layout ↗](https://doi.org/10.1145/3360577)**Pavel Panchekha, Michael D. Ernst, Zachary Tatlock et al.*16 citations*
166. **[The weak call-by-value λ-calculus is reasonable for both time and space ↗](https://doi.org/10.1145/3371095)**Yannick Forster, Fabian Kunze, Marc Roth*16 citations*
167. **[Trace abstraction modulo probability ↗](https://doi.org/10.1145/3290352)**Calvin Smith, Justin Hsu, Aws Albarghouthi*16 citations*
168. **[A fault-tolerant programming model for distributed interactive applications ↗](https://doi.org/10.1145/3360570)**Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi et al.*15 citations*
169. **[Dependence-aware, unbounded sound predictive race detection ↗](https://doi.org/10.1145/3360605)**Kaan Genç, Jake Roemer, XU Yu-fan et al.*15 citations*
170. **[Parameterized verification under TSO is PSPACE-complete ↗](https://doi.org/10.1145/3371094)**Parosh Aziz Abdulla, Mohamed Faouzi Atig, Rojin Rezvan*15 citations*
171. **[Seminaïve evaluation for a higher-order functional language ↗](https://doi.org/10.1145/3371090)**Michael Arntzenius, Neel Krishnaswami*15 citations*
172. **[Spy game: verifying a local generic solver in Iris ↗](https://doi.org/10.1145/3371101)**Paulo Emílio de Vilhena, François Pottier, Jacques-Henri Jourdan*15 citations*
173. **[Static analysis with demand-driven value refinement ↗](https://doi.org/10.1145/3360566)**B. Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang et al.*15 citations*
174. **[Taylor subsumes Scott, Berry, Kahn and Plotkin ↗](https://doi.org/10.1145/3371069)**Davide Barbarossa, Giulio Manzonetto*15 citations*
175. **[Teaching the art of functional programming using automated grading (experience report) ↗](https://doi.org/10.1145/3341719)**Aliya Hameer, Brigitte Pientka*15 citations*
176. **[CLOTHO: directed test generation for weakly consistent database systems ↗](https://doi.org/10.1145/3360543)**Kia Rahmani, Kartik Nagar, Benjamin Delaware et al.*14 citations*
177. **[Call-by-need is clairvoyant call-by-value ↗](https://doi.org/10.1145/3341718)**Jennifer Hackett, Graham Hutton*14 citations*
178. **[Label-dependent session types ↗](https://doi.org/10.1145/3371135)**Peter J. Thiemann, VASCO THUDICHUM VASCONCELOS*14 citations*
179. **[Mixed linear and non-linear recursive types ↗](https://doi.org/10.1145/3341715)**Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev*14 citations*
180. **[Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic ↗](https://doi.org/10.1145/3290348)**Maria I. Gorinova, Andrew D. Gordon, Charles Sutton*14 citations*
181. **[Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time ↗](https://doi.org/10.1145/3371093)**Peixin Wang, Hongfei Fu, Krishnendu Chatterjee et al.*14 citations*
182. **[Selective applicative functors ↗](https://doi.org/10.1145/3341694)**Andrey Mokhov, Georgy Lukyanov, Simon Marlow et al.*14 citations*
183. **[Sound and reusable components for abstract interpretation ↗](https://doi.org/10.1145/3360602)**Sven Keidel, Sebastian Thore Erdweg*14 citations*
184. **[Synthesizing replacement classes ↗](https://doi.org/10.1145/3371120)**Malavika Samak, Deokhwan Kim, Martin Rinard*14 citations*
185. **[Concerto: a framework for combined concrete and abstract interpretation ↗](https://doi.org/10.1145/3290356)**John Toman, Dan Grossman*13 citations*
186. **[Decidable subtyping for path dependent types ↗](https://doi.org/10.1145/3371134)**Julian Mackay, Alex Potanin, Jonathan Aldrich et al.*13 citations*
187. **[Sequential programming for replicated data stores ↗](https://doi.org/10.1145/3341710)**Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar et al.*13 citations*
188. **[Simple noninterference from parametricity ↗](https://doi.org/10.1145/3341693)**Maximilian Algehed, Jean-Philippe Bernardy*13 citations*
189. **[Synthesizing differentially private programs ↗](https://doi.org/10.1145/3341698)**Calvin Smith, Aws Albarghouthi*13 citations*
190. **[Type-guided worst-case input generation ↗](https://doi.org/10.1145/3290326)**Di Wang, Jan Hoffmann*13 citations*
191. **[A language for probabilistically oblivious computation ↗](https://doi.org/10.1145/3371118)**David Darais, Ian Sweet, Chang Liu et al.*12 citations*
192. **[A mechanical formalization of higher-ranked polymorphic type inference ↗](https://doi.org/10.1145/3341716)**Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers*12 citations*
193. **[A path to DOT: formalizing fully path-dependent types ↗](https://doi.org/10.1145/3360571)**Marianna Rapoport, Ondřej Lhoták*12 citations*
194. **[A role for dependent types in Haskell ↗](https://doi.org/10.1145/3341705)**Stephanie Weirich, Pritam Choudhury, Antoine Voizard et al.*12 citations*
195. **[AL: autogenerating supervised learning programs ↗](https://doi.org/10.1145/3360601)**José Cambronero, Martin Rinard*12 citations*
196. **[Casting about in the dark: an empirical study of cast operations in Java programs ↗](https://doi.org/10.1145/3360584)**Luis Mastrangelo, Matthias Hauswirth, Nathaniel Nystrom*12 citations*
197. **[Categorical combinatorics of scheduling and synchronization in game semantics ↗](https://doi.org/10.1145/3290336)**Paul-André Melliès*12 citations*
198. **[Complexity and information in invariant inference ↗](https://doi.org/10.1145/3371073)**Yotam M. Y. Feldman, Neil Immerman, Mooly Sagiv et al.*12 citations*
199. **[Decoupling lock-free data structures from memory reclamation for static analysis ↗](https://doi.org/10.1145/3290371)**Roland Meyer, Sebastian Wolff*12 citations*
200. **[Deductive verification with ghost monitors ↗](https://doi.org/10.1145/3371070)**Martin Clochard, Claude Marché, Andrei Paskevich*12 citations*

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

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