PLDI 2025
Proceedings of the ACM on Programming Languages, Volume 9, Number PLDI
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 9, Number PLDI

PLDI 2025 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Abdulla, Parosh Aziz Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Linearizability ..."
Achour, Sara Proc. ACM Program. Lang., vol. 9, issue PLDI: "Optimizing Ancilla-Based Quantum ..."
Adve, Vikram S. Proc. ACM Program. Lang., vol. 9, issue PLDI: "MISAAL: Synthesis-Based Automatic ..."
Agha, Gul Proc. ACM Program. Lang., vol. 9, issue PLDI: "CRGC: Fault-Recovering Actor ..."
Aiken, Alex Proc. ACM Program. Lang., vol. 9, issue PLDI: "Task-Based Tensor Computations ..."
Ait-El-Hara, Hichem Rami Proc. ACM Program. Lang., vol. 9, issue PLDI: "Relational Abstractions Based ..."
Albarghouthi, Aws Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verified Foundations for Differential ..."
Aldrich, Jonathan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Usability Barriers for Liquid ..."
Almeida, Ricardo Proc. ACM Program. Lang., vol. 9, issue PLDI: "Morello-Cerise: A Proof of ..."
Al Thokair, Mosaad Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Timestamping for ..."
Amarasinghe, Saman Proc. ACM Program. Lang., vol. 9, issue PLDI: "Lightweight and Locality-Aware ..."
Amin, Nada Proc. ACM Program. Lang., vol. 9, issue PLDI: "Multi-stage Relational Programming ..."
Amini, Matin Proc. ACM Program. Lang., vol. 9, issue PLDI: "Membership Testing for Semantic ..."
Arovi, Md Amit Hasan Proc. ACM Program. Lang., vol. 9, issue PLDI: "RRR-SMR: Reduce, Reuse, Recycle: ..."
Arvind Proc. ACM Program. Lang., vol. 9, issue PLDI: "Making Concurrent Hardware ..."
Ayoun, Sacha-Élie Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Hybrid Approach to Semi-automated ..."
Azevedo de Amorim, Pedro Henrique Proc. ACM Program. Lang., vol. 9, issue PLDI: "Intrinsic Verification of ..."
Ballantyne, Michael Proc. ACM Program. Lang., vol. 9, issue PLDI: "Multi-stage Relational Programming ..."
Bansal, Manya Proc. ACM Program. Lang., vol. 9, issue PLDI: "Lightweight and Locality-Aware ..."
Baronia, Dhruv Proc. ACM Program. Lang., vol. 9, issue PLDI: "MISAAL: Synthesis-Based Automatic ..."
Bates, Mako Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient, Portable, Census-Polymorphic ..."
Bauer, Michael Proc. ACM Program. Lang., vol. 9, issue PLDI: "Task-Based Tensor Computations ..."
Bauereiss, Thomas Proc. ACM Program. Lang., vol. 9, issue PLDI: "Morello-Cerise: A Proof of ..."
Beckmann, Nathan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Ripple: Asynchronous Programming ..."
Bedarkar, Kimaya Proc. ACM Program. Lang., vol. 9, issue PLDI: "RefinedProsa: Connecting Response-Time ..."
Behrang, Farnaz Proc. ACM Program. Lang., vol. 9, issue PLDI: "DR.FIX: Automatically Fixing ..."
Bernstein, Maxwell Proc. ACM Program. Lang., vol. 9, issue PLDI: "Partial Evaluation, Whole-Program ..."
Bhatotia, Pramod Proc. ACM Program. Lang., vol. 9, issue PLDI: "QVM: Quantum Gate Virtualization ..."
Bindel, David Proc. ACM Program. Lang., vol. 9, issue PLDI: "Bean: A Language for Backward ..."
Blackburn, Stephen M. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Iso: Request-Private Garbage ..."
Bobot, François Proc. ACM Program. Lang., vol. 9, issue PLDI: "Relational Abstractions Based ..."
Bourgeat, Thomas Proc. ACM Program. Lang., vol. 9, issue PLDI: "Making Concurrent Hardware ..."
Bowers, Maddy Proc. ACM Program. Lang., vol. 9, issue PLDI: "Stochastic Lazy Knowledge ..."
Brandenburg, Björn Proc. ACM Program. Lang., vol. 9, issue PLDI: "RefinedProsa: Connecting Response-Time ..."
Brauckmann, Alexander Proc. ACM Program. Lang., vol. 9, issue PLDI: "Guided Tensor Lifting ..."
Bright, Arthur Proc. ACM Program. Lang., vol. 9, issue PLDI: "Certified Compilers à la ..."
Bucher, Brandt Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Region Ownership for ..."
Byrd, William E. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Multi-stage Relational Programming ..."
Campbell, Brian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Morello-Cerise: A Proof of ..."
Cao, Chun Proc. ACM Program. Lang., vol. 9, issue PLDI: "Pointer Analysis for Database-Backed ..."
Cao, Xiuqi Proc. ACM Program. Lang., vol. 9, issue PLDI: "MarQSim: Reconciling Determinism ..."
Cauligi, Sunjay Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robust Constant-Time Cryptography ..."
Chabbi, Milind Proc. ACM Program. Lang., vol. 9, issue PLDI: "DR.FIX: Automatically Fixing ..."
Chasins, Sarah E. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Programming by Navigation ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Fast Direct Manipulation Programming ..."
Chen, Qian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Solving Floating-Point Constraints ..."
Chen, Yu-Fang Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Uniform Framework for Handling ..."
Chlipala, Adam Proc. ACM Program. Lang., vol. 9, issue PLDI: "Smooth, Integrated Proofs ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Making Concurrent Hardware ..."
Clebsch, Sylvan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Region Ownership for ..."
Coimbra, Miguel E. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Automated Exploit Generation ..."
Conoly, Owen Proc. ACM Program. Lang., vol. 9, issue PLDI: "Smooth, Integrated Proofs ..."
Crichton, Will Proc. ACM Program. Lang., vol. 9, issue PLDI: "An Interactive Debugger for ..."
Cui, Chenqi Proc. ACM Program. Lang., vol. 9, issue PLDI: "Solving Floating-Point Constraints ..."
Czenszak, Jack Proc. ACM Program. Lang., vol. 9, issue PLDI: "Roulette: A Language for Expressive, ..."
D'Antoni, Loris Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying Solutions to Semantics-Guided ..."
Dardinier, Thibault Proc. ACM Program. Lang., vol. 9, issue PLDI: "PulseCore: An Impredicative ..."
Das, Ankush Proc. ACM Program. Lang., vol. 9, issue PLDI: "Probabilistic Refinement Session ..."
David, Cristina Proc. ACM Program. Lang., vol. 9, issue PLDI: "Scalable, Validated Code Translation ..."
De Medeiros, Markus Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verified Foundations for Differential ..."
Denis, Xavier Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Hybrid Approach to Semi-automated ..."
Dillig, Işıl Proc. ACM Program. Lang., vol. 9, issue PLDI: "Graphiti: Bridging Graph and ..."
Ding, Yuantian Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Concurrent Approach to String ..."
Dodds, Joey Proc. ACM Program. Lang., vol. 9, issue PLDI: "Program Synthesis from Partial ..."
Dreyer, Derek Proc. ACM Program. Lang., vol. 9, issue PLDI: "RefinedProsa: Connecting Response-Time ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Destabilizing Iris ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Tree Borrows ..."
Ebner, Gabriel Proc. ACM Program. Lang., vol. 9, issue PLDI: "PulseCore: An Impredicative ..."
Ebresafe, Oghenevwogaga Proc. ACM Program. Lang., vol. 9, issue PLDI: "Certified Compilers à la ..."
Elbeheiry, Laila Proc. ACM Program. Lang., vol. 9, issue PLDI: "RefinedProsa: Connecting Response-Time ..."
Erbsen, Andres Proc. ACM Program. Lang., vol. 9, issue PLDI: "Smooth, Integrated Proofs ..."
Erhard, Julian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Taking Out the Toxic Trash: ..."
Fallin, Chris Proc. ACM Program. Lang., vol. 9, issue PLDI: "Partial Evaluation, Whole-Program ..."
Fan, Andong Proc. ACM Program. Lang., vol. 9, issue PLDI: "Practical Type Inference with ..."
Fan, Yuyou Proc. ACM Program. Lang., vol. 9, issue PLDI: "First-Class Verification Dialects ..."
Fang, Ruijie Proc. ACM Program. Lang., vol. 9, issue PLDI: "Graphiti: Bridging Graph and ..."
Fang, Wang Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Formal Verification ..."
Fedyukovich, Grigory Proc. ACM Program. Lang., vol. 9, issue PLDI: "Exact Loop Bound Analysis ..."
Fehr, Mathieu Proc. ACM Program. Lang., vol. 9, issue PLDI: "First-Class Verification Dialects ..."
Ferreira, Mafalda Proc. ACM Program. Lang., vol. 9, issue PLDI: "Automated Exploit Generation ..."
Ferreira, Margarida Proc. ACM Program. Lang., vol. 9, issue PLDI: "Program Synthesis from Partial ..."
Ferreira, Tiago Proc. ACM Program. Lang., vol. 9, issue PLDI: "Active Learning of Symbolic ..."
Fonseca, Alcides Proc. ACM Program. Lang., vol. 9, issue PLDI: "Usability Barriers for Liquid ..."
Foster, Nate Proc. ACM Program. Lang., vol. 9, issue PLDI: "StacKAT: Infinite State Network ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Active Learning of Symbolic ..."
Fragoso Santos, José Proc. ACM Program. Lang., vol. 9, issue PLDI: "Automated Exploit Generation ..."
Frisella, Megan Proc. ACM Program. Lang., vol. 9, issue PLDI: "PulseCore: An Impredicative ..."
Fu, Qiancheng Proc. ACM Program. Lang., vol. 9, issue PLDI: "Probabilistic Refinement Session ..."
Gaboardi, Marco Proc. ACM Program. Lang., vol. 9, issue PLDI: "Probabilistic Refinement Session ..."
Gäher, Lennard Proc. ACM Program. Lang., vol. 9, issue PLDI: "RefinedProsa: Connecting Response-Time ..."
Gamboa, Catarina Proc. ACM Program. Lang., vol. 9, issue PLDI: "Usability Barriers for Liquid ..."
Gao, Fengjuan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Solving Floating-Point Constraints ..."
Gardner, Philippa Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Hybrid Approach to Semi-automated ..."
Garg, Deepak Proc. ACM Program. Lang., vol. 9, issue PLDI: "RefinedProsa: Connecting Response-Time ..."
Garland, Michael Proc. ACM Program. Lang., vol. 9, issue PLDI: "Task-Based Tensor Computations ..."
Ghosh, Souradip Proc. ACM Program. Lang., vol. 9, issue PLDI: "Ripple: Asynchronous Programming ..."
Giortamis, Emmanouil Proc. ACM Program. Lang., vol. 9, issue PLDI: "QVM: Quantum Gate Virtualization ..."
Goens, Andrés Proc. ACM Program. Lang., vol. 9, issue PLDI: "Slotted E-Graphs: First-Class ..."
Grahn, Samuel Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Linearizability ..."
Gray, Gavin Proc. ACM Program. Lang., vol. 9, issue PLDI: "An Interactive Debugger for ..."
Grosser, Tobias Proc. ACM Program. Lang., vol. 9, issue PLDI: "First-Class Verification Dialects ..."
Hammond, Angus Proc. ACM Program. Lang., vol. 9, issue PLDI: "Morello-Cerise: A Proof of ..."
Hao, Chunxue Proc. ACM Program. Lang., vol. 9, issue PLDI: "Support Triangle Machine ..."
Havlena, Vojtěch Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Uniform Framework for Handling ..."
He, Jingxuan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Type-Constrained Code Generation ..."
He, Yang Proc. ACM Program. Lang., vol. 9, issue PLDI: "Graphiti: Bridging Graph and ..."
Hečko, Michal Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Uniform Framework for Handling ..."
Hemann, Jason Proc. ACM Program. Lang., vol. 9, issue PLDI: "Multi-stage Relational Programming ..."
Heo, Kihong Proc. ACM Program. Lang., vol. 9, issue PLDI: "Optimization-Directed Compiler ..."
Holík, Lukáš Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Uniform Framework for Handling ..."
Holtzen, Steven Proc. ACM Program. Lang., vol. 9, issue PLDI: "Roulette: A Language for Expressive, ..."
Hostert, Johannes Proc. ACM Program. Lang., vol. 9, issue PLDI: "Tree Borrows ..."
Hsu, Justin Proc. ACM Program. Lang., vol. 9, issue PLDI: "Bean: A Language for Backward ..."
Huang, Qifan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Formal Verification ..."
Huang, Shan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robustifying Debug Information ..."
Huang, Yifei Proc. ACM Program. Lang., vol. 9, issue PLDI: "Membership Testing for Semantic ..."
Hui, Xinning Proc. ACM Program. Lang., vol. 9, issue PLDI: "Reductive Analysis with Compiler-Guided ..."
Itzhaky, Shachar Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Robustness Verification ..."
Jacobs, Jules Proc. ACM Program. Lang., vol. 9, issue PLDI: "StacKAT: Infinite State Network ..."
Jafri, Syed Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient, Portable, Census-Polymorphic ..."
Jang, Bongjun Proc. ACM Program. Lang., vol. 9, issue PLDI: "Optimization-Directed Compiler ..."
Jhala, Ranjit Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robust Constant-Time Cryptography ..."
Jia, Limin Proc. ACM Program. Lang., vol. 9, issue PLDI: "Automated Exploit Generation ..."
Jian, Charles Proc. ACM Program. Lang., vol. 9, issue PLDI: "Certified Compilers à la ..."
Jin, Ende Proc. ACM Program. Lang., vol. 9, issue PLDI: "Certified Compilers à la ..."
Johnson, Keith J.C. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying Solutions to Semantics-Guided ..."
Johnson, Matthew A. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Region Ownership for ..."
Jonsson, Bengt Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Linearizability ..."
Joshi, Anjali Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verified Foundations for Differential ..."
Jung, Jaehwang Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying General-Purpose ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying Lock-Free Traversals ..."
Jung, Ralf Proc. ACM Program. Lang., vol. 9, issue PLDI: "Tree Borrows ..."
Kahsai, Temesghen Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verified Foundations for Differential ..."
Kang, Jeehoon Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying General-Purpose ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Leveraging Immutability to ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying Lock-Free Traversals ..."
Kappé, Tobias Proc. ACM Program. Lang., vol. 9, issue PLDI: "StacKAT: Infinite State Network ..."
Kashiwa, Shun Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient, Portable, Census-Polymorphic ..."
Kellison, Ariel E. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Bean: A Language for Backward ..."
Kim, Jeonghyeon Proc. ACM Program. Lang., vol. 9, issue PLDI: "Leveraging Immutability to ..."
Kim, Justin Proc. ACM Program. Lang., vol. 9, issue PLDI: "Correctly Rounded Math Libraries ..."
Kirisame, Marisa Proc. ACM Program. Lang., vol. 9, issue PLDI: "Spineless Traversal for Layout ..."
Kœhler, Thomas Proc. ACM Program. Lang., vol. 9, issue PLDI: "Slotted E-Graphs: First-Class ..."
Kokologiannakis, Michalis Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Robustness Verification ..."
Kolosick, Matthew Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robust Constant-Time Cryptography ..."
Kothari, Akash Proc. ACM Program. Lang., vol. 9, issue PLDI: "MISAAL: Synthesis-Based Automatic ..."
Kozen, Dexter Proc. ACM Program. Lang., vol. 9, issue PLDI: "StacKAT: Infinite State Network ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Probabilistic Kleene Algebra ..."
Krishna, Shankaranarayanan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Linearizability ..."
Krishnamurthi, Shriram Proc. ACM Program. Lang., vol. 9, issue PLDI: "An Interactive Debugger for ..."
Kroening, Daniel Proc. ACM Program. Lang., vol. 9, issue PLDI: "Scalable, Validated Code Translation ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Program Synthesis from Partial ..."
Kulkarni, Milind Proc. ACM Program. Lang., vol. 9, issue PLDI: "Circuit Optimization using ..."
Kuper, Lindsey Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient, Portable, Census-Polymorphic ..."
Kwon, Jaeseong Proc. ACM Program. Lang., vol. 9, issue PLDI: "Optimization-Directed Compiler ..."
Lahav, Ori Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Robustness Verification ..."
Lattuada, Andrea Proc. ACM Program. Lang., vol. 9, issue PLDI: "Destabilizing Iris ..."
Lee, Janggun Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying General-Purpose ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Leveraging Immutability to ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying Lock-Free Traversals ..."
Lee, Juneyoung Proc. ACM Program. Lang., vol. 9, issue PLDI: "Optimization-Directed Compiler ..."
Lee, Wonyeol Proc. ACM Program. Lang., vol. 9, issue PLDI: "Random Variate Generation ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Semantics of Integrating and ..."
Le Glaunec, Alexis Proc. ACM Program. Lang., vol. 9, issue PLDI: "Membership Testing for Semantic ..."
Leijen, Daan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Principal Type Inference under ..."
Lemerre, Matthieu Proc. ACM Program. Lang., vol. 9, issue PLDI: "Relational Abstractions Based ..."
Lengál, Ondřej Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Uniform Framework for Handling ..."
Lepoint, Tancrède Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verified Foundations for Differential ..."
Lesbre, Dorian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Relational Abstractions Based ..."
Lew, Alexander K. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Stochastic Lazy Knowledge ..."
Li, Ganlin Proc. ACM Program. Lang., vol. 9, issue PLDI: "Pointer Analysis for Database-Backed ..."
Li, Gushu Proc. ACM Program. Lang., vol. 9, issue PLDI: "MarQSim: Reconciling Determinism ..."
Li, Jiaying Proc. ACM Program. Lang., vol. 9, issue PLDI: "Support Triangle Machine ..."
Li, John M. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Roulette: A Language for Expressive, ..."
Li, Ruishi Proc. ACM Program. Lang., vol. 9, issue PLDI: "Program Skeletons for Automated ..."
Li, Tianyu Proc. ACM Program. Lang., vol. 9, issue PLDI: "Program Skeletons for Automated ..."
Li, Yixuan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Guided Tensor Lifting ..."
Li, Yue Proc. ACM Program. Lang., vol. 9, issue PLDI: "Pointer Analysis for Database-Backed ..."
Liang, Jingjing Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robustifying Debug Information ..."
Liang, Yalun Proc. ACM Program. Lang., vol. 9, issue PLDI: "CompCertOC: Verified Compositional ..."
Liang, Yufei Proc. ACM Program. Lang., vol. 9, issue PLDI: "Pointer Analysis for Database-Backed ..."
Liao, Chunhua Proc. ACM Program. Lang., vol. 9, issue PLDI: "Reductive Analysis with Compiler-Guided ..."
Lim, Daniel Wee Soong Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Timestamping for ..."
Liu, Jiazheng Proc. ACM Program. Lang., vol. 9, issue PLDI: "Making Concurrent Hardware ..."
Liu, Peng Proc. ACM Program. Lang., vol. 9, issue PLDI: "DR.FIX: Automatically Fixing ..."
Liu, Yuhao Proc. ACM Program. Lang., vol. 9, issue PLDI: "MarQSim: Reconciling Determinism ..."
Liu, Zhibo Proc. ACM Program. Lang., vol. 9, issue PLDI: "Divergence-Aware Testing of ..."
Lopes, Nuno P. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Exploiting Undefined Behavior ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Link-Time Optimization of ..."
Lu, Thomas Proc. ACM Program. Lang., vol. 9, issue PLDI: "Active Learning of Symbolic ..."
Lu, Xufan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Link-Time Optimization of ..."
Lubin, Justin Proc. ACM Program. Lang., vol. 9, issue PLDI: "Programming by Navigation ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Fast Direct Manipulation Programming ..."
Lucia, Brandon Proc. ACM Program. Lang., vol. 9, issue PLDI: "Ripple: Asynchronous Programming ..."
Ma, Stephanie Proc. ACM Program. Lang., vol. 9, issue PLDI: "Probabilistic Kleene Algebra ..."
Ma, Xiaoxing Proc. ACM Program. Lang., vol. 9, issue PLDI: "Pointer Analysis for Database-Backed ..."
Magalhães, José Wesley de Souza Proc. ACM Program. Lang., vol. 9, issue PLDI: "Guided Tensor Lifting ..."
Maksimović, Petar Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Hybrid Approach to Semi-automated ..."
Malik, Raghav Proc. ACM Program. Lang., vol. 9, issue PLDI: "Circuit Optimization using ..."
Mamouras, Konstantinos Proc. ACM Program. Lang., vol. 9, issue PLDI: "Membership Testing for Semantic ..."
Mansinghka, Vikash K. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Stochastic Lazy Knowledge ..."
Margalit, Roy Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Robustness Verification ..."
Marques, Filipe Proc. ACM Program. Lang., vol. 9, issue PLDI: "Automated Exploit Generation ..."
Marshall, Brianna Proc. ACM Program. Lang., vol. 9, issue PLDI: "Roulette: A Language for Expressive, ..."
Martínez, Guido Proc. ACM Program. Lang., vol. 9, issue PLDI: "PulseCore: An Impredicative ..."
Mathur, Umang Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Timestamping for ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Program Skeletons for Automated ..."
Matsushita, Yusuke Proc. ACM Program. Lang., vol. 9, issue PLDI: "Nola: Later-Free Ghost State ..."
Mendis, Charith Proc. ACM Program. Lang., vol. 9, issue PLDI: "MISAAL: Synthesis-Based Automatic ..."
Michel, Jesse Proc. ACM Program. Lang., vol. 9, issue PLDI: "Semantics of Integrating and ..."
Mishra, Om Swostik Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Linearizability ..."
Møldrup, Lasse Proc. ACM Program. Lang., vol. 9, issue PLDI: "AWDIT: An Optimal Weak Database ..."
Moeller, Mark Proc. ACM Program. Lang., vol. 9, issue PLDI: "Active Learning of Symbolic ..."
Montesi, Fabrizio Proc. ACM Program. Lang., vol. 9, issue PLDI: "CRGC: Fault-Recovering Actor ..."
Moy, Cameron Proc. ACM Program. Lang., vol. 9, issue PLDI: "Roulette: A Language for Expressive, ..."
Mück, Niklas Proc. ACM Program. Lang., vol. 9, issue PLDI: "Destabilizing Iris ..."
Müller, Peter Proc. ACM Program. Lang., vol. 9, issue PLDI: "Destabilizing Iris ..."
Mündler, Niels Proc. ACM Program. Lang., vol. 9, issue PLDI: "Type-Constrained Code Generation ..."
Murphy, Charlie Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying Solutions to Semantics-Guided ..."
Nagarakatte, Santosh Proc. ACM Program. Lang., vol. 9, issue PLDI: "Correctly Rounded Math Libraries ..."
Nascimento, André Proc. ACM Program. Lang., vol. 9, issue PLDI: "Automated Exploit Generation ..."
Naveed, Muhammad Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verified Foundations for Differential ..."
Near, Joseph P. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient, Portable, Census-Polymorphic ..."
New, Max S. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Intrinsic Verification of ..."
Nicolet, Victor Proc. ACM Program. Lang., vol. 9, issue PLDI: "Program Synthesis from Partial ..."
Nikolaev, Ruslan Proc. ACM Program. Lang., vol. 9, issue PLDI: "RRR-SMR: Reduce, Reuse, Recycle: ..."
Noor, Abdul Rafae Proc. ACM Program. Lang., vol. 9, issue PLDI: "MISAAL: Synthesis-Based Automatic ..."
O'Boyle, Michael F. P. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Guided Tensor Lifting ..."
Ogawa, Hiromi Proc. ACM Program. Lang., vol. 9, issue PLDI: "Thrust: A Prophecy-Based Refinement ..."
Ong, Shawn Proc. ACM Program. Lang., vol. 9, issue PLDI: "Probabilistic Kleene Algebra ..."
Panchekha, Pavel Proc. ACM Program. Lang., vol. 9, issue PLDI: "Spineless Traversal for Layout ..."
Paranjape, Vedant Proc. ACM Program. Lang., vol. 9, issue PLDI: "Circuit Optimization using ..."
Park, Sehyeok Proc. ACM Program. Lang., vol. 9, issue PLDI: "Correctly Rounded Math Libraries ..."
Park, Sunho Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying General-Purpose ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying Lock-Free Traversals ..."
Parkinson, Matthew J. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Region Ownership for ..."
Patrignani, Marco Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robust Constant-Time Cryptography ..."
Paulsen, Brandon Proc. ACM Program. Lang., vol. 9, issue PLDI: "Scalable, Validated Code Translation ..."
Pavlogiannis, Andreas Proc. ACM Program. Lang., vol. 9, issue PLDI: "AWDIT: An Optimal Weak Database ..."
Peng, Yiteng Proc. ACM Program. Lang., vol. 9, issue PLDI: "Divergence-Aware Testing of ..."
Plotkin, Gordon Proc. ACM Program. Lang., vol. 9, issue PLDI: "Handling the Selection Monad ..."
Plyukhin, Dan Proc. ACM Program. Lang., vol. 9, issue PLDI: "CRGC: Fault-Recovering Actor ..."
Polgreen, Elizabeth Proc. ACM Program. Lang., vol. 9, issue PLDI: "Guided Tensor Lifting ..."
Pompougnac, Hugo Proc. ACM Program. Lang., vol. 9, issue PLDI: "First-Class Verification Dialects ..."
Popescu, Lucian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Exploiting Undefined Behavior ..."
Pouchet, Louis-Noël Proc. ACM Program. Lang., vol. 9, issue PLDI: "Modular Construction and Optimization ..."
Qiu, Longfei Proc. ACM Program. Lang., vol. 9, issue PLDI: "LiDO-DAG: A Framework for ..."
Qiu, Tianle Proc. ACM Program. Lang., vol. 9, issue PLDI: "Iso: Request-Private Garbage ..."
Qiu, Xiaokang Proc. ACM Program. Lang., vol. 9, issue PLDI: "A Concurrent Approach to String ..."
Quiring, Benjamin Proc. ACM Program. Lang., vol. 9, issue PLDI: "Webs and Flow-Directed Well-Typedness ..."
Ragan-Kelley, Jonathan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Lightweight and Locality-Aware ..."
Raghothaman, Mukund Proc. ACM Program. Lang., vol. 9, issue PLDI: "Membership Testing for Semantic ..."
Ramananandro, Tahina Proc. ACM Program. Lang., vol. 9, issue PLDI: "PulseCore: An Impredicative ..."
Rastogi, Aseem Proc. ACM Program. Lang., vol. 9, issue PLDI: "PulseCore: An Impredicative ..."
Ravitch, Tristan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verified Foundations for Differential ..."
Reese, Abigail Proc. ACM Program. Lang., vol. 9, issue PLDI: "Usability Barriers for Liquid ..."
Regehr, John Proc. ACM Program. Lang., vol. 9, issue PLDI: "First-Class Verification Dialects ..."
Reppy, John Proc. ACM Program. Lang., vol. 9, issue PLDI: "Webs and Flow-Directed Well-Typedness ..."
Reps, Thomas Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying Solutions to Semantics-Guided ..."
Riley, Daniel Proc. ACM Program. Lang., vol. 9, issue PLDI: "Exact Loop Bound Analysis ..."
Rioux, Nick Proc. ACM Program. Lang., vol. 9, issue PLDI: "Functional Meaning for Parallel ..."
Rodríguez, Gabriel Proc. ACM Program. Lang., vol. 9, issue PLDI: "Modular Construction and Optimization ..."
Rodríguez-Iglesias, Alonso Proc. ACM Program. Lang., vol. 9, issue PLDI: "Modular Construction and Optimization ..."
Rossel, Marcus Proc. ACM Program. Lang., vol. 9, issue PLDI: "Slotted E-Graphs: First-Class ..."
Saad, Feras A. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Random Variate Generation ..."
Saada, Lily Proc. ACM Program. Lang., vol. 9, issue PLDI: "StacKAT: Infinite State Network ..."
Saioc, Georgian-Vlad Proc. ACM Program. Lang., vol. 9, issue PLDI: "DR.FIX: Automatically Fixing ..."
Sammler, Michael Proc. ACM Program. Lang., vol. 9, issue PLDI: "RefinedProsa: Connecting Response-Time ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Destabilizing Iris ..."
Sanna, Rafaello Proc. ACM Program. Lang., vol. 9, issue PLDI: "Multi-stage Relational Programming ..."
Santos, Nuno Proc. ACM Program. Lang., vol. 9, issue PLDI: "Automated Exploit Generation ..."
Saxena, Prateek Proc. ACM Program. Lang., vol. 9, issue PLDI: "Program Skeletons for Automated ..."
Schaefer, Steven Proc. ACM Program. Lang., vol. 9, issue PLDI: "Intrinsic Verification of ..."
Schneider, Rudi Proc. ACM Program. Lang., vol. 9, issue PLDI: "Slotted E-Graphs: First-Class ..."
Schwarz, Michael Proc. ACM Program. Lang., vol. 9, issue PLDI: "Taking Out the Toxic Trash: ..."
Seidl, Helmut Proc. ACM Program. Lang., vol. 9, issue PLDI: "Taking Out the Toxic Trash: ..."
Sekiyama, Taro Proc. ACM Program. Lang., vol. 9, issue PLDI: "Thrust: A Prophecy-Based Refinement ..."
Sen, Koushik Proc. ACM Program. Lang., vol. 9, issue PLDI: "Type-Constrained Code Generation ..."
Sewell, Peter Proc. ACM Program. Lang., vol. 9, issue PLDI: "Morello-Cerise: A Proof of ..."
Shaikhha, Amir Proc. ACM Program. Lang., vol. 9, issue PLDI: "Slotted E-Graphs: First-Class ..."
Shao, Zhong Proc. ACM Program. Lang., vol. 9, issue PLDI: "CompCertOC: Verified Compositional ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "LiDO-DAG: A Framework for ..."
Sharlet, Dillon Proc. ACM Program. Lang., vol. 9, issue PLDI: "Lightweight and Locality-Aware ..."
Sharma, Ritvik Proc. ACM Program. Lang., vol. 9, issue PLDI: "Optimizing Ancilla-Based Quantum ..."
Shen, Gan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient, Portable, Census-Polymorphic ..."
Shen, Xipeng Proc. ACM Program. Lang., vol. 9, issue PLDI: "Reductive Analysis with Compiler-Guided ..."
Shi, Yufei Proc. ACM Program. Lang., vol. 9, issue PLDI: "Ripple: Asynchronous Programming ..."
Shi, Yunong Proc. ACM Program. Lang., vol. 9, issue PLDI: "MarQSim: Reconciling Determinism ..."
Shin, Ji-Yong Proc. ACM Program. Lang., vol. 9, issue PLDI: "LiDO-DAG: A Framework for ..."
Shivakumar, Basavesh Ammanaghatta Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robust Constant-Time Cryptography ..."
Shivers, Olin Proc. ACM Program. Lang., vol. 9, issue PLDI: "Webs and Flow-Directed Well-Typedness ..."
Silva, Alexandra Proc. ACM Program. Lang., vol. 9, issue PLDI: "StacKAT: Infinite State Network ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Active Learning of Symbolic ..."
Snow, Eric Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Region Ownership for ..."
Solar-Lezama, Armando Proc. ACM Program. Lang., vol. 9, issue PLDI: "Stochastic Lazy Knowledge ..."
Song, Dawn Proc. ACM Program. Lang., vol. 9, issue PLDI: "Type-Constrained Code Generation ..."
Spies, Simon Proc. ACM Program. Lang., vol. 9, issue PLDI: "Destabilizing Iris ..."
Stark, Ian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Morello-Cerise: A Proof of ..."
Stefan, Deian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robust Constant-Time Cryptography ..."
Stemmler, Fabian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Taking Out the Toxic Trash: ..."
Steuwer, Michel Proc. ACM Program. Lang., vol. 9, issue PLDI: "Slotted E-Graphs: First-Class ..."
Stoldt, Fridtjof Peer Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Region Ownership for ..."
Su, Ting Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robustifying Debug Information ..."
Su, Zhendong Proc. ACM Program. Lang., vol. 9, issue PLDI: "Relaxing Alias Analysis: Exploring ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Divergence-Aware Testing of ..."
Swamy, Nikhil Proc. ACM Program. Lang., vol. 9, issue PLDI: "PulseCore: An Impredicative ..."
Tan, Tian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Pointer Analysis for Database-Backed ..."
Tassarotti, Joseph Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verified Foundations for Differential ..."
Tenenbaum, Joshua B. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Stochastic Lazy Knowledge ..."
Theodoridis, Theodoros Proc. ACM Program. Lang., vol. 9, issue PLDI: "Relaxing Alias Analysis: Exploring ..."
Tilscher, Sarah Proc. ACM Program. Lang., vol. 9, issue PLDI: "Taking Out the Toxic Trash: ..."
Tongli, Santoshkumar T. Proc. ACM Program. Lang., vol. 9, issue PLDI: "Modular Construction and Optimization ..."
Tornow, Nathaniel Proc. ACM Program. Lang., vol. 9, issue PLDI: "QVM: Quantum Gate Virtualization ..."
Touriño, Juan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Modular Construction and Optimization ..."
Tristan, Jean-Baptiste Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verified Foundations for Differential ..."
Tsukada, Takeshi Proc. ACM Program. Lang., vol. 9, issue PLDI: "Nola: Later-Free Ghost State ..."
Tucker, Emily Proc. ACM Program. Lang., vol. 9, issue PLDI: "Modular Construction and Optimization ..."
Unno, Hiroshi Proc. ACM Program. Lang., vol. 9, issue PLDI: "Thrust: A Prophecy-Based Refinement ..."
Van Horn, David Proc. ACM Program. Lang., vol. 9, issue PLDI: "Webs and Flow-Directed Well-Typedness ..."
Van Rossum, Guido Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Region Ownership for ..."
Varner, Nathan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Intrinsic Verification of ..."
Vassena, Marco Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robust Constant-Time Cryptography ..."
Vechev, Martin Proc. ACM Program. Lang., vol. 9, issue PLDI: "Type-Constrained Code Generation ..."
Villani, Neven Proc. ACM Program. Lang., vol. 9, issue PLDI: "Tree Borrows ..."
Viswanathan, Mahesh Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Timestamping for ..."
Wagemaker, Jana Proc. ACM Program. Lang., vol. 9, issue PLDI: "StacKAT: Infinite State Network ..."
Wang, Bo Proc. ACM Program. Lang., vol. 9, issue PLDI: "Program Skeletons for Automated ..."
Wang, Hao Proc. ACM Program. Lang., vol. 9, issue PLDI: "Type-Constrained Code Generation ..."
Wang, Ke Proc. ACM Program. Lang., vol. 9, issue PLDI: "Solving Floating-Point Constraints ..."
Wang, Linzhang Proc. ACM Program. Lang., vol. 9, issue PLDI: "Solving Floating-Point Constraints ..."
Wang, Meng Proc. ACM Program. Lang., vol. 9, issue PLDI: "Scalable, Validated Code Translation ..."
Wang, Shuai Proc. ACM Program. Lang., vol. 9, issue PLDI: "Divergence-Aware Testing of ..."
Wang, Tiezhi Proc. ACM Program. Lang., vol. 9, issue PLDI: "Spineless Traversal for Layout ..."
Wang, Xiangwei Proc. ACM Program. Lang., vol. 9, issue PLDI: "Reductive Analysis with Compiler-Guided ..."
Wang, Xinyu Proc. ACM Program. Lang., vol. 9, issue PLDI: "Polygon: Symbolic Reasoning ..."
Wang, Yu Proc. ACM Program. Lang., vol. 9, issue PLDI: "Solving Floating-Point Constraints ..."
Wang, Yuepeng Proc. ACM Program. Lang., vol. 9, issue PLDI: "Polygon: Symbolic Reasoning ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Graphiti: Bridging Graph and ..."
Wang, Yuting Proc. ACM Program. Lang., vol. 9, issue PLDI: "CompCertOC: Verified Compositional ..."
Weber, Michel Proc. ACM Program. Lang., vol. 9, issue PLDI: "Relaxing Alias Analysis: Exploring ..."
Wrigstad, Tobias Proc. ACM Program. Lang., vol. 9, issue PLDI: "Dynamic Region Ownership for ..."
Wu, Daoyuan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Divergence-Aware Testing of ..."
Xiao, Dongwei Proc. ACM Program. Lang., vol. 9, issue PLDI: "Divergence-Aware Testing of ..."
Xiao, Jingqi Proc. ACM Program. Lang., vol. 9, issue PLDI: "LiDO-DAG: A Framework for ..."
Xie, Ningning Proc. ACM Program. Lang., vol. 9, issue PLDI: "Handling the Selection Monad ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Practical Type Inference with ..."
Xu, Chang Proc. ACM Program. Lang., vol. 9, issue PLDI: "Pointer Analysis for Database-Backed ..."
Xu, Han Proc. ACM Program. Lang., vol. 9, issue PLDI: "Practical Type Inference with ..."
Xu, Muchen Proc. ACM Program. Lang., vol. 9, issue PLDI: "MISAAL: Synthesis-Based Automatic ..."
Yadav, Rohan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Task-Based Tensor Computations ..."
Yang, Hongseok Proc. ACM Program. Lang., vol. 9, issue PLDI: "Semantics of Integrating and ..."
Ye, Wenjia Proc. ACM Program. Lang., vol. 9, issue PLDI: "Principal Type Inference under ..."
Yeon, Jeho Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verifying General-Purpose ..."
Ying, Mingsheng Proc. ACM Program. Lang., vol. 9, issue PLDI: "Quantum Register Machine: ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Formal Verification ..."
Zdancewic, Steve Proc. ACM Program. Lang., vol. 9, issue PLDI: "Functional Meaning for Parallel ..."
Zeng, Haoyi Proc. ACM Program. Lang., vol. 9, issue PLDI: "Destabilizing Iris ..."
Zetzsche, Stefan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Verified Foundations for Differential ..."
Zhang, Hanliang Proc. ACM Program. Lang., vol. 9, issue PLDI: "Scalable, Validated Code Translation ..."
Zhang, Ling Proc. ACM Program. Lang., vol. 9, issue PLDI: "CompCertOC: Verified Compositional ..."
Zhang, Minjian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Timestamping for ..."
Zhang, Qirun Proc. ACM Program. Lang., vol. 9, issue PLDI: "Robustifying Debug Information ..."
Zhang, Teng Proc. ACM Program. Lang., vol. 9, issue PLDI: "Pointer Analysis for Database-Backed ..."
Zhang, Yizhou Proc. ACM Program. Lang., vol. 9, issue PLDI: "Certified Compilers à la ..."
Zhang, Zhicheng Proc. ACM Program. Lang., vol. 9, issue PLDI: "Quantum Register Machine: ..."
Zhang, Zhizhou Proc. ACM Program. Lang., vol. 9, issue PLDI: "DR.FIX: Automatically Fixing ..."
Zhao, Ian Proc. ACM Program. Lang., vol. 9, issue PLDI: "Certified Compilers à la ..."
Zhao, Mengyu Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Formal Verification ..."
Zhao, Pinhan Proc. ACM Program. Lang., vol. 9, issue PLDI: "Polygon: Symbolic Reasoning ..."
Zhou, Junyu Proc. ACM Program. Lang., vol. 9, issue PLDI: "MarQSim: Reconciling Determinism ..."
Zhou, Li Proc. ACM Program. Lang., vol. 9, issue PLDI: "Efficient Formal Verification ..."
Ziegler, Parker Proc. ACM Program. Lang., vol. 9, issue PLDI: "Programming by Navigation ..." Proc. ACM Program. Lang., vol. 9, issue PLDI: "Fast Direct Manipulation Programming ..."
Zielinski, Laura Proc. ACM Program. Lang., vol. 9, issue PLDI: "Bean: A Language for Backward ..."

374 authors

proc time: 32.37