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, June 24–28, 2024, Copenhagen, Denmark

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 PLDI '24: "Maximum Consensus Floating ..."
Abdulla, Parosh PLDI '24: "Verification under Intel-x86 ..."
Achour, Sara PLDI '24: "Compilation of Qubit Circuits ..."
Adithya, Solai PLDI '24: "Optimistic Stack Allocation ..."
Ahmed, Amal PLDI '24: "RichWasm: Bringing Safe, Fine-Grained, ..."
Ahrens, Willow PLDI '24: "Mechanised Hypersafety Proofs ..."
Aiken, Alex PLDI '24: "Recursive Program Synthesis ..."
Albert, Elvira PLDI '24: "SuperStack: Superoptimization ..."
Amarasinghe, Saman PLDI '24: "NetBlocks: Staging Layouts ..." PLDI '24: "Mechanised Hypersafety Proofs ..."
Anand, Aditya PLDI '24: "Optimistic Stack Allocation ..."
Atig, Mohamed Faouzi PLDI '24: "Verification under Intel-x86 ..."
Babakol, Timur PLDI '24: "VESTA: Power Modeling with ..."
Babin, Evgeny PLDI '24: "Wavefront Threading Enables ..."
Ball, Thomas PLDI '24: "Jacdac: Service-Based Prototyping ..."
Banerjee, Debangshu PLDI '24: "Input-Relational Verification ..."
Bardin, Sébastien PLDI '24: "Quantitative Robustness for ..."
Barik, Raj PLDI '24: "A Lightweight Polyglot Code ..."
Barik, Titus PLDI '24: "Syntactic Code Search with ..."
Barrière, Aurèle PLDI '24: "Linear Matching of JavaScript ..."
Becker, McCoy R. PLDI '24: "Probabilistic Programming ..."
Beckett, Ryan PLDI '24: "Diffy: Data-Driven Bug Finding ..."
Belanger, Olivier Savary PLDI '24: "KATch: A Fast Symbolic Verifier ..."
Belyakova, Julia PLDI '24: "Decidable Subtyping of Existential ..."
Bernstein, Gilbert PLDI '24: "A Verified Compiler for a ..."
Bjørner, Nikolaj PLDI '24: "SpEQ: Translation of Sparse ..."
Blaauwbroek, Lasse PLDI '24: "Hashing Modulo Context-Sensitive ..."
Blanas, Spyros PLDI '24: "IsoPredict: Dynamic Predictive ..."
Bond, Michael D. PLDI '24: "IsoPredict: Dynamic Predictive ..."
Bonneau, Benjamin PLDI '24: "Towards Trustworthy Automated ..."
Bossut, Camille PLDI '24: "Context-Free Language Reachability ..."
Bouajjani, Ahmed PLDI '24: "Verification under Intel-x86 ..."
Brahmakshatriya, Ajay PLDI '24: "NetBlocks: Staging Layouts ..."
Breitner, Joachim PLDI '24: "Bringing the WebAssembly Standard ..."
Brito, Tiago PLDI '24: "Efficient Static Vulnerability ..."
Buckley, Anita PLDI '24: "An Algebraic Language for ..."
Burger, Doug PLDI '24: "Wavefront Threading Enables ..."
Carbin, Michael PLDI '24: "The T-Complexity Costs of ..."
Caulfield, Adrian PLDI '24: "Wavefront Threading Enables ..."
Chasins, Sarah E. PLDI '24: "Equivalence by Canonicalization ..." PLDI '24: "Syntactic Code Search with ..."
Chatterjee, Krishnendu PLDI '24: "Equivalence and Similarity ..."
Chattopadhyay, Agnishom PLDI '24: "Static Analysis for Checking ..."
Chen, Hongzheng PLDI '24: "Allo: A Programming Model ..."
Chen, Tianyu PLDI '24: "Quest Complete: The Holy Grail ..."
Cheung, Alvin PLDI '24: "Syntactic Code Search with ..."
Chlipala, Adam PLDI '24: "A Verified Compiler for a ..." PLDI '24: "Live Verification in an Interactive ..." PLDI '24: "Foundational Integration Verification ..."
Chung, Benjamin PLDI '24: "Decidable Subtyping of Existential ..."
Chuprikov, Pavel PLDI '24: "An Algebraic Language for ..."
Clapp, Lazaro PLDI '24: "A Lightweight Polyglot Code ..."
Coimbra, Miguel E. PLDI '24: "Efficient Static Vulnerability ..."
Cox, David PLDI '24: "Wavefront Threading Enables ..."
Cui, Guofeng PLDI '24: "Reward-Guided Synthesis of ..."
Cutler, Joseph W. PLDI '24: "Stream Types ..."
Dai, Mengjia PLDI '24: "Allo: A Programming Model ..."
Darais, David PLDI '24: "KATch: A Fast Symbolic Verifier ..."
Dardinier, Thibault PLDI '24: "Hyper Hoare Logic: (Dis-)Proving ..." PLDI '24: "Towards Trustworthy Automated ..."
De Fine Licht, Johannes PLDI '24: "Wavefront Threading Enables ..."
De Halleux, Peli PLDI '24: "Jacdac: Service-Based Prototyping ..."
Dehnavi, Maryam Mehri PLDI '24: "SpEQ: Translation of Sparse ..."
Delaware, Benjamin PLDI '24: "A HAT Trick: Automatically ..."
Devadas, Srinivas PLDI '24: "A Tensor Compiler with Automatic ..."
Devine, James PLDI '24: "Jacdac: Service-Based Prototyping ..."
Diatchki, Iavor S. PLDI '24: "Daedalus: Safer Document Parsing ..."
Dillig, Işıl PLDI '24: "From Batch to Stream: Automatic ..."
Dodds, Mike PLDI '24: "Daedalus: Safer Document Parsing ..."
Dreyer, Derek PLDI '24: "Quiver: Guided Abductive Inference ..." PLDI '24: "RefinedRust: A Type System ..."
Eguro, Ken PLDI '24: "Wavefront Threading Enables ..."
Erbsen, Andres PLDI '24: "Foundational Integration Verification ..."
Eugster, Patrick PLDI '24: "An Algebraic Language for ..."
Fang, Wang PLDI '24: "Symbolic Execution for Quantum ..."
Ferguson, Jeremy PLDI '24: "Equivalence by Canonicalization ..."
Ferreira, Mafalda PLDI '24: "Efficient Static Vulnerability ..."
Fitzgibbons, Michael PLDI '24: "RichWasm: Bringing Safe, Fine-Grained, ..."
Forin, Alessandro PLDI '24: "Wavefront Threading Enables ..."
Forster, Yannick PLDI '24: "Verified Extraction from Coq ..."
Foster, Nate PLDI '24: "KATch: A Fast Symbolic Verifier ..."
Franchetti, Franz PLDI '24: "Floating-Point TVPI Abstract ..."
Freer, Cameron E. PLDI '24: "GenSQL: A Probabilistic Programming ..."
Fu, Hongfei PLDI '24: "Static Posterior Inference ..."
Fukala, Viktor PLDI '24: "Live Verification in an Interactive ..."
Gaboardi, Marco PLDI '24: "Program Analysis for Adaptive ..."
Gäher, Lennard PLDI '24: "Quiver: Guided Abductive Inference ..." PLDI '24: "RefinedRust: A Type System ..."
Garcia de la Banda, Maria PLDI '24: "SuperStack: Superoptimization ..."
Gardner, Philippa PLDI '24: "Bringing the WebAssembly Standard ..."
Garg, Deepak PLDI '24: "Program Analysis for Adaptive ..."
Garg, Poorva PLDI '24: "Bit Blasting Probabilistic ..."
Geng, Chujun PLDI '24: "IsoPredict: Dynamic Predictive ..."
Geuvers, Herman PLDI '24: "Hashing Modulo Context-Sensitive ..."
Ghavami, Matin PLDI '24: "GenSQL: A Probabilistic Programming ..." PLDI '24: "Probabilistic Programming ..."
Ghobadi, Manya PLDI '24: "NetBlocks: Staging Layouts ..."
Girol, Guillaume PLDI '24: "Quantitative Robustness for ..."
Gladshtein, Vladimir PLDI '24: "Mechanised Hypersafety Proofs ..."
Goharshady, Ehsan Kafshdar PLDI '24: "Equivalence and Similarity ..."
Goldstein, Harrison PLDI '24: "Daedalus: Safer Document Parsing ..." PLDI '24: "Stream Types ..."
Gorlatch, Sergei PLDI '24: "Descend: A Safe GPU Systems ..."
Grosser, Tobias PLDI '24: "Falcon: A Scalable Analytical ..."
Grover, Kunwar PLDI '24: "Falcon: A Scalable Analytical ..."
Gruetter, Samuel PLDI '24: "Live Verification in an Interactive ..." PLDI '24: "Foundational Integration Verification ..."
Harris, Bill PLDI '24: "Daedalus: Safer Document Parsing ..."
Herklotz, Yann PLDI '24: "Hyperblock Scheduling for ..."
Hernández-Cerezo, Alejandro PLDI '24: "SuperStack: Superoptimization ..."
Hilliard, Phillip PLDI '24: "Stream Types ..."
Hodges, Steve PLDI '24: "Jacdac: Service-Based Prototyping ..."
Hoffmann, Jan PLDI '24: "Robust Resource Bounds with ..."
Holland, David A. PLDI '24: "Daedalus: Safer Document Parsing ..."
Holtzen, Steven PLDI '24: "Bit Blasting Probabilistic ..."
Hong, Jaemin PLDI '24: "Don’t Write, but Return: ..."
Hong, Qiantan PLDI '24: "Recursive Program Synthesis ..."
Honoré, Wolf PLDI '24: "LiDO: Linearizable Byzantine ..."
Hsu, Justin PLDI '24: "Numerical Fuzz: A Type System ..."
Hsu, Olivia PLDI '24: "Compilation of Modular and ..."
Hu, Zhenjiang PLDI '24: "Superfusion: Eliminating Intermediate ..."
Huang, Keli PLDI '24: "Compiling Conditional Quantum ..."
Humphrey, Matt PLDI '24: "Wavefront Threading Enables ..."
Huot, Mathieu PLDI '24: "GenSQL: A Probabilistic Programming ..." PLDI '24: "Probabilistic Programming ..."
Igarashi, Atsushi PLDI '24: "Space-Efficient Polymorphic ..."
Ignatiev, Alexey PLDI '24: "SuperStack: Superoptimization ..."
Jacobs, Jules PLDI '24: "KATch: A Fast Symbolic Verifier ..."
Jagannathan, Suresh PLDI '24: "A HAT Trick: Automatically ..."
Jamner, Dustin PLDI '24: "Foundational Integration Verification ..."
Jang, Minseong PLDI '24: "Modular Hardware Design of ..."
Jeon, Minseok PLDI '24: "PL4XGL: A Programming Language ..."
Ji, Ruyi PLDI '24: "Superfusion: Eliminating Intermediate ..."
Jia, Limin PLDI '24: "Efficient Static Vulnerability ..."
Jia, Xiaodong PLDI '24: "V-Star: Learning Visibly Pushdown ..."
Jiang, Hanru PLDI '24: "Qubit Recycling Revisited ..."
Jung, Jaehwang PLDI '24: "Concurrent Immediate Reference ..." PLDI '24: "A Proof Recipe for Linearizability ..."
Jung, Ralf PLDI '24: "RefinedRust: A Type System ..."
Kakarla, Siva Kesava Reddy PLDI '24: "Diffy: Data-Driven Bug Finding ..."
Kang, Jeehoon PLDI '24: "Modular Hardware Design of ..." PLDI '24: "Concurrent Immediate Reference ..." PLDI '24: "A Proof Recipe for Linearizability ..."
Karandikar, Rajas PLDI '24: "Wavefront Threading Enables ..."
Kellison, Ariel E. PLDI '24: "Numerical Fuzz: A Type System ..."
Ketkar, Ameya PLDI '24: "A Lightweight Polyglot Code ..."
Kim, Jaewoo PLDI '24: "A Proof Recipe for Linearizability ..."
Kim, Jeonghyeon PLDI '24: "Concurrent Immediate Reference ..."
Kim, Jieung PLDI '24: "LiDO: Linearizable Byzantine ..."
Kim, Yoonseung PLDI '24: "LiDO: Linearizable Byzantine ..."
Kjolstad, Fredrik PLDI '24: "Compilation of Modular and ..."
Kokologiannakis, Michalis PLDI '24: "SPORE: Combining Symmetry ..."
Köpcke, Bastian PLDI '24: "Descend: A Safe GPU Systems ..."
Kozak, David PLDI '24: "Scaling Type-Based Points-to ..."
Krastev, Aleksandar PLDI '24: "A Tensor Compiler with Automatic ..."
Krebbers, Robbert PLDI '24: "A Proof Recipe for Linearizability ..." PLDI '24: "RefinedRust: A Type System ..."
Kumar, K. Narayan PLDI '24: "Verification under Intel-x86 ..."
Lacombe, Guilhem PLDI '24: "Quantitative Robustness for ..."
Lahav, Ori PLDI '24: "Compositional Semantics for ..."
Laird, Avery PLDI '24: "SpEQ: Translation of Sparse ..."
Langowski, Simon PLDI '24: "A Tensor Compiler with Automatic ..."
Laursen, Mathias Rud PLDI '24: "Reducing Static Analysis Unsoundness ..."
Lee, Jaehyun PLDI '24: "Bringing the WebAssembly Standard ..."
Lee, Janggun PLDI '24: "A Proof Recipe for Linearizability ..."
Lee, Woojin PLDI '24: "Modular Hardware Design of ..."
Le Glaunec, Alexis PLDI '24: "Static Analysis for Checking ..."
Lei, Yuxiang PLDI '24: "Context-Free Language Reachability ..."
Leijen, Daan PLDI '24: "The Functional Essence of ..."
Lemerre, Matthieu PLDI '24: "Compiling with Abstract Interpretation ..."
Lesbre, Dorian PLDI '24: "Compiling with Abstract Interpretation ..."
Lew, Alexander K. PLDI '24: "GenSQL: A Probabilistic Programming ..." PLDI '24: "Probabilistic Programming ..."
Li, Guanyan PLDI '24: "Static Posterior Inference ..."
Li, Jianlin PLDI '24: "Compiling Probabilistic Programs ..."
Li, Shaohua PLDI '24: "Boosting Compiler Testing ..."
Li, Wu Angela PLDI '24: "Static Analysis for Checking ..."
Lin, Ashley PLDI '24: "Foundational Integration Verification ..."
Lindley, Sam PLDI '24: "The Functional Essence of ..." PLDI '24: "Bringing the WebAssembly Standard ..."
Liu, Amanda PLDI '24: "A Verified Compiler for a ..."
Liu, Bangtian PLDI '24: "SpEQ: Translation of Sparse ..."
Liu, Jiawen PLDI '24: "Program Analysis for Adaptive ..."
Liu, Yu David PLDI '24: "VESTA: Power Modeling with ..."
Lo, Daniel PLDI '24: "Wavefront Threading Enables ..."
Lorenzen, Anton PLDI '24: "The Functional Essence of ..."
Lubin, Justin PLDI '24: "Equivalence by Canonicalization ..."
Lutze, Matthew PLDI '24: "Associated Effects: Flexible ..."
Madhusudan, P. PLDI '24: "Predictable Verification using ..."
Madsen, Magnus PLDI '24: "Associated Effects: Flexible ..."
Mahmoud, Khaled PLDI '24: "VESTA: Power Modeling with ..."
Maier, Daryl PLDI '24: "Optimistic Stack Allocation ..."
Mamouras, Konstantinos PLDI '24: "Static Analysis for Checking ..."
Mansinghka, Vikash K. PLDI '24: "GenSQL: A Probabilistic Programming ..." PLDI '24: "Probabilistic Programming ..."
Marmanis, Iason PLDI '24: "SPORE: Combining Symmetry ..."
Matute, Gabriel PLDI '24: "Syntactic Code Search with ..."
Mermelstein, Shai PLDI '24: "Compositional Semantics for ..."
Mikek, Benjamin PLDI '24: "SMT Theory Arbitrage: Approximating ..."
Millstein, Todd PLDI '24: "Bit Blasting Probabilistic ..."
Møller, Anders PLDI '24: "Reducing Static Analysis Unsoundness ..."
Moeller, Mark PLDI '24: "KATch: A Fast Symbolic Verifier ..."
Monteiro, Miguel PLDI '24: "Efficient Static Vulnerability ..."
Moskal, Michał PLDI '24: "Jacdac: Service-Based Prototyping ..."
Mulder, Ike PLDI '24: "A Proof Recipe for Linearizability ..."
Müller, Peter PLDI '24: "Hyper Hoare Logic: (Dis-)Proving ..." PLDI '24: "Towards Trustworthy Automated ..."
Murali, Adithya PLDI '24: "Predictable Verification using ..."
Mushtak, Noble PLDI '24: "RichWasm: Bringing Safe, Fine-Grained, ..."
Nagarakatte, Santosh PLDI '24: "Maximum Consensus Floating ..."
Nandivada, V. Krishna PLDI '24: "Optimistic Stack Allocation ..."
Ni, Wode PLDI '24: "Syntactic Code Search with ..."
Nikolaev, Ruslan PLDI '24: "A Family of Fast and Memory ..."
Nkurumeh, Emeka PLDI '24: "Stream Types ..."
Novotný, Petr PLDI '24: "Equivalence and Similarity ..."
Oh, Hakjoo PLDI '24: "PL4XGL: A Programming Language ..."
Olšák, Miroslav PLDI '24: "Hashing Modulo Context-Sensitive ..."
Ong, C.-H. Luke PLDI '24: "Static Posterior Inference ..."
Otoni, Rodrigo PLDI '24: "An Algebraic Language for ..."
Ozaki, Shota PLDI '24: "Space-Efficient Polymorphic ..."
Pailoor, Shankara PLDI '24: "From Batch to Stream: Automatic ..."
Palsberg, Jens PLDI '24: "Compiling Conditional Quantum ..."
Paraskevopoulou, Zoe PLDI '24: "RichWasm: Bringing Safe, Fine-Grained, ..."
Park, Jihyeok PLDI '24: "PL4XGL: A Programming Language ..."
Park, Sunho PLDI '24: "A Proof Recipe for Linearizability ..."
Parkinson, Matthew J. PLDI '24: "Concurrent Immediate Reference ..."
Parthasarathy, Gaurav PLDI '24: "Towards Trustworthy Automated ..."