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

370 authors

proc time: 27.8