Elamur Research⌕
☰
home / venues / Proceedings of the ACM on Programming… / 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.

 108works that year 1work in our library 378citations of these 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 ↗Neville Grech, Michael Kong, Anton Jurisevic et al.347 citations
  2. DeepBugs: a learning approach to name-based bug detection ↗Michael Pradel, Koushik Sen342 citations
  3. GraphIt: a high-performance graph DSL ↗Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi et al.169 citations
  4. Julia: dynamism and performance reconciled by design ↗Jeff Bezanson, Jiahao Chen, Benjamin Chung et al.123 citations
  5. Format abstraction for sparse tensor algebra compilers ↗Stephen Chou, Fredrik Kjølstad, Saman P. Amarasinghe122 citations
  6. MoSeL: a general, extensible modal framework for interactive proofs in separation logic ↗Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung et al.93 citations
  7. RacerD: compositional static race detection ↗Sam Blackshear, Nikos Gorogiannis, Peter W. O’Hearn et al.89 citations
  8. The simple essence of automatic differentiation ↗Conal M. Elliott88 citations
  9. Precision-guided context sensitivity for pointer analysis ↗Yue Li, Tian Huat Tan, Anders Møller et al.85 citations
  10. Optimal stateless model checking under the release-acquire semantics ↗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 ↗Neville Grech, Michael Kong, Anton Jurisevic et al.347 citations
  2. DeepBugs: a learning approach to name-based bug detection ↗Michael Pradel, Koushik Sen342 citations
  3. GraphIt: a high-performance graph DSL ↗Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi et al.169 citations
  4. Julia: dynamism and performance reconciled by design ↗Jeff Bezanson, Jiahao Chen, Benjamin Chung et al.123 citations
  5. Format abstraction for sparse tensor algebra compilers ↗Stephen Chou, Fredrik Kjølstad, Saman P. Amarasinghe122 citations
  6. MoSeL: a general, extensible modal framework for interactive proofs in separation logic ↗Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung et al.93 citations
  7. RacerD: compositional static race detection ↗Sam Blackshear, Nikos Gorogiannis, Peter W. O’Hearn et al.89 citations
  8. The simple essence of automatic differentiation ↗Conal M. Elliott88 citations
  9. Precision-guided context sensitivity for pointer analysis ↗Yue Li, Tian Huat Tan, Anders Møller et al.85 citations
  10. Optimal stateless model checking under the release-acquire semantics ↗Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jönsson et al.68 citations
  11. Secure serverless computing using dynamic information flow control ↗Kalev Alpernas, Cormac Flanagan A, Sadjad Fouladi et al.68 citations
  12. Horn-ICE learning for synthesizing invariants and contracts ↗P. Ezudheen, Daniel Neider, Deepak D’Souza et al.66 citations
  13. Incrementalizing lattice-based program analyses in Datalog ↗Tamás Szabó, Gábor Bergmann, Sebastian Thore Erdweg et al.52 citations
  14. ExceLint: automatically finding spreadsheet formula errors ↗Daniel W. Barowy, Emery D. Berger, Benjamin G. Zorn50 citations
  15. Functional programming for compiling and decompiling computer-aided design ↗Chandrakana Nandi, James R. Wilcox, Pavel Panchekha et al.49 citations
  16. AnyDSL: a partial evaluation framework for programming high-performance libraries ↗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 ↗Umang Mathur, Dileep Kini, Mahesh Viswanathan45 citations
  18. Bidirectional evaluation with direct manipulation ↗Mikaël Mayer, Viktor Kunčak, Ravi Chugh42 citations
  19. Precise and scalable points-to analysis via data-driven context tunneling ↗Minseok Jeon, Sehun Jeong, Hakjoo Oh41 citations
  20. Verified three-way program merge ↗Marcelo Sousa, Işıl Dillig, Shuvendu K. Lahiri41 citations
  21. Sound deadlock prediction ↗Christian Gram Kalhauge, Jens Palsberg40 citations
  22. Distributed system development with ScalaLoci ↗Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi38 citations
  23. Build systems à la carte ↗Andrey Mokhov, Neil Mitchell, Simon Jones37 citations
  24. Conflict resolution for structured merge via version space algebra ↗Fengmin Zhu, Fei He37 citations
  25. Parallel complexity analysis with temporal session types ↗Ankush Das, Jan Hoffmann, Frank Pfenning37 citations

See all 108 papers in 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 LanguageProceedings of the ACM on Programming LanguagesRalf 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)

 Fields

Computer Science (1)

 Top institutions

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

🔬Max Planck Institute for Software SystemsSaarbrücken · Germany1 work here🎓Delft University of TechnologyDelft · Netherlands1 work here

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/