Proceedings of the ACM on Programming Languages 2024: all accepted papers
- The Logical Essence of Well-Bracketed Control Flow ↗Amin Timany, Armaël Guéneau, Lars Birkedal5 citations
- Understanding and Finding Java Decompiler Bugs ↗Yifei Lu, Weidong Hou, Minxue Pan et al.5 citations
- V-Star: Learning Visibly Pushdown Grammars from Program Inputs ↗Xiaodong Jia, Gang Tan5 citations
- VESTA: Power Modeling with Language Runtime Events ↗Joseph Raskind, Timur Babakol, Khaled Mahmoud et al.5 citations
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code ↗Julien Simonnet, Matthieu Lemerre, Mihaela Sighireanu4 citations
- A Low-Level Look at A-Normal Form ↗William J. Bowman4 citations
- A Proof Recipe for Linearizability in Relaxed Memory Separation Logic ↗Sunho Park, Jaewoo Kim, Ike Mulder et al.4 citations
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification ↗Neta Elad, Oded Padon, Sharon Shoham4 citations
- Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs ↗Shaan Nagy, Jinwoo Kim, Thomas Reps et al.4 citations
- Compiled, Extensible, Multi-language DSLs (Functional Pearl) ↗Michael Ballantyne, Mitch Gamburg, Jason Hemann4 citations
- Daedalus: Safer Document Parsing ↗Iavor S. Diatchki, Mike Dodds, Harrison Goldstein et al.4 citations
- Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks ↗Qian Chen, Chenyang Yu, Ruyan Liu et al.4 citations
- Explicit Effects and Effect Constraints in ReML ↗Martin Elsman4 citations
- FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions ↗Zhengyao Lin, Joshua Gancher, Bryan Jeffery Parno4 citations
- From Batch to Stream: Automatic Generation of Online Algorithms ↗Ziteng Wang, Shankara Pailoor, Aaryan Prakash et al.4 citations
- Full Iso-Recursive Types ↗Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira4 citations
- Higher Order Bayesian Networks, Exactly ↗Claudia Faggian, Daniele Pautasso, Gabriele Vanoni4 citations
- Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification ↗Taro Sekiyama, Hiroshi Unno4 citations
- Ill-Typed Programs Don’t Evaluate ↗Steven Ramsay, Charlie Walpole4 citations
- Inductive Approach to Spacer ↗Takeshi Tsukada, Hiroshi Unno4 citations
- Internal Parametricity, without an Interval ↗Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi et al.4 citations
- Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability ↗Pei Xu, Yuxiang Lei, Yulei Sui et al.4 citations
- Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials ↗Nikhil Pimpalkhare, Zachary Kincaid4 citations
- Newtonian Program Analysis of Probabilistic Programs ↗Di Wang, Thomas Reps4 citations
- Nominal Recursors as Epi-Recursors ↗Andrei Popescu4 citations
- Numerical Fuzz: A Type System for Rounding Error Analysis ↗Ariel Kellison, Justin Hsu4 citations
- Orthologic with Axioms ↗Simon Guilloud, Viktor Kunčak4 citations
- PROMPT: A Fast and Extensible Memory Profiling Framework ↗Ziyang Xu, Yebin Chon, Yian Su et al.4 citations
- Persimmon: Nested Family Polymorphism with Extensible Variant Types ↗Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander et al.4 citations
- Profiling Programming Language Learning ↗Will Crichton, Shriram Krishnamurthi4 citations
- Regular Abstractions for Array Systems ↗Chih-Duo Hong, Anthony W. Lin4 citations
- SPORE: Combining Symmetry and Partial Order Reduction ↗Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis4 citations
- Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ↗Li-yao Xia, Laura Israel, Maite Kramarz et al.4 citations
- Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis ↗Ruyi Ji, Yuwei Zhao, Nadia Polikarpova et al.4 citations
- Synchronous Programming with Refinement Types ↗Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele et al.4 citations
- The Complex(ity) Landscape of Checking Infinite Descent ↗Liron Cohen, Adham Jabarin, Andrei Popescu et al.4 citations
- Wavefront Threading Enables Effective High-Level Synthesis ↗Blake Pelton, Adam Sapek, Ken Eguro et al.4 citations
- A Core Calculus for Documents: Or, Lambda: The Ultimate Document ↗Will Crichton, Shriram Krishnamurthi3 citations
- A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs ↗Vineet Rajani, Gilles Barthe, Deepak Garg3 citations
- A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler ↗Guillaume Melquiond, Josué Moreau3 citations
- Algebraic Effects Meet Hoare Logic in Cubical Agda ↗Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu3 citations
- Almost-Sure Termination by Guarded Refinement ↗Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter et al.3 citations
- An Algebraic Language for Specifying Quantum Networks ↗Anita Buckley, Pavel Chuprikov, Rodrigo Otoni et al.3 citations
- Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics ↗Keith J. C. Johnson, R. Krishnan, Thomas Reps et al.3 citations
- Compilation of Shape Operators on Sparse Arrays ↗Alexander J Root, Bobby Yan, Peiming Liu et al.3 citations
- Dependent Ghosts Have a Reflection for Free ↗Théo Winterhalter3 citations
- Design and Implementation of an Aspect-Oriented C Programming Language ↗Zhe Chen, Yunlong Zhu, Z.R. Wang3 citations
- Finding Cross-Rule Optimization Bugs in Datalog Engines ↗Chi Zhang, Linzhang Wang, Manuel Rigger3 citations
- Hyperblock Scheduling for Verified High-Level Synthesis ↗Yann Herklotz, John Wickerson3 citations
- Internalizing Indistinguishability with Dependent Types ↗Yiyun Liu, Jonathan Chan, Jessica Shi et al.3 citations
- IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications ↗Chujun Geng, Spyros Blanas, Michael D. Bond et al.3 citations
- Live Verification in an Interactive Proof Assistant ↗Samuel Gruetter, Viktor Fukala, Adam J. Chlipala3 citations
- Making Formulog Fast: An Argument for Unconventional Datalog Evaluation ↗Aaron Bembenek, Michael Greenberg, Stephen Chong3 citations
- Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations ↗Luke Geeson, James Brotherston, W. Dijkstra et al.3 citations
- Multiverse Notebook: Shifting Data Scientists to Time Travelers ↗Shigeyuki Sato, Tomoki Nakamaru3 citations
- NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks ↗Ajay Brahmakshatriya, Chris Rinard, Manya Ghobadi et al.3 citations
- PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis ↗Zhaoyu Wang, Pingchuan Ma, Huaijin Wang et al.3 citations
- Parametric Subtyping for Structural Parametric Polymorphism ↗Henry DeYoung, Andreia Mordido, Frank Pfenning et al.3 citations
- Parikh’s Theorem Made Symbolic ↗Matthew Hague, Artur Jeż, Anthony W. Lin3 citations
- Polyregular Functions on Unordered Trees of Bounded Height ↗Mikołaj Bojańczyk, Bartek Klin3 citations
- Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets ↗Nathanael Ackerman, Cameron E. Freer, Younesse Kaddar et al.3 citations
- Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq ↗Simon Spies, Lennard Gäher, Michael Sammler et al.3 citations
- Quotient Haskell: Lightweight Quotient Types for All ↗B Hewer, Graham Hutton3 citations
- Ramsey Quantifiers in Linear Arithmetics ↗Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin et al.3 citations
- Refinement Type Refutations ↗Robin Webbers, Klaus v. Gleissenthall, Ranjit Jhala3 citations
- Reward-Guided Synthesis of Intelligent Agents with Control Structures ↗Guofeng Cui, Yuning Wang, Wenjie Qiu et al.3 citations
- Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification ↗Chan Gu Kang, Joonghoon Lee, Hakjoo Oh3 citations
- The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently ↗Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier et al.3 citations
- Type Inference Logics ↗Denis Carnier, François Pottier, Steven Keuchel3 citations
- Type-Based Gradual Typing Performance Optimization ↗John Peter Campora, Mohammad Wahiduzzaman Khan, Sheng Chen3 citations
- Unboxed Data Constructors: Or, How cpp Decides a Halting Problem ↗Nicolas Chataing, Stephen Dolan, Gabriel Scherer et al.3 citations
- Verification under Intel-x86 with Persistency ↗Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani et al.3 citations
- A Constraint Solving Approach to Parikh Images of Regular Languages ↗Amanda Stjerna, Philipp Rümmer2 citations
- A Typed Multi-level Datalog IR and Its Compiler Framework ↗David Klopp, Sebastian Thore Erdweg, André Pacak2 citations
- A Verified Compiler for a Functional Tensor Language ↗Amanda Liu, Gilbert Bernstein, Adam J. Chlipala et al.2 citations
- Abstract Interpreters: A Monadic Approach to Modular Verification ↗Sébastien Michelland, Yannick Zakowski, Laure Gonnord2 citations
- Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning ↗Gabriel Ryan, Burcu Cetin, Yongwhan Lim et al.2 citations
- Automated Verification of Parametric Channel-Based Process Communication ↗Georgian-Vlad Saioc, Julien Lange, Anders Møller2 citations
- Compilation of Qubit Circuits to Optimized Qutrit Circuits ↗Ritvik Sharma, Sara Achour2 citations
- Compiling Recurrences over Dense and Sparse Arrays ↗Shiv Sundram, Muhammad Usman Tariq, Fredrik Kjølstad2 citations
- Concurrent Data Structures Made Easy ↗Callista Le, Kiran Gopinathan, Koon Wen Lee et al.2 citations
- Contextual Typing ↗Xu Xue, Bruno C. d. S. Oliveira2 citations
- Decidable Subtyping of Existential Types for Julia ↗Julia Belyakova, Benjamin Chung, Ross Tate et al.2 citations
- Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis ↗Benjamin Quiring, David Van Horn2 citations
- Equivalence by Canonicalization for Synthesis-Backed Refactoring ↗Justin P. Lubin, Jeremy Ferguson, Kevin Ye et al.2 citations
- Fulfilling OCaml Modules with Transparency ↗Clément Blaudeau, Didier Rémy, Gabriel Radanne2 citations
- Grokking the Sequent Calculus (Functional Pearl) ↗David Binder, Marco Tzschentke, Marius Müller et al.2 citations
- How to Bake a Quantum Π ↗Jacques Carette, Chris Heunen, Robin Kaarsgaard et al.2 citations
- Internal and Observational Parametricity for Cubical Agda ↗Antoine Van Muylder, Andreas Nuyts, Dominique Devriese2 citations
- Law and Order for Typestate with Borrowing ↗Hannes Saffrich, Yuki Nishida, Peter J. Thiemann2 citations
- Merging Gradual Typing ↗Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro2 citations
- Object-Oriented Fixpoint Programming with Datalog ↗David Klopp, Sebastian Thore Erdweg, André Pacak2 citations
- PL4XGL: A Programming Language Approach to Explainable Graph Learning ↗Minseok Jeon, Jihyeok Park, Hakjoo Oh2 citations
- Predictable Verification using Intrinsic Definitions ↗Adithya Murali, Cody Rivera, P. Madhusudan2 citations
- Program Analysis for Adaptive Data Analysis ↗Jiawen Liu, Weihao Qu, Marco Gaboardi et al.2 citations
- QuAC: Quick Attribute-Centric Type Inference for Python ↗Jifeng Wu, Caroline Lemieux2 citations
- Qualifying System F<:: Some Terms and Conditions May Apply ↗Edward Lee, Yaoyu Zhao, Ondřej Lhoták et al.2 citations
- Refinement Composition Logic ↗Youngju Song, DongJae Lee2 citations
- Scenario-Based Proofs for Concurrent Objects ↗Constantin Enea, Eric Koskinen2 citations
- Semantic-Type-Guided Bug Finding ↗Kelvin Qian, Scott F. Smith, Brandon Stride et al.2 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/3/