---
title: "Proceedings of the ACM on Programming Languages 2018 — all"
description: "All 108 papers of Proceedings of the ACM on Programming Languages 2018 · page 1 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/2018/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-on-programming-languages/2018/papers/)

[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/) / [2018](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/) / papers

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

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

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

1. **[MadMax: surviving out-of-gas conditions in Ethereum smart contracts ↗](https://doi.org/10.1145/3276486)**Neville Grech, Michael Kong, Anton Jurisevic et al.*347 citations*
2. **[DeepBugs: a learning approach to name-based bug detection ↗](https://doi.org/10.1145/3276517)**Michael Pradel, Koushik Sen*342 citations*
3. **[GraphIt: a high-performance graph DSL ↗](https://doi.org/10.1145/3276491)**Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi et al.*169 citations*
4. **[Julia: dynamism and performance reconciled by design ↗](https://doi.org/10.1145/3276490)**Jeff Bezanson, Jiahao Chen, Benjamin Chung et al.*123 citations*
5. **[Format abstraction for sparse tensor algebra compilers ↗](https://doi.org/10.1145/3276493)**Stephen Chou, Fredrik Kjølstad, Saman P. Amarasinghe*122 citations*
6. **[MoSeL: a general, extensible modal framework for interactive proofs in separation logic ↗](https://doi.org/10.1145/3236772)**Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung et al.*93 citations*
7. **[RacerD: compositional static race detection ↗](https://doi.org/10.1145/3276514)**Sam Blackshear, Nikos Gorogiannis, Peter W. O’Hearn et al.*89 citations*
8. **[The simple essence of automatic differentiation ↗](https://doi.org/10.1145/3236765)**Conal M. Elliott*88 citations*
9. **[Precision-guided context sensitivity for pointer analysis ↗](https://doi.org/10.1145/3276511)**Yue Li, Tian Huat Tan, Anders Møller et al.*85 citations*
10. **[Optimal stateless model checking under the release-acquire semantics ↗](https://doi.org/10.1145/3276505)**Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jönsson et al.*68 citations*
11. **[Secure serverless computing using dynamic information flow control ↗](https://doi.org/10.1145/3276488)**Kalev Alpernas, Cormac Flanagan A, Sadjad Fouladi et al.*68 citations*
12. **[Horn-ICE learning for synthesizing invariants and contracts ↗](https://doi.org/10.1145/3276501)**P. Ezudheen, Daniel Neider, Deepak D’Souza et al.*66 citations*
13. **[Incrementalizing lattice-based program analyses in Datalog ↗](https://doi.org/10.1145/3276509)**Tamás Szabó, Gábor Bergmann, Sebastian Thore Erdweg et al.*52 citations*
14. **[ExceLint: automatically finding spreadsheet formula errors ↗](https://doi.org/10.1145/3276518)**Daniel W. Barowy, Emery D. Berger, Benjamin G. Zorn*50 citations*
15. **[Functional programming for compiling and decompiling computer-aided design ↗](https://doi.org/10.1145/3236794)**Chandrakana Nandi, James R. Wilcox, Pavel Panchekha et al.*49 citations*
16. **[AnyDSL: a partial evaluation framework for programming high-performance libraries ↗](https://doi.org/10.1145/3276489)**Roland Leißa, Klaas Boesche, Sebastian Hack et al.*46 citations*
17. **[What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection ↗](https://doi.org/10.1145/3276515)**Umang Mathur, Dileep Kini, Mahesh Viswanathan*45 citations*
18. **[Bidirectional evaluation with direct manipulation ↗](https://doi.org/10.1145/3276497)**Mikaël Mayer, Viktor Kunčak, Ravi Chugh*42 citations*
19. **[Precise and scalable points-to analysis via data-driven context tunneling ↗](https://doi.org/10.1145/3276510)**Minseok Jeon, Sehun Jeong, Hakjoo Oh*41 citations*
20. **[Verified three-way program merge ↗](https://doi.org/10.1145/3276535)**Marcelo Sousa, Işıl Dillig, Shuvendu K. Lahiri*41 citations*
21. **[Sound deadlock prediction ↗](https://doi.org/10.1145/3276516)**Christian Gram Kalhauge, Jens Palsberg*40 citations*
22. **[Distributed system development with ScalaLoci ↗](https://doi.org/10.1145/3276499)**Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi*38 citations*
23. **[Build systems à la carte ↗](https://doi.org/10.1145/3236774)**Andrey Mokhov, Neil Mitchell, Simon Jones*37 citations*
24. **[Conflict resolution for structured merge via version space algebra ↗](https://doi.org/10.1145/3276536)**Fengmin Zhu, Fei He*37 citations*
25. **[Parallel complexity analysis with temporal session types ↗](https://doi.org/10.1145/3236786)**Ankush Das, Jan Hoffmann, Frank Pfenning*37 citations*
26. **[Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model ↗](https://doi.org/10.1145/3276507)**Azalea Raad, Viktor Vafeiadis*35 citations*
27. **[Randomized testing of distributed systems with probabilistic guarantees ↗](https://doi.org/10.1145/3276530)**Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic et al.*34 citations*
28. **[An empirical study of the effect of source-level loop transformations on compiler stability ↗](https://doi.org/10.1145/3276496)**Zhangxiaowen Gong, Zhi Chen, Justin Szaday et al.*33 citations*
29. **[Scopes as types ↗](https://doi.org/10.1145/3276484)**Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet et al.*33 citations*
30. **[Object-oriented recovery for non-volatile memory ↗](https://doi.org/10.1145/3276523)**Nachshon Cohen, David T. Aksun, James R. Larus*32 citations*
31. **[Contextual equivalence for a probabilistic language with continuous random variables and recursion ↗](https://doi.org/10.1145/3236782)**Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos et al.*31 citations*
32. **[Julia subtyping: a rational reconstruction ↗](https://doi.org/10.1145/3276483)**Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn et al.*31 citations*
33. **[A spectrum of type soundness and performance ↗](https://doi.org/10.1145/3236766)**Ben Greenman, Matthias Felleisen*30 citations*
34. **[Graduality from embedding-projection pairs ↗](https://doi.org/10.1145/3236768)**Max S. New, Amal Ahmed*30 citations*
35. **[A type and scope safe universe of syntaxes with binding: their semantics and proofs ↗](https://doi.org/10.1145/3236785)**Guillaume Allais, Robert Atkey, James Chapman et al.*29 citations*
36. **[Safe replication through bounded concurrency verification ↗](https://doi.org/10.1145/3276534)**Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan et al.*29 citations*
37. **[Test generation for higher-order functions in dynamic languages ↗](https://doi.org/10.1145/3276531)**Marija Selakovic, Michael Pradel, Rezwana Karim et al.*29 citations*
38. **[goSLP: globally optimized superword level parallelism framework ↗](https://doi.org/10.1145/3276480)**Charith Mendis, Saman P. Amarasinghe*29 citations*
39. **[Every data structure deserves lock-free memory reclamation ↗](https://doi.org/10.1145/3276513)**Nachshon Cohen*28 citations*
40. **[Finding code that explodes under symbolic evaluation ↗](https://doi.org/10.1145/3276519)**James Bornholt, Emina Torlak*27 citations*
41. **[Effect handlers for the masses ↗](https://doi.org/10.1145/3276481)**Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann*26 citations*
42. **[Faster variational execution with transparent bytecode transformation ↗](https://doi.org/10.1145/3276487)**Chu-Pan Wong, Jens Meinicke, Lukas Lazarek et al.*26 citations*
43. **[Reconciling high-level optimizations and low-level code in LLVM ↗](https://doi.org/10.1145/3276495)**Juneyoung Lee, Chung-Kil Hur, Ralf Jung et al.*26 citations*
44. **[Compositional programming and testing of dynamic distributed systems ↗](https://doi.org/10.1145/3276529)**Ankush Desai, Amar Phanishayee, Shaz Qadeer et al.*25 citations*
45. **[Equivalences for free: univalent parametricity for effective transport ↗](https://doi.org/10.1145/3236787)**Nicolas Tabareau, Éric Tanter, Matthieu Sozeau*25 citations*
46. **[BioScript: programming safe chemistry on laboratories-on-a-chip ↗](https://doi.org/10.1145/3276498)**Jason Ott, Tyson Loveless, Chris Curtis et al.*23 citations*
47. **[Mtac2: typed tactics for backward reasoning in Coq ↗](https://doi.org/10.1145/3236773)**Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers et al.*23 citations*
48. **[Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) ↗](https://doi.org/10.1145/3236784)**Joachim Breitner, Antal Spector-Zabusky, Yao Li et al.*23 citations*
49. **[Automatic diagnosis and correction of logical errors for functional programming assignments ↗](https://doi.org/10.1145/3276528)**Junho Lee, Dowon Song, Sunbeom So et al.*22 citations*
50. **[Collapsible contracts: fixing a pathology of gradual typing ↗](https://doi.org/10.1145/3276503)**Daniel Feltey, Ben Greenman, Christophe Scholliers et al.*21 citations*
51. **[Finding broken promises in asynchronous JavaScript programs ↗](https://doi.org/10.1145/3276532)**Saba Alimadadi, Di Zhong, Magnus Madsen et al.*21 citations*
52. **[FlashProfile: a framework for synthesizing data profiles ↗](https://doi.org/10.1145/3276520)**Saswat Padhi, Prateek Jain, Daniel Perelman et al.*21 citations*
53. **[Functional programming for modular Bayesian inference ↗](https://doi.org/10.1145/3236778)**Adam Ścibior, Ohad Kammar, Zoubin Ghahramani*21 citations*
54. **[Tight typings and split bounds ↗](https://doi.org/10.1145/3236789)**Beniamino Accattoli, Stéphane Lengrand, Delia Kesner*21 citations*
55. **[Robust relational layout synthesis from examples for Android ↗](https://doi.org/10.1145/3276526)**Pavol Bielik, Marc Fischer, Martin Vechev*20 citations*
56. **[Empowering union and intersection types with integrated subtyping ↗](https://doi.org/10.1145/3276482)**Fabian Muehlboeck, Ross Tate*19 citations*
57. **[Elaborating dependent (co)pattern matching ↗](https://doi.org/10.1145/3236770)**Jesper Cockx, Andreas M. Abel*18 citations*
58. **[Relational program synthesis ↗](https://doi.org/10.1145/3276525)**Yuepeng Wang, Xinyu Wang, Işıl Dillig*18 citations*
59. **[Towards understanding the costs of avoiding out-of-thin-air results ↗](https://doi.org/10.1145/3276506)**Peizhao Ou, Brian Charles Demsky*18 citations*
60. **[What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl) ↗](https://doi.org/10.1145/3236779)**Guillaume Boisseau, Jeremy Gibbons*18 citations*
61. **[Merlin: a language server for OCaml (experience report) ↗](https://doi.org/10.1145/3236798)**Frédéric Bour, Thomas Refis, Gabriel Scherer*17 citations*
62. **[Compositional soundness proofs of abstract interpreters ↗](https://doi.org/10.1145/3236767)**Sven Keidel, Casper Bach Poulsen, Sebastian Thore Erdweg*16 citations*
63. **[Teaching how to program using automated assessment and functional glossy games (experience report) ↗](https://doi.org/10.1145/3236777)**José Bacelar Almeida, Alcino Cunha, Nuno Macedo et al.*16 citations*
64. **[Competitive parallelism: getting your priorities right ↗](https://doi.org/10.1145/3236790)**Stefan K. Muller, Umut A. Acar, Robert W. Harper*15 citations*
65. **[Thread-safe reactive programming ↗](https://doi.org/10.1145/3276477)**Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi et al.*15 citations*
66. **[Versatile event correlation with algebraic effects ↗](https://doi.org/10.1145/3236762)**Oliver Bračevac, Nada Amin, Guido Salvaneschi et al.*15 citations*
67. **[Relational algebra by way of adjunctions ↗](https://doi.org/10.1145/3236781)**Jeremy Gibbons, Fritz Henglein, Ralf Thomas Walter Hinze et al.*14 citations*
68. **[ShareJIT: JIT code cache sharing across processes and its practical implementation ↗](https://doi.org/10.1145/3276494)**Xiaoran Xu, Keith D. Cooper, Jacob Brock et al.*14 citations*
69. **[Static interpretation of higher-order modules in Futhark: functional GPU programming in the large ↗](https://doi.org/10.1145/3236792)**Martin Elsman, Troels Henriksen, Danil Annenkov et al.*13 citations*
70. **[Incremental relational lenses ↗](https://doi.org/10.1145/3236769)**Rudi Horn, Roly Perera, James Cheney*12 citations*
71. **[Casts and costs: harmonizing safety and performance in gradual typing ↗](https://doi.org/10.1145/3236793)**John Peter Campora, Sheng Chen, Eric Walkingshaw*11 citations*
72. **[Leto: verifying application-specific hardware fault tolerance with programmable execution models ↗](https://doi.org/10.1145/3276533)**Brett Boston, Zoe Gong, Michael Carbin*11 citations*
73. **[Partially-static data as free extension of algebras ↗](https://doi.org/10.1145/3236795)**Jeremy Yallop, Tamara von Glehn, Ohad Kammar*11 citations*
74. **[Cross-component garbage collection ↗](https://doi.org/10.1145/3276521)**Ulan Degenbaev, Jochen Eisinger, Kentaro Hara et al.*10 citations*
75. **[Generic zero-cost reuse for dependent types ↗](https://doi.org/10.1145/3236799)**Larry Diehl, Denis Firsov, Aaron Stump*10 citations*
76. **[Handling delimited continuations with dependent types ↗](https://doi.org/10.1145/3236764)**Youyou Cong, Kenichi Asai*10 citations*
77. **[Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) ↗](https://doi.org/10.1145/3236800)**Guannan Wei, James Decker, Tiark Rompf*10 citations*
78. **[Speeding up symbolic reasoning for relational queries ↗](https://doi.org/10.1145/3276527)**Chenglong Wang, Alvin Cheung, Rastislav Bodík*10 citations*
79. **[Synthesizing quotient lenses ↗](https://doi.org/10.1145/3236775)**Solomon Maina, Anders Miltner, Kathleen Fisher et al.*10 citations*
80. **[The root cause of blame: contracts for intersection and union types ↗](https://doi.org/10.1145/3276504)**Jack Marvin Williams, J. Garrett Morris, Philip L. Wadler*10 citations*
81. **[One tool, many languages: language-parametric transformation with incremental parametric syntax ↗](https://doi.org/10.1145/3276492)**James Koppel, Varot Premtoon, Armando Solar-Lezama*9 citations*
82. **[Fault tolerant functional reactive programming (functional pearl) ↗](https://doi.org/10.1145/3236791)**Ivan Pérez*8 citations*
83. **[Gradual liquid type inference ↗](https://doi.org/10.1145/3276502)**Niki Vazou, Éric Tanter, David Van Horn*8 citations*
84. **[Software multiplexing: share your libraries and statically link them too ↗](https://doi.org/10.1145/3276524)**Will Dietz, Vikram Adve*8 citations*
85. **[Generic deriving of generic traversals ↗](https://doi.org/10.1145/3236780)**Csongor Kiss, Matthew Caleb Pickering, Nicolas Wu*7 citations*
86. **[Keep your laziness in check ↗](https://doi.org/10.1145/3236797)**Kenneth Foner, Hengchu Zhang, Leonidas Lampropoulos*7 citations*
87. **[Parallelization of dynamic languages: synchronizing built-in collections ↗](https://doi.org/10.1145/3276478)**Benoit Daloze, Arie Tal, Stefan Marr et al.*7 citations*
88. **[Reasonably programmable literal notation ↗](https://doi.org/10.1145/3236801)**Cyrus Omar, Jonathan Aldrich*7 citations*
89. **[Virtual machine design for parallel dynamic programming languages ↗](https://doi.org/10.1145/3276479)**Remigius Meier, Armin Rigo, Thomas R. Gross*6 citations*
90. **[Identifying refactoring opportunities for replacing type code with subclass and state ↗](https://doi.org/10.1145/3276508)**Jyothi Vedurada, V. Krishna Nandivada*5 citations*
91. **[Refinement in object-sensitivity points-to analysis via slicing ↗](https://doi.org/10.1145/3276512)**Girish Maskeri Rama, Raghavan Komondoor, Himanshu Sharma*5 citations*
92. **[Capturing the future by replaying the past (functional pearl) ↗](https://doi.org/10.1145/3236771)**James Koppel, Gabriel Scherer, Armando Solar-Lezama*4 citations*
93. **[Parametric polymorphism and operational improvement ↗](https://doi.org/10.1145/3236763)**Jennifer Hackett, Graham Hutton*3 citations*
94. **[Reactive caching for composed services: polling at the speed of push ↗](https://doi.org/10.1145/3276522)**Sebastian Burckhardt, Tim Coppieters*3 citations*
95. **[A derivation framework for dependent security label inference ↗](https://doi.org/10.1145/3276485)**Peixuan Li, Danfeng Zhang*2 citations*
96. **[Concurrency-aware object-oriented programming with roles ↗](https://doi.org/10.1145/3276500)**Michael Faes, Thomas R. Gross*2 citations*
97. **[Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam ↗](https://doi.org/10.1145/3236788)**Antonis Stampoulis, Adam J. Chlipala*1 citation*
98. **[Strict and lazy semantics for effects: layering monads and comonads ↗](https://doi.org/10.1145/3236783)**Andrew K. Hirsch, Ross Tate*1 citation*
99. **[Androidのための例からのロバストな関係レイアウト合成【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002231606425131)**Pavol Bielik, Fischer Marc, Martin Vechev
100. **[Finitary polymorphism for optimizing type-directed compilation ↗](https://doi.org/10.1145/3236776)**Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima

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

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