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

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

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

Aanjaneya, Mridul Proc. ACM Program. Lang., vol. 8, issue PLDI: "Maximum Consensus Floating ..." Article: pldi24main-p309-p doi:10.1145/3656427
Abdulla, Parosh Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verification under Intel-x86 ..." Article: pldi24main-p298-p doi:10.1145/3656425
Achour, Sara Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compilation of Qubit Circuits ..." Article: pldi24main-p50-p doi:10.1145/3656388
Adithya, Solai Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Article: pldi24main-p53-p doi:10.1145/3656389
Ahmed, Amal Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." Article: pldi24main-p517-p doi:10.1145/3656444
Ahrens, Willow Proc. ACM Program. Lang., vol. 8, issue PLDI: "Mechanised Hypersafety Proofs ..." Article: pldi24main-p146-p doi:10.1145/3656403
Aiken, Alex Proc. ACM Program. Lang., vol. 8, issue PLDI: "Recursive Program Synthesis ..." Article: pldi24main-p29-p doi:10.1145/3656381
Albert, Elvira Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." Article: pldi24main-p416-p doi:10.1145/3656435
Amarasinghe, Saman Proc. ACM Program. Lang., vol. 8, issue PLDI: "NetBlocks: Staging Layouts ..." Article: pldi24main-p99-p doi:10.1145/3656396 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Mechanised Hypersafety Proofs ..." Article: pldi24main-p146-p doi:10.1145/3656403
Anand, Aditya Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Article: pldi24main-p53-p doi:10.1145/3656389
Atig, Mohamed Faouzi Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verification under Intel-x86 ..." Article: pldi24main-p298-p doi:10.1145/3656425
Babakol, Timur Proc. ACM Program. Lang., vol. 8, issue PLDI: "VESTA: Power Modeling with ..." Article: pldi24main-p138-p doi:10.1145/3656402
Babin, Evgeny Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Ball, Thomas Proc. ACM Program. Lang., vol. 8, issue PLDI: "Jacdac: Service-Based Prototyping ..." Article: pldi24main-p153-p doi:10.1145/3656405
Banerjee, Debangshu Proc. ACM Program. Lang., vol. 8, issue PLDI: "Input-Relational Verification ..." Article: pldi24main-p2-p doi:10.1145/3656377
Bardin, Sébastien Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quantitative Robustness for ..." Article: pldi24main-p171-p doi:10.1145/3656407
Barik, Raj Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Lightweight Polyglot Code ..." Article: pldi24main-p359-p doi:10.1145/3656429
Barik, Titus Proc. ACM Program. Lang., vol. 8, issue PLDI: "Syntactic Code Search with ..." Article: pldi24main-p804-p doi:10.1145/3656460
Barrière, Aurèle Proc. ACM Program. Lang., vol. 8, issue PLDI: "Linear Matching of JavaScript ..." Article: pldi24main-p400-p doi:10.1145/3656431
Becker, McCoy R. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Article: pldi24main-p861-p doi:10.1145/3656463
Beckett, Ryan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Diffy: Data-Driven Bug Finding ..." Article: pldi24main-p42-p doi:10.1145/3656385
Belanger, Olivier Savary Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." Article: pldi24main-p646-p doi:10.1145/3656454
Belyakova, Julia Proc. ACM Program. Lang., vol. 8, issue PLDI: "Decidable Subtyping of Existential ..." Article: pldi24main-p283-p doi:10.1145/3656421
Bernstein, Gilbert Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Verified Compiler for a ..." Article: pldi24main-p55-p doi:10.1145/3656390
Bjørner, Nikolaj Proc. ACM Program. Lang., vol. 8, issue PLDI: "SpEQ: Translation of Sparse ..." Article: pldi24main-p521-p doi:10.1145/3656445
Blaauwbroek, Lasse Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hashing Modulo Context-Sensitive ..." Article: pldi24main-p796-p doi:10.1145/3656459
Blanas, Spyros Proc. ACM Program. Lang., vol. 8, issue PLDI: "IsoPredict: Dynamic Predictive ..." Article: pldi24main-p59-p doi:10.1145/3656391
Bond, Michael D. Proc. ACM Program. Lang., vol. 8, issue PLDI: "IsoPredict: Dynamic Predictive ..." Article: pldi24main-p59-p doi:10.1145/3656391
Bonneau, Benjamin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Towards Trustworthy Automated ..." Article: pldi24main-p451-p doi:10.1145/3656438
Bossut, Camille Proc. ACM Program. Lang., vol. 8, issue PLDI: "Context-Free Language Reachability ..." Article: pldi24main-p632-p doi:10.1145/3656451
Bouajjani, Ahmed Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verification under Intel-x86 ..." Article: pldi24main-p298-p doi:10.1145/3656425
Brahmakshatriya, Ajay Proc. ACM Program. Lang., vol. 8, issue PLDI: "NetBlocks: Staging Layouts ..." Article: pldi24main-p99-p doi:10.1145/3656396
Breitner, Joachim Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Brito, Tiago Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Article: pldi24main-p79-p doi:10.1145/3656394
Buckley, Anita Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." Article: pldi24main-p381-p doi:10.1145/3656430
Burger, Doug Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Carbin, Michael Proc. ACM Program. Lang., vol. 8, issue PLDI: "The T-Complexity Costs of ..." Article: pldi24main-p115-p doi:10.1145/3656397
Caulfield, Adrian Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Chasins, Sarah E. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence by Canonicalization ..." Article: pldi24main-p645-p doi:10.1145/3656453 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Syntactic Code Search with ..." Article: pldi24main-p804-p doi:10.1145/3656460
Chatterjee, Krishnendu Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence and Similarity ..." Article: pldi24main-p847-p doi:10.1145/3656462
Chattopadhyay, Agnishom Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Analysis for Checking ..." Article: pldi24main-p806-p doi:10.1145/3656461
Chen, Hongzheng Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Article: pldi24main-p130-p doi:10.1145/3656401
Chen, Tianyu Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quest Complete: The Holy Grail ..." Article: pldi24main-p494-p doi:10.1145/3656442
Cheung, Alvin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Syntactic Code Search with ..." Article: pldi24main-p804-p doi:10.1145/3656460
Chlipala, Adam Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Verified Compiler for a ..." Article: pldi24main-p55-p doi:10.1145/3656390 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Live Verification in an Interactive ..." Article: pldi24main-p457-p doi:10.1145/3656439 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Article: pldi24main-p523-p doi:10.1145/3656446
Chung, Benjamin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Decidable Subtyping of Existential ..." Article: pldi24main-p283-p doi:10.1145/3656421
Chuprikov, Pavel Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." Article: pldi24main-p381-p doi:10.1145/3656430
Clapp, Lazaro Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Lightweight Polyglot Code ..." Article: pldi24main-p359-p doi:10.1145/3656429
Coimbra, Miguel E. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Article: pldi24main-p79-p doi:10.1145/3656394
Cox, David Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Cui, Guofeng Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reward-Guided Synthesis of ..." Article: pldi24main-p553-p doi:10.1145/3656447
Cutler, Joseph W. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Article: pldi24main-p407-p doi:10.1145/3656434
Dai, Mengjia Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Article: pldi24main-p130-p doi:10.1145/3656401
Darais, David Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." Article: pldi24main-p646-p doi:10.1145/3656454
Dardinier, Thibault Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hyper Hoare Logic: (Dis-)Proving ..." Article: pldi24main-p436-p doi:10.1145/3656437 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Towards Trustworthy Automated ..." Article: pldi24main-p451-p doi:10.1145/3656438
De Fine Licht, Johannes Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
De Halleux, Peli Proc. ACM Program. Lang., vol. 8, issue PLDI: "Jacdac: Service-Based Prototyping ..." Article: pldi24main-p153-p doi:10.1145/3656405
Dehnavi, Maryam Mehri Proc. ACM Program. Lang., vol. 8, issue PLDI: "SpEQ: Translation of Sparse ..." Article: pldi24main-p521-p doi:10.1145/3656445
Delaware, Benjamin Proc. ACM Program. Lang., vol. 8, issue PLDI: "A HAT Trick: Automatically ..." Article: pldi24main-p404-p doi:10.1145/3656433
Devadas, Srinivas Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Tensor Compiler with Automatic ..." Article: pldi24main-p33-p doi:10.1145/3656382
Devine, James Proc. ACM Program. Lang., vol. 8, issue PLDI: "Jacdac: Service-Based Prototyping ..." Article: pldi24main-p153-p doi:10.1145/3656405
Diatchki, Iavor S. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Article: pldi24main-p185-p doi:10.1145/3656410
Dillig, Işıl Proc. ACM Program. Lang., vol. 8, issue PLDI: "From Batch to Stream: Automatic ..." Article: pldi24main-p263-p doi:10.1145/3656418
Dodds, Mike Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Article: pldi24main-p185-p doi:10.1145/3656410
Dreyer, Derek Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quiver: Guided Abductive Inference ..." Article: pldi24main-p189-p doi:10.1145/3656413 Proc. ACM Program. Lang., vol. 8, issue PLDI: "RefinedRust: A Type System ..." Article: pldi24main-p289-p doi:10.1145/3656422
Eguro, Ken Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Erbsen, Andres Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Article: pldi24main-p523-p doi:10.1145/3656446
Eugster, Patrick Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." Article: pldi24main-p381-p doi:10.1145/3656430
Fang, Wang Proc. ACM Program. Lang., vol. 8, issue PLDI: "Symbolic Execution for Quantum ..." Article: pldi24main-p276-p doi:10.1145/3656419
Ferguson, Jeremy Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence by Canonicalization ..." Article: pldi24main-p645-p doi:10.1145/3656453
Ferreira, Mafalda Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Article: pldi24main-p79-p doi:10.1145/3656394
Fitzgibbons, Michael Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." Article: pldi24main-p517-p doi:10.1145/3656444
Forin, Alessandro Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Forster, Yannick Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verified Extraction from Coq ..." Article: pldi24main-p22-p doi:10.1145/3656379
Foster, Nate Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." Article: pldi24main-p646-p doi:10.1145/3656454
Franchetti, Franz Proc. ACM Program. Lang., vol. 8, issue PLDI: "Floating-Point TVPI Abstract ..." Article: pldi24main-p97-p doi:10.1145/3656395
Freer, Cameron E. Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." Article: pldi24main-p182-p doi:10.1145/3656409
Fu, Hongfei Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Posterior Inference ..." Article: pldi24main-p403-p doi:10.1145/3656432
Fukala, Viktor Proc. ACM Program. Lang., vol. 8, issue PLDI: "Live Verification in an Interactive ..." Article: pldi24main-p457-p doi:10.1145/3656439
Gaboardi, Marco Proc. ACM Program. Lang., vol. 8, issue PLDI: "Program Analysis for Adaptive ..." Article: pldi24main-p195-p doi:10.1145/3656414
Gäher, Lennard Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quiver: Guided Abductive Inference ..." Article: pldi24main-p189-p doi:10.1145/3656413 Proc. ACM Program. Lang., vol. 8, issue PLDI: "RefinedRust: A Type System ..." Article: pldi24main-p289-p doi:10.1145/3656422
Garcia de la Banda, Maria Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." Article: pldi24main-p416-p doi:10.1145/3656435
Gardner, Philippa Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Garg, Deepak Proc. ACM Program. Lang., vol. 8, issue PLDI: "Program Analysis for Adaptive ..." Article: pldi24main-p195-p doi:10.1145/3656414
Garg, Poorva Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bit Blasting Probabilistic ..." Article: pldi24main-p188-p doi:10.1145/3656412
Geng, Chujun Proc. ACM Program. Lang., vol. 8, issue PLDI: "IsoPredict: Dynamic Predictive ..." Article: pldi24main-p59-p doi:10.1145/3656391
Geuvers, Herman Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hashing Modulo Context-Sensitive ..." Article: pldi24main-p796-p doi:10.1145/3656459
Ghavami, Matin Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." Article: pldi24main-p182-p doi:10.1145/3656409 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Article: pldi24main-p861-p doi:10.1145/3656463
Ghobadi, Manya Proc. ACM Program. Lang., vol. 8, issue PLDI: "NetBlocks: Staging Layouts ..." Article: pldi24main-p99-p doi:10.1145/3656396
Girol, Guillaume Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quantitative Robustness for ..." Article: pldi24main-p171-p doi:10.1145/3656407
Gladshtein, Vladimir Proc. ACM Program. Lang., vol. 8, issue PLDI: "Mechanised Hypersafety Proofs ..." Article: pldi24main-p146-p doi:10.1145/3656403
Goharshady, Ehsan Kafshdar Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence and Similarity ..." Article: pldi24main-p847-p doi:10.1145/3656462
Goldstein, Harrison Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Article: pldi24main-p185-p doi:10.1145/3656410 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Article: pldi24main-p407-p doi:10.1145/3656434
Gorlatch, Sergei Proc. ACM Program. Lang., vol. 8, issue PLDI: "Descend: A Safe GPU Systems ..." Article: pldi24main-p187-p doi:10.1145/3656411
Grosser, Tobias Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Scalable Analytical ..." Article: pldi24main-p644-p doi:10.1145/3656452
Grover, Kunwar Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Scalable Analytical ..." Article: pldi24main-p644-p doi:10.1145/3656452
Gruetter, Samuel Proc. ACM Program. Lang., vol. 8, issue PLDI: "Live Verification in an Interactive ..." Article: pldi24main-p457-p doi:10.1145/3656439 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Article: pldi24main-p523-p doi:10.1145/3656446
Harris, Bill Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Article: pldi24main-p185-p doi:10.1145/3656410
Herklotz, Yann Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hyperblock Scheduling for ..." Article: pldi24main-p654-p doi:10.1145/3656455
Hernández-Cerezo, Alejandro Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." Article: pldi24main-p416-p doi:10.1145/3656435
Hilliard, Phillip Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Article: pldi24main-p407-p doi:10.1145/3656434
Hodges, Steve Proc. ACM Program. Lang., vol. 8, issue PLDI: "Jacdac: Service-Based Prototyping ..." Article: pldi24main-p153-p doi:10.1145/3656405
Hoffmann, Jan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Robust Resource Bounds with ..." Article: pldi24main-p24-p doi:10.1145/3656380
Holland, David A. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Article: pldi24main-p185-p doi:10.1145/3656410
Holtzen, Steven Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bit Blasting Probabilistic ..." Article: pldi24main-p188-p doi:10.1145/3656412
Hong, Jaemin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Don’t Write, but Return: ..." Article: pldi24main-p169-p doi:10.1145/3656406
Hong, Qiantan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Recursive Program Synthesis ..." Article: pldi24main-p29-p doi:10.1145/3656381
Honoré, Wolf Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." Article: pldi24main-p290-p doi:10.1145/3656423
Hsu, Justin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Numerical Fuzz: A Type System ..." Article: pldi24main-p666-p doi:10.1145/3656456
Hsu, Olivia Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compilation of Modular and ..." Article: pldi24main-p300-p doi:10.1145/3656426
Hu, Zhenjiang Proc. ACM Program. Lang., vol. 8, issue PLDI: "Superfusion: Eliminating Intermediate ..." Article: pldi24main-p213-p doi:10.1145/3656415
Huang, Keli Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling Conditional Quantum ..." Article: pldi24main-p424-p doi:10.1145/3656436
Humphrey, Matt Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Huot, Mathieu Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." Article: pldi24main-p182-p doi:10.1145/3656409 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Article: pldi24main-p861-p doi:10.1145/3656463
Igarashi, Atsushi Proc. ACM Program. Lang., vol. 8, issue PLDI: "Space-Efficient Polymorphic ..." Article: pldi24main-p478-p doi:10.1145/3656441
Ignatiev, Alexey Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." Article: pldi24main-p416-p doi:10.1145/3656435
Jacobs, Jules Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." Article: pldi24main-p646-p doi:10.1145/3656454
Jagannathan, Suresh Proc. ACM Program. Lang., vol. 8, issue PLDI: "A HAT Trick: Automatically ..." Article: pldi24main-p404-p doi:10.1145/3656433
Jamner, Dustin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Article: pldi24main-p523-p doi:10.1145/3656446
Jang, Minseong Proc. ACM Program. Lang., vol. 8, issue PLDI: "Modular Hardware Design of ..." Article: pldi24main-p12-p doi:10.1145/3656378
Jeon, Minseok Proc. ACM Program. Lang., vol. 8, issue PLDI: "PL4XGL: A Programming Language ..." Article: pldi24main-p875-p doi:10.1145/3656464
Ji, Ruyi Proc. ACM Program. Lang., vol. 8, issue PLDI: "Superfusion: Eliminating Intermediate ..." Article: pldi24main-p213-p doi:10.1145/3656415
Jia, Limin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Article: pldi24main-p79-p doi:10.1145/3656394
Jia, Xiaodong Proc. ACM Program. Lang., vol. 8, issue PLDI: "V-Star: Learning Visibly Pushdown ..." Article: pldi24main-p779-p doi:10.1145/3656458
Jiang, Hanru Proc. ACM Program. Lang., vol. 8, issue PLDI: "Qubit Recycling Revisited ..." Article: pldi24main-p350-p doi:10.1145/3656428
Jung, Jaehwang Proc. ACM Program. Lang., vol. 8, issue PLDI: "Concurrent Immediate Reference ..." Article: pldi24main-p34-p doi:10.1145/3656383 Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." Article: pldi24main-p36-p doi:10.1145/3656384
Jung, Ralf Proc. ACM Program. Lang., vol. 8, issue PLDI: "RefinedRust: A Type System ..." Article: pldi24main-p289-p doi:10.1145/3656422
Kakarla, Siva Kesava Reddy Proc. ACM Program. Lang., vol. 8, issue PLDI: "Diffy: Data-Driven Bug Finding ..." Article: pldi24main-p42-p doi:10.1145/3656385
Kang, Jeehoon Proc. ACM Program. Lang., vol. 8, issue PLDI: "Modular Hardware Design of ..." Article: pldi24main-p12-p doi:10.1145/3656378 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Concurrent Immediate Reference ..." Article: pldi24main-p34-p doi:10.1145/3656383 Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." Article: pldi24main-p36-p doi:10.1145/3656384
Karandikar, Rajas Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Kellison, Ariel E. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Numerical Fuzz: A Type System ..." Article: pldi24main-p666-p doi:10.1145/3656456
Ketkar, Ameya Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Lightweight Polyglot Code ..." Article: pldi24main-p359-p doi:10.1145/3656429
Kim, Jaewoo Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." Article: pldi24main-p36-p doi:10.1145/3656384
Kim, Jeonghyeon Proc. ACM Program. Lang., vol. 8, issue PLDI: "Concurrent Immediate Reference ..." Article: pldi24main-p34-p doi:10.1145/3656383
Kim, Jieung Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." Article: pldi24main-p290-p doi:10.1145/3656423
Kim, Yoonseung Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." Article: pldi24main-p290-p doi:10.1145/3656423
Kjolstad, Fredrik Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compilation of Modular and ..." Article: pldi24main-p300-p doi:10.1145/3656426
Kokologiannakis, Michalis Proc. ACM Program. Lang., vol. 8, issue PLDI: "SPORE: Combining Symmetry ..." Article: pldi24main-p601-p doi:10.1145/3656449
Köpcke, Bastian Proc. ACM Program. Lang., vol. 8, issue PLDI: "Descend: A Safe GPU Systems ..." Article: pldi24main-p187-p doi:10.1145/3656411
Kozak, David Proc. ACM Program. Lang., vol. 8, issue PLDI: "Scaling Type-Based Points-to ..." Article: pldi24main-p251-p doi:10.1145/3656417
Krastev, Aleksandar Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Tensor Compiler with Automatic ..." Article: pldi24main-p33-p doi:10.1145/3656382
Krebbers, Robbert Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." Article: pldi24main-p36-p doi:10.1145/3656384 Proc. ACM Program. Lang., vol. 8, issue PLDI: "RefinedRust: A Type System ..." Article: pldi24main-p289-p doi:10.1145/3656422
Kumar, K. Narayan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verification under Intel-x86 ..." Article: pldi24main-p298-p doi:10.1145/3656425
Lacombe, Guilhem Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quantitative Robustness for ..." Article: pldi24main-p171-p doi:10.1145/3656407
Lahav, Ori Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compositional Semantics for ..." Article: pldi24main-p120-p doi:10.1145/3656399
Laird, Avery Proc. ACM Program. Lang., vol. 8, issue PLDI: "SpEQ: Translation of Sparse ..." Article: pldi24main-p521-p doi:10.1145/3656445
Langowski, Simon Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Tensor Compiler with Automatic ..." Article: pldi24main-p33-p doi:10.1145/3656382
Laursen, Mathias Rud Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reducing Static Analysis Unsoundness ..." Article: pldi24main-p295-p doi:10.1145/3656424
Lee, Jaehyun Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Lee, Janggun Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." Article: pldi24main-p36-p doi:10.1145/3656384
Lee, Woojin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Modular Hardware Design of ..." Article: pldi24main-p12-p doi:10.1145/3656378
Le Glaunec, Alexis Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Analysis for Checking ..." Article: pldi24main-p806-p doi:10.1145/3656461
Lei, Yuxiang Proc. ACM Program. Lang., vol. 8, issue PLDI: "Context-Free Language Reachability ..." Article: pldi24main-p632-p doi:10.1145/3656451
Leijen, Daan Proc. ACM Program. Lang., vol. 8, issue PLDI: "The Functional Essence of ..." Article: pldi24main-p116-p doi:10.1145/3656398
Lemerre, Matthieu Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling with Abstract Interpretation ..." Article: pldi24main-p70-p doi:10.1145/3656392
Lesbre, Dorian Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling with Abstract Interpretation ..." Article: pldi24main-p70-p doi:10.1145/3656392
Lew, Alexander K. Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." Article: pldi24main-p182-p doi:10.1145/3656409 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Article: pldi24main-p861-p doi:10.1145/3656463
Li, Guanyan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Posterior Inference ..." Article: pldi24main-p403-p doi:10.1145/3656432
Li, Jianlin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling Probabilistic Programs ..." Article: pldi24main-p588-p doi:10.1145/3656448
Li, Shaohua Proc. ACM Program. Lang., vol. 8, issue PLDI: "Boosting Compiler Testing ..." Article: pldi24main-p45-p doi:10.1145/3656386
Li, Wu Angela Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Analysis for Checking ..." Article: pldi24main-p806-p doi:10.1145/3656461
Lin, Ashley Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Article: pldi24main-p523-p doi:10.1145/3656446
Lindley, Sam Proc. ACM Program. Lang., vol. 8, issue PLDI: "The Functional Essence of ..." Article: pldi24main-p116-p doi:10.1145/3656398 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Liu, Amanda Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Verified Compiler for a ..." Article: pldi24main-p55-p doi:10.1145/3656390
Liu, Bangtian Proc. ACM Program. Lang., vol. 8, issue PLDI: "SpEQ: Translation of Sparse ..." Article: pldi24main-p521-p doi:10.1145/3656445
Liu, Jiawen Proc. ACM Program. Lang., vol. 8, issue PLDI: "Program Analysis for Adaptive ..." Article: pldi24main-p195-p doi:10.1145/3656414
Liu, Yu David Proc. ACM Program. Lang., vol. 8, issue PLDI: "VESTA: Power Modeling with ..." Article: pldi24main-p138-p doi:10.1145/3656402
Lo, Daniel Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Lorenzen, Anton Proc. ACM Program. Lang., vol. 8, issue PLDI: "The Functional Essence of ..." Article: pldi24main-p116-p doi:10.1145/3656398
Lubin, Justin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence by Canonicalization ..." Article: pldi24main-p645-p doi:10.1145/3656453
Lutze, Matthew Proc. ACM Program. Lang., vol. 8, issue PLDI: "Associated Effects: Flexible ..." Article: pldi24main-p75-p doi:10.1145/3656393
Madhusudan, P. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Predictable Verification using ..." Article: pldi24main-p621-p doi:10.1145/3656450
Madsen, Magnus Proc. ACM Program. Lang., vol. 8, issue PLDI: "Associated Effects: Flexible ..." Article: pldi24main-p75-p doi:10.1145/3656393
Mahmoud, Khaled Proc. ACM Program. Lang., vol. 8, issue PLDI: "VESTA: Power Modeling with ..." Article: pldi24main-p138-p doi:10.1145/3656402
Maier, Daryl Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Article: pldi24main-p53-p doi:10.1145/3656389
Mamouras, Konstantinos Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Analysis for Checking ..." Article: pldi24main-p806-p doi:10.1145/3656461
Mansinghka, Vikash K. Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." Article: pldi24main-p182-p doi:10.1145/3656409 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Article: pldi24main-p861-p doi:10.1145/3656463
Marmanis, Iason Proc. ACM Program. Lang., vol. 8, issue PLDI: "SPORE: Combining Symmetry ..." Article: pldi24main-p601-p doi:10.1145/3656449
Matute, Gabriel Proc. ACM Program. Lang., vol. 8, issue PLDI: "Syntactic Code Search with ..." Article: pldi24main-p804-p doi:10.1145/3656460
Mermelstein, Shai Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compositional Semantics for ..." Article: pldi24main-p120-p doi:10.1145/3656399
Mikek, Benjamin Proc. ACM Program. Lang., vol. 8, issue PLDI: "SMT Theory Arbitrage: Approximating ..." Article: pldi24main-p49-p doi:10.1145/3656387
Millstein, Todd Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bit Blasting Probabilistic ..." Article: pldi24main-p188-p doi:10.1145/3656412
Møller, Anders Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reducing Static Analysis Unsoundness ..." Article: pldi24main-p295-p doi:10.1145/3656424
Moeller, Mark Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." Article: pldi24main-p646-p doi:10.1145/3656454
Monteiro, Miguel Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Article: pldi24main-p79-p doi:10.1145/3656394
Moskal, Michał Proc. ACM Program. Lang., vol. 8, issue PLDI: "Jacdac: Service-Based Prototyping ..." Article: pldi24main-p153-p doi:10.1145/3656405
Mulder, Ike Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." Article: pldi24main-p36-p doi:10.1145/3656384
Müller, Peter Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hyper Hoare Logic: (Dis-)Proving ..." Article: pldi24main-p436-p doi:10.1145/3656437 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Towards Trustworthy Automated ..." Article: pldi24main-p451-p doi:10.1145/3656438
Murali, Adithya Proc. ACM Program. Lang., vol. 8, issue PLDI: "Predictable Verification using ..." Article: pldi24main-p621-p doi:10.1145/3656450
Mushtak, Noble Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." Article: pldi24main-p517-p doi:10.1145/3656444
Nagarakatte, Santosh Proc. ACM Program. Lang., vol. 8, issue PLDI: "Maximum Consensus Floating ..." Article: pldi24main-p309-p doi:10.1145/3656427
Nandivada, V. Krishna Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Article: pldi24main-p53-p doi:10.1145/3656389
Ni, Wode Proc. ACM Program. Lang., vol. 8, issue PLDI: "Syntactic Code Search with ..." Article: pldi24main-p804-p doi:10.1145/3656460
Nikolaev, Ruslan Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Family of Fast and Memory ..." Article: pldi24main-p456-p doi:10.1145/3658851
Nkurumeh, Emeka Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Article: pldi24main-p407-p doi:10.1145/3656434
Novotný, Petr Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence and Similarity ..." Article: pldi24main-p847-p doi:10.1145/3656462
Oh, Hakjoo Proc. ACM Program. Lang., vol. 8, issue PLDI: "PL4XGL: A Programming Language ..." Article: pldi24main-p875-p doi:10.1145/3656464
Olšák, Miroslav Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hashing Modulo Context-Sensitive ..." Article: pldi24main-p796-p doi:10.1145/3656459
Ong, C.-H. Luke Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Posterior Inference ..." Article: pldi24main-p403-p doi:10.1145/3656432
Otoni, Rodrigo Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." Article: pldi24main-p381-p doi:10.1145/3656430
Ozaki, Shota Proc. ACM Program. Lang., vol. 8, issue PLDI: "Space-Efficient Polymorphic ..." Article: pldi24main-p478-p doi:10.1145/3656441
Pailoor, Shankara Proc. ACM Program. Lang., vol. 8, issue PLDI: "From Batch to Stream: Automatic ..." Article: pldi24main-p263-p doi:10.1145/3656418
Palsberg, Jens Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling Conditional Quantum ..." Article: pldi24main-p424-p doi:10.1145/3656436
Paraskevopoulou, Zoe Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." Article: pldi24main-p517-p doi:10.1145/3656444
Park, Jihyeok Proc. ACM Program. Lang., vol. 8, issue PLDI: "PL4XGL: A Programming Language ..." Article: pldi24main-p875-p doi:10.1145/3656464
Park, Sunho Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." Article: pldi24main-p36-p doi:10.1145/3656384
Parkinson, Matthew J. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Concurrent Immediate Reference ..." Article: pldi24main-p34-p doi:10.1145/3656383
Parthasarathy, Gaurav Proc. ACM Program. Lang., vol. 8, issue PLDI: "Towards Trustworthy Automated ..." Article: pldi24main-p451-p doi:10.1145/3656438
Pelton, Blake Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Pham, Long Proc. ACM Program. Lang., vol. 8, issue PLDI: "Robust Resource Bounds with ..." Article: pldi24main-p24-p doi:10.1145/3656380
Philipoom, Jade Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Article: pldi24main-p523-p doi:10.1145/3656446
Pierce, Benjamin C. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Article: pldi24main-p407-p doi:10.1145/3656434
Pitchanathan, Arjun Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Scalable Analytical ..." Article: pldi24main-p644-p doi:10.1145/3656452
Pit-Claudel, Clément Proc. ACM Program. Lang., vol. 8, issue PLDI: "Linear Matching of JavaScript ..." Article: pldi24main-p400-p doi:10.1145/3656431 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Article: pldi24main-p523-p doi:10.1145/3656446
Polikarpova, Nadia Proc. ACM Program. Lang., vol. 8, issue PLDI: "Superfusion: Eliminating Intermediate ..." Article: pldi24main-p213-p doi:10.1145/3656415
Prakash, Aaryan Proc. ACM Program. Lang., vol. 8, issue PLDI: "From Batch to Stream: Automatic ..." Article: pldi24main-p263-p doi:10.1145/3656418
Pretnar, Matija Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Püschel, Markus Proc. ACM Program. Lang., vol. 8, issue PLDI: "Floating-Point TVPI Abstract ..." Article: pldi24main-p97-p doi:10.1145/3656395
Qiu, Longfei Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." Article: pldi24main-p290-p doi:10.1145/3656423
Qiu, Wenjie Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reward-Guided Synthesis of ..." Article: pldi24main-p553-p doi:10.1145/3656447
Qu, Weihao Proc. ACM Program. Lang., vol. 8, issue PLDI: "Program Analysis for Adaptive ..." Article: pldi24main-p195-p doi:10.1145/3656414
Ragan-Kelley, Jonathan Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Verified Compiler for a ..." Article: pldi24main-p55-p doi:10.1145/3656390
Ramanathan, Murali Krishna Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Lightweight Polyglot Code ..." Article: pldi24main-p359-p doi:10.1145/3656429
Ramos, Daniel Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Lightweight Polyglot Code ..." Article: pldi24main-p359-p doi:10.1145/3656429
Rand, Robert Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." Article: pldi24main-p381-p doi:10.1145/3656430
Rao, Xiaojia Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Raskind, Joseph Proc. ACM Program. Lang., vol. 8, issue PLDI: "VESTA: Power Modeling with ..." Article: pldi24main-p138-p doi:10.1145/3656402
Ravindran, Binoy Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Family of Fast and Memory ..." Article: pldi24main-p456-p doi:10.1145/3658851
Razet, Benoit Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Article: pldi24main-p185-p doi:10.1145/3656410
Rhee, Jungin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Modular Hardware Design of ..." Article: pldi24main-p12-p doi:10.1145/3656378
Rinard, Chris Proc. ACM Program. Lang., vol. 8, issue PLDI: "NetBlocks: Staging Layouts ..." Article: pldi24main-p99-p doi:10.1145/3656396
Rinard, Martin C. Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." Article: pldi24main-p182-p doi:10.1145/3656409 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Article: pldi24main-p861-p doi:10.1145/3656463
Rivera, Cody Proc. ACM Program. Lang., vol. 8, issue PLDI: "Predictable Verification using ..." Article: pldi24main-p621-p doi:10.1145/3656450
Rivera, Joao Proc. ACM Program. Lang., vol. 8, issue PLDI: "Floating-Point TVPI Abstract ..." Article: pldi24main-p97-p doi:10.1145/3656395
Rossberg, Andreas Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Rubio, Albert Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." Article: pldi24main-p416-p doi:10.1145/3656435
Rustagi, Swapnil Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Article: pldi24main-p53-p doi:10.1145/3656389
Ryu, Sukyoung Proc. ACM Program. Lang., vol. 8, issue PLDI: "Don’t Write, but Return: ..." Article: pldi24main-p169-p doi:10.1145/3656406 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Saad, Feras A. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Robust Resource Bounds with ..." Article: pldi24main-p24-p doi:10.1145/3656380 Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." Article: pldi24main-p182-p doi:10.1145/3656409
Saivasan, Prakash Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verification under Intel-x86 ..." Article: pldi24main-p298-p doi:10.1145/3656425
Salvaneschi, Guido Proc. ACM Program. Lang., vol. 8, issue PLDI: "Automated Verification of ..." Article: pldi24main-p174-p doi:10.1145/3656408
Samardzic, Nikola Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Tensor Compiler with Automatic ..." Article: pldi24main-p33-p doi:10.1145/3656382
Sammler, Michael Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quiver: Guided Abductive Inference ..." Article: pldi24main-p189-p doi:10.1145/3656413 Proc. ACM Program. Lang., vol. 8, issue PLDI: "RefinedRust: A Type System ..." Article: pldi24main-p289-p doi:10.1145/3656422
Sanchez, Daniel Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Tensor Compiler with Automatic ..." Article: pldi24main-p33-p doi:10.1145/3656382
Santos, José Fragoso Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Article: pldi24main-p79-p doi:10.1145/3656394
Santos, Nuno Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Article: pldi24main-p79-p doi:10.1145/3656394
Sapek, Adam Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Schaechtle, Ulrich Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." Article: pldi24main-p182-p doi:10.1145/3656409
Schlesinger, Cole Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Article: pldi24main-p185-p doi:10.1145/3656410 Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." Article: pldi24main-p646-p doi:10.1145/3656454
Sekiyama, Taro Proc. ACM Program. Lang., vol. 8, issue PLDI: "Space-Efficient Polymorphic ..." Article: pldi24main-p478-p doi:10.1145/3656441
Sergey, Ilya Proc. ACM Program. Lang., vol. 8, issue PLDI: "Mechanised Hypersafety Proofs ..." Article: pldi24main-p146-p doi:10.1145/3656403
Seth, Priyam Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Article: pldi24main-p53-p doi:10.1145/3656389
Shao, Zhong Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." Article: pldi24main-p290-p doi:10.1145/3656423
Sharma, Ritvik Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compilation of Qubit Circuits ..." Article: pldi24main-p50-p doi:10.1145/3656388
Shelby, Zane Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." Article: pldi24main-p182-p doi:10.1145/3656409
Shi, Qingkai Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Article: pldi24main-p125-p doi:10.1145/3656400
Shin, Ji-Yong Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." Article: pldi24main-p290-p doi:10.1145/3656423
Shin, Wonho Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Siek, Jeremy G. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quest Complete: The Holy Grail ..." Article: pldi24main-p494-p doi:10.1145/3656442
Silva, Alexandra Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." Article: pldi24main-p646-p doi:10.1145/3656454
Singh, Gagandeep Proc. ACM Program. Lang., vol. 8, issue PLDI: "Input-Relational Verification ..." Article: pldi24main-p2-p doi:10.1145/3656377
Smolka, Steffen Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." Article: pldi24main-p646-p doi:10.1145/3656454
Soulé, Robert Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." Article: pldi24main-p381-p doi:10.1145/3656430
Sozeau, Matthieu Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verified Extraction from Coq ..." Article: pldi24main-p22-p doi:10.1145/3656379
Spies, Simon Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quiver: Guided Abductive Inference ..." Article: pldi24main-p189-p doi:10.1145/3656413
Stancu, Codrut Proc. ACM Program. Lang., vol. 8, issue PLDI: "Scaling Type-Based Points-to ..." Article: pldi24main-p251-p doi:10.1145/3656417
Stanford, Caleb Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Article: pldi24main-p407-p doi:10.1145/3656434
Steuwer, Michel Proc. ACM Program. Lang., vol. 8, issue PLDI: "Descend: A Safe GPU Systems ..." Article: pldi24main-p187-p doi:10.1145/3656411
Stuckey, Peter J. Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." Article: pldi24main-p416-p doi:10.1145/3656435
Su, Zhendong Proc. ACM Program. Lang., vol. 8, issue PLDI: "Boosting Compiler Testing ..." Article: pldi24main-p45-p doi:10.1145/3656386 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Refined Input, Degraded Output: ..." Article: pldi24main-p148-p doi:10.1145/3656404
Sui, Yulei Proc. ACM Program. Lang., vol. 8, issue PLDI: "Context-Free Language Reachability ..." Article: pldi24main-p632-p doi:10.1145/3656451
Sulaiman Manzur, Jose Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." Article: pldi24main-p517-p doi:10.1145/3656444
Summers, Alexander J. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Towards Trustworthy Automated ..." Article: pldi24main-p451-p doi:10.1145/3656438
Sundaresan, Vijay Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Article: pldi24main-p53-p doi:10.1145/3656389
Svyatlovskiy, Mikhail Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compositional Semantics for ..." Article: pldi24main-p120-p doi:10.1145/3656399
Swierstra, Wouter Proc. ACM Program. Lang., vol. 8, issue PLDI: "The Functional Essence of ..." Article: pldi24main-p116-p doi:10.1145/3656398
Tabareau, Nicolas Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verified Extraction from Coq ..." Article: pldi24main-p22-p doi:10.1145/3656379
Tan, Gang Proc. ACM Program. Lang., vol. 8, issue PLDI: "V-Star: Learning Visibly Pushdown ..." Article: pldi24main-p779-p doi:10.1145/3656458
Tanabe, Yudai Proc. ACM Program. Lang., vol. 8, issue PLDI: "Space-Efficient Polymorphic ..." Article: pldi24main-p478-p doi:10.1145/3656441
Tate, Ross Proc. ACM Program. Lang., vol. 8, issue PLDI: "Decidable Subtyping of Existential ..." Article: pldi24main-p283-p doi:10.1145/3656421
Thakur, Manas Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Article: pldi24main-p53-p doi:10.1145/3656389
Thalakottur, Michelle Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." Article: pldi24main-p517-p doi:10.1145/3656444
Theodoridis, Theodoros Proc. ACM Program. Lang., vol. 8, issue PLDI: "Boosting Compiler Testing ..." Article: pldi24main-p45-p doi:10.1145/3656386 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Refined Input, Degraded Output: ..." Article: pldi24main-p148-p doi:10.1145/3656404
Tsukada, Takeshi Proc. ACM Program. Lang., vol. 8, issue PLDI: "Inductive Approach to Spacer ..." Article: pldi24main-p738-p doi:10.1145/3656457
Ullman, Jonathan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Program Analysis for Adaptive ..." Article: pldi24main-p195-p doi:10.1145/3656414
Unno, Hiroshi Proc. ACM Program. Lang., vol. 8, issue PLDI: "Inductive Approach to Spacer ..." Article: pldi24main-p738-p doi:10.1145/3656457
Vafeiadis, Viktor Proc. ACM Program. Lang., vol. 8, issue PLDI: "SPORE: Combining Symmetry ..." Article: pldi24main-p601-p doi:10.1145/3656449
Van den Broeck, Guy Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bit Blasting Probabilistic ..." Article: pldi24main-p188-p doi:10.1145/3656412
Vitek, Jan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Decidable Subtyping of Existential ..." Article: pldi24main-p283-p doi:10.1145/3656421
Wang, Eric Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling Probabilistic Programs ..." Article: pldi24main-p588-p doi:10.1145/3656448
Wang, Peixin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Posterior Inference ..." Article: pldi24main-p403-p doi:10.1145/3656432
Wang, Xiaoyan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Article: pldi24main-p861-p doi:10.1145/3656463
Wang, Yang Proc. ACM Program. Lang., vol. 8, issue PLDI: "IsoPredict: Dynamic Predictive ..." Article: pldi24main-p59-p doi:10.1145/3656391
Wang, Yuepeng Proc. ACM Program. Lang., vol. 8, issue PLDI: "From Batch to Stream: Automatic ..." Article: pldi24main-p263-p doi:10.1145/3656418
Wang, Yuning Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reward-Guided Synthesis of ..." Article: pldi24main-p553-p doi:10.1145/3656447
Wang, Ziteng Proc. ACM Program. Lang., vol. 8, issue PLDI: "From Batch to Stream: Automatic ..." Article: pldi24main-p263-p doi:10.1145/3656418
Watson, Christopher Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Article: pldi24main-p407-p doi:10.1145/3656434
Watt, Conrad Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Wei, Guannan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Consolidating Smart Contracts ..." Article: pldi24main-p218-p doi:10.1145/3656416
Weisenburger, Pascal Proc. ACM Program. Lang., vol. 8, issue PLDI: "Automated Verification of ..." Article: pldi24main-p174-p doi:10.1145/3656408
Wickerson, John Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hyperblock Scheduling for ..." Article: pldi24main-p654-p doi:10.1145/3656455
Wimmer, Christian Proc. ACM Program. Lang., vol. 8, issue PLDI: "Scaling Type-Based Points-to ..." Article: pldi24main-p251-p doi:10.1145/3656417
Winwood, Simon Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Article: pldi24main-p185-p doi:10.1145/3656410
Wu, Rongxin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Article: pldi24main-p125-p doi:10.1145/3656400
Würthinger, Thomas Proc. ACM Program. Lang., vol. 8, issue PLDI: "Scaling Type-Based Points-to ..." Article: pldi24main-p251-p doi:10.1145/3656417
Xi, Jinwen Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Article: pldi24main-p282-p doi:10.1145/3656420
Xiang, Shaojie Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Article: pldi24main-p130-p doi:10.1145/3656401
Xiao, Xiao Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Article: pldi24main-p125-p doi:10.1145/3656400
Xie, Danning Proc. ACM Program. Lang., vol. 8, issue PLDI: "Consolidating Smart Contracts ..." Article: pldi24main-p218-p doi:10.1145/3656416
Xiong, Yingfei Proc. ACM Program. Lang., vol. 8, issue PLDI: "Superfusion: Eliminating Intermediate ..." Article: pldi24main-p213-p doi:10.1145/3656415
Xu, Changming Proc. ACM Program. Lang., vol. 8, issue PLDI: "Input-Relational Verification ..." Article: pldi24main-p2-p doi:10.1145/3656377
Xu, Wenyuan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reducing Static Analysis Unsoundness ..." Article: pldi24main-p295-p doi:10.1145/3656424
Yan, Francis Y. Proc. ACM Program. Lang., vol. 8, issue PLDI: "Diffy: Data-Driven Bug Finding ..." Article: pldi24main-p42-p doi:10.1145/3656385
Yang, Guowei Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compatible Branch Coverage ..." Article: pldi24main-p508-p doi:10.1145/3656443
Yang, Tengshun Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Posterior Inference ..." Article: pldi24main-p403-p doi:10.1145/3656432
Yao, Peisen Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Article: pldi24main-p125-p doi:10.1145/3656400
Ye, Kevin Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence by Canonicalization ..." Article: pldi24main-p645-p doi:10.1145/3656453
Ye, Qianchuan Proc. ACM Program. Lang., vol. 8, issue PLDI: "A HAT Trick: Automatically ..." Article: pldi24main-p404-p doi:10.1145/3656433
Yi, Qiuping Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compatible Branch Coverage ..." Article: pldi24main-p508-p doi:10.1145/3656443
Yim, Jacob Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence by Canonicalization ..." Article: pldi24main-p645-p doi:10.1145/3656453
Ying, Mingsheng Proc. ACM Program. Lang., vol. 8, issue PLDI: "Symbolic Execution for Quantum ..." Article: pldi24main-p276-p doi:10.1145/3656419
Youn, Dongjun Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Article: pldi24main-p462-p doi:10.1145/3656440
Yu, Yifan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compatible Branch Coverage ..." Article: pldi24main-p508-p doi:10.1145/3656443
Yuan, Charles Proc. ACM Program. Lang., vol. 8, issue PLDI: "The T-Complexity Costs of ..." Article: pldi24main-p115-p doi:10.1145/3656397
Yuan, Yongwei Proc. ACM Program. Lang., vol. 8, issue PLDI: "Consolidating Smart Contracts ..." Article: pldi24main-p218-p doi:10.1145/3656416
Zakhour, George Proc. ACM Program. Lang., vol. 8, issue PLDI: "Automated Verification of ..." Article: pldi24main-p174-p doi:10.1145/3656408
Zeng, Zhichen Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Article: pldi24main-p130-p doi:10.1145/3656401
Zhang, Charles Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Article: pldi24main-p125-p doi:10.1145/3656400
Zhang, Genghan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compilation of Modular and ..." Article: pldi24main-p300-p doi:10.1145/3656426
Zhang, Niansong Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Article: pldi24main-p130-p doi:10.1145/3656401
Zhang, Qirun Proc. ACM Program. Lang., vol. 8, issue PLDI: "SMT Theory Arbitrage: Approximating ..." Article: pldi24main-p49-p doi:10.1145/3656387 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Context-Free Language Reachability ..." Article: pldi24main-p632-p doi:10.1145/3656451
Zhang, Wuqi Proc. ACM Program. Lang., vol. 8, issue PLDI: "Consolidating Smart Contracts ..." Article: pldi24main-p218-p doi:10.1145/3656416
Zhang, Yizhou Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling Probabilistic Programs ..." Article: pldi24main-p588-p doi:10.1145/3656448
Zhang, Zhiru Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Article: pldi24main-p130-p doi:10.1145/3656401
Zhang, Zhuo Proc. ACM Program. Lang., vol. 8, issue PLDI: "Consolidating Smart Contracts ..." Article: pldi24main-p218-p doi:10.1145/3656416
Zhao, Qiyuan Proc. ACM Program. Lang., vol. 8, issue PLDI: "Mechanised Hypersafety Proofs ..." Article: pldi24main-p146-p doi:10.1145/3656403
Zhao, Shuangshuang Proc. ACM Program. Lang., vol. 8, issue PLDI: "Modular Hardware Design of ..." Article: pldi24main-p12-p doi:10.1145/3656378
Zhao, Yuwei Proc. ACM Program. Lang., vol. 8, issue PLDI: "Superfusion: Eliminating Intermediate ..." Article: pldi24main-p213-p doi:10.1145/3656415
Zhou, Jinguo Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Article: pldi24main-p125-p doi:10.1145/3656400
Zhou, Zhe Proc. ACM Program. Lang., vol. 8, issue PLDI: "A HAT Trick: Automatically ..." Article: pldi24main-p404-p doi:10.1145/3656433
Zhu, He Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reward-Guided Synthesis of ..." Article: pldi24main-p553-p doi:10.1145/3656447
Žikelić, Đorđe Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence and Similarity ..." Article: pldi24main-p847-p doi:10.1145/3656462

370 authors

proc time: 10.08