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 ..."
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: "Linear Matching of JavaScript ..." PLDI '24: "Foundational Integration Verification ..."
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: "Don’t Write, but Return: ..." PLDI '24: "Bringing the WebAssembly Standard ..."
Saad, Feras A. PLDI '24: "Robust Resource Bounds with ..." PLDI '24: "GenSQL: A Probabilistic Programming ..."
Saivasan, Prakash PLDI '24: "Verification under Intel-x86 ..."
Salvaneschi, Guido PLDI '24: "Automated Verification of ..."
Samardzic, Nikola PLDI '24: "A Tensor Compiler with Automatic ..."
Sammler, Michael PLDI '24: "Quiver: Guided Abductive Inference ..." PLDI '24: "RefinedRust: A Type System ..."
Sanchez, Daniel PLDI '24: "A Tensor Compiler with Automatic ..."
Santos, José Fragoso PLDI '24: "Efficient Static Vulnerability ..."
Santos, Nuno PLDI '24: "Efficient Static Vulnerability ..."
Sapek, Adam PLDI '24: "Wavefront Threading Enables ..."
Schaechtle, Ulrich PLDI '24: "GenSQL: A Probabilistic Programming ..."
Schlesinger, Cole PLDI '24: "Daedalus: Safer Document Parsing ..." PLDI '24: "KATch: A Fast Symbolic Verifier ..."
Sekiyama, Taro PLDI '24: "Space-Efficient Polymorphic ..."
Sergey, Ilya PLDI '24: "Mechanised Hypersafety Proofs ..."
Seth, Priyam PLDI '24: "Optimistic Stack Allocation ..."
Shao, Zhong PLDI '24: "LiDO: Linearizable Byzantine ..."
Sharma, Ritvik PLDI '24: "Compilation of Qubit Circuits ..."
Shelby, Zane PLDI '24: "GenSQL: A Probabilistic Programming ..."
Shi, Qingkai PLDI '24: "Falcon: A Fused Approach to ..."
Shin, Ji-Yong PLDI '24: "LiDO: Linearizable Byzantine ..."
Shin, Wonho PLDI '24: "Bringing the WebAssembly Standard ..."
Siek, Jeremy G. PLDI '24: "Quest Complete: The Holy Grail ..."
Silva, Alexandra PLDI '24: "KATch: A Fast Symbolic Verifier ..."
Singh, Gagandeep PLDI '24: "Input-Relational Verification ..."
Smolka, Steffen PLDI '24: "KATch: A Fast Symbolic Verifier ..."
Soulé, Robert PLDI '24: "An Algebraic Language for ..."
Sozeau, Matthieu PLDI '24: "Verified Extraction from Coq ..."
Spies, Simon PLDI '24: "Quiver: Guided Abductive Inference ..."
Stancu, Codrut PLDI '24: "Scaling Type-Based Points-to ..."
Stanford, Caleb PLDI '24: "Stream Types ..."
Steuwer, Michel PLDI '24: "Descend: A Safe GPU Systems ..."
Stuckey, Peter J. PLDI '24: "SuperStack: Superoptimization ..."
Su, Zhendong PLDI '24: "Boosting Compiler Testing ..." PLDI '24: "Refined Input, Degraded Output: ..."
Sui, Yulei PLDI '24: "Context-Free Language Reachability ..."
Sulaiman Manzur, Jose PLDI '24: "RichWasm: Bringing Safe, Fine-Grained, ..."
Summers, Alexander J. PLDI '24: "Towards Trustworthy Automated ..."
Sundaresan, Vijay PLDI '24: "Optimistic Stack Allocation ..."
Svyatlovskiy, Mikhail PLDI '24: "Compositional Semantics for ..."
Swierstra, Wouter PLDI '24: "The Functional Essence of ..."
Tabareau, Nicolas PLDI '24: "Verified Extraction from Coq ..."
Tan, Gang PLDI '24: "V-Star: Learning Visibly Pushdown ..."
Tanabe, Yudai PLDI '24: "Space-Efficient Polymorphic ..."
Tate, Ross PLDI '24: "Decidable Subtyping of Existential ..."
Thakur, Manas PLDI '24: "Optimistic Stack Allocation ..."
Thalakottur, Michelle PLDI '24: "RichWasm: Bringing Safe, Fine-Grained, ..."
Theodoridis, Theodoros PLDI '24: "Boosting Compiler Testing ..." PLDI '24: "Refined Input, Degraded Output: ..."
Tsukada, Takeshi PLDI '24: "Inductive Approach to Spacer ..."
Ullman, Jonathan PLDI '24: "Program Analysis for Adaptive ..."
Unno, Hiroshi PLDI '24: "Inductive Approach to Spacer ..."
Vafeiadis, Viktor PLDI '24: "SPORE: Combining Symmetry ..."
Van den Broeck, Guy PLDI '24: "Bit Blasting Probabilistic ..."
Vitek, Jan PLDI '24: "Decidable Subtyping of Existential ..."
Wang, Eric PLDI '24: "Compiling Probabilistic Programs ..."
Wang, Peixin PLDI '24: "Static Posterior Inference ..."
Wang, Xiaoyan PLDI '24: "Probabilistic Programming ..."
Wang, Yang PLDI '24: "IsoPredict: Dynamic Predictive ..."
Wang, Yuepeng PLDI '24: "From Batch to Stream: Automatic ..."
Wang, Yuning PLDI '24: "Reward-Guided Synthesis of ..."
Wang, Ziteng PLDI '24: "From Batch to Stream: Automatic ..."
Watson, Christopher PLDI '24: "Stream Types ..."
Watt, Conrad PLDI '24: "Bringing the WebAssembly Standard ..."
Wei, Guannan PLDI '24: "Consolidating Smart Contracts ..."
Weisenburger, Pascal PLDI '24: "Automated Verification of ..."
Wickerson, John PLDI '24: "Hyperblock Scheduling for ..."
Wimmer, Christian PLDI '24: "Scaling Type-Based Points-to ..."
Winwood, Simon PLDI '24: "Daedalus: Safer Document Parsing ..."
Wu, Rongxin PLDI '24: "Falcon: A Fused Approach to ..."
Würthinger, Thomas PLDI '24: "Scaling Type-Based Points-to ..."
Xi, Jinwen PLDI '24: "Wavefront Threading Enables ..."
Xiang, Shaojie PLDI '24: "Allo: A Programming Model ..."
Xiao, Xiao PLDI '24: "Falcon: A Fused Approach to ..."
Xie, Danning PLDI '24: "Consolidating Smart Contracts ..."
Xiong, Yingfei PLDI '24: "Superfusion: Eliminating Intermediate ..."
Xu, Changming PLDI '24: "Input-Relational Verification ..."
Xu, Wenyuan PLDI '24: "Reducing Static Analysis Unsoundness ..."
Yan, Francis Y. PLDI '24: "Diffy: Data-Driven Bug Finding ..."
Yang, Guowei PLDI '24: "Compatible Branch Coverage ..."
Yang, Tengshun PLDI '24: "Static Posterior Inference ..."
Yao, Peisen PLDI '24: "Falcon: A Fused Approach to ..."
Ye, Kevin PLDI '24: "Equivalence by Canonicalization ..."
Ye, Qianchuan PLDI '24: "A HAT Trick: Automatically ..."
Yi, Qiuping PLDI '24: "Compatible Branch Coverage ..."
Yim, Jacob PLDI '24: "Equivalence by Canonicalization ..."
Ying, Mingsheng PLDI '24: "Symbolic Execution for Quantum ..."
Youn, Dongjun PLDI '24: "Bringing the WebAssembly Standard ..."
Yu, Yifan PLDI '24: "Compatible Branch Coverage ..."
Yuan, Charles PLDI '24: "The T-Complexity Costs of ..."
Yuan, Yongwei PLDI '24: "Consolidating Smart Contracts ..."
Zakhour, George PLDI '24: "Automated Verification of ..."
Zeng, Zhichen PLDI '24: "Allo: A Programming Model ..."
Zhang, Charles PLDI '24: "Falcon: A Fused Approach to ..."
Zhang, Genghan PLDI '24: "Compilation of Modular and ..."
Zhang, Niansong PLDI '24: "Allo: A Programming Model ..."
Zhang, Qirun PLDI '24: "SMT Theory Arbitrage: Approximating ..." PLDI '24: "Context-Free Language Reachability ..."
Zhang, Wuqi PLDI '24: "Consolidating Smart Contracts ..."
Zhang, Yizhou PLDI '24: "Compiling Probabilistic Programs ..."
Zhang, Zhiru PLDI '24: "Allo: A Programming Model ..."
Zhang, Zhuo PLDI '24: "Consolidating Smart Contracts ..."
Zhao, Qiyuan PLDI '24: "Mechanised Hypersafety Proofs ..."
Zhao, Shuangshuang PLDI '24: "Modular Hardware Design of ..."
Zhao, Yuwei PLDI '24: "Superfusion: Eliminating Intermediate ..."
Zhou, Jinguo PLDI '24: "Falcon: A Fused Approach to ..."
Zhou, Zhe PLDI '24: "A HAT Trick: Automatically ..."
Zhu, He PLDI '24: "Reward-Guided Synthesis of ..."
Žikelić, Đorđe PLDI '24: "Equivalence and Similarity ..."

370 authors

proc time: 78.62