Proceedings of the ACM on Programming Languages 2018: all accepted papers
- MadMax: surviving out-of-gas conditions in Ethereum smart contracts ↗Neville Grech, Michael Kong, Anton Jurisevic et al.347 citations
- DeepBugs: a learning approach to name-based bug detection ↗Michael Pradel, Koushik Sen342 citations
- GraphIt: a high-performance graph DSL ↗Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi et al.169 citations
- Julia: dynamism and performance reconciled by design ↗Jeff Bezanson, Jiahao Chen, Benjamin Chung et al.123 citations
- Format abstraction for sparse tensor algebra compilers ↗Stephen Chou, Fredrik Kjølstad, Saman P. Amarasinghe122 citations
- MoSeL: a general, extensible modal framework for interactive proofs in separation logic ↗Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung et al.93 citations
- RacerD: compositional static race detection ↗Sam Blackshear, Nikos Gorogiannis, Peter W. O’Hearn et al.89 citations
- The simple essence of automatic differentiation ↗Conal M. Elliott88 citations
- Precision-guided context sensitivity for pointer analysis ↗Yue Li, Tian Huat Tan, Anders Møller et al.85 citations
- Optimal stateless model checking under the release-acquire semantics ↗Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jönsson et al.68 citations
- Secure serverless computing using dynamic information flow control ↗Kalev Alpernas, Cormac Flanagan A, Sadjad Fouladi et al.68 citations
- Horn-ICE learning for synthesizing invariants and contracts ↗P. Ezudheen, Daniel Neider, Deepak D’Souza et al.66 citations
- Incrementalizing lattice-based program analyses in Datalog ↗Tamás Szabó, Gábor Bergmann, Sebastian Thore Erdweg et al.52 citations
- ExceLint: automatically finding spreadsheet formula errors ↗Daniel W. Barowy, Emery D. Berger, Benjamin G. Zorn50 citations
- Functional programming for compiling and decompiling computer-aided design ↗Chandrakana Nandi, James R. Wilcox, Pavel Panchekha et al.49 citations
- AnyDSL: a partial evaluation framework for programming high-performance libraries ↗Roland Leißa, Klaas Boesche, Sebastian Hack et al.46 citations
- What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection ↗Umang Mathur, Dileep Kini, Mahesh Viswanathan45 citations
- Bidirectional evaluation with direct manipulation ↗Mikaël Mayer, Viktor Kunčak, Ravi Chugh42 citations
- Precise and scalable points-to analysis via data-driven context tunneling ↗Minseok Jeon, Sehun Jeong, Hakjoo Oh41 citations
- Verified three-way program merge ↗Marcelo Sousa, Işıl Dillig, Shuvendu K. Lahiri41 citations
- Sound deadlock prediction ↗Christian Gram Kalhauge, Jens Palsberg40 citations
- Distributed system development with ScalaLoci ↗Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi38 citations
- Build systems à la carte ↗Andrey Mokhov, Neil Mitchell, Simon Jones37 citations
- Conflict resolution for structured merge via version space algebra ↗Fengmin Zhu, Fei He37 citations
- Parallel complexity analysis with temporal session types ↗Ankush Das, Jan Hoffmann, Frank Pfenning37 citations
- Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model ↗Azalea Raad, Viktor Vafeiadis35 citations
- Randomized testing of distributed systems with probabilistic guarantees ↗Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic et al.34 citations
- An empirical study of the effect of source-level loop transformations on compiler stability ↗Zhangxiaowen Gong, Zhi Chen, Justin Szaday et al.33 citations
- Scopes as types ↗Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet et al.33 citations
- Object-oriented recovery for non-volatile memory ↗Nachshon Cohen, David T. Aksun, James R. Larus32 citations
- Contextual equivalence for a probabilistic language with continuous random variables and recursion ↗Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos et al.31 citations
- Julia subtyping: a rational reconstruction ↗Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn et al.31 citations
- A spectrum of type soundness and performance ↗Ben Greenman, Matthias Felleisen30 citations
- Graduality from embedding-projection pairs ↗Max S. New, Amal Ahmed30 citations
- A type and scope safe universe of syntaxes with binding: their semantics and proofs ↗Guillaume Allais, Robert Atkey, James Chapman et al.29 citations
- Safe replication through bounded concurrency verification ↗Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan et al.29 citations
- Test generation for higher-order functions in dynamic languages ↗Marija Selakovic, Michael Pradel, Rezwana Karim et al.29 citations
- goSLP: globally optimized superword level parallelism framework ↗Charith Mendis, Saman P. Amarasinghe29 citations
- Every data structure deserves lock-free memory reclamation ↗Nachshon Cohen28 citations
- Finding code that explodes under symbolic evaluation ↗James Bornholt, Emina Torlak27 citations
- Effect handlers for the masses ↗Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann26 citations
- Faster variational execution with transparent bytecode transformation ↗Chu-Pan Wong, Jens Meinicke, Lukas Lazarek et al.26 citations
- Reconciling high-level optimizations and low-level code in LLVM ↗Juneyoung Lee, Chung-Kil Hur, Ralf Jung et al.26 citations
- Compositional programming and testing of dynamic distributed systems ↗Ankush Desai, Amar Phanishayee, Shaz Qadeer et al.25 citations
- Equivalences for free: univalent parametricity for effective transport ↗Nicolas Tabareau, Éric Tanter, Matthieu Sozeau25 citations
- BioScript: programming safe chemistry on laboratories-on-a-chip ↗Jason Ott, Tyson Loveless, Chris Curtis et al.23 citations
- Mtac2: typed tactics for backward reasoning in Coq ↗Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers et al.23 citations
- Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) ↗Joachim Breitner, Antal Spector-Zabusky, Yao Li et al.23 citations
- Automatic diagnosis and correction of logical errors for functional programming assignments ↗Junho Lee, Dowon Song, Sunbeom So et al.22 citations
- Collapsible contracts: fixing a pathology of gradual typing ↗Daniel Feltey, Ben Greenman, Christophe Scholliers et al.21 citations
- Finding broken promises in asynchronous JavaScript programs ↗Saba Alimadadi, Di Zhong, Magnus Madsen et al.21 citations
- FlashProfile: a framework for synthesizing data profiles ↗Saswat Padhi, Prateek Jain, Daniel Perelman et al.21 citations
- Functional programming for modular Bayesian inference ↗Adam Ścibior, Ohad Kammar, Zoubin Ghahramani21 citations
- Tight typings and split bounds ↗Beniamino Accattoli, Stéphane Lengrand, Delia Kesner21 citations
- Robust relational layout synthesis from examples for Android ↗Pavol Bielik, Marc Fischer, Martin Vechev20 citations
- Empowering union and intersection types with integrated subtyping ↗Fabian Muehlboeck, Ross Tate19 citations
- Elaborating dependent (co)pattern matching ↗Jesper Cockx, Andreas M. Abel18 citations
- Relational program synthesis ↗Yuepeng Wang, Xinyu Wang, Işıl Dillig18 citations
- Towards understanding the costs of avoiding out-of-thin-air results ↗Peizhao Ou, Brian Charles Demsky18 citations
- What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl) ↗Guillaume Boisseau, Jeremy Gibbons18 citations
- Merlin: a language server for OCaml (experience report) ↗Frédéric Bour, Thomas Refis, Gabriel Scherer17 citations
- Compositional soundness proofs of abstract interpreters ↗Sven Keidel, Casper Bach Poulsen, Sebastian Thore Erdweg16 citations
- Teaching how to program using automated assessment and functional glossy games (experience report) ↗José Bacelar Almeida, Alcino Cunha, Nuno Macedo et al.16 citations
- Competitive parallelism: getting your priorities right ↗Stefan K. Muller, Umut A. Acar, Robert W. Harper15 citations
- Thread-safe reactive programming ↗Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi et al.15 citations
- Versatile event correlation with algebraic effects ↗Oliver Bračevac, Nada Amin, Guido Salvaneschi et al.15 citations
- Relational algebra by way of adjunctions ↗Jeremy Gibbons, Fritz Henglein, Ralf Thomas Walter Hinze et al.14 citations
- ShareJIT: JIT code cache sharing across processes and its practical implementation ↗Xiaoran Xu, Keith D. Cooper, Jacob Brock et al.14 citations
- Static interpretation of higher-order modules in Futhark: functional GPU programming in the large ↗Martin Elsman, Troels Henriksen, Danil Annenkov et al.13 citations
- Incremental relational lenses ↗Rudi Horn, Roly Perera, James Cheney12 citations
- Casts and costs: harmonizing safety and performance in gradual typing ↗John Peter Campora, Sheng Chen, Eric Walkingshaw11 citations
- Leto: verifying application-specific hardware fault tolerance with programmable execution models ↗Brett Boston, Zoe Gong, Michael Carbin11 citations
- Partially-static data as free extension of algebras ↗Jeremy Yallop, Tamara von Glehn, Ohad Kammar11 citations
- Cross-component garbage collection ↗Ulan Degenbaev, Jochen Eisinger, Kentaro Hara et al.10 citations
- Generic zero-cost reuse for dependent types ↗Larry Diehl, Denis Firsov, Aaron Stump10 citations
- Handling delimited continuations with dependent types ↗Youyou Cong, Kenichi Asai10 citations
- Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) ↗Guannan Wei, James Decker, Tiark Rompf10 citations
- Speeding up symbolic reasoning for relational queries ↗Chenglong Wang, Alvin Cheung, Rastislav Bodík10 citations
- Synthesizing quotient lenses ↗Solomon Maina, Anders Miltner, Kathleen Fisher et al.10 citations
- The root cause of blame: contracts for intersection and union types ↗Jack Marvin Williams, J. Garrett Morris, Philip L. Wadler10 citations
- One tool, many languages: language-parametric transformation with incremental parametric syntax ↗James Koppel, Varot Premtoon, Armando Solar-Lezama9 citations
- Fault tolerant functional reactive programming (functional pearl) ↗Ivan Pérez8 citations
- Gradual liquid type inference ↗Niki Vazou, Éric Tanter, David Van Horn8 citations
- Software multiplexing: share your libraries and statically link them too ↗Will Dietz, Vikram Adve8 citations
- Generic deriving of generic traversals ↗Csongor Kiss, Matthew Caleb Pickering, Nicolas Wu7 citations
- Keep your laziness in check ↗Kenneth Foner, Hengchu Zhang, Leonidas Lampropoulos7 citations
- Parallelization of dynamic languages: synchronizing built-in collections ↗Benoit Daloze, Arie Tal, Stefan Marr et al.7 citations
- Reasonably programmable literal notation ↗Cyrus Omar, Jonathan Aldrich7 citations
- Virtual machine design for parallel dynamic programming languages ↗Remigius Meier, Armin Rigo, Thomas R. Gross6 citations
- Identifying refactoring opportunities for replacing type code with subclass and state ↗Jyothi Vedurada, V. Krishna Nandivada5 citations
- Refinement in object-sensitivity points-to analysis via slicing ↗Girish Maskeri Rama, Raghavan Komondoor, Himanshu Sharma5 citations
- Capturing the future by replaying the past (functional pearl) ↗James Koppel, Gabriel Scherer, Armando Solar-Lezama4 citations
- Parametric polymorphism and operational improvement ↗Jennifer Hackett, Graham Hutton3 citations
- Reactive caching for composed services: polling at the speed of push ↗Sebastian Burckhardt, Tim Coppieters3 citations
- A derivation framework for dependent security label inference ↗Peixuan Li, Danfeng Zhang2 citations
- Concurrency-aware object-oriented programming with roles ↗Michael Faes, Thomas R. Gross2 citations
- Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam ↗Antonis Stampoulis, Adam J. Chlipala1 citation
- Strict and lazy semantics for effects: layering monads and comonads ↗Andrew K. Hirsch, Ross Tate1 citation
- Androidのための例からのロバストな関係レイアウト合成【JST・京大機械翻訳】 ↗Pavol Bielik, Fischer Marc, Martin Vechev
- Finitary polymorphism for optimizing type-directed compilation ↗Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima
This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/papers/