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

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

PLDI 2026 – 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

Aamer, Zain K Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278
Achour, Sara Proc. ACM Program. Lang., vol. 10, issue PLDI: "CoTenN: Constrained Optimization ..." Article: pldi26main-p126-p (type: Full Paper) doi:10.1145/3808272
Adams, Andrew Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bonsai: Compiling Queries ..." Article: pldi26main-p25-p (type: Full Paper) doi:10.1145/3808256
Adve, Vikram Proc. ACM Program. Lang., vol. 10, issue PLDI: "Neptune: Advanced ML Operator ..." Article: pldi26main-p347-p (type: Full Paper) doi:10.1145/3808298
Aguirre, Alejandro Proc. ACM Program. Lang., vol. 10, issue PLDI: "Contextual Refinement of Higher-Order ..." Article: pldi26main-p77-p (type: Full Paper) doi:10.1145/3808265 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular Verification of Differential ..." Article: pldi26main-p444-p (type: Full Paper) doi:10.1145/3808311
Akella, Aditya Proc. ACM Program. Lang., vol. 10, issue PLDI: "MatchBox: A Semantic Foundation ..." Article: pldi26main-p153-p (type: Full Paper) doi:10.1145/3808277
Akram, Shoaib Proc. ACM Program. Lang., vol. 10, issue PLDI: "FlexHeap: Dynamic I/O-Aware ..." Article: pldi26main-p2-p (type: Full Paper) doi:10.1145/3808247
Alexandru, Cass Proc. ACM Program. Lang., vol. 10, issue PLDI: "Intrinsically Correct Algorithms ..." Article: pldi26main-p434-p (type: Full Paper) doi:10.1145/3808309
Allain, Clément Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Verified Parallel Scheduler ..." Article: pldi26main-p742-p (type: Full Paper) doi:10.1145/3808337
Amarasinghe, Saman Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular GPU Programming with ..." Article: pldi26main-p277-p (type: Full Paper) doi:10.1145/3808290
Amin, Nada Proc. ACM Program. Lang., vol. 10, issue PLDI: "Compiling to Recurrent Neurons ..." Article: pldi26main-p881-p (type: Full Paper) doi:10.1145/3808345
Arbore, Russel Proc. ACM Program. Lang., vol. 10, issue PLDI: "Optimism in Equality Saturation ..." Article: pldi26main-p376-p (type: Full Paper) doi:10.1145/3808302
Arya, Gaurav Proc. ACM Program. Lang., vol. 10, issue PLDI: "GradInf: Gradient Estimation ..." Article: pldi26main-p518-p (type: Full Paper) doi:10.1145/3808321
Askarov, Aslan Proc. ACM Program. Lang., vol. 10, issue PLDI: "The Downgrading Semantics ..." Article: pldi26main-p49-p (type: Full Paper) doi:10.1145/3808260
Ayoun, Sacha-Élie Proc. ACM Program. Lang., vol. 10, issue PLDI: "Soteria: Efficient Symbolic ..." Article: pldi26main-p402-p (type: Full Paper) doi:10.1145/3808306
Balasubramanian, A. R. Proc. ACM Program. Lang., vol. 10, issue PLDI: "State Space Estimation for ..." Article: pldi26main-p279-p (type: Full Paper) doi:10.1145/3808291
Balkind, Jonathan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fungible Memories for Automated ..." Article: pldi26main-p315-p (type: Full Paper) doi:10.1145/3808294 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Improving Equality Saturation ..." Article: pldi26main-p348-p (type: Full Paper) doi:10.1145/3808299
Banerjee, Debangshu Proc. ACM Program. Lang., vol. 10, issue PLDI: "Evolving Abstract Transformers ..." Article: pldi26main-p887-p (type: Full Paper) doi:10.1145/3808346
Banerjee, Rini Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278
Bansal, Manya Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular GPU Programming with ..." Article: pldi26main-p277-p (type: Full Paper) doi:10.1145/3808290
Bao, Yuyan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Typestate via Revocable Capabilities ..." Article: pldi26main-p532-p (type: Full Paper) doi:10.1145/3808323 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Escape with Your Self: Sound ..." Article: pldi26main-p703-p (type: Full Paper) doi:10.1145/3808335
Bardin, Sébastien Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hybrid Path-Sums for Hybrid ..." Article: pldi26main-p478-p (type: Full Paper) doi:10.1145/3808314
Barnaby, Celeste Proc. ACM Program. Lang., vol. 10, issue PLDI: "Choose, Don’t Label: Multiple-Choice ..." Article: pldi26main-p161-p (type: Full Paper) doi:10.1145/3808279
Bastani, Osbert Proc. ACM Program. Lang., vol. 10, issue PLDI: "Choose, Don’t Label: Multiple-Choice ..." Article: pldi26main-p161-p (type: Full Paper) doi:10.1145/3808279
Batz, Kevin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Weighted NetKAT: A Programming ..." Article: pldi26main-p501-p (type: Full Paper) doi:10.1145/3808318
Beckert, Bernhard Proc. ACM Program. Lang., vol. 10, issue PLDI: "Heterogeneous Dynamic Logic: ..." Article: pldi26main-p324-p (type: Full Paper) doi:10.1145/3808295
Bernstein, Gilbert Louis Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Mechanized Algebra of Verified ..." Article: pldi26main-p53-p (type: Full Paper) doi:10.1145/3808261 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hayroll: A Modular Wrapper ..." Article: pldi26main-p150-p (type: Full Paper) doi:10.1145/3808276
Bielicke, London Proc. ACM Program. Lang., vol. 10, issue PLDI: "Causality and Semantic Separation ..." Article: pldi26main-p135-p (type: Full Paper) doi:10.1145/3808274
Bilas, Angelos Proc. ACM Program. Lang., vol. 10, issue PLDI: "FlexHeap: Dynamic I/O-Aware ..." Article: pldi26main-p2-p (type: Full Paper) doi:10.1145/3808247
Birkedal, Lars Proc. ACM Program. Lang., vol. 10, issue PLDI: "Contextual Refinement of Higher-Order ..." Article: pldi26main-p77-p (type: Full Paper) doi:10.1145/3808265 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Iris-WasmFX: Modular Reasoning ..." Article: pldi26main-p111-p (type: Full Paper) doi:10.1145/3808271 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cerisier: A Program Logic ..." Article: pldi26main-p266-p (type: Full Paper) doi:10.1145/3808287 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular Verification of Differential ..." Article: pldi26main-p444-p (type: Full Paper) doi:10.1145/3808311
Bjørner, Nikolaj Proc. ACM Program. Lang., vol. 10, issue PLDI: "EREQ: Regular Expressions ..." Article: pldi26main-p993-p (type: Full Paper) doi:10.1145/3808349
Blanco, Nicolas Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hybrid Path-Sums for Hybrid ..." Article: pldi26main-p478-p (type: Full Paper) doi:10.1145/3808314
Bøving, Oliver Proc. ACM Program. Lang., vol. 10, issue PLDI: "Weighted NetKAT: A Programming ..." Article: pldi26main-p501-p (type: Full Paper) doi:10.1145/3808318
Bond, Michael D. Proc. ACM Program. Lang., vol. 10, issue PLDI: "&inator: Correct, Precise ..." Article: pldi26main-p110-p (type: Full Paper) doi:10.1145/3808270
Cai, Yi Proc. ACM Program. Lang., vol. 10, issue PLDI: "Let It Flow: A Formally Verified ..." Article: pldi26main-p56-p (type: Full Paper) doi:10.1145/3808263
Campbell, Eric Hayden Proc. ACM Program. Lang., vol. 10, issue PLDI: "MatchBox: A Semantic Foundation ..." Article: pldi26main-p153-p (type: Full Paper) doi:10.1145/3808277 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Optimal Predicate Pushdown ..." Article: pldi26main-p463-p (type: Full Paper) doi:10.1145/3808312
Carnier, Denis Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cerisier: A Program Logic ..." Article: pldi26main-p266-p (type: Full Paper) doi:10.1145/3808287
Cesario, Jahrim Gabriele Proc. ACM Program. Lang., vol. 10, issue PLDI: "Versioned E-Graphs ..." Article: pldi26main-p12-p (type: Full Paper) doi:10.1145/3808249
Chareton, Christophe Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hybrid Path-Sums for Hybrid ..." Article: pldi26main-p478-p (type: Full Paper) doi:10.1145/3808314
Chasins, Sarah E. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Navigating AND–OR Graph ..." Article: pldi26main-p879-p (type: Full Paper) doi:10.1145/3808344
Chatarasi, Prasanth Proc. ACM Program. Lang., vol. 10, issue PLDI: "Neptune: Advanced ML Operator ..." Article: pldi26main-p347-p (type: Full Paper) doi:10.1145/3808298
Chatterjee, Krishnendu Proc. ACM Program. Lang., vol. 10, issue PLDI: "SuperDP: Differential Privacy ..." Article: pldi26main-p328-p (type: Full Paper) doi:10.1145/3808296
Chen, Qinlin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Exploiting Sophisticated Static ..." Article: pldi26main-p362-p (type: Full Paper) doi:10.1145/3808300
Chen, Victor Proc. ACM Program. Lang., vol. 10, issue PLDI: "&inator: Correct, Precise ..." Article: pldi26main-p110-p (type: Full Paper) doi:10.1145/3808270
Chen, Xionghui Proc. ACM Program. Lang., vol. 10, issue PLDI: "SparseZETA: Intelligent Auto-tuner ..." Article: pldi26main-p473-p (type: Full Paper) doi:10.1145/3808313
Chen, Zheyuan Proc. ACM Program. Lang., vol. 10, issue PLDI: "SIMT-Step Execution: A Flexible ..." Article: pldi26main-p337-p (type: Full Paper) doi:10.1145/3808297
Cheung, Alvin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Optimism in Equality Saturation ..." Article: pldi26main-p376-p (type: Full Paper) doi:10.1145/3808302
Chlipala, Adam Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Mechanized Algebra of Verified ..." Article: pldi26main-p53-p (type: Full Paper) doi:10.1145/3808261 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Causality and Semantic Separation ..." Article: pldi26main-p135-p (type: Full Paper) doi:10.1145/3808274
Chopra, Kavya Proc. ACM Program. Lang., vol. 10, issue PLDI: "Semantic Reification: A New ..." Article: pldi26main-p100-p (type: Full Paper) doi:10.1145/3808268
Clebsch, Sylvan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Dynamically Checked Deep Immutability ..." Article: pldi26main-p1129-p (type: Full Paper) doi:10.1145/3808352
Correnson, Arthur Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Deductive System for Contract ..." Article: pldi26main-p15-p (type: Full Paper) doi:10.1145/3808251
Coughlin, Ayden Proc. ACM Program. Lang., vol. 10, issue PLDI: "&inator: Correct, Precise ..." Article: pldi26main-p110-p (type: Full Paper) doi:10.1145/3808270
Cui, Huimin Proc. ACM Program. Lang., vol. 10, issue PLDI: "SparseZETA: Intelligent Auto-tuner ..." Article: pldi26main-p473-p (type: Full Paper) doi:10.1145/3808313
Cui, Jiacai Proc. ACM Program. Lang., vol. 10, issue PLDI: "Exploiting Sophisticated Static ..." Article: pldi26main-p362-p (type: Full Paper) doi:10.1145/3808300
Cutler, Joseph W. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular GPU Programming with ..." Article: pldi26main-p277-p (type: Full Paper) doi:10.1145/3808290
Czenszak, Jack Proc. ACM Program. Lang., vol. 10, issue PLDI: "Incremental Computation for ..." Article: pldi26main-p491-p (type: Full Paper) doi:10.1145/3808316 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Categorical Semantics of Probabilistic ..." Article: pldi26main-p831-p (type: Full Paper) doi:10.1145/3808343
Damani, Sana Proc. ACM Program. Lang., vol. 10, issue PLDI: "SuperCollider: Scalable and ..." Article: pldi26main-p774-p (type: Full Paper) doi:10.1145/3808339
Dangwal, Siddharth Proc. ACM Program. Lang., vol. 10, issue PLDI: "CoTenN: Constrained Optimization ..." Article: pldi26main-p126-p (type: Full Paper) doi:10.1145/3808272
Dardinier, Thibault Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hyper Separation Logic ..." Article: pldi26main-p595-p (type: Full Paper) doi:10.1145/3808328
David, Cristina Proc. ACM Program. Lang., vol. 10, issue PLDI: "TreeCoder: Systematic Exploration ..." Article: pldi26main-p906-p (type: Full Paper) doi:10.1145/3808347
Delaware, Benjamin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Trace-Guided Synthesis of ..." Article: pldi26main-p68-p (type: Full Paper) doi:10.1145/3808264
Deng, Haotian Proc. ACM Program. Lang., vol. 10, issue PLDI: "Typestate via Revocable Capabilities ..." Article: pldi26main-p532-p (type: Full Paper) doi:10.1145/3808323
Desai, Ankush Proc. ACM Program. Lang., vol. 10, issue PLDI: "Trace-Guided Synthesis of ..." Article: pldi26main-p68-p (type: Full Paper) doi:10.1145/3808264
De Vilhena, Paulo Emílio Proc. ACM Program. Lang., vol. 10, issue PLDI: "Backwards-Compatible Row-Based ..." Article: pldi26main-p378-p (type: Full Paper) doi:10.1145/3808303
Devriese, Dominique Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cerisier: A Program Logic ..." Article: pldi26main-p266-p (type: Full Paper) doi:10.1145/3808287
Dillig, Işıl Proc. ACM Program. Lang., vol. 10, issue PLDI: "MatchBox: A Semantic Foundation ..." Article: pldi26main-p153-p (type: Full Paper) doi:10.1145/3808277 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Choose, Don’t Label: Multiple-Choice ..." Article: pldi26main-p161-p (type: Full Paper) doi:10.1145/3808279 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Optimal Predicate Pushdown ..." Article: pldi26main-p463-p (type: Full Paper) doi:10.1145/3808312
Ding, Danny Proc. ACM Program. Lang., vol. 10, issue PLDI: "Choose, Don’t Label: Multiple-Choice ..." Article: pldi26main-p161-p (type: Full Paper) doi:10.1145/3808279 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Presynthesis: Towards Scaling ..." Article: pldi26main-p272-p (type: Full Paper) doi:10.1145/3808288
Dinh, My Proc. ACM Program. Lang., vol. 10, issue PLDI: "Responsive Parallelism with ..." Article: pldi26main-p701-p (type: Full Paper) doi:10.1145/3808334
Donaldson, Alastair F. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Uniformity Analysis in the ..." Article: pldi26main-p659-p (type: Full Paper) doi:10.1145/3808331
Dong, James Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Compiler for Fused Relational ..." Article: pldi26main-p219-p (type: Full Paper) doi:10.1145/3808283
Dong, Rui Proc. ACM Program. Lang., vol. 10, issue PLDI: "Presynthesis: Towards Scaling ..." Article: pldi26main-p272-p (type: Full Paper) doi:10.1145/3808288
Dong, Yifan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fast Atomicity Monitoring ..." Article: pldi26main-p10-p (type: Full Paper) doi:10.1145/3808248
Dreyer, Derek Proc. ACM Program. Lang., vol. 10, issue PLDI: "VerusBelt: A Semantic Foundation ..." Article: pldi26main-p559-p (type: Full Paper) doi:10.1145/3808325
D'Souza, Deepak Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verification Modulo Tested ..." Article: pldi26main-p396-p (type: Full Paper) doi:10.1145/3808305
Du, Linfeng Proc. ACM Program. Lang., vol. 10, issue PLDI: "NEURA: A Unified and Retargetable ..." Article: pldi26main-p234-p (type: Full Paper) doi:10.1145/3808285
Du, Zhen Proc. ACM Program. Lang., vol. 10, issue PLDI: "SparseZETA: Intelligent Auto-tuner ..." Article: pldi26main-p473-p (type: Full Paper) doi:10.1145/3808313
Duck, Gregory J. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Persistent Iterators with ..." Article: pldi26main-p537-p (type: Full Paper) doi:10.1145/3808324
Ebner, Gabriel Proc. ACM Program. Lang., vol. 10, issue PLDI: "Kuiper: Correct and Efficient ..." Article: pldi26main-p173-p (type: Full Paper) doi:10.1145/3808280
Economou, Dimitrios J. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278
Elbeheiry, Laila Proc. ACM Program. Lang., vol. 10, issue PLDI: "VerusBelt: A Semantic Foundation ..." Article: pldi26main-p559-p (type: Full Paper) doi:10.1145/3808325
Ernst, Michael D. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hayroll: A Modular Wrapper ..." Article: pldi26main-p150-p (type: Full Paper) doi:10.1145/3808276
Fatahalian, Kayvon Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bonsai: Compiling Queries ..." Article: pldi26main-p25-p (type: Full Paper) doi:10.1145/3808256
Feng, Xiaobing Proc. ACM Program. Lang., vol. 10, issue PLDI: "SparseZETA: Intelligent Auto-tuner ..." Article: pldi26main-p473-p (type: Full Paper) doi:10.1145/3808313
Ferreira, Tiago Proc. ACM Program. Lang., vol. 10, issue PLDI: "Weighted NetKAT: A Programming ..." Article: pldi26main-p501-p (type: Full Paper) doi:10.1145/3808318
Fiala, Jonáš Proc. ACM Program. Lang., vol. 10, issue PLDI: "Kuiper: Correct and Efficient ..." Article: pldi26main-p173-p (type: Full Paper) doi:10.1145/3808280
Forster, Yannick Proc. ACM Program. Lang., vol. 10, issue PLDI: "Nested Inductive Types: Justified ..." Article: pldi26main-p530-p (type: Full Paper) doi:10.1145/3808322
Foster, Jessica Proc. ACM Program. Lang., vol. 10, issue PLDI: "Contextual Embeddings: Implementing ..." Article: pldi26main-p102-p (type: Full Paper) doi:10.1145/3808269
Foster, Nate Proc. ACM Program. Lang., vol. 10, issue PLDI: "Weighted NetKAT: A Programming ..." Article: pldi26main-p501-p (type: Full Paper) doi:10.1145/3808318
Frenkel, Eden Proc. ACM Program. Lang., vol. 10, issue PLDI: "Simplifying Safety Proofs ..." Article: pldi26main-p807-p (type: Full Paper) doi:10.1145/3808341
Frohlich, Samantha Proc. ACM Program. Lang., vol. 10, issue PLDI: "Contextual Embeddings: Implementing ..." Article: pldi26main-p102-p (type: Full Paper) doi:10.1145/3808269
Fu, Zhoulai Proc. ACM Program. Lang., vol. 10, issue PLDI: "Scalable Floating-Point Satisfiability ..." Article: pldi26main-p828-p (type: Full Paper) doi:10.1145/3808342
Garland, Michael Proc. ACM Program. Lang., vol. 10, issue PLDI: "SuperCollider: Scalable and ..." Article: pldi26main-p774-p (type: Full Paper) doi:10.1145/3808339
Ge, Jinming Proc. ACM Program. Lang., vol. 10, issue PLDI: "NEURA: A Unified and Retargetable ..." Article: pldi26main-p234-p (type: Full Paper) doi:10.1145/3808285
Goel, Purvi Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bonsai: Compiling Queries ..." Article: pldi26main-p25-p (type: Full Paper) doi:10.1145/3808256
Goens, Andrés Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Formally Verified Foundation ..." Article: pldi26main-p1012-p (type: Full Paper) doi:10.1145/3808350
Goharshady, Amir K. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Parameterized Algorithms and ..." Article: pldi26main-p183-p (type: Full Paper) doi:10.1145/3808282
Goldstein, Harrison Proc. ACM Program. Lang., vol. 10, issue PLDI: "The Search for Constrained ..." Article: pldi26main-p622-p (type: Full Paper) doi:10.1145/3808329
Gomber, Shaurya Proc. ACM Program. Lang., vol. 10, issue PLDI: "Evolving Abstract Transformers ..." Article: pldi26main-p887-p (type: Full Paper) doi:10.1145/3808346
Gospodinov, Trayan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hyper Separation Logic ..." Article: pldi26main-p595-p (type: Full Paper) doi:10.1145/3808328
Gouveia, Francisco Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cpp2Rust: Automatic Translation ..." Article: pldi26main-p91-p (type: Full Paper) doi:10.1145/3808266
Gregersen, Simon Oddershede Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular Verification of Differential ..." Article: pldi26main-p444-p (type: Full Paper) doi:10.1145/3808311
Griebler, Johannes Max Proc. ACM Program. Lang., vol. 10, issue PLDI: "SSA without Dominance for ..." Article: pldi26main-p239-p (type: Full Paper) doi:10.1145/3808286
Grosser, Tobias Proc. ACM Program. Lang., vol. 10, issue PLDI: "Corrigendum: Falcon: A Scalable ..." Article: pldi24main-p644-p-CR (type: Corrigendum) doi:10.1145/3820287
Grover, Kunwar Proc. ACM Program. Lang., vol. 10, issue PLDI: "Corrigendum: Falcon: A Scalable ..." Article: pldi24main-p644-p-CR (type: Corrigendum) doi:10.1145/3820287
Gu, Qiuhan Proc. ACM Program. Lang., vol. 10, issue PLDI: "SAIL: Sound Abstract Interpreters ..." Article: pldi26main-p429-p (type: Full Paper) doi:10.1145/3808308
Gu, Ronghui Proc. ACM Program. Lang., vol. 10, issue PLDI: "Equality Saturation for Quantum ..." Article: pldi26main-p23-p (type: Full Paper) doi:10.1145/3808254
Gui, Yujiang Proc. ACM Program. Lang., vol. 10, issue PLDI: "Restart and Refine: Scalable ..." Article: pldi26main-p561-p (type: Full Paper) doi:10.1145/3808326
Gulčíková, Sabína Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Efficient Matching ..." Article: pldi26main-p181-p (type: Full Paper) doi:10.1145/3808281
Guo, Zheng Proc. ACM Program. Lang., vol. 10, issue PLDI: "Presynthesis: Towards Scaling ..." Article: pldi26main-p272-p (type: Full Paper) doi:10.1145/3808288
Gyurgyik, Christophe Proc. ACM Program. Lang., vol. 10, issue PLDI: "Decoupling Data Layouts from ..." Article: pldi26main-p19-p (type: Full Paper) doi:10.1145/3808253 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bonsai: Compiling Queries ..." Article: pldi26main-p25-p (type: Full Paper) doi:10.1145/3808256
Han, Yeji Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Hance, Travis Proc. ACM Program. Lang., vol. 10, issue PLDI: "VerusBelt: A Semantic Foundation ..." Article: pldi26main-p559-p (type: Full Paper) doi:10.1145/3808325
Hansen, René Rydhof Proc. ACM Program. Lang., vol. 10, issue PLDI: "The Downgrading Semantics ..." Article: pldi26main-p49-p (type: Full Paper) doi:10.1145/3808260
Hardekopf, Ben Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fungible Memories for Automated ..." Article: pldi26main-p315-p (type: Full Paper) doi:10.1145/3808294
Haselwarter, Philipp G. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular Verification of Differential ..." Article: pldi26main-p444-p (type: Full Paper) doi:10.1145/3808311
Havlena, Vojtěch Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Efficient Matching ..." Article: pldi26main-p181-p (type: Full Paper) doi:10.1145/3808281
He, Siyuan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Typestate via Revocable Capabilities ..." Article: pldi26main-p532-p (type: Full Paper) doi:10.1145/3808323 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Escape with Your Self: Sound ..." Article: pldi26main-p703-p (type: Full Paper) doi:10.1145/3808335
Heo, Kihong Proc. ACM Program. Lang., vol. 10, issue PLDI: "Expecto: Extracting Formal ..." Article: pldi26main-p660-p (type: Full Paper) doi:10.1145/3808332
Hinnerskov, Nikolaj Hey Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verifying Array Properties ..." Article: pldi26main-p388-p (type: Full Paper) doi:10.1145/3808304
Hofmann, Jana Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Deductive System for Contract ..." Article: pldi26main-p15-p (type: Full Paper) doi:10.1145/3808251
Holík, Lukáš Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Efficient Matching ..." Article: pldi26main-p181-p (type: Full Paper) doi:10.1145/3808281
Holtzen, Steven Proc. ACM Program. Lang., vol. 10, issue PLDI: "Categorical Semantics of Probabilistic ..." Article: pldi26main-p831-p (type: Full Paper) doi:10.1145/3808343
Hrybenko, Dmytro Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cpp2Rust: Automatic Translation ..." Article: pldi26main-p91-p (type: Full Paper) doi:10.1145/3808266
Hsu, Justin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Synthesizing Backward Error ..." Article: pldi26main-p665-p (type: Full Paper) doi:10.1145/3808333
Huang, Yu Proc. ACM Program. Lang., vol. 10, issue PLDI: "Neuro-symbolic Hierarchical ..." Article: pldi26main-p772-p (type: Full Paper) doi:10.1145/3808338
Huot, Mathieu Proc. ACM Program. Lang., vol. 10, issue PLDI: "GradInf: Gradient Estimation ..." Article: pldi26main-p518-p (type: Full Paper) doi:10.1145/3808321
Hur, Chung-Kil Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Im, Yujin Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Ishii, Hiromi Proc. ACM Program. Lang., vol. 10, issue PLDI: "Pure Borrow: Linear Haskell ..." Article: pldi26main-p38-p (type: Full Paper) doi:10.1145/3808259
Issa, Jad Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hybrid Path-Sums for Hybrid ..." Article: pldi26main-p478-p (type: Full Paper) doi:10.1145/3808314
Jagannathan, Suresh Proc. ACM Program. Lang., vol. 10, issue PLDI: "Trace-Guided Synthesis of ..." Article: pldi26main-p68-p (type: Full Paper) doi:10.1145/3808264
Jangda, Abhinav Proc. ACM Program. Lang., vol. 10, issue PLDI: "Compiling Strassen-like Matrix ..." Article: pldi26main-p97-p (type: Full Paper) doi:10.1145/3808267
Ji, Ruyi Proc. ACM Program. Lang., vol. 10, issue PLDI: "Presynthesis: Towards Scaling ..." Article: pldi26main-p272-p (type: Full Paper) doi:10.1145/3808288
Jia, Songlin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Typestate via Revocable Capabilities ..." Article: pldi26main-p532-p (type: Full Paper) doi:10.1145/3808323 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Escape with Your Self: Sound ..." Article: pldi26main-p703-p (type: Full Paper) doi:10.1145/3808335
Jiang, Chencheng Proc. ACM Program. Lang., vol. 10, issue PLDI: "Analyzing Bytes: Pre-Disassembly ..." Article: pldi26main-p284-p (type: Full Paper) doi:10.1145/3808292
Jiang, Xianmeng Proc. ACM Program. Lang., vol. 10, issue PLDI: "Redundant Array Computation ..." Article: pldi26main-p566-p (type: Full Paper) doi:10.1145/3808327
Jin, Ziyue Proc. ACM Program. Lang., vol. 10, issue PLDI: "Abstract Interpretation with ..." Article: pldi26main-p1066-p (type: Full Paper) doi:10.1145/3808351
Johnson, Egan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Neptune: Advanced ML Operator ..." Article: pldi26main-p347-p (type: Full Paper) doi:10.1145/3808298
Johnson, Matthew A. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Dynamically Checked Deep Immutability ..." Article: pldi26main-p1129-p (type: Full Paper) doi:10.1145/3808352
Ju, Lei Proc. ACM Program. Lang., vol. 10, issue PLDI: "Path-Sensitive Abstract Interpretation ..." Article: pldi26main-p17-p (type: Full Paper) doi:10.1145/3808252
Jun, Eunice Proc. ACM Program. Lang., vol. 10, issue PLDI: "Causality and Semantic Separation ..." Article: pldi26main-p135-p (type: Full Paper) doi:10.1145/3808274
Jung, Jonghyun Proc. ACM Program. Lang., vol. 10, issue PLDI: "Virtualizing Continuations ..." Article: pldi26main-p273-p (type: Full Paper) doi:10.1145/3808289
Kafshdar Goharshady, Ehsan Proc. ACM Program. Lang., vol. 10, issue PLDI: "SuperDP: Differential Privacy ..." Article: pldi26main-p328-p (type: Full Paper) doi:10.1145/3808296
Kaloper-Meršinjak, David Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278
Kamil, Shoaib Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Mechanized Algebra of Verified ..." Article: pldi26main-p53-p (type: Full Paper) doi:10.1145/3808261
Kang, Jeehoon Proc. ACM Program. Lang., vol. 10, issue PLDI: "Revisiting Partial Tracing ..." Article: pldi26main-p438-p (type: Full Paper) doi:10.1145/3808310
Kashyap, Karan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Diagramming Program Values ..." Article: pldi26main-p141-p (type: Full Paper) doi:10.1145/3808275
Kasikci, Baris Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hayroll: A Modular Wrapper ..." Article: pldi26main-p150-p (type: Full Paper) doi:10.1145/3808276
Katsura, Hiroyuki Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278
Kavvos, G. A. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Contextual Embeddings: Implementing ..." Article: pldi26main-p102-p (type: Full Paper) doi:10.1145/3808269
Keuchel, Steven Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cerisier: A Program Logic ..." Article: pldi26main-p266-p (type: Full Paper) doi:10.1145/3808287
Khoshechin Jorshari, Mohammad Hossein Proc. ACM Program. Lang., vol. 10, issue PLDI: "State Space Estimation for ..." Article: pldi26main-p279-p (type: Full Paper) doi:10.1145/3808291
Kim, Jeonghyeon Proc. ACM Program. Lang., vol. 10, issue PLDI: "Revisiting Partial Tracing ..." Article: pldi26main-p438-p (type: Full Paper) doi:10.1145/3808310
Kim, Jieung Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Kim, Yonghee Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Kincaid, Zachary Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Categorical Basis for Robust ..." Article: pldi26main-p410-p (type: Full Paper) doi:10.1145/3808307
Kjolstad, Fredrik Proc. ACM Program. Lang., vol. 10, issue PLDI: "Decoupling Data Layouts from ..." Article: pldi26main-p19-p (type: Full Paper) doi:10.1145/3808253 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bonsai: Compiling Queries ..." Article: pldi26main-p25-p (type: Full Paper) doi:10.1145/3808256 Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Compiler for Fused Relational ..." Article: pldi26main-p219-p (type: Full Paper) doi:10.1145/3808283
Kobayashi, Naoki Proc. ACM Program. Lang., vol. 10, issue PLDI: "Solvable Tuple Patterns and ..." Article: pldi26main-p33-p (type: Full Paper) doi:10.1145/3808258
Kochekov, Kerim Proc. ACM Program. Lang., vol. 10, issue PLDI: "Parameterized Algorithms and ..." Article: pldi26main-p183-p (type: Full Paper) doi:10.1145/3808282
Kolokasis, Iacovos G. Proc. ACM Program. Lang., vol. 10, issue PLDI: "FlexHeap: Dynamic I/O-Aware ..." Article: pldi26main-p2-p (type: Full Paper) doi:10.1145/3808247
Kong, Sijie Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fungible Memories for Automated ..." Article: pldi26main-p315-p (type: Full Paper) doi:10.1145/3808294 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Improving Equality Saturation ..." Article: pldi26main-p348-p (type: Full Paper) doi:10.1145/3808299
Köpcke, Bastian Proc. ACM Program. Lang., vol. 10, issue PLDI: "Kuiper: Correct and Efficient ..." Article: pldi26main-p173-p (type: Full Paper) doi:10.1145/3808280
Kording, Konrad Proc. ACM Program. Lang., vol. 10, issue PLDI: "Compiling to Recurrent Neurons ..." Article: pldi26main-p881-p (type: Full Paper) doi:10.1145/3808345
Krebbers, Robbert Proc. ACM Program. Lang., vol. 10, issue PLDI: "Backwards-Compatible Row-Based ..." Article: pldi26main-p378-p (type: Full Paper) doi:10.1145/3808303
Krishnamurthi, Shriram Proc. ACM Program. Lang., vol. 10, issue PLDI: "Diagramming Program Values ..." Article: pldi26main-p141-p (type: Full Paper) doi:10.1145/3808275
Krishnaswami, Neel Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278
Kura, Satoshi Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Hierarchy of Supermartingales ..." Article: pldi26main-p28-p (type: Full Paper) doi:10.1145/3808257 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Supermartingales for Unique ..." Article: pldi26main-p950-p (type: Full Paper) doi:10.1145/3808348
Kwon, Youngjin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Revisiting Partial Tracing ..." Article: pldi26main-p438-p (type: Full Paper) doi:10.1145/3808310
Ladram, Anis Proc. ACM Program. Lang., vol. 10, issue PLDI: "SuperCollider: Scalable and ..." Article: pldi26main-p774-p (type: Full Paper) doi:10.1145/3808339
Lamiaux, Thomas Proc. ACM Program. Lang., vol. 10, issue PLDI: "Nested Inductive Types: Justified ..." Article: pldi26main-p530-p (type: Full Paper) doi:10.1145/3808322
Lampropoulos, Leonidas Proc. ACM Program. Lang., vol. 10, issue PLDI: "The Search for Constrained ..." Article: pldi26main-p622-p (type: Full Paper) doi:10.1145/3808329
Larsen, Andreas Stenbæk Proc. ACM Program. Lang., vol. 10, issue PLDI: "The Downgrading Semantics ..." Article: pldi26main-p49-p (type: Full Paper) doi:10.1145/3808260
Lee, Dongjae Proc. ACM Program. Lang., vol. 10, issue PLDI: "Expecto: Extracting Formal ..." Article: pldi26main-p660-p (type: Full Paper) doi:10.1145/3808332
Lee, Jaehyung Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Lee, Juneyoung Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Removing Undef Values ..." Article: pldi26main-p14-p (type: Full Paper) doi:10.1145/3808250
Lee, Seonho Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Lee, Zheng Han Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fixed Parameter Tractable ..." Article: pldi26main-p482-p (type: Full Paper) doi:10.1145/3808315
Lee-Jones, James Proc. ACM Program. Lang., vol. 10, issue PLDI: "Uniformity Analysis in the ..." Article: pldi26main-p659-p (type: Full Paper) doi:10.1145/3808331
Legoupil, Maxime Proc. ACM Program. Lang., vol. 10, issue PLDI: "Iris-WasmFX: Modular Reasoning ..." Article: pldi26main-p111-p (type: Full Paper) doi:10.1145/3808271
Leijen, Daan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Syntactic Implicit Parameters ..." Article: pldi26main-p717-p (type: Full Paper) doi:10.1145/3808336
Leißa, Roland Proc. ACM Program. Lang., vol. 10, issue PLDI: "SSA without Dominance for ..." Article: pldi26main-p239-p (type: Full Paper) doi:10.1145/3808286
Lengál, Ondřej Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Efficient Matching ..." Article: pldi26main-p181-p (type: Full Paper) doi:10.1145/3808281
León, Marelle Proc. ACM Program. Lang., vol. 10, issue PLDI: "Responsive Parallelism with ..." Article: pldi26main-p701-p (type: Full Paper) doi:10.1145/3808334
Lew, Alexander K. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Incremental Computation for ..." Article: pldi26main-p491-p (type: Full Paper) doi:10.1145/3808316 Proc. ACM Program. Lang., vol. 10, issue PLDI: "GradInf: Gradient Estimation ..." Article: pldi26main-p518-p (type: Full Paper) doi:10.1145/3808321
Li, Angela W. Proc. ACM Program. Lang., vol. 10, issue PLDI: "An Efficient Algorithm for ..." Article: pldi26main-p647-p (type: Full Paper) doi:10.1145/3808330
Li, Cong Proc. ACM Program. Lang., vol. 10, issue PLDI: "Semantic Reification: A New ..." Article: pldi26main-p100-p (type: Full Paper) doi:10.1145/3808268
Li, Elaine Proc. ACM Program. Lang., vol. 10, issue PLDI: "Implementability of Global ..." Article: pldi26main-p510-p (type: Full Paper) doi:10.1145/3808319
Li, Jiajia Proc. ACM Program. Lang., vol. 10, issue PLDI: "SparseZETA: Intelligent Auto-tuner ..." Article: pldi26main-p473-p (type: Full Paper) doi:10.1145/3808313
Li, John M. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Categorical Semantics of Probabilistic ..." Article: pldi26main-p831-p (type: Full Paper) doi:10.1145/3808343
Li, Kun Proc. ACM Program. Lang., vol. 10, issue PLDI: "Redundant Array Computation ..." Article: pldi26main-p566-p (type: Full Paper) doi:10.1145/3808327
Li, Kwing Hei Proc. ACM Program. Lang., vol. 10, issue PLDI: "Contextual Refinement of Higher-Order ..." Article: pldi26main-p77-p (type: Full Paper) doi:10.1145/3808265 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular Verification of Differential ..." Article: pldi26main-p444-p (type: Full Paper) doi:10.1145/3808311
Li, Shangkun Proc. ACM Program. Lang., vol. 10, issue PLDI: "NEURA: A Unified and Retargetable ..." Article: pldi26main-p234-p (type: Full Paper) doi:10.1145/3808285
Li, Yihe Proc. ACM Program. Lang., vol. 10, issue PLDI: "Persistent Iterators with ..." Article: pldi26main-p537-p (type: Full Paper) doi:10.1145/3808324
Li, Yue Proc. ACM Program. Lang., vol. 10, issue PLDI: "Exploiting Sophisticated Static ..." Article: pldi26main-p362-p (type: Full Paper) doi:10.1145/3808300
Li, Zeyu Proc. ACM Program. Lang., vol. 10, issue PLDI: "NEURA: A Unified and Retargetable ..." Article: pldi26main-p234-p (type: Full Paper) doi:10.1145/3808285
Liang, Jiawei Proc. ACM Program. Lang., vol. 10, issue PLDI: "NEURA: A Unified and Retargetable ..." Article: pldi26main-p234-p (type: Full Paper) doi:10.1145/3808285
Lin, Zhengyao Proc. ACM Program. Lang., vol. 10, issue PLDI: "Let It Flow: A Formally Verified ..." Article: pldi26main-p56-p (type: Full Paper) doi:10.1145/3808263
Lindley, Sam Proc. ACM Program. Lang., vol. 10, issue PLDI: "Iris-WasmFX: Modular Reasoning ..." Article: pldi26main-p111-p (type: Full Paper) doi:10.1145/3808271
Liu, Amanda Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Mechanized Algebra of Verified ..." Article: pldi26main-p53-p (type: Full Paper) doi:10.1145/3808261
Liu, Craig Proc. ACM Program. Lang., vol. 10, issue PLDI: "Typestate via Revocable Capabilities ..." Article: pldi26main-p532-p (type: Full Paper) doi:10.1145/3808323
Liu, Ying Proc. ACM Program. Lang., vol. 10, issue PLDI: "SparseZETA: Intelligent Auto-tuner ..." Article: pldi26main-p473-p (type: Full Paper) doi:10.1145/3808313
Lobo, Pedro Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Removing Undef Values ..." Article: pldi26main-p14-p (type: Full Paper) doi:10.1145/3808250
Lopes, Nuno P. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Removing Undef Values ..." Article: pldi26main-p14-p (type: Full Paper) doi:10.1145/3808250 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cpp2Rust: Automatic Translation ..." Article: pldi26main-p91-p (type: Full Paper) doi:10.1145/3808266
Lu, Jian Proc. ACM Program. Lang., vol. 10, issue PLDI: "Exploiting Sophisticated Static ..." Article: pldi26main-p362-p (type: Full Paper) doi:10.1145/3808300
Lubin, Justin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Navigating AND–OR Graph ..." Article: pldi26main-p879-p (type: Full Paper) doi:10.1145/3808344
Luo, Qinglan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Causality and Semantic Separation ..." Article: pldi26main-p135-p (type: Full Paper) doi:10.1145/3808274
Ma, Cong Proc. ACM Program. Lang., vol. 10, issue PLDI: "Virtualizing Continuations ..." Article: pldi26main-p273-p (type: Full Paper) doi:10.1145/3808289
Ma, Kexin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Neuro-symbolic Hierarchical ..." Article: pldi26main-p772-p (type: Full Paper) doi:10.1145/3808338
Ma, Xiaoxing Proc. ACM Program. Lang., vol. 10, issue PLDI: "Exploiting Sophisticated Static ..." Article: pldi26main-p362-p (type: Full Paper) doi:10.1145/3808300
Ma, Zhengyi Proc. ACM Program. Lang., vol. 10, issue PLDI: "Neuro-symbolic Hierarchical ..." Article: pldi26main-p772-p (type: Full Paper) doi:10.1145/3808338
Madhusudan, P. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verification Modulo Tested ..." Article: pldi26main-p396-p (type: Full Paper) doi:10.1145/3808305
Majumdar, Rupak Proc. ACM Program. Lang., vol. 10, issue PLDI: "State Space Estimation for ..." Article: pldi26main-p279-p (type: Full Paper) doi:10.1145/3808291
Makwana, Dhruv Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278
Mamouras, Konstantinos Proc. ACM Program. Lang., vol. 10, issue PLDI: "An Efficient Algorithm for ..." Article: pldi26main-p647-p (type: Full Paper) doi:10.1145/3808330
Mansinghka, Vikash K. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Incremental Computation for ..." Article: pldi26main-p491-p (type: Full Paper) doi:10.1145/3808316
Martínez, Guido Proc. ACM Program. Lang., vol. 10, issue PLDI: "Kuiper: Correct and Efficient ..." Article: pldi26main-p173-p (type: Full Paper) doi:10.1145/3808280 Proc. ACM Program. Lang., vol. 10, issue PLDI: "SIMT-Step Execution: A Flexible ..." Article: pldi26main-p337-p (type: Full Paper) doi:10.1145/3808297
Mathur, Umang Proc. ACM Program. Lang., vol. 10, issue PLDI: "State Space Estimation for ..." Article: pldi26main-p279-p (type: Full Paper) doi:10.1145/3808291 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fixed Parameter Tractable ..." Article: pldi26main-p482-p (type: Full Paper) doi:10.1145/3808315
Matsushita, Yusuke Proc. ACM Program. Lang., vol. 10, issue PLDI: "Pure Borrow: Linear Haskell ..." Article: pldi26main-p38-p (type: Full Paper) doi:10.1145/3808259 Proc. ACM Program. Lang., vol. 10, issue PLDI: "VerusBelt: A Semantic Foundation ..." Article: pldi26main-p559-p (type: Full Paper) doi:10.1145/3808325
McIver, John Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Removing Undef Values ..." Article: pldi26main-p14-p (type: Full Paper) doi:10.1145/3808250
McMillan, Kenneth L. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Simplifying Safety Proofs ..." Article: pldi26main-p807-p (type: Full Paper) doi:10.1145/3808341
Memarian, Kayvan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278
Misailovic, Sasa Proc. ACM Program. Lang., vol. 10, issue PLDI: "Neptune: Advanced ML Operator ..." Article: pldi26main-p347-p (type: Full Paper) doi:10.1145/3808298
Mitenkov, George Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Removing Undef Values ..." Article: pldi26main-p14-p (type: Full Paper) doi:10.1145/3808250
Moon, Soonwon Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Muhammad, Omar Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verification Modulo Tested ..." Article: pldi26main-p396-p (type: Full Paper) doi:10.1145/3808305
Müller, Peter Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hyper Separation Logic ..." Article: pldi26main-p595-p (type: Full Paper) doi:10.1145/3808328
Muller, Stefan K. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Responsive Parallelism with ..." Article: pldi26main-p701-p (type: Full Paper) doi:10.1145/3808334
Murali, Adithya Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verification Modulo Tested ..." Article: pldi26main-p396-p (type: Full Paper) doi:10.1145/3808305
Nagarajan, Vijay Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Formally Verified Foundation ..." Article: pldi26main-p1012-p (type: Full Paper) doi:10.1145/3808350
Nam, Donghyun Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Nelson, Tim Proc. ACM Program. Lang., vol. 10, issue PLDI: "Diagramming Program Values ..." Article: pldi26main-p141-p (type: Full Paper) doi:10.1145/3808275
Nguyen, Huan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Analyzing Bytes: Pre-Disassembly ..." Article: pldi26main-p284-p (type: Full Paper) doi:10.1145/3808292
Nguyen, Mathieu Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hybrid Path-Sums for Hybrid ..." Article: pldi26main-p478-p (type: Full Paper) doi:10.1145/3808314
Oancea, Cosmin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verifying Array Properties ..." Article: pldi26main-p388-p (type: Full Paper) doi:10.1145/3808304
Padon, Oded Proc. ACM Program. Lang., vol. 10, issue PLDI: "Simplifying Safety Proofs ..." Article: pldi26main-p807-p (type: Full Paper) doi:10.1145/3808341
Palsberg, Jens Proc. ACM Program. Lang., vol. 10, issue PLDI: "SAQR-QC: A Logic for Scalable ..." Article: pldi26main-p228-p (type: Full Paper) doi:10.1145/3808284
Park, Jongse Proc. ACM Program. Lang., vol. 10, issue PLDI: "Revisiting Partial Tracing ..." Article: pldi26main-p438-p (type: Full Paper) doi:10.1145/3808310
Parkinson, Matthew J. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Dynamically Checked Deep Immutability ..." Article: pldi26main-p1129-p (type: Full Paper) doi:10.1145/3808352
Pavlogiannis, Andreas Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fast Atomicity Monitoring ..." Article: pldi26main-p10-p (type: Full Paper) doi:10.1145/3808248
Pedersen, Mathias Proc. ACM Program. Lang., vol. 10, issue PLDI: "Iris-WasmFX: Modular Reasoning ..." Article: pldi26main-p111-p (type: Full Paper) doi:10.1145/3808271
Peleg, Hila Proc. ACM Program. Lang., vol. 10, issue PLDI: "The Search for Constrained ..." Article: pldi26main-p622-p (type: Full Paper) doi:10.1145/3808329
Peng, Cheng Proc. ACM Program. Lang., vol. 10, issue PLDI: "CoTenN: Constrained Optimization ..." Article: pldi26main-p126-p (type: Full Paper) doi:10.1145/3808272
Peng, Haoran Proc. ACM Program. Lang., vol. 10, issue PLDI: "Hayroll: A Modular Wrapper ..." Article: pldi26main-p150-p (type: Full Paper) doi:10.1145/3808276
Pichon-Pharabod, Jean Proc. ACM Program. Lang., vol. 10, issue PLDI: "Iris-WasmFX: Modular Reasoning ..." Article: pldi26main-p111-p (type: Full Paper) doi:10.1145/3808271
Pierce, Benjamin C. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278 Proc. ACM Program. Lang., vol. 10, issue PLDI: "The Search for Constrained ..." Article: pldi26main-p622-p (type: Full Paper) doi:10.1145/3808329
Pitchanathan, Arjun Proc. ACM Program. Lang., vol. 10, issue PLDI: "Corrigendum: Falcon: A Scalable ..." Article: pldi24main-p644-p-CR (type: Corrigendum) doi:10.1145/3820287
Platzer, André Proc. ACM Program. Lang., vol. 10, issue PLDI: "Heterogeneous Dynamic Logic: ..." Article: pldi26main-p324-p (type: Full Paper) doi:10.1145/3808295
Popescu, Lucian Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cpp2Rust: Automatic Translation ..." Article: pldi26main-p91-p (type: Full Paper) doi:10.1145/3808266
Prasad, Siddhartha Proc. ACM Program. Lang., vol. 10, issue PLDI: "Diagramming Program Values ..." Article: pldi26main-p141-p (type: Full Paper) doi:10.1145/3808275
Pratikakis, Polyvios Proc. ACM Program. Lang., vol. 10, issue PLDI: "FlexHeap: Dynamic I/O-Aware ..." Article: pldi26main-p2-p (type: Full Paper) doi:10.1145/3808247
Preigh, Marlena Proc. ACM Program. Lang., vol. 10, issue PLDI: "Navigating AND–OR Graph ..." Article: pldi26main-p879-p (type: Full Paper) doi:10.1145/3808344
Preto, Henrique Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cpp2Rust: Automatic Translation ..." Article: pldi26main-p91-p (type: Full Paper) doi:10.1145/3808266
Princis, Henrijs Proc. ACM Program. Lang., vol. 10, issue PLDI: "TreeCoder: Systematic Exploration ..." Article: pldi26main-p906-p (type: Full Paper) doi:10.1145/3808347
Priyadarshan, Soumyakant Proc. ACM Program. Lang., vol. 10, issue PLDI: "Analyzing Bytes: Pre-Disassembly ..." Article: pldi26main-p284-p (type: Full Paper) doi:10.1145/3808292
Pulte, Christopher Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278
Qiu, Longfei Proc. ACM Program. Lang., vol. 10, issue PLDI: "SureDistrib: Verifying Almost-Sure ..." Article: pldi26main-p304-p (type: Full Paper) doi:10.1145/3808293
Raad, Azalea Proc. ACM Program. Lang., vol. 10, issue PLDI: "Soteria: Efficient Symbolic ..." Article: pldi26main-p402-p (type: Full Paper) doi:10.1145/3808306
Ragan-Kelley, Jonathan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bonsai: Compiling Queries ..." Article: pldi26main-p25-p (type: Full Paper) doi:10.1145/3808256 Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Mechanized Algebra of Verified ..." Article: pldi26main-p53-p (type: Full Paper) doi:10.1145/3808261 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular GPU Programming with ..." Article: pldi26main-p277-p (type: Full Paper) doi:10.1145/3808290
Ramananandro, Tahina Proc. ACM Program. Lang., vol. 10, issue PLDI: "Kuiper: Correct and Efficient ..." Article: pldi26main-p173-p (type: Full Paper) doi:10.1145/3808280
Rao, Varun Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fungible Memories for Automated ..." Article: pldi26main-p315-p (type: Full Paper) doi:10.1145/3808294
Raun, Paige Proc. ACM Program. Lang., vol. 10, issue PLDI: "Equality Saturation for Quantum ..." Article: pldi26main-p23-p (type: Full Paper) doi:10.1145/3808254
Ravindran, Binoy Proc. ACM Program. Lang., vol. 10, issue PLDI: "Scalable Floating-Point Satisfiability ..." Article: pldi26main-p828-p (type: Full Paper) doi:10.1145/3808342
Rehman, Naomi Proc. ACM Program. Lang., vol. 10, issue PLDI: "SIMT-Step Execution: A Flexible ..." Article: pldi26main-p337-p (type: Full Paper) doi:10.1145/3808297
Reppy, John Proc. ACM Program. Lang., vol. 10, issue PLDI: "Flow-Analysis-Based Closure ..." Article: pldi26main-p54-p (type: Full Paper) doi:10.1145/3808262
Reps, Thomas Proc. ACM Program. Lang., vol. 10, issue PLDI: "SAQR-QC: A Logic for Scalable ..." Article: pldi26main-p228-p (type: Full Paper) doi:10.1145/3808284
Rhee, Taeyoung Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Rinard, Martin C. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Incremental Computation for ..." Article: pldi26main-p491-p (type: Full Paper) doi:10.1145/3808316
Rompf, Tiark Proc. ACM Program. Lang., vol. 10, issue PLDI: "Typestate via Revocable Capabilities ..." Article: pldi26main-p532-p (type: Full Paper) doi:10.1145/3808323 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Escape with Your Self: Sound ..." Article: pldi26main-p703-p (type: Full Paper) doi:10.1145/3808335
Root, Alexander J Proc. ACM Program. Lang., vol. 10, issue PLDI: "Decoupling Data Layouts from ..." Article: pldi26main-p19-p (type: Full Paper) doi:10.1145/3808253 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bonsai: Compiling Queries ..." Article: pldi26main-p25-p (type: Full Paper) doi:10.1145/3808256
Rousseau, June Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cerisier: A Program Logic ..." Article: pldi26main-p266-p (type: Full Paper) doi:10.1145/3808287
Ruelas-Petrisko, Daniel Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fungible Memories for Automated ..." Article: pldi26main-p315-p (type: Full Paper) doi:10.1145/3808294 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Improving Equality Saturation ..." Article: pldi26main-p348-p (type: Full Paper) doi:10.1145/3808299
S, Sumanth Prabhu Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verification Modulo Tested ..." Article: pldi26main-p396-p (type: Full Paper) doi:10.1145/3808305
Saad, Feras A. Proc. ACM Program. Lang., vol. 10, issue PLDI: "GradInf: Gradient Estimation ..." Article: pldi26main-p518-p (type: Full Paper) doi:10.1145/3808321
Sainati, Daniel Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular GPU Programming with ..." Article: pldi26main-p277-p (type: Full Paper) doi:10.1145/3808290 Proc. ACM Program. Lang., vol. 10, issue PLDI: "The Search for Constrained ..." Article: pldi26main-p622-p (type: Full Paper) doi:10.1145/3808329
Salvaneschi, Guido Proc. ACM Program. Lang., vol. 10, issue PLDI: "Versioned E-Graphs ..." Article: pldi26main-p12-p (type: Full Paper) doi:10.1145/3808249
Santos, José Fragoso Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cpp2Rust: Automatic Translation ..." Article: pldi26main-p91-p (type: Full Paper) doi:10.1145/3808266
Sato, Ryosuke Proc. ACM Program. Lang., vol. 10, issue PLDI: "Solvable Tuple Patterns and ..." Article: pldi26main-p33-p (type: Full Paper) doi:10.1145/3808258
Saxena, Divyanshu Proc. ACM Program. Lang., vol. 10, issue PLDI: "MatchBox: A Semantic Foundation ..." Article: pldi26main-p153-p (type: Full Paper) doi:10.1145/3808277
Schauer, Moritz Proc. ACM Program. Lang., vol. 10, issue PLDI: "GradInf: Gradient Estimation ..." Article: pldi26main-p518-p (type: Full Paper) doi:10.1145/3808321
Schenck, Robert Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verifying Array Properties ..." Article: pldi26main-p388-p (type: Full Paper) doi:10.1145/3808304 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Pantomime: Constructive Leakage ..." Article: pldi26main-p785-p (type: Full Paper) doi:10.1145/3808340
Scherer, Gabriel Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Verified Parallel Scheduler ..." Article: pldi26main-p742-p (type: Full Paper) doi:10.1145/3808337
Sekar, R. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Analyzing Bytes: Pre-Disassembly ..." Article: pldi26main-p284-p (type: Full Paper) doi:10.1145/3808292
Sewell, Peter Proc. ACM Program. Lang., vol. 10, issue PLDI: "Code-Specify-Test-Debug-Prove: ..." Article: pldi26main-p155-p (type: Full Paper) doi:10.1145/3808278
Shao, Zhong Proc. ACM Program. Lang., vol. 10, issue PLDI: "SureDistrib: Verifying Almost-Sure ..." Article: pldi26main-p304-p (type: Full Paper) doi:10.1145/3808293
Sharma, Arindam Proc. ACM Program. Lang., vol. 10, issue PLDI: "TreeCoder: Systematic Exploration ..." Article: pldi26main-p906-p (type: Full Paper) doi:10.1145/3808347
Sharma, Ritvik Proc. ACM Program. Lang., vol. 10, issue PLDI: "CoTenN: Constrained Optimization ..." Article: pldi26main-p126-p (type: Full Paper) doi:10.1145/3808272
Shi, Yuanfeng Proc. ACM Program. Lang., vol. 10, issue PLDI: "Abstract Interpretation with ..." Article: pldi26main-p1066-p (type: Full Paper) doi:10.1145/3808351
Shin, Ji-Yong Proc. ACM Program. Lang., vol. 10, issue PLDI: "SureDistrib: Verifying Almost-Sure ..." Article: pldi26main-p304-p (type: Full Paper) doi:10.1145/3808293
Shinohara, Ayumi Proc. ACM Program. Lang., vol. 10, issue PLDI: "Solvable Tuple Patterns and ..." Article: pldi26main-p33-p (type: Full Paper) doi:10.1145/3808258
Shivers, Olin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Flow-Analysis-Based Closure ..." Article: pldi26main-p54-p (type: Full Paper) doi:10.1145/3808262
Shoham, Sharon Proc. ACM Program. Lang., vol. 10, issue PLDI: "Simplifying Safety Proofs ..." Article: pldi26main-p807-p (type: Full Paper) doi:10.1145/3808341
Shu, Tian Proc. ACM Program. Lang., vol. 10, issue PLDI: "Parameterized Algorithms and ..." Article: pldi26main-p183-p (type: Full Paper) doi:10.1145/3808282
Silva, Alexandra Proc. ACM Program. Lang., vol. 10, issue PLDI: "Weighted NetKAT: A Programming ..." Article: pldi26main-p501-p (type: Full Paper) doi:10.1145/3808318
Silveira, João Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cpp2Rust: Automatic Translation ..." Article: pldi26main-p91-p (type: Full Paper) doi:10.1145/3808266
Singh, Avaljot Proc. ACM Program. Lang., vol. 10, issue PLDI: "SAIL: Sound Abstract Interpreters ..." Article: pldi26main-p429-p (type: Full Paper) doi:10.1145/3808308
Singh, Gagandeep Proc. ACM Program. Lang., vol. 10, issue PLDI: "SAIL: Sound Abstract Interpreters ..." Article: pldi26main-p429-p (type: Full Paper) doi:10.1145/3808308 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Evolving Abstract Transformers ..." Article: pldi26main-p887-p (type: Full Paper) doi:10.1145/3808346
Sisco, Zachary D. Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fungible Memories for Automated ..." Article: pldi26main-p315-p (type: Full Paper) doi:10.1145/3808294 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Improving Equality Saturation ..." Article: pldi26main-p348-p (type: Full Paper) doi:10.1145/3808299
Sjöstedt, Opale Proc. ACM Program. Lang., vol. 10, issue PLDI: "Soteria: Efficient Symbolic ..." Article: pldi26main-p402-p (type: Full Paper) doi:10.1145/3808306
Smith, Gus Henry Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fungible Memories for Automated ..." Article: pldi26main-p315-p (type: Full Paper) doi:10.1145/3808294 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Improving Equality Saturation ..." Article: pldi26main-p348-p (type: Full Paper) doi:10.1145/3808299
Sojakova, Kristina Proc. ACM Program. Lang., vol. 10, issue PLDI: "Pantomime: Constructive Leakage ..." Article: pldi26main-p785-p (type: Full Paper) doi:10.1145/3808340
Sorensen, Tyler Proc. ACM Program. Lang., vol. 10, issue PLDI: "Kuiper: Correct and Efficient ..." Article: pldi26main-p173-p (type: Full Paper) doi:10.1145/3808280 Proc. ACM Program. Lang., vol. 10, issue PLDI: "SIMT-Step Execution: A Flexible ..." Article: pldi26main-p337-p (type: Full Paper) doi:10.1145/3808297
Sorin, Daniel Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Formally Verified Foundation ..." Article: pldi26main-p1012-p (type: Full Paper) doi:10.1145/3808350
Sotiropoulos, Thodoris Proc. ACM Program. Lang., vol. 10, issue PLDI: "Semantic Reification: A New ..." Article: pldi26main-p100-p (type: Full Paper) doi:10.1145/3808268 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Enumerating Ill-Typed Programs ..." Article: pldi26main-p517-p (type: Full Paper) doi:10.1145/3808320
Sozeau, Matthieu Proc. ACM Program. Lang., vol. 10, issue PLDI: "Nested Inductive Types: Justified ..." Article: pldi26main-p530-p (type: Full Paper) doi:10.1145/3808322
Springer, Julian Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fungible Memories for Automated ..." Article: pldi26main-p315-p (type: Full Paper) doi:10.1145/3808294
Sridharan, Manu Proc. ACM Program. Lang., vol. 10, issue PLDI: "Editorial Message ..." Article: pldi26editorial-fm001-p (type: Editorial) doi:10.1145/3818664
Stephenson, Mark Proc. ACM Program. Lang., vol. 10, issue PLDI: "SuperCollider: Scalable and ..." Article: pldi26main-p774-p (type: Full Paper) doi:10.1145/3808339
Steuwer, Michel Proc. ACM Program. Lang., vol. 10, issue PLDI: "Kuiper: Correct and Efficient ..." Article: pldi26main-p173-p (type: Full Paper) doi:10.1145/3808280
Stoldt, Fridtjof Proc. ACM Program. Lang., vol. 10, issue PLDI: "Dynamically Checked Deep Immutability ..." Article: pldi26main-p1129-p (type: Full Paper) doi:10.1145/3808352
Su, Zhendong Proc. ACM Program. Lang., vol. 10, issue PLDI: "Semantic Reification: A New ..." Article: pldi26main-p100-p (type: Full Paper) doi:10.1145/3808268 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Enumerating Ill-Typed Programs ..." Article: pldi26main-p517-p (type: Full Paper) doi:10.1145/3808320
Suárez Acevedo, Emmanuel Proc. ACM Program. Lang., vol. 10, issue PLDI: "Weighted NetKAT: A Programming ..." Article: pldi26main-p501-p (type: Full Paper) doi:10.1145/3808318
Sun, Mengxia Proc. ACM Program. Lang., vol. 10, issue PLDI: "Path-Sensitive Abstract Interpretation ..." Article: pldi26main-p17-p (type: Full Paper) doi:10.1145/3808252
Sundararajah, Kirshanthan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Removing Undef Values ..." Article: pldi26main-p14-p (type: Full Paper) doi:10.1145/3808250
Surbatovich, Milijana Proc. ACM Program. Lang., vol. 10, issue PLDI: "Let It Flow: A Formally Verified ..." Article: pldi26main-p56-p (type: Full Paper) doi:10.1145/3808263
Swamy, Nikhil Proc. ACM Program. Lang., vol. 10, issue PLDI: "Kuiper: Correct and Efficient ..." Article: pldi26main-p173-p (type: Full Paper) doi:10.1145/3808280
Tabareau, Nicolas Proc. ACM Program. Lang., vol. 10, issue PLDI: "Nested Inductive Types: Justified ..." Article: pldi26main-p530-p (type: Full Paper) doi:10.1145/3808322
Tan, Cheng Proc. ACM Program. Lang., vol. 10, issue PLDI: "NEURA: A Unified and Retargetable ..." Article: pldi26main-p234-p (type: Full Paper) doi:10.1145/3808285
Tan, Tian Proc. ACM Program. Lang., vol. 10, issue PLDI: "Exploiting Sophisticated Static ..." Article: pldi26main-p362-p (type: Full Paper) doi:10.1145/3808300
Tang, Dixin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Optimal Predicate Pushdown ..." Article: pldi26main-p463-p (type: Full Paper) doi:10.1145/3808312
Tao, Diyuan Proc. ACM Program. Lang., vol. 10, issue PLDI: "NEURA: A Unified and Retargetable ..." Article: pldi26main-p234-p (type: Full Paper) doi:10.1145/3808285
Tao, Runzhou Proc. ACM Program. Lang., vol. 10, issue PLDI: "Equality Saturation for Quantum ..." Article: pldi26main-p23-p (type: Full Paper) doi:10.1145/3808254
Tao, Yonggang Proc. ACM Program. Lang., vol. 10, issue PLDI: "Restart and Refine: Scalable ..." Article: pldi26main-p561-p (type: Full Paper) doi:10.1145/3808326
Tarek Ibn Ziad, Mohamed Proc. ACM Program. Lang., vol. 10, issue PLDI: "SuperCollider: Scalable and ..." Article: pldi26main-p774-p (type: Full Paper) doi:10.1145/3808339
Tassarotti, Joseph Proc. ACM Program. Lang., vol. 10, issue PLDI: "Contextual Refinement of Higher-Order ..." Article: pldi26main-p77-p (type: Full Paper) doi:10.1145/3808265 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Modular Verification of Differential ..." Article: pldi26main-p444-p (type: Full Paper) doi:10.1145/3808311
Teuber, Samuel Proc. ACM Program. Lang., vol. 10, issue PLDI: "Heterogeneous Dynamic Logic: ..." Article: pldi26main-p324-p (type: Full Paper) doi:10.1145/3808295
Torczon, Cassia Proc. ACM Program. Lang., vol. 10, issue PLDI: "The Search for Constrained ..." Article: pldi26main-p622-p (type: Full Paper) doi:10.1145/3808329
Tsukada, Takeshi Proc. ACM Program. Lang., vol. 10, issue PLDI: "Supermartingales for Unique ..." Article: pldi26main-p950-p (type: Full Paper) doi:10.1145/3808348
Tu, Michael Proc. ACM Program. Lang., vol. 10, issue PLDI: "Diagramming Program Values ..." Article: pldi26main-p141-p (type: Full Paper) doi:10.1145/3808275
Tunç, Hünkar Can Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fast Atomicity Monitoring ..." Article: pldi26main-p10-p (type: Full Paper) doi:10.1145/3808248
Ulbrich, Mattias Proc. ACM Program. Lang., vol. 10, issue PLDI: "Heterogeneous Dynamic Logic: ..." Article: pldi26main-p324-p (type: Full Paper) doi:10.1145/3808295
Unno, Hiroshi Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Hierarchy of Supermartingales ..." Article: pldi26main-p28-p (type: Full Paper) doi:10.1145/3808257 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Supermartingales for Unique ..." Article: pldi26main-p950-p (type: Full Paper) doi:10.1145/3808348
Uppar, Abhishek Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verification Modulo Tested ..." Article: pldi26main-p396-p (type: Full Paper) doi:10.1145/3808305
Urbat, Henning Proc. ACM Program. Lang., vol. 10, issue PLDI: "Intrinsically Correct Algorithms ..." Article: pldi26main-p434-p (type: Full Paper) doi:10.1145/3808309
Van Collem, Simcha Proc. ACM Program. Lang., vol. 10, issue PLDI: "Backwards-Compatible Row-Based ..." Article: pldi26main-p378-p (type: Full Paper) doi:10.1145/3808303
Van Strydonck, Thomas Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cerisier: A Program Logic ..." Article: pldi26main-p266-p (type: Full Paper) doi:10.1145/3808287
Varatalu, Ian Erik Proc. ACM Program. Lang., vol. 10, issue PLDI: "EREQ: Regular Expressions ..." Article: pldi26main-p993-p (type: Full Paper) doi:10.1145/3808349
Vašák, Jan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Towards Efficient Matching ..." Article: pldi26main-p181-p (type: Full Paper) doi:10.1145/3808281
Veanes, Margus Proc. ACM Program. Lang., vol. 10, issue PLDI: "EREQ: Regular Expressions ..." Article: pldi26main-p993-p (type: Full Paper) doi:10.1145/3808349
Velez-Ginorio, Joey Proc. ACM Program. Lang., vol. 10, issue PLDI: "Compiling to Recurrent Neurons ..." Article: pldi26main-p881-p (type: Full Paper) doi:10.1145/3808345
Von Gleissenthall, Klaus Proc. ACM Program. Lang., vol. 10, issue PLDI: "Pantomime: Constructive Leakage ..." Article: pldi26main-p785-p (type: Full Paper) doi:10.1145/3808340
Wang, Ji Proc. ACM Program. Lang., vol. 10, issue PLDI: "Neuro-symbolic Hierarchical ..." Article: pldi26main-p772-p (type: Full Paper) doi:10.1145/3808338
Wang, Jiayi Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bridging Coverage and Confidence: ..." Article: pldi26main-p363-p (type: Full Paper) doi:10.1145/3808301
Wang, Jinpeng Proc. ACM Program. Lang., vol. 10, issue PLDI: "Exploiting Sophisticated Static ..." Article: pldi26main-p362-p (type: Full Paper) doi:10.1145/3808300
Wang, Ke Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bridging Coverage and Confidence: ..." Article: pldi26main-p363-p (type: Full Paper) doi:10.1145/3808301
Wang, Linzhang Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bridging Coverage and Confidence: ..." Article: pldi26main-p363-p (type: Full Paper) doi:10.1145/3808301
Wang, Meng Proc. ACM Program. Lang., vol. 10, issue PLDI: "Contextual Embeddings: Implementing ..." Article: pldi26main-p102-p (type: Full Paper) doi:10.1145/3808269
Wang, Spencer Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fungible Memories for Automated ..." Article: pldi26main-p315-p (type: Full Paper) doi:10.1145/3808294
Wang, Xinyu Proc. ACM Program. Lang., vol. 10, issue PLDI: "Presynthesis: Towards Scaling ..." Article: pldi26main-p272-p (type: Full Paper) doi:10.1145/3808288
Wang, Yu Proc. ACM Program. Lang., vol. 10, issue PLDI: "Bridging Coverage and Confidence: ..." Article: pldi26main-p363-p (type: Full Paper) doi:10.1145/3808301
Wang, Zixuan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Redundant Array Computation ..." Article: pldi26main-p566-p (type: Full Paper) doi:10.1145/3808327
Webbers, Robin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Pantomime: Constructive Leakage ..." Article: pldi26main-p785-p (type: Full Paper) doi:10.1145/3808340
Wei, Guannan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Escape with Your Self: Sound ..." Article: pldi26main-p703-p (type: Full Paper) doi:10.1145/3808335
Weisenburger, Pascal Proc. ACM Program. Lang., vol. 10, issue PLDI: "Versioned E-Graphs ..." Article: pldi26main-p12-p (type: Full Paper) doi:10.1145/3808249
Whiting, Tim Proc. ACM Program. Lang., vol. 10, issue PLDI: "Syntactic Implicit Parameters ..." Article: pldi26main-p717-p (type: Full Paper) doi:10.1145/3808336
Wickerson, John Proc. ACM Program. Lang., vol. 10, issue PLDI: "Uniformity Analysis in the ..." Article: pldi26main-p659-p (type: Full Paper) doi:10.1145/3808331
Wies, Thomas Proc. ACM Program. Lang., vol. 10, issue PLDI: "Implementability of Global ..." Article: pldi26main-p510-p (type: Full Paper) doi:10.1145/3808319
Willsey, Max Proc. ACM Program. Lang., vol. 10, issue PLDI: "Optimism in Equality Saturation ..." Article: pldi26main-p376-p (type: Full Paper) doi:10.1145/3808302 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Navigating AND–OR Graph ..." Article: pldi26main-p879-p (type: Full Paper) doi:10.1145/3808344
Wißmann, Thorsten Proc. ACM Program. Lang., vol. 10, issue PLDI: "Intrinsically Correct Algorithms ..." Article: pldi26main-p434-p (type: Full Paper) doi:10.1145/3808309
Wong, Wind Proc. ACM Program. Lang., vol. 10, issue PLDI: "Pantomime: Constructive Leakage ..." Article: pldi26main-p785-p (type: Full Paper) doi:10.1145/3808340
Wrigstad, Tobias Proc. ACM Program. Lang., vol. 10, issue PLDI: "Dynamically Checked Deep Immutability ..." Article: pldi26main-p1129-p (type: Full Paper) doi:10.1145/3808352
Wu, Qingyue Proc. ACM Program. Lang., vol. 10, issue PLDI: "Presynthesis: Towards Scaling ..." Article: pldi26main-p272-p (type: Full Paper) doi:10.1145/3808288
Wu, Ziji Proc. ACM Program. Lang., vol. 10, issue PLDI: "Neuro-symbolic Hierarchical ..." Article: pldi26main-p772-p (type: Full Paper) doi:10.1145/3808338
Xia, Jingtao Proc. ACM Program. Lang., vol. 10, issue PLDI: "Fungible Memories for Automated ..." Article: pldi26main-p315-p (type: Full Paper) doi:10.1145/3808294 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Improving Equality Saturation ..." Article: pldi26main-p348-p (type: Full Paper) doi:10.1145/3808299
Xiao, Jingqi Proc. ACM Program. Lang., vol. 10, issue PLDI: "SureDistrib: Verifying Almost-Sure ..." Article: pldi26main-p304-p (type: Full Paper) doi:10.1145/3808293
Xiao, Junmin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Redundant Array Computation ..." Article: pldi26main-p566-p (type: Full Paper) doi:10.1145/3808327
Xiao, Shangshang Proc. ACM Program. Lang., vol. 10, issue PLDI: "Path-Sensitive Abstract Interpretation ..." Article: pldi26main-p17-p (type: Full Paper) doi:10.1145/3808252
Xu, Chang Proc. ACM Program. Lang., vol. 10, issue PLDI: "Exploiting Sophisticated Static ..." Article: pldi26main-p362-p (type: Full Paper) doi:10.1145/3808300
Xu, Jiang Proc. ACM Program. Lang., vol. 10, issue PLDI: "NEURA: A Unified and Retargetable ..." Article: pldi26main-p234-p (type: Full Paper) doi:10.1145/3808285
Xue, Jingling Proc. ACM Program. Lang., vol. 10, issue PLDI: "Restart and Refine: Scalable ..." Article: pldi26main-p561-p (type: Full Paper) doi:10.1145/3808326
Yang, Ganxiang Proc. ACM Program. Lang., vol. 10, issue PLDI: "Equality Saturation for Quantum ..." Article: pldi26main-p23-p (type: Full Paper) doi:10.1145/3808254
Yang, Yudi Proc. ACM Program. Lang., vol. 10, issue PLDI: "An Efficient Algorithm for ..." Article: pldi26main-p647-p (type: Full Paper) doi:10.1145/3808330
Yi, Sanghyun Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Ying, Mingsheng Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verification of Recursively ..." Article: pldi26main-p130-p (type: Full Paper) doi:10.1145/3808273
Yoon, Taeyoung Proc. ACM Program. Lang., vol. 10, issue PLDI: "CRIS: The Power of Imagination ..." Article: pldi26main-p498-p (type: Full Paper) doi:10.1145/3808317
Yoshinaka, Ryo Proc. ACM Program. Lang., vol. 10, issue PLDI: "Solvable Tuple Patterns and ..." Article: pldi26main-p33-p (type: Full Paper) doi:10.1145/3808258
Yu, Nengkun Proc. ACM Program. Lang., vol. 10, issue PLDI: "SAQR-QC: A Logic for Scalable ..." Article: pldi26main-p228-p (type: Full Paper) doi:10.1145/3808284
Yuan, Charles Proc. ACM Program. Lang., vol. 10, issue PLDI: "Cobble: Compiling Block Encodings ..." Article: pldi26main-p24-p (type: Full Paper) doi:10.1145/3808255
Yuan, Liang Proc. ACM Program. Lang., vol. 10, issue PLDI: "Redundant Array Computation ..." Article: pldi26main-p566-p (type: Full Paper) doi:10.1145/3808327
Zaher, Ahmed Khaled Proc. ACM Program. Lang., vol. 10, issue PLDI: "Parameterized Algorithms and ..." Article: pldi26main-p183-p (type: Full Paper) doi:10.1145/3808282
Zaiser, Fabian Proc. ACM Program. Lang., vol. 10, issue PLDI: "Incremental Computation for ..." Article: pldi26main-p491-p (type: Full Paper) doi:10.1145/3808316
Zakhour, George Proc. ACM Program. Lang., vol. 10, issue PLDI: "Versioned E-Graphs ..." Article: pldi26main-p12-p (type: Full Paper) doi:10.1145/3808249
Zakkak, Foivos S. Proc. ACM Program. Lang., vol. 10, issue PLDI: "FlexHeap: Dynamic I/O-Aware ..." Article: pldi26main-p2-p (type: Full Paper) doi:10.1145/3808247
Zdancewic, Steve Proc. ACM Program. Lang., vol. 10, issue PLDI: "Compiling to Recurrent Neurons ..." Article: pldi26main-p881-p (type: Full Paper) doi:10.1145/3808345
Zeng, Haoyi Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Deductive System for Contract ..." Article: pldi26main-p15-p (type: Full Paper) doi:10.1145/3808251
Zhan, Naijun Proc. ACM Program. Lang., vol. 10, issue PLDI: "Path-Sensitive Abstract Interpretation ..." Article: pldi26main-p17-p (type: Full Paper) doi:10.1145/3808252
Zhang, An Qi Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Formally Verified Foundation ..." Article: pldi26main-p1012-p (type: Full Paper) doi:10.1145/3808350
Zhang, Anna Proc. ACM Program. Lang., vol. 10, issue PLDI: "Causality and Semantic Separation ..." Article: pldi26main-p135-p (type: Full Paper) doi:10.1145/3808274
Zhang, Minjian Proc. ACM Program. Lang., vol. 10, issue PLDI: "State Space Estimation for ..." Article: pldi26main-p279-p (type: Full Paper) doi:10.1145/3808291
Zhang, Nairen Proc. ACM Program. Lang., vol. 10, issue PLDI: "Exploiting Sophisticated Static ..." Article: pldi26main-p362-p (type: Full Paper) doi:10.1145/3808300
Zhang, Robert Proc. ACM Program. Lang., vol. 10, issue PLDI: "MatchBox: A Semantic Foundation ..." Article: pldi26main-p153-p (type: Full Paper) doi:10.1145/3808277 Proc. ACM Program. Lang., vol. 10, issue PLDI: "Optimal Predicate Pushdown ..." Article: pldi26main-p463-p (type: Full Paper) doi:10.1145/3808312
Zhang, Wei Proc. ACM Program. Lang., vol. 10, issue PLDI: "Path-Sensitive Abstract Interpretation ..." Article: pldi26main-p17-p (type: Full Paper) doi:10.1145/3808252 Proc. ACM Program. Lang., vol. 10, issue PLDI: "NEURA: A Unified and Retargetable ..." Article: pldi26main-p234-p (type: Full Paper) doi:10.1145/3808285
Zhang, Xin Proc. ACM Program. Lang., vol. 10, issue PLDI: "Abstract Interpretation with ..." Article: pldi26main-p1066-p (type: Full Paper) doi:10.1145/3808351
Zhang, Yizhou Proc. ACM Program. Lang., vol. 10, issue PLDI: "Virtualizing Continuations ..." Article: pldi26main-p273-p (type: Full Paper) doi:10.1145/3808289
Zhang, Yuanzhuo Proc. ACM Program. Lang., vol. 10, issue PLDI: "Scalable Floating-Point Satisfiability ..." Article: pldi26main-p828-p (type: Full Paper) doi:10.1145/3808342
Zhang, Yunquan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Redundant Array Computation ..." Article: pldi26main-p566-p (type: Full Paper) doi:10.1145/3808327
Zhang, Zhicheng Proc. ACM Program. Lang., vol. 10, issue PLDI: "Verification of Recursively ..." Article: pldi26main-p130-p (type: Full Paper) doi:10.1145/3808273
Zhao, Yanbo Proc. ACM Program. Lang., vol. 10, issue PLDI: "SparseZETA: Intelligent Auto-tuner ..." Article: pldi26main-p473-p (type: Full Paper) doi:10.1145/3808313
Zhao, Yifan Proc. ACM Program. Lang., vol. 10, issue PLDI: "Neptune: Advanced ML Operator ..." Article: pldi26main-p347-p (type: Full Paper) doi:10.1145/3808298
Zhong, Byron Proc. ACM Program. Lang., vol. 10, issue PLDI: "Flow-Analysis-Based Closure ..." Article: pldi26main-p54-p (type: Full Paper) doi:10.1145/3808262
Zhou, Zhe Proc. ACM Program. Lang., vol. 10, issue PLDI: "Trace-Guided Synthesis of ..." Article: pldi26main-p68-p (type: Full Paper) doi:10.1145/3808264
Zhu, Shaowei Proc. ACM Program. Lang., vol. 10, issue PLDI: "A Categorical Basis for Robust ..." Article: pldi26main-p410-p (type: Full Paper) doi:10.1145/3808307
Zhuchko, Ekaterina Proc. ACM Program. Lang., vol. 10, issue PLDI: "EREQ: Regular Expressions ..." Article: pldi26main-p993-p (type: Full Paper) doi:10.1145/3808349
Zielinski, Laura Proc. ACM Program. Lang., vol. 10, issue PLDI: "Synthesizing Backward Error ..." Article: pldi26main-p665-p (type: Full Paper) doi:10.1145/3808333
Žikelić, Đorđe Proc. ACM Program. Lang., vol. 10, issue PLDI: "SuperDP: Differential Privacy ..." Article: pldi26main-p328-p (type: Full Paper) doi:10.1145/3808296

450 authors

proc time: 14.74