Proceedings of the ACM on Programming Languages 2024: all accepted papers
- Sensitivity by Parametricity ↗Elisabet Lobo-Vesga, Alejandro Russo, Marco Gaboardi et al.2 citations
- Shoggoth: A Formal Foundation for Strategic Rewriting ↗Xueying Qin, Liam O’Connor, Rob van Glabbeek et al.2 citations
- Snapshottable Stores ↗Clément Allain, Basile Clément, Alexandre Moine et al.2 citations
- Space-Efficient Polymorphic Gradual Typing, Mostly Parametric ↗Atsushi Igarashi, Shota Ozaki, Taro Sekiyama et al.2 citations
- The Ultimate Conditional Syntax ↗Luyu Cheng, Lionel Parreaux2 citations
- Verified Lock-Free Session Channels with Linking ↗Thomas Somers, Robbert Krebbers2 citations
- A Lightweight Polyglot Code Transformation Language ↗Ameya Ketkar, Daniel Ramos, Lazaro Clapp et al.1 citation
- A Pure Demand Operational Semantics with Applications to Program Analysis ↗Scott F. Smith, Robert Zhang1 citation
- A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism ↗Jeff Eymer, Philip Dexter, Joseph Raskind et al.1 citation
- AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming ↗Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen et al.1 citation
- Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models ↗Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury et al.1 citation
- Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts ↗Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover1 citation
- Call-by-Unboxed-Value ↗Paul Downen1 citation
- Compositional Semantics for Shared-Variable Concurrency ↗Mikhail Svyatlovskiy, Shai Mermelstein, Ori Lahav1 citation
- Compositionality and Observational Refinement for Linearizability with Crashes ↗Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen et al.1 citation
- Computing Precise Control Interface Specifications ↗Eric Hayden Campbell, Hossein Hojjat, Nate Foster1 citation
- CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming ↗Ethan Chen, Jiwon Chang, Yuhao Zhu1 citation
- Deriving Dependently-Typed OOP from First Principles ↗David Binder, Ingo Skupin, Tim Süberkrüb et al.1 citation
- Double-Ended Bit-Stealing for Algebraic Data Types ↗Martin Elsman1 citation
- Effectful Software Contracts ↗Cameron Moy, Christos Dimoulas, Matthias Felleisen1 citation
- Example-Based Reasoning about the Realizability of Polymorphic Programs ↗Niek Mulleners, Johan T. Jeuring, Bastiaan J. Heeren1 citation
- Extending the C/C++ Memory Model with Inline Assembly ↗Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis et al.1 citation
- Floating-Point TVPI Abstract Domain ↗Joao Rivera, Franz Franchetti, Markus Püschel1 citation
- Fully Verified Instruction Scheduling ↗Ziteng Yang, Jun Shirako, Vivek Sarkar1 citation
- Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types ↗Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer et al.1 citation
- Gradually Typed Languages Should Be Vigilant! ↗Olek Gierczak, Lucy Menon, Christos Dimoulas et al.1 citation
- Hashing Modulo Context-Sensitive α-Equivalence ↗Lasse Blaauwbroek, Miroslav Olšák, Herman Geuvers1 citation
- Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing ↗Wenjia Ye, Yaozhu Sun, Bruno C. d. S. Oliveira1 citation
- Intensional Functions ↗Zachary Palmer, Nathaniel Wesley Filardo, Ke Wu1 citation
- Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation ↗Mridul Aanjaneya, Santosh Nagarakatte1 citation
- Message-Observing Sessions ↗Ryan Kavanagh, Brigitte Pientka1 citation
- Modeling Dynamic (De)Allocations of Local Memory for Translation Validation ↗Abhishek Rose, Sorav Bansal1 citation
- Monotonicity and the Precision of Program Analysis ↗Marco Campion, Mila Dalla Preda, Roberto Giacobazzi et al.1 citation
- On the Expressive Power of Languages for Static Variability ↗Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr et al.1 citation
- On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs ↗Paulo Henrique Torrens, Dominic A. Orchard, Cristiano Damiani Vasconcellos1 citation
- Programmable MCMC with Soundly Composed Guide Programs ↗Long Pham, Di Wang, Feras A. Saad et al.1 citation
- Reachability in Continuous Pushdown VASS ↗A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam et al.1 citation
- Reward Augmentation in Reinforcement Learning for Testing Distributed Systems ↗Andrea Borgarelli, Constantin Enea, Rupak Majumdar et al.1 citation
- SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories ↗Benjamin Mikek, Qirun Zhang1 citation
- Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks ↗Zhenyu Yan, Xin Zhang, Peng Di1 citation
- Semantics Lifting for Syntactic Sugar ↗Zhichao Guan, Yiyuan Cao, Tailai Yu et al.1 citation
- Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments ↗Gabriel Matute, Wode Ni, Titus Barik et al.1 citation
- Synthesizing Formal Semantics from Executable Interpreters ↗Jiangyi Liu, Charlie Murphy, Anvay Grover et al.1 citation
- Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation ↗Qianchuan Ye, Benjamin Delaware1 citation
- Unifying Static and Dynamic Intermediate Languages for Accelerator Generators ↗Caleb Kim, Pai Li, Anshuman Mohan et al.1 citation
- libLISA: Instruction Discovery and Analysis on x86-64 ↗Jos Craaijo, Freek Verbeek, Binoy Ravindran1 citation
- A Case for First-Class Environments ↗Jinhao Tan, Bruno C. d. S. Oliveira
- Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl) ↗Patrick Bahr, Graham Hutton
- DisLog: A Separation Logic for Disentanglement ↗Alexandre Moine, Sam Westrick, Stephanie Balzer
- Disentanglement with Futures, State, and Interaction ↗Jatin Arora, Stefan K. Muller, Umut A. Acar
- Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions ↗Lutz Klinkenberg, Blumenthal, Christian, Chen, Mingshuai et al.
- Extending the C/C++ Memory Model with Inline Assembly – Technical Appendix ↗Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis et al.
- Functional Programming in Financial Markets (Experience Report) ↗Atze Dijkstra, José Pedro Magalhães, Pierre Néron
- Gradual Indexed Inductive Types ↗Stefan Malewski, Kenji Maillard, Nicolas Tabareau et al.
- Inductive Diagrams for Causal Reasoning ↗Jonathan Castello, Patrick Redmond, Lindsey Kuper
- MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang ↗Boyao Ding, Qingwei Li, Yu Zhang et al.
- Making Sense of Multi-threaded Application Performance at Scale with NonSequitur ↗Augustine Wong, Paul Bucci, Ivan Beschastnikh et al.
- Mark–Scavenge: Waiting for Trash to Take Itself Out ↗Jonas Norlinder, Erik Österlund, David Black-Schaffer et al.
- Mechanizing the CMP Abstraction for Parameterized Verification ↗Yongjian Li, Bohua Zhan, Jun Pang
- Parallel Algebraic Effect Handlers ↗Ningning Xie, Daniel Johnson, Dougal Maclaurin et al.
- Pipelines and Beyond: Graph Types for ADTs with Futures ↗Francis Rinaldi, june wunder, Arthur Azevedo de Amorim et al.
- Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs ↗Kevin Batz, Tom Jannik Biskup, Katoen, Joost-Pieter et al.
- Quantitative Robustness for Vulnerability Assessment ↗Guillaume Girol, Guilhem Lacombe, Sébastien Bardin
- Specification and Verification for Unrestricted Algebraic Effects and Handling ↗Yahui Song, Darius Foo, Wei-Ngan Chin
- The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl) ↗Manuel Serrano, Robert Bruce Findler
- TorchQL: A Programming Framework for Integrity Constraints in Machine Learning ↗Aaditya Naik, A. Stein, Yinjun Wu et al.
This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/4/