Proceedings of the ACM on Programming Languages 2020: all accepted papers
- Adversarial examples for models of code ↗Noam Yefet, Uri Alon, Eran Yahav161 citations
- Random testing for C and C++ compilers with YARPGen ↗Vsevolod Livinskii, Dmitry Babokin, John David Regehr142 citations
- Projection-based runtime assertions for testing and debugging Quantum programs ↗Gushu Li, Li Zhou, Nengkun Yu et al.119 citations
- Finding bugs in database systems via query partitioning ↗Manuel Rigger, Zhendong Su118 citations
- Flow2Vec: value-flow-based precise code embedding ↗Yulei Sui, Xiao Yu Cheng, Guanqin Zhang et al.92 citations
- Neural reverse engineering of stripped binaries using augmented control flow graphs ↗Yaniv David, Uri S. Alon, Eran Yahav84 citations
- Scaling exact inference for discrete probabilistic programs ↗Steven Holtzen, Guy Van den Broeck, Todd D. Millstein84 citations
- History of Logo ↗Cynthia J. Solomon, Brian W. Harvey, Ken Kahn et al.79 citations
- How do programmers use unsafe rust? ↗Vytautas Astrauskas, Christoph Matheja, Federico Poli et al.79 citations
- LabVIEW ↗Jeff Kodosky77 citations
- A history of MATLAB ↗C Moler, Jack Little64 citations
- A large-scale longitudinal study of flaky tests ↗Wing Lam, Stefan Winter, Anjiang Wei et al.63 citations
- Effects as capabilities: effect handlers and lightweight effect polymorphism ↗Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann63 citations
- Perfectly parallel fairness certification of neural networks ↗Caterina Urban, Maria Christakis, Valentin Wüstholz et al.62 citations
- Learning semantic program embeddings with graph interval neural network ↗Yu Wang, Ke Wang, Fengjuan Gao et al.61 citations
- On the unusual effectiveness of type-aware operator mutations for testing SMT solvers ↗Dominik Winterer, Chengyu Zhang, Zhendong Su55 citations
- JavaScript: the first 20 years ↗Allen Wirfs-Brock, Brendan Eich53 citations
- A sparse iteration space transformation framework for sparse tensor algebra ↗Ryan Senanayake, Changwan Hong, Ziheng Wang et al.51 citations
- A modular cost analysis for probabilistic programs ↗Martin Avanzini, Georg Moser, Michael Schaper42 citations
- Program sketching with live bidirectional evaluation ↗Justin Lubin, Nick Collins, Cyrus Omar et al.42 citations
- TacTok: semantics-aware proof synthesis ↗Emily First, Yuriy Brun, Arjun Guha41 citations
- A unified view of modalities in type systems ↗Andreas M. Abel, Jean-Philippe Bernardy40 citations
- Statically verified refinements for multiparty protocols ↗Fangyi Zhou, Francisco Ferreira, Raymond Hu et al.38 citations
- A structural model for contextual code changes ↗Shaked Brody, Uri Alon, Eran Yahav35 citations
- Mossad: defeating software plagiarism detection ↗Breanna Devore-McDonald, Emery D. Berger35 citations
- Raising expectations: automating expected cost analysis with types ↗Di Wang, David M. Kahn, Jan Hoffmann35 citations
- Detecting locations in JavaScript programs affected by breaking library changes ↗Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp33 citations
- Just-in-time learning for bottom-up enumerative synthesisShraddha Barke, Hila Peleg, Nadia Polikarpova33 citations · our summary
- Retrofitting parallelism onto OCaml ↗KC Sivaramakrishnan, Stephen Dolan, Leo White et al.33 citations
- Contextual dispatch for function specialization ↗Olivier Flückiger, Guido Chari, Ming‐Ho Yee et al.32 citations
- Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies ↗Bastian Hagedorn, Johannes Lenfers, Thomas Kœhler et al.31 citations
- Learning graph-based heuristics for pointer analysis without handcrafting application-specific features ↗Minseok Jeon, Myungho Lee, Hakjoo Oh29 citations
- Adding interactive visual syntax to textual code ↗Leif Andersen, Michael Ballantyne, Matthias Felleisen28 citations
- Pomsets with preconditions: a simple model of relaxed memory ↗Radha Jagadeesan, Alan Jeffrey, James Riely28 citations
- Separation logic for sequential programs (functional pearl) ↗Arthur Charguéraud28 citations
- Taming callbacks for smart contract modularity ↗Elvira Albert, Shelly Grossman, Noam Rinetzky et al.28 citations
- Effect handlers, evidently ↗Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström et al.27 citations
- Igloo: soundly linking compositional refinement and separation logic for distributed system verification ↗Christoph Sprenger, Tobias Klenze, Marco Eilers et al.27 citations
- Myths and mythconceptions: what does it mean to be a programming language, anyhow? ↗Mary Shaw27 citations
- SteelCore: an extensible concurrent separation logic for effectful dependently typed programs ↗Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz et al.27 citations
- CompCertELF: verified separate compilation of C programs into ELF object files ↗Yuting Wang, Xiangzhe Xu, Pierre Wilke et al.26 citations
- DynamiTe: dynamic termination and non-termination proofs ↗Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi et al.26 citations
- Towards a formal foundation of intermittent computing ↗Milijana Surbatovich, Brandon Lucia, Limin Jia26 citations
- Formulog: Datalog for SMT-based static analysis ↗Aaron Bembenek, Michael Greenberg, Stephen Chong25 citations
- A quick look at impredicativity ↗Alejandro Serrano, Jurriaan Hage, Simon Jones et al.24 citations
- Verifying replicated data types with typeclass refinements in Liquid Haskell ↗Yiyun Liu, James Parker, Patrick Redmond et al.24 citations
- A history of Clojure ↗Rich Hickey23 citations
- Automated policy synthesis for system call sandboxing ↗Shankara Pailoor, Xinyu Wang, Hovav Shacham et al.23 citations
- Compiling effect handlers in capability-passing style ↗Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann23 citations
- Precise static modeling of Ethereum “memory” ↗Sifis Lagouvardos, Neville Grech, Ilias Tsatiris et al.23 citations
- Fixpoints for the masses: programming with first-class Datalog constraints ↗Magnus Madsen, Ondřej Lhoták22 citations
- Regex matching with counting-set automata ↗Lenka Turoňová, Lukáš Holík, Ondřej Lengál et al.22 citations
- Certified and efficient instruction scheduling: application to interlocked VLIW processors ↗Cyril Six, Sylvain Boulmé, David P. Monniaux21 citations
- Interactive synthesis of temporal specifications from examples and natural language ↗Ivan Gavran, Eva Darulová, Rupak Majumdar21 citations
- Liquid information flow control ↗Nadia Polikarpova, Deian Stefan, Jean Yang et al.21 citations
- Verifying and improving Halide’s term rewriting system with program synthesis ↗Julie L. Newcomb, Andrew Adams, Steven Johnson et al.21 citations
- Dataflow-based pruning for speeding up superoptimization ↗Manasij Mukherjee, Pranav Kant, Zhengyang Liu et al.20 citations
- Learning-based controlled concurrency testing ↗Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas et al.20 citations
- Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86 ↗Azalea Raad, Ori Lahav, Viktor Vafeiadis20 citations
- Digging for fold: synthesis-aided API discovery for Haskell ↗Michael B. James, Zheng Kui Guo, Ziteng Wang et al.19 citations
- DiffStream: differential output testing for stream processing programs ↗Κωνσταντίνος Καλλάς, Filip Niksic, Caleb Stanford et al.18 citations
- Polymorphic types and effects with Boolean unification ↗Magnus Madsen, Jaco van de Pol18 citations
- Shiftry: RNN inference in 2KB of RAM ↗Aayan Kumar, Vivek Seshadri, Rahul R. Sharma18 citations
- Staged selective parser combinators ↗Jamie Willis, Nicolas Wu, Matthew Caleb Pickering18 citations
- A model for detecting faults in build specifications ↗Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos et al.17 citations
- Automatic and efficient variability-aware lifting of functional programs ↗Ramy Shahin, Marsha Chećhik17 citations
- Feedback-driven semi-supervised synthesis of program transformations ↗Xiang Yang Gao, Shraddha Barke, Arjun Radhakrishna et al.17 citations
- Koord: a language for programming and verifying distributed robotics application ↗Ritwika Ghosh, Chiao Hsieh, Saša Misailovíc et al.17 citations
- Macros for domain-specific languages ↗Michael Ballantyne, Alexis King, Matthias Felleisen17 citations
- A systematic approach to deriving incremental type checkers ↗André Pacak, Sebastian Thore Erdweg, Tamás Szabó16 citations
- CAMP: cost-aware multiparty session protocols ↗David Castro-Perez, Nobuko Yoshida16 citations
- Cosmo: a concurrent separation logic for multicore OCaml ↗Glen Mével, Jacques-Henri Jourdan, François Pottier16 citations
- Featherweight go ↗Robert Griesemer, Raymond Hu, Wen Kokke et al.16 citations
- Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris ↗Paolo G. Giarrusso, Léo Stefanesco, Amin Timany et al.16 citations
- A general approach to define binders using matching logic ↗Xiaohong Chen, Grigore Roşu15 citations
- Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian ↗Michael Coblenz, Jonathan Aldrich, Brad A. Myers et al.15 citations
- Liquid resource types ↗Tristan Knoth, Di Wang, Adam Reynolds et al.15 citations
- LiveDroid: identifying and preserving mobile app state in volatile runtime environments ↗Umar Farooq, Zhijia Zhao, Manu Sridharan et al.15 citations
- Programming with a read-eval-synth loop ↗Hila Peleg, Roi Gabay, Shachar Itzhaky et al.15 citations
- Testing differential privacy with dual interpreters ↗Hengchu Zhang, Edo Roth, Andreas Haeberlen et al.15 citations
- Composing and decomposing op-based CRDTs with semidirect products ↗Matthew Weidner, Heather Miller, Christopher Meiklejohn14 citations
- Counterexample-guided correlation algorithm for translation validation ↗Shubhani Gupta, Abhishek Rose, Sorav Bansal14 citations
- Multiparty motion coordination: from choreographies to robotics programs ↗Rupak Majumdar, Nobuko Yoshida, Damien Zufferey A14 citations
- Sparcl: a language for partially-invertible computation ↗Kazutaka Matsuda, Meng Wang14 citations
- Verilog HDL and its ancestors and descendants ↗Peter L. Flake, Phil Moorby, Steve Golson et al.14 citations
- Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences ↗Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh et al.13 citations
- Assertion-based optimization of Quantum programs ↗Thomas Häner, Torsten Hoefler, Matthias Troyer13 citations
- Denotational recurrence extraction for amortized analysis ↗Joseph W. Cutler, Daniel R. Licata, Norman Danner13 citations
- Guiding dynamic programing via structural probability for accelerating programming by example ↗Ruyi Ji, Yican Sun, Yingfei Xiong et al.13 citations
- Rethinking safe consistency in distributed object-oriented programming ↗Mirko Köhler, Nafise Eskandani, Pascal Weisenburger et al.13 citations
- S, R, and data science ↗John M. Chambers13 citations
- Testing consensus implementations using communication closure ↗Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan et al.13 citations
- The early history of F# ↗Don Syme13 citations
- The evolution of Smalltalk: from Smalltalk-72 through Squeak ↗Daniel Ingalls13 citations
- Compiling symbolic execution with staging and algebraic effects ↗Guannan Wei, Oliver Bračevac, Shangyin Tan et al.12 citations
- Do you have space for dessert? a verified space cost semantics for CakeML programs ↗Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Syeda et al.12 citations
- Gradual verification of recursive heap data structures ↗Jenna Wise, Johannes Bader, Cameron Wong et al.12 citations
- Handling bidirectional control flow ↗Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers12 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/