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: "Mechanised Hypersafety Proofs ..." PLDI '24: "NetBlocks: Staging Layouts ..."
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 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: "Syntactic Code Search with ..." PLDI '24: "Equivalence by Canonicalization ..."
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: "Foundational Integration Verification ..." PLDI '24: "Live Verification in an Interactive ..."
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: "RefinedRust: A Type System ..." PLDI '24: "Quiver: Guided Abductive Inference ..."
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: "RefinedRust: A Type System ..." PLDI '24: "Quiver: Guided Abductive Inference ..."
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: "Foundational Integration Verification ..." PLDI '24: "Live Verification in an Interactive ..."
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 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: "A Proof Recipe for Linearizability ..." PLDI '24: "Concurrent Immediate Reference ..."
Jung, Ralf PLDI '24: "RefinedRust: A Type System ..."
Kakarla, Siva Kesava Reddy PLDI '24: "Diffy: Data-Driven Bug Finding ..."
Kang, Jeehoon PLDI '24: "A Proof Recipe for Linearizability ..." PLDI '24: "Concurrent Immediate Reference ..." PLDI '24: "Modular Hardware Design of ..."
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: "RefinedRust: A Type System ..." PLDI '24: "A Proof Recipe for Linearizability ..."
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 ..."
Madhusudan, P. PLDI '24: "Predictable Verification using ..."
Madsen, Magnus PLDI '24: "Associated Effects ..."
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 ..."
Manzur, Jose Sulaiman PLDI '24: "RichWasm: Bringing Safe, Fine-Grained, ..."
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 ..."
Pelton, Blake PLDI '24: "Wavefront Threading Enables ..."
Pham, Long PLDI '24: "Robust Resource Bounds with ..."
Philipoom, Jade PLDI '24: "Foundational Integration Verification ..."
Pierce, Benjamin C. PLDI '24: "Stream Types ..."
Pitchanathan, Arjun PLDI '24: "Falcon: A Scalable Analytical ..."
Pit-Claudel, Clément PLDI '24: "Foundational Integration Verification ..." PLDI '24: "Linear Matching of JavaScript ..."
Polikarpova, Nadia PLDI '24: "Superfusion: Eliminating Intermediate ..."
Prakash, Aaryan PLDI '24: "From Batch to Stream: Automatic ..."
Pretnar, Matija PLDI '24: "Bringing the WebAssembly Standard ..."
Püschel, Markus PLDI '24: "Floating-Point TVPI Abstract ..."
Qiu, Longfei PLDI '24: "LiDO: Linearizable Byzantine ..."
Qiu, Wenjie PLDI '24: "Reward-Guided Synthesis of ..."
Qu, Weihao PLDI '24: "Program Analysis for Adaptive ..."
Ragan-Kelley, Jonathan PLDI '24: "A Verified Compiler for a ..."
Ramanathan, Murali Krishna PLDI '24: "A Lightweight Polyglot Code ..."
Ramos, Daniel PLDI '24: "A Lightweight Polyglot Code ..."
Rand, Robert PLDI '24: "An Algebraic Language for ..."
Rao, Xiaojia PLDI '24: "Bringing the WebAssembly Standard ..."
Raskind, Joseph PLDI '24: "VESTA: Power Modeling with ..."
Ravindran, Binoy PLDI '24: "A Family of Fast and Memory ..."
Razet, Benoit PLDI '24: "Daedalus: Safer Document Parsing ..."
Rhee, Jungin PLDI '24: "Modular Hardware Design of ..."
Rinard, Chris PLDI '24: "NetBlocks: Staging Layouts ..."
Rinard, Martin C. PLDI '24: "GenSQL: A Probabilistic Programming ..." PLDI '24: "Probabilistic Programming ..."
Rivera, Cody PLDI '24: "Predictable Verification using ..."
Rivera, Joao PLDI '24: "Floating-Point TVPI Abstract ..."
Rossberg, Andreas PLDI '24: "Bringing the WebAssembly Standard ..."
Rubio, Albert PLDI '24: "SuperStack: Superoptimization ..."
Rustagi, Swapnil PLDI '24: "Optimistic Stack Allocation ..."
Ryu, Sukyoung PLDI '24: "Bringing the WebAssembly Standard ..." PLDI '24: "Don’t Write, but Return: ..."
Saad, Feras A. PLDI '24: "GenSQL: A Probabilistic Programming ..." PLDI '24: "Robust Resource Bounds with ..."
Saivasan, Prakash PLDI '24: "Verification under Intel-x86 ..."
Salvaneschi, Guido PLDI '24: "Automated Verification of ..."
Samardzic, Nikola PLDI '24: "A Tensor Compiler with Automatic ..."