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

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

PLDI 2023 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P R S T U V W X Y Z

Abdulla, Parosh Aziz Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..."
Abrahamsson, Oskar Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..."
Acar, Umut A. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Efficient Parallel Functional ..."
Agarwal, Sukarn Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..."
Agrawal, Kunal Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..."
Ahmed, Amal Proc. ACM Program. Lang., vol. 7, issue PLDI: "Lilac: A Modal Separation ..."
Albarghouthi, Aws Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing Quantum-Circuit ..."
Alberdingk Thijm, Timothy Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Control Plane Verification ..."
Alistarh, Dan Proc. ACM Program. Lang., vol. 7, issue PLDI: "CQS: A Formally-Verified Framework ..."
Amin, Nada Proc. ACM Program. Lang., vol. 7, issue PLDI: "Extensible Metatheory Mechanization ..."
Arora, Jatin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Efficient Parallel Functional ..."
Askarov, Aslan Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..."
Atkinson, Eric Proc. ACM Program. Lang., vol. 7, issue PLDI: "Conflict-Driven Synthesis ..."
Avanzini, Martin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Expected Value Analysis ..."
Azevedo de Amorim, Pedro Henrique Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Hardware Design with ..."
Babokin, Dmitry Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fuzzing Loop Optimizations ..."
Bagnall, Alexander Proc. ACM Program. Lang., vol. 7, issue PLDI: "Formally Verified Samplers ..."
Balkind, Jonathan Proc. ACM Program. Lang., vol. 7, issue PLDI: "Loop Rerolling for Hardware ..."
Banerjee, Anindya Proc. ACM Program. Lang., vol. 7, issue PLDI: "Formally Verified Samplers ..."
Banerjee, Debangshu Proc. ACM Program. Lang., vol. 7, issue PLDI: "Incremental Verification of ..."
Bang, Lucas Proc. ACM Program. Lang., vol. 7, issue PLDI: "Obtaining Information Leakage ..."
Bansal, Manya Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mosaic: An Interoperable Compiler ..."
Barnaby, Celeste Proc. ACM Program. Lang., vol. 7, issue PLDI: "ImageEye: Batch Image Processing ..."
Beckett, Ryan Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Control Plane Verification ..."
Bercea, Gheorghe-Teodor Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..."
Berger, Martin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Search-Based Regular Expression ..."
Berkow, Wilson Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Defunctionalization ..."
Bertram, Noah Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cutting the Cake: A Language ..."
Beurer-Kellner, Luca Proc. ACM Program. Lang., vol. 7, issue PLDI: "Prompting Is Programming: ..."
Birkedal, Lars Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..."
Bodik, Rastislav Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Lineage-Based Referencing ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Conflict-Driven Synthesis ..."
Bos, Herbert Proc. ACM Program. Lang., vol. 7, issue PLDI: "Don’t Look UB: Exposing ..."
Bouajjani, Ahmed Proc. ACM Program. Lang., vol. 7, issue PLDI: "Dynamic Partial Order Reduction ..."
Brandon, William Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Defunctionalization ..."
Bultan, Tevfik Proc. ACM Program. Lang., vol. 7, issue PLDI: "Obtaining Information Leakage ..."
Cao, David Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..."
Cascaval, Dan Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Lineage-Based Referencing ..."
Castro, Paul Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..."
Chakraborty, Soham Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..."
Chen, Qiaochu Proc. ACM Program. Lang., vol. 7, issue PLDI: "ImageEye: Batch Image Processing ..."
Chen, Yanju Proc. ACM Program. Lang., vol. 7, issue PLDI: "Conflict-Driven Synthesis ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..."
Chen, Yu-Fang Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..."
Cheshmi, Kazem Proc. ACM Program. Lang., vol. 7, issue PLDI: "Register Tiling for Unstructured ..."
Chiba, Shigeru Proc. ACM Program. Lang., vol. 7, issue PLDI: "Collecting Cyclic Garbage ..."
Chida, Nariyoshi Proc. ACM Program. Lang., vol. 7, issue PLDI: "Repairing Regular Expressions ..."
Chlipala, Adam Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Cho, Kyeongmin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Memento: A Framework for Detectable ..."
Cho, Minki Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Putting Weak Memory in Order ..."
Chu, Michael Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..."
Chuengsatiansup, Chitchanok Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Chung, Kai-Min Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..."
Chuprikov, Pavel Proc. ACM Program. Lang., vol. 7, issue PLDI: "Generalized Policy-Based Noninterference ..."
Conoly, Owen Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Cwiklik, Jaroslaw Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..."
Czajka, Łukasz Proc. ACM Program. Lang., vol. 7, issue PLDI: "Beyond Backtracking: Connections ..."
Dai, Frank Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Defunctionalization ..."
Damani, Sana Proc. ACM Program. Lang., vol. 7, issue PLDI: "cuCatch: A Debugging Tool ..."
Dardinier, Thibault Proc. ACM Program. Lang., vol. 7, issue PLDI: "CommCSL: Proving Information ..."
Dehnavi, Maryam Mehri Proc. ACM Program. Lang., vol. 7, issue PLDI: "Register Tiling for Unstructured ..."
Delaware, Benjamin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Taype: A Policy-Agnostic Language ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Covering All the Bases: Type-Based ..."
Desai, Ankush Proc. ACM Program. Lang., vol. 7, issue PLDI: "Psym: Efficient Symbolic Exploration ..."
Dillig, Işıl Proc. ACM Program. Lang., vol. 7, issue PLDI: "ImageEye: Batch Image Processing ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..."
Donaldson, Alastair F. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Program Reconditioning: Avoiding ..."
Drachsler-Cohen, Dana Proc. ACM Program. Lang., vol. 7, issue PLDI: "One Pixel Adversarial Attacks ..."
Driscoll, Benjamin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Defunctionalization ..."
Eilers, Marco Proc. ACM Program. Lang., vol. 7, issue PLDI: "CommCSL: Proving Information ..."
Elsman, Martin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Garbage-Collection Safety ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parallelism in a Region Inference ..."
Enea, Constantin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Dynamic Partial Order Reduction ..."
Epstein, Edward Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..."
Erbsen, Andres Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Eugster, Patrick Proc. ACM Program. Lang., vol. 7, issue PLDI: "Generalized Policy-Based Noninterference ..."
Feng, Yu Proc. ACM Program. Lang., vol. 7, issue PLDI: "Conflict-Driven Synthesis ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..."
Fiala, Jonáš Proc. ACM Program. Lang., vol. 7, issue PLDI: "Leveraging Rust Types for ..."
Fischer, Marc Proc. ACM Program. Lang., vol. 7, issue PLDI: "Abstract Interpretation of ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Prompting Is Programming: ..."
Flatt, Oliver Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..."
Foster, Jeffrey S. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Absynthe: Abstract Interpretation-Guided ..."
Gao, Fengjuan Proc. ACM Program. Lang., vol. 7, issue PLDI: "Discrete Adversarial Attack ..."
Gardner, Philippa Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..."
Geller, Adam T. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Flux: Liquid Types for Rust ..."
Genkin, Daniel Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Georges, Aïna Linn Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..."
Ghavamizadeh, Matin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Probabilistic Programming ..."
Ghentiyala, Surendra Proc. ACM Program. Lang., vol. 7, issue PLDI: "Obtaining Information Leakage ..."
Giuffrida, Cristiano Proc. ACM Program. Lang., vol. 7, issue PLDI: "Don’t Look UB: Exposing ..."
Gleissenthall, Klaus von Proc. ACM Program. Lang., vol. 7, issue PLDI: "Don’t Look UB: Exposing ..."
Goens, Andrés Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..."
Gopinathan, Kiran Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mostly Automated Proof Repair ..."
Gross, Jason Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Grove, David Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..."
Gu, Brian Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..."
Gu, Tiancheng Proc. ACM Program. Lang., vol. 7, issue PLDI: "Indexed Streams: A Formal ..."
Gupta, Aarti Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Control Plane Verification ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Psym: Efficient Symbolic Exploration ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing MILP Constraints ..."
Guria, Sankha Narayan Proc. ACM Program. Lang., vol. 7, issue PLDI: "Absynthe: Abstract Interpretation-Guided ..."
Hardekopf, Ben Proc. ACM Program. Lang., vol. 7, issue PLDI: "Loop Rerolling for Hardware ..."
Henriksen, Troels Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parallelism in a Region Inference ..."
Holtzen, Steven Proc. ACM Program. Lang., vol. 7, issue PLDI: "Lilac: A Modal Separation ..."
Hsu, Justin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cutting the Cake: A Language ..."
Hsu, Olivia Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mosaic: An Interoperable Compiler ..."
Huang, Jiani Proc. ACM Program. Lang., vol. 7, issue PLDI: "Scallop: A Language for Neurosymbolic ..."
Huang, Yulong Proc. ACM Program. Lang., vol. 7, issue PLDI: "Defunctionalization with Dependent ..."
Hur, Chung-Kil Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Putting Weak Memory in Order ..."
Isemann, Raphael Proc. ACM Program. Lang., vol. 7, issue PLDI: "Don’t Look UB: Exposing ..."
Itzhaky, Shachar Proc. ACM Program. Lang., vol. 7, issue PLDI: "Leveraging Rust Types for ..."
Jagannathan, Suresh Proc. ACM Program. Lang., vol. 7, issue PLDI: "Covering All the Bases: Type-Based ..."
Jaleel, Aamer Proc. ACM Program. Lang., vol. 7, issue PLDI: "cuCatch: A Debugging Tool ..."
Jeon, Seungmin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Memento: A Framework for Detectable ..."
Jhala, Ranjit Proc. ACM Program. Lang., vol. 7, issue PLDI: "Flux: Liquid Types for Rust ..."
Jia, Limin Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Type System for Safe Intermittent ..."
Jin, Ende Proc. ACM Program. Lang., vol. 7, issue PLDI: "Extensible Metatheory Mechanization ..."
Kanabar, Hrutvik Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..."
Kang, Jeehoon Proc. ACM Program. Lang., vol. 7, issue PLDI: "Memento: A Framework for Detectable ..."
Kapritsos, Manos Proc. ACM Program. Lang., vol. 7, issue PLDI: "Performal: Formal Verification ..."
Keckler, Stephen W. Proc. ACM Program. Lang., vol. 7, issue PLDI: "cuCatch: A Debugging Tool ..."
Keeney, Devyn Terra Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..."
Keoliya, Mayank Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mostly Automated Proof Repair ..."
Khalanskiy, Dmitry Proc. ACM Program. Lang., vol. 7, issue PLDI: "CQS: A Formally-Verified Framework ..."
Kim, Hyeongyu Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..."
Kim, Jinwoo Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..."
Kjolstad, Fredrik Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mosaic: An Interoperable Compiler ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Indexed Streams: A Formal ..."
Kolichala, Praneeth Proc. ACM Program. Lang., vol. 7, issue PLDI: "Indexed Streams: A Formal ..."
Kovach, Scott Proc. ACM Program. Lang., vol. 7, issue PLDI: "Indexed Streams: A Formal ..."
Koval, Nikita Proc. ACM Program. Lang., vol. 7, issue PLDI: "CQS: A Formally-Verified Framework ..."
Krebbers, Robbert Proc. ACM Program. Lang., vol. 7, issue PLDI: "Beyond Backtracking: Connections ..."
Krishna, Shankaranarayanan Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..."
Krishnaswami, Neel Proc. ACM Program. Lang., vol. 7, issue PLDI: "flap: A Deterministic Parser ..."
Kuepper, Joel Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Kumar, Ramana Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..."
Kunčak, Viktor Proc. ACM Program. Lang., vol. 7, issue PLDI: "Proving and Disproving Equivalence ..."
Lahav, Ori Proc. ACM Program. Lang., vol. 7, issue PLDI: "Putting Weak Memory in Order ..."
Lammich, Peter Proc. ACM Program. Lang., vol. 7, issue PLDI: "WasmRef-Isabelle: A Verified ..."
Lampropoulos, Leonidas Proc. ACM Program. Lang., vol. 7, issue PLDI: "Merging Inductive Relations ..."
Lecoeur, Bastien Proc. ACM Program. Lang., vol. 7, issue PLDI: "Program Reconditioning: Avoiding ..."
Lee, Dongjae Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..."
Lee, I-Ting Angelina Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..."
Lee, Juneyoung Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..."
Lee, Kanguk Proc. ACM Program. Lang., vol. 7, issue PLDI: "Feature-Sensitive Coverage ..."
Lee, Sung-Hwan Proc. ACM Program. Lang., vol. 7, issue PLDI: "Putting Weak Memory in Order ..."
Lee, Woosuk Proc. ACM Program. Lang., vol. 7, issue PLDI: "Inductive Program Synthesis ..."
Legoupil, Maxime Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..."
Lehmann, Nico Proc. ACM Program. Lang., vol. 7, issue PLDI: "Flux: Liquid Types for Rust ..."
Lei, Yuxiang Proc. ACM Program. Lang., vol. 7, issue PLDI: "Recursive State Machine Guided ..."
Lengál, Ondřej Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..."
Levinson, Alex Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cutting the Cake: A Language ..."
Lew, Alexander K. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Probabilistic Programming ..."
Li, John M. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Lilac: A Modal Separation ..."
Li, Yue Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..."
Li, Ziyang Proc. ACM Program. Lang., vol. 7, issue PLDI: "Scallop: A Language for Neurosymbolic ..."
Lin, Jyun-Ao Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..."
Liu, Junrui Proc. ACM Program. Lang., vol. 7, issue PLDI: "Conflict-Driven Synthesis ..."
Liu, Zongyuan Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..."
Livinskii, Vsevolod Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fuzzing Loop Optimizations ..."
Lu, Shihua Proc. ACM Program. Lang., vol. 7, issue PLDI: "Obtaining Information Leakage ..."
Lucia, Brandon Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Type System for Safe Intermittent ..."
Ma, Wenjie Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..."
Ma, Xiaoxing Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..."
Mangipudi, Shamiek Proc. ACM Program. Lang., vol. 7, issue PLDI: "Generalized Policy-Based Noninterference ..."
Mansinghka, Vikash K. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Probabilistic Programming ..."
Margalit, Roy Proc. ACM Program. Lang., vol. 7, issue PLDI: "Putting Weak Memory in Order ..."
Märkl, Florian Proc. ACM Program. Lang., vol. 7, issue PLDI: "WasmRef-Isabelle: A Verified ..."
Mathur, Umang Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Sound Dynamic Deadlock Prediction ..."
Meyer, Roland Proc. ACM Program. Lang., vol. 7, issue PLDI: "Embedding Hindsight Reasoning ..."
Mihajlovic, Alexander Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..."
Milano, Mae Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Defunctionalization ..."
Milovančević, Dragana Proc. ACM Program. Lang., vol. 7, issue PLDI: "Proving and Disproving Equivalence ..."
Misailovic, Sasa Proc. ACM Program. Lang., vol. 7, issue PLDI: "Incremental Verification of ..."
Mishra, Ashish Proc. ACM Program. Lang., vol. 7, issue PLDI: "Covering All the Bases: Type-Based ..."
Mitchell, Jacqueline Proc. ACM Program. Lang., vol. 7, issue PLDI: "Architecture-Preserving Provable ..."
Mohsin, Hasan Proc. ACM Program. Lang., vol. 7, issue PLDI: "Program Reconditioning: Avoiding ..."
Molavi, Abtin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing Quantum-Circuit ..."
Moon, Soonwon Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..."
Mordido, Andreia Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parameterized Algebraic Protocols ..."
Morrisett, Greg Proc. ACM Program. Lang., vol. 7, issue PLDI: "Interval Parsing Grammars ..."
Morton, Jason Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..."
Moseley, Dan Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..."
Moser, Georg Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Expected Value Analysis ..."
Mulder, Ike Proc. ACM Program. Lang., vol. 7, issue PLDI: "Beyond Backtracking: Connections ..."
Müller, Mark Niklas Proc. ACM Program. Lang., vol. 7, issue PLDI: "Abstract Interpretation of ..."
Müller, Peter Proc. ACM Program. Lang., vol. 7, issue PLDI: "Leveraging Rust Types for ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "CommCSL: Proving Information ..."
Muller, Stefan K. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..."
Myreen, Magnus O. Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..."
Nagarajan, Vijay Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..."
Naik, Mayur Proc. ACM Program. Lang., vol. 7, issue PLDI: "Scallop: A Language for Neurosymbolic ..."
Nakamaru, Tomoki Proc. ACM Program. Lang., vol. 7, issue PLDI: "Collecting Cyclic Garbage ..."
Nam, Seunghyeon Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..."
Nawas, Stephanie Proc. ACM Program. Lang., vol. 7, issue PLDI: "Architecture-Preserving Provable ..."
Neth, Andrew Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..."
Nigam, Rachit Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Hardware Design with ..."
Nishio, Mario Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..."
Norrish, Michael Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..."
Olukotun, Kunle Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mosaic: An Interoperable Compiler ..."
Oswald, Nicolai Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..."
Owens, Scott Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..."
Pailoor, Shankara Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..."
Park, Jihyeok Proc. ACM Program. Lang., vol. 7, issue PLDI: "Feature-Sensitive Coverage ..."
Park, Sunjae Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..."
Pavlogiannis, Andreas Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Sound Dynamic Deadlock Prediction ..."
Perez Rodriguez, Jose Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..."
Pichon-Pharabod, Jean Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..."
Pick, Lauren Proc. ACM Program. Lang., vol. 7, issue PLDI: "Psym: Efficient Symbolic Exploration ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing Quantum-Circuit ..."
Pohjola, Johannes Åman Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..."
Polikarpova, Nadia Proc. ACM Program. Lang., vol. 7, issue PLDI: "Leveraging Rust Types for ..."
Prinz, Jacob Proc. ACM Program. Lang., vol. 7, issue PLDI: "Merging Inductive Relations ..."
Raad, Azalea Proc. ACM Program. Lang., vol. 7, issue PLDI: "Memento: A Framework for Detectable ..."
Radhakrishna, Arjun Proc. ACM Program. Lang., vol. 7, issue PLDI: "Trace-Guided Inductive Synthesis ..."
Rao, Xiaojia Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..."
Regehr, John Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fuzzing Loop Optimizations ..."
Rinard, Martin C. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Probabilistic Programming ..."
Rodríguez, Clara Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..."
Román-Calvo, Enrique Proc. ACM Program. Lang., vol. 7, issue PLDI: "Dynamic Partial Order Reduction ..."
Rosenthal, Eli Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..."
Ryu, Sukyoung Proc. ACM Program. Lang., vol. 7, issue PLDI: "Feature-Sensitive Coverage ..."
Saarikivi, Olli Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..."
Saha, Seemanta Proc. ACM Program. Lang., vol. 7, issue PLDI: "Obtaining Information Leakage ..."
Salvaneschi, Guido Proc. ACM Program. Lang., vol. 7, issue PLDI: "Type-Checking CRDT Convergence ..."
Samanta, Roopsha Proc. ACM Program. Lang., vol. 7, issue PLDI: "ImageEye: Batch Image Processing ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Trace-Guided Inductive Synthesis ..."
Sampson, Adrian Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Hardware Design with ..."
Sarkar, Susmit Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..."
Savvides, Savvas Proc. ACM Program. Lang., vol. 7, issue PLDI: "Generalized Policy-Based Noninterference ..."
Schaper, Michael Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Expected Value Analysis ..."
Schulz, Adriana Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Lineage-Based Referencing ..."
Sergey, Ilya Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mostly Automated Proof Repair ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Leveraging Rust Types for ..."
Sewell, Thomas Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..."
Sharma, Upamanyu Proc. ACM Program. Lang., vol. 7, issue PLDI: "Performal: Formal Verification ..."
Sherwood, Timothy Proc. ACM Program. Lang., vol. 7, issue PLDI: "Loop Rerolling for Hardware ..."
Shin, Junbum Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..."
Shioya, Ryota Proc. ACM Program. Lang., vol. 7, issue PLDI: "Collecting Cyclic Garbage ..."
Singer, Kyle Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..."
Singh, Gagandeep Proc. ACM Program. Lang., vol. 7, issue PLDI: "Incremental Verification of ..."
Sisco, Zachary D. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Loop Rerolling for Hardware ..."
Song, Woosung Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..."
Song, Youngju Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..."
Spaderna, Janek Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parameterized Algebraic Protocols ..."
Spargo, Naomi Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Type System for Safe Intermittent ..."
Staab, Robin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Abstract Interpretation of ..."
Stepanenko, Sergei Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..."
Stephenson, Mark Proc. ACM Program. Lang., vol. 7, issue PLDI: "cuCatch: A Debugging Tool ..."
Stewart, Gordon Proc. ACM Program. Lang., vol. 7, issue PLDI: "Formally Verified Samplers ..."
Sui, Yulei Proc. ACM Program. Lang., vol. 7, issue PLDI: "Recursive State Machine Guided ..."
Sun, Chuyue Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Surbatovich, Milijana Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Type System for Safe Intermittent ..."
Tan, Gang Proc. ACM Program. Lang., vol. 7, issue PLDI: "Interval Parsing Grammars ..."
Tan, Shin Hwei Proc. ACM Program. Lang., vol. 7, issue PLDI: "Recursive State Machine Guided ..."
Tan, Tian Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..."
Tan, Yong Kiam Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..."
Tannu, Swamit Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing Quantum-Circuit ..."
Tao, Zhe Proc. ACM Program. Lang., vol. 7, issue PLDI: "Architecture-Preserving Provable ..."
Tardieu, Olivier Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..."
Tarek Ibn Ziad, Mohamed Proc. ACM Program. Lang., vol. 7, issue PLDI: "cuCatch: A Debugging Tool ..."
Tassarotti, Joseph Proc. ACM Program. Lang., vol. 7, issue PLDI: "Verified Density Compilation ..."
Tatlock, Zachary Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..."
Terauchi, Tachio Proc. ACM Program. Lang., vol. 7, issue PLDI: "Repairing Regular Expressions ..."
Thakur, Aditya V. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Architecture-Preserving Provable ..."
Thiemann, Peter Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parameterized Algebraic Protocols ..."
Tian, Samuel Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Timany, Amin Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..."
Toub, Stephen Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..."
Trela, Maja Proc. ACM Program. Lang., vol. 7, issue PLDI: "WasmRef-Isabelle: A Verified ..."
Tristan, Jean-Baptiste Proc. ACM Program. Lang., vol. 7, issue PLDI: "Verified Density Compilation ..."
Tsai, Wei-Lun Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..."
Tunç, Hünkar Can Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Sound Dynamic Deadlock Prediction ..."
Ugare, Shubham Proc. ACM Program. Lang., vol. 7, issue PLDI: "Incremental Verification of ..."
Ugawa, Tomoharu Proc. ACM Program. Lang., vol. 7, issue PLDI: "Collecting Cyclic Garbage ..."
Valizadeh, Mojtaba Proc. ACM Program. Lang., vol. 7, issue PLDI: "Search-Based Regular Expression ..."
Van der Kouwe, Erik Proc. ACM Program. Lang., vol. 7, issue PLDI: "Don’t Look UB: Exposing ..."
Van Geffen, Jacob Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..."
Van Horn, David Proc. ACM Program. Lang., vol. 7, issue PLDI: "Absynthe: Abstract Interpretation-Guided ..."
Vasconcelos, Vasco T. Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parameterized Algebraic Protocols ..."
Vazou, Niki Proc. ACM Program. Lang., vol. 7, issue PLDI: "Flux: Liquid Types for Rust ..."
Veanes, Margus Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..."
Vechev, Martin Proc. ACM Program. Lang., vol. 7, issue PLDI: "Abstract Interpretation of ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Prompting Is Programming: ..."
Viering, Malte Proc. ACM Program. Lang., vol. 7, issue PLDI: "Generalized Policy-Based Noninterference ..."
Viswanathan, Mahesh Proc. ACM Program. Lang., vol. 7, issue PLDI: "Sound Dynamic Deadlock Prediction ..."
Vivien, Samuel Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..."
Wagner, Markus Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Walker, David Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Control Plane Verification ..."
Wan, Tiki Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..."
Wang, Chao Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing MILP Constraints ..."
Wang, Franklyn Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..."
Wang, Jingbo Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing MILP Constraints ..."
Wang, Ke Proc. ACM Program. Lang., vol. 7, issue PLDI: "Discrete Adversarial Attack ..."
Wang, Yisu Remy Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..."
Wang, Yu Proc. ACM Program. Lang., vol. 7, issue PLDI: "Discrete Adversarial Attack ..."
Watt, Conrad Proc. ACM Program. Lang., vol. 7, issue PLDI: "WasmRef-Isabelle: A Verified ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..."
Weisenburger, Pascal Proc. ACM Program. Lang., vol. 7, issue PLDI: "Type-Checking CRDT Convergence ..."
Westrick, Sam Proc. ACM Program. Lang., vol. 7, issue PLDI: "Efficient Parallel Functional ..."
Wies, Thomas Proc. ACM Program. Lang., vol. 7, issue PLDI: "Embedding Hindsight Reasoning ..."
Wilkinson, Lucas Proc. ACM Program. Lang., vol. 7, issue PLDI: "Register Tiling for Unstructured ..."
Willsey, Max Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..."
Wolff, Sebastian Proc. ACM Program. Lang., vol. 7, issue PLDI: "Embedding Hindsight Reasoning ..."
Wu, David Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Xie, Ningning Proc. ACM Program. Lang., vol. 7, issue PLDI: "flap: A Deterministic Parser ..."
Xu, Amanda Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing Quantum-Circuit ..."
Xu, Chang Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..."
Xu, Eric Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..."
Yallop, Jeremy Proc. ACM Program. Lang., vol. 7, issue PLDI: "Defunctionalization with Dependent ..." Proc. ACM Program. Lang., vol. 7, issue PLDI: "flap: A Deterministic Parser ..."
Yamazaki, Tetsuro Proc. ACM Program. Lang., vol. 7, issue PLDI: "Collecting Cyclic Garbage ..."
Yang, Shengyuan Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..."
Yarom, Yuval Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..."
Ye, Qianchuan Proc. ACM Program. Lang., vol. 7, issue PLDI: "Taype: A Policy-Agnostic Language ..."
Yen, Di-De Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..."
Yi, Kwangkeun Proc. ACM Program. Lang., vol. 7, issue PLDI: "Inductive Program Synthesis ..."
Yoon, Yongho Proc. ACM Program. Lang., vol. 7, issue PLDI: "Inductive Program Synthesis ..."
Youn, Dongjun Proc. ACM Program. Lang., vol. 7, issue PLDI: "Feature-Sensitive Coverage ..."
Yuan, Yongwei Proc. ACM Program. Lang., vol. 7, issue PLDI: "Trace-Guided Inductive Synthesis ..."
Yuviler, Tom Proc. ACM Program. Lang., vol. 7, issue PLDI: "One Pixel Adversarial Attacks ..."
Zakhour, George Proc. ACM Program. Lang., vol. 7, issue PLDI: "Type-Checking CRDT Convergence ..."
Zanetti, Riccardo Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..."
Zhang, Jialun Proc. ACM Program. Lang., vol. 7, issue PLDI: "Interval Parsing Grammars ..."
Zhang, Qirun Proc. ACM Program. Lang., vol. 7, issue PLDI: "Recursive State Machine Guided ..."
Zhang, Tony Nuda Proc. ACM Program. Lang., vol. 7, issue PLDI: "Performal: Formal Verification ..."
Zhang, Yihong Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..."
Zhang, Yizhou Proc. ACM Program. Lang., vol. 7, issue PLDI: "Extensible Metatheory Mechanization ..."
Zhou, Zhe Proc. ACM Program. Lang., vol. 7, issue PLDI: "Covering All the Bases: Type-Based ..."
Zucker, Philip Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..."

342 authors

proc time: 7.04