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

374 authors

proc time: 11.6