---
title: "Proceedings of the ACM on Programming Languages 2018"
description: "Proceedings of the ACM on Programming Languages 2018 — papers: 1 paper in the Elamur Research library, with our summaries, ranked by…"
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/"
---
[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/)

[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

# Proceedings of the ACM on Programming Languages 2018 — papers

The works of Proceedings of the ACM on Programming Languages published in 2018 that our library holds (publisher: Association for Computing Machinery): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

[**108** works that year](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/#works) · [**378** citations of these works](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/#works)

## Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

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*

## All works of the year (108)

The most cited first; 1 with our summary link to their page here, the others to the original.

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*

[See all 108 papers in Proceedings of the ACM on Programming Languages 2018 — papers →](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/papers/)

## Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. **[RustBelt: Securing the Foundations of the Rust Programming Language](https://md.research.elamur.ai/free/en/papers/jung-2018-rustbelt-securing-foundations-rust-programming/) [Proceedings of the ACM on Programming Languages](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/)**Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, et al.*2018 · 378 citations*

## Top topics

Topics of its works in our library, with the number of works on each.

[Code & programming languages (1)](https://md.research.elamur.ai/free/en/topics/code-and-programming/)

## Fields

[Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top institutions

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

[🔬**Max Planck Institute for Software Systems** Saarbrücken · Germany 1 work here](https://md.research.elamur.ai/free/en/labs/max-planck-institute-for-software-systems/) · [🎓**Delft University of Technology** Delft · Netherlands 1 work here](https://md.research.elamur.ai/free/en/universities/delft-university-of-technology/)

works and citations from OpenAlex and our library.

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