PLDI 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (936)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden Optimal Reads-From Consistency Checking for C11-Style Memory Models Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Oskar AbrahamssonAbrahamsson, Oskar Chalmers University of TechnologySweden Cakes That Bake Cakes: Dynamic Computation in CakeML
Oskar AbrahamssonAbrahamsson, Oskar Chalmers University of Technology, Sweden PureCake: A Verified Compiler for a Lazy Functional Language
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityUnited States Responsive Parallelism with Synchronization Efficient Parallel Functional Programming with Effects Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Rohit AgarwalAgarwal, Rohit University of California, Berkeley New Embedded DSLs for Hardware Design and Verification
Sukarn AgarwalAgarwal, Sukarn University of EdinburghIndia Compound Memory Models
Kunal AgrawalAgrawal, Kunal Washington University in St. Louis, USA Responsive Parallelism with Synchronization
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Research area overview talk III - Language design: Compiler Verification: A Look Back, A Look Forward Lilac: A Modal Separation Logic for Conditional Probability
Willow AhrensAhrens, Willow Massachusetts Institute of TechnologyUnited States Committee Member in Program Committee within the DRAGSTERS-track
Shoaib AkramAkram, Shoaib Australian National UniversityAustralia Analyzing and Improving the Scalability of In-Memory Indices for Managed Search Engines Committee Member in Program Committee within the ISMM-track
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States Synthesizing Quantum-Circuit Optimizers
Tim Alberdingk ThijmAlberdingk Thijm, Tim Princeton UniversityUnited States Modular Control Plane Verification via Temporal Invariants
Andrew AlexAlex, Andrew UC Santa Barbara On the Generality of Matrix Multiplication
Jade AlglaveAlglave, Jade University College LondonFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mehran Alidoost NiaAlidoost Nia, Mehran Shahid Beheshti UniversityIran Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dan AlistarhAlistarh, Dan IST Austria CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
Jose Nelson AmaralAmaral, Jose Nelson University of AlbertaCanada Committee Member in SRC Reviewers within the PLDI SRC-track
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Compiler Support for Structured Data Closing Committee Member in Organizing Committee within the CTSTA-track
Nada AminAmin, Nada Harvard UniversityUnited States Extensible Metatheory Mechanization via Family Polymorphism
Kai-Ting Amy WangAmy Wang, Kai-Ting Huawei Canada Research CentreCanada (WIP) Tiling for DMA-Based Hardware Accelerators
Emmanuel Anaya GonzalezAnaya Gonzalez, Emmanuel UCSD Optimizing Beta-Reduction in E-Graphs
Andreas AndronikakisAndronikakis, Andreas The University of Manchester Scaling Up Performance of Managed Applications on NUMA Systems
Jason AnselAnsel, Jason MetaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sotiris ApostolakisApostolakis, Sotiris GoogleUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Andrew W. AppelAppel, Andrew W. Princeton University Lightning Talks
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Session Chair of SOAP: Session 1 - Static Analysis (part of SOAP) Speeding up Static Analysis with the Split Operator Committee Member in Program Committee within the SOAP-track
Jatin AroraArora, Jatin Carnegie Mellon UniversityUnited States Efficient Parallel Functional Programming with Effects
Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany Extensible and Scalable Architecture for Hybrid Analysis
Krste AsanovicAsanovic, Krste University of California Berkeley NFC:Next-generation Formal verification for high performance Caches Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware
Aslan AskarovAskarov, Aslan Aarhus University VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Anish AthalyeAthalye, Anish MIT Leakage models are a leaky abstraction: the case for cycle-level verification of constant-time cryptography
Eric AtkinsonAtkinson, Eric MIT Conflict-Driven Synthesis for Layout Engines
Hagit AttiyaAttiya, Hagit Technion Reflecting on 50 Years of Computing Research, and Future Outlook
Lukas AuerAuer, Lukas Fraunhofer AISECGermany HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading
Martin AvanziniAvanzini, Martin Inria Automated Expected Value Analysis of Recursive Programs
Charles AverillAverill, Charles University of Texas at DallasUnited States Prettybird: A DSL for Programmatic Font Compilation
Pedro Henrique Azevedo de AmorimAzevedo de Amorim, Pedro Henrique Cornell University Modular Hardware Design with Timeline Types
B David B. WhalleyB. Whalley, David Florida State University Facilitating the Bootstrapping of a New ISA Decreasing the Miss Rate and Eliminating the Performance Penalty of a Data Filter Cache
Jinsheng BaBa, Jinsheng National University of SingaporeSingapore Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Timur BabakolBabakol, Timur SUNY Binghamton, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dmitry BabokinBabokin, Dmitry Intel Corporation Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
Alexander BagnallBagnall, Alexander Ohio University Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
Jonathan BalkindBalkind, Jonathan UC Santa BarbaraUnited States Non-Newtonian Hardware Design for Longevity On the Generality of Matrix Multiplication Semi-Automated Translation of a Formal ISA Specification to Hardware Loop Rerolling for Hardware Decompilation
Anindya BanerjeeBanerjee, Anindya IMDEA Software InstituteSpain Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
Debangshu BanerjeeBanerjee, Debangshu UIUC Incremental Verification of Neural Networks
Lucas BangBang, Lucas Harvey Mudd College Panel: Career paths Obtaining Information Leakage Bounds via Approximate Model Counting
Manya BansalBansal, Manya Stanford University Mosaic: An Interoperable Compiler for Tensor Algebra
Raj BarikBarik, Raj Uber Technologies Inc. Program Analysis at Uber Scale
Celeste BarnabyBarnaby, Celeste University of Texas at AustinUnited States ImageEye: Batch Image Processing using Program Synthesis
Dan BarowyBarowy, Dan Williams CollegeUnited States Web Co-Chair in Organizing Committee for PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Clark BarrettBarrett, Clark Stanford UniversityUnited States PEak: A Single Source of Truth for Hardware Design and Verification Scalable Verification of GNN-based Job Schedulers
Yann BarsamianBarsamian, Yann Ecole Européenne de Bruxelles OptiTrust: an Interactive Optimization Framework
Mako P. BatesBates, Mako P. University of Vermont Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mark BattyBatty, Mark University of KentUnited Kingdom Memory Consistency Models for Program Transformations: An Intellectual Abstract
Guillaume BaudartBaudart, Guillaume InriaFrance Programme Committee in Program Committee within the LCTES-track
Ryan BeckettBeckett, Ryan Microsoft Research, USA Modular Control Plane Verification via Temporal Invariants Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France Committee Member in SRC Reviewers within the PLDI SRC-track
Gheorghe-Teodor BerceaBercea, Gheorghe-Teodor IBM Research Reliable Actors with Retry Orchestration
Emery D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States A Cambrian Explosion for Software Development Tools How to conduct impactful research?
Martin BergerBerger, Martin Search-Based Regular Expression Inference on a GPU
Wilson BerkowBerkow, Wilson UC Berkeley Better Defunctionalization through Lambda Set Specialization
Griffin BerlsteinBerlstein, Griffin Cornell UniversityUnited States DSL-based Hardware Generation
Gilbert BernsteinBernstein, Gilbert University of Washington, SeattleUnited States Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code Committee Member in Organizing Committee within the DRAGSTERS-track
Noah BertramBertram, Noah Cornell UniversityUnited States Blast from the Past: Least Expected Use (LEU) Cache Replacement with Statistical History Cutting the Cake: A Language for Fair Division
Luca Beurer-KellnerBeurer-Kellner, Luca ETH Zurich Prompting Is Programming: A Query Language for Large Language Models
Aart BikBik, Aart Google, Inc.United States Moving the MLIR Sparse Compilation Pipeline into Production
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia General Chair in Organizing Committee for PLDI 2023 Session Chair of ISMM: Session 2 - Application Scalability (part of ISMM) Welcome to ISMM Welcome to PLDI General Chair in Organizing Committee within the ISMM-track
Eion BlanchardBlanchard, Eion University of Illinois at Urbana-ChampaignUnited States Model-guided synthesis of inductive lemmas for FOL with least fixpoints
Ben BlaxillBlaxill, Ben Groq Silver Oak: Hardware Software Co-Design and Co-Verification in Coq
Rastislav BodíkBodík, Rastislav Google Research, Brain TeamUnited States Conflict-Driven Synthesis for Layout Engines A Lineage-Based Referencing DSL for Computer-Aided Design Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hans-J. BoehmBoehm, Hans-J. Google Committee Member in Program Committee within the ISMM-track
Saheed Olayemi BolarinwaBolarinwa, Saheed Olayemi Eotvos Lorand University Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael D. BondBond, Michael D. Ohio State University, USA Session Chair of ISMM: Session 3 - Intellectual Abstracts (part of ISMM) Committee Member in Program Committee within the ISMM-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Herbert BosBos, Herbert Vrije Universiteit Amsterdam Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels
Thomas BourgeatBourgeat, Thomas MIT CSAIL Hardware Verification of Timing Side Channel Freedom in the Spectre Era
William J. BowmanBowman, William J. University of British ColumbiaCanada Publicity Co-Chair in Organizing Committee for PLDI 2023
Jacob BramleyBramley, Jacob Arm Picking a CHERI Allocator: Security and Performance Considerations
William BrandonBrandon, William MIT CSAILUnited States Better Defunctionalization through Lambda Set Specialization
Benjamin BrockBrock, Benjamin Parallel Computing Lab (PCL), Intel UniSparse: An Intermediate Language and Compiler for General Sparse Format Customization
Fraser BrownBrown, Fraser CMU Panel: How to excel in graduate school Committee Member in Program Committee within the SOAP-track
Yuriy BrunBrun, Yuriy University of MassachusettsUnited States Passport: Improving Automated Formal Verification Using Identifiers
Mihai BudiuBudiu, Mihai VMware Research Group Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tevfik BultanBultan, Tevfik University of California at Santa BarbaraUnited States Obtaining Information Leakage Bounds via Approximate Model Counting
Begatim BytyqiBytyqi, Begatim Inria OptiTrust: an Interactive Optimization Framework
C Zhigang CaiCai, Zhigang Southwest University Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection in RAID-enabled SSDs
Zixian CaiCai, Zixian Australian National UniversityAustralia Video Co-Chair in Organizing Committee for PLDI 2023 Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vishal CanumallaCanumalla, Vishal University of Washington Generate Compilers from Hardware Models!
David CaoCao, David University of California at San DiegoUnited States Better Together: Unifying Datalog and Equality Saturation
Maria Carpen-AmarieCarpen-Amarie, Maria Huawei Zurich Research Center, Switzerland Concurrent GCs and Modern Java Workloads: A Cache Perspective
Calin CascavalCascaval, Calin Google ResearchNew Zealand Session Chair of PLDI: Concurrency & Parallelism (part of PLDI Research Papers) Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dan CascavalCascaval, Dan University of Washington A Lineage-Based Referencing DSL for Computer-Aided Design
Chris CasinghinoCasinghino, Chris Jane Street Panel: Career paths
Paul CastroCastro, Paul IBM Research Reliable Actors with Retry Orchestration
Francky CatthoorCatthoor, Francky IMEC, Katholieke Universiteit Leuven The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation in the Wild: An Intellectual Abstract
Sayak ChakrabortiChakraborti, Sayak University of Rochester Blast from the Past: Least Expected Use (LEU) Cache Replacement with Statistical History
Soham ChakrabortyChakraborty, Soham TU DelftNetherlands Compound Memory Models Optimal Reads-From Consistency Checking for C11-Style Memory Models
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Satish ChandraChandra, Satish Meta PlatformsUnited States Committee Member in Organizing Committee within the ASA-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Session Chair of PLMW: Session 1 (part of PLMW@PLDI) Welcome Committee Member in Organizing Committee within the PLMW@PLDI-track
Arthur CharguéraudCharguéraud, Arthur Inria; Université de Strasbourg; CNRS; ICubeFrance OptiTrust: an Interactive Optimization Framework
Swarat ChaudhuriChaudhuri, Swarat University of Texas at AustinUnited States Differentiable Symbolic Execution Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hongzheng ChenChen, Hongzheng Cornell UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) University of Texas at AustinUnited States ImageEye: Batch Image Processing using Program Synthesis
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Conflict-Driven Synthesis for Layout Engines Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yu-Fang ChenChen, Yu-Fang Academia Sinica, Taiwan An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
James CheneyCheney, James University of EdinburghUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Kazem CheshmiCheshmi, Kazem McMaster UniversityCanada NASOQ: Numerically Accurate Sparsity-Oriented QP Solver Register Tiling for Unstructured Sparsity in Neural Network Inference
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States How to conduct cross-cutting research? Optimizing Stateful Dataflow with Local Rewrites
Andrew CheungCheung, Andrew University of Washington Generate Compilers from Hardware Models!
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
Nariyoshi ChidaChida, Nariyoshi NTT Social Informatics LaboratoriesJapan Repairing Regular Expressions for Extraction
Aditya ChilukuriChilukuri, Aditya Australian National University Analyzing and Improving the Scalability of In-Memory Indices for Managed Search Engines
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Session Chair of PLDI: Verification & Proof Assistants (part of PLDI Research Papers) Session Chair of PLARCH: Session 1 (part of PLARCH) Hardware Verification of Timing Side Channel Freedom in the Spectre Era CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Co-chair in Organizing Committee within the PLARCH-track Distinguished Reviewer in PLDI Review Committee within the PLDI Research Papers-track
Kyeongmin ChoCho, Kyeongmin KAISTSouth Korea Memento: A Framework for Detectable Recoverability in Persistent Memory
Minki ChoCho, Minki Seoul National UniversitySouth Korea Fair Operational Semantics Putting Weak Memory in Order via a Promising Intermediate Representation
Minsung ChoCho, Minsung Northeastern UniversityUnited States Scaling Decision--Theoretic Probabilistic Programming Through Factorization Scaling Decision-Theoretic Probabilistic Programs Through Factorization
Younghyun ChoCho, Younghyun University of California, Berkeley Programme Committee in Program Committee within the LCTES-track Publicity Chair in Organizing Committee within the LCTES-track Artifact Evaluation Co-Chair in Organizing Committee within the LCTES-track
Jongouk ChoiChoi, Jongouk University of Central FloridaUnited States Session Chair of LCTES: Code/Image Size (part of LCTES) Programme Committee in Program Committee within the LCTES-track
Frederic T. ChongChong, Frederic T. University of ChicagoUnited States Gleipnir: toward practical error analysis for Quantum programs
Stephen ChongChong, Stephen Harvard UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Michael ChuChu, Michael 0xparc Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Chitchanok ChuengsatiansupChuengsatiansup, Chitchanok The University of Melbourne CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Kai-Min ChungChung, Kai-Min Academia Sinica An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Pavel ChuprikovChuprikov, Pavel USI LuganoSwitzerland Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
Dulma ChurchillChurchill, Dulma MetaUnited Kingdom Committee Member in Program Committee within the Infer-track
Sylvan ClebschClebsch, Sylvan Azure Research Wait-Free Weak Reference Counting
Jean-Louis ColaçoColaço, Jean-Louis ANSYSFrance Polymorphic Types with Polynomial Sizes
Bruce CollieCollie, Bruce Runtime Verification, Inc.United Kingdom From Zero to Proving: Building Your First Language with the K Framework
Davide ConficconiConficconi, Davide Politecnico di Milano Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Owen ConolyConoly, Owen MIT CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
George A. ConstantinidesConstantinides, George A. Imperial College London, UKUnited Kingdom Automating Constraint-Aware Datapath Optimization using E-Graphs Combining E-Graphs with Abstract Interpretation
Devin CoughlinCoughlin, Devin Apple From Bug Detection to Mitigation and Elimination: The Role of Tools and Language Design in Memory Safety Panel: Career paths
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom Automating Constraint-Aware Datapath Optimization using E-Graphs Combining E-Graphs with Abstract Interpretation Novel Numerical Hardware Design Methodology - From machine readable specification to optimized RTL Committee Member in Program Committee within the EGRAPHS-track
Donovan CrichtonCrichton, Donovan The Australian National UniversityAustralia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jaroslaw CwiklikCwiklik, Jaroslaw IBM Research Reliable Actors with Retry Orchestration
Lukasz CzajkaCzajka, Lukasz Heliax AG Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-MadisonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Frank DaiDai, Frank UC Berkeley Better Defunctionalization through Lambda Set Specialization
Yue DaiDai, Yue UNIVERSITY OF PITTSBURGH Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ross DalyDaly, Ross Stanford University, USA PEak: A Single Source of Truth for Hardware Design and Verification
Sana DamaniDamani, Sana NVIDIA cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
Yaniv DavidDavid, Yaniv Columbia UniversityUnited States Session Chair of PLDI: Machine Learning (part of PLDI Research Papers) Why can’t we all just get along? Training SA and AI tools to communicate Committee Member in PLDI Review Committee within the PLDI Research Papers-track
James C. DavisDavis, James C. Purdue UniversityUnited States (WIP) Towards Automated Identification of Layering Violations in Embedded Applications Programme Committee in Program Committee within the LCTES-track
Maryam Mehri DehnaviDehnavi, Maryam Mehri University of TorontoCanada NASOQ: Numerically Accurate Sparsity-Oriented QP Solver Accelerating Sparse Matrix Computations with Code Specialization Register Tiling for Unstructured Sparsity in Neural Network Inference Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Session Chair of PLDI: Types (part of PLDI Research Papers) KestRel: Relational Verification using E-Graphs for Program Alignment Taype: A Policy-Agnostic Language for Oblivious Computation Covering All the Bases: Type-Based Verification of Test Input Generators Distinguished Reviewer in PLDI Review Committee within the PLDI Research Papers-track
Brian DemskyDemsky, Brian University of California at Irvine Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ankush DesaiDesai, Ankush Amazon Web ServicesUnited States Panel: How to excel in graduate school Psym: Efficient Symbolic Exploration of Distributed Systems
Robert DickersonDickerson, Robert Purdue UniversityUnited States KestRel: Relational Verification using E-Graphs for Program Alignment
Christian DietrichDietrich, Christian Hamburg University of Technology Thread-Level Attack-Surface Reduction reUpNix: Reconfigurable and Updateable Embedded Systems
Işıl DilligDillig, Işıl University of Texas at AustinUnited States ImageEye: Batch Image Processing using Program Synthesis Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Distinguished Reviewer in PLDI Review Committee within the PLDI Research Papers-track
Chen DingDing, Chen University of Rochester Blast from the Past: Least Expected Use (LEU) Cache Replacement with Statistical History
Zijian DingDing, Zijian Peking University UniSparse: An Intermediate Language and Compiler for General Sparse Format Customization
Oyendrila DobeDobe, Oyendrila Michigan State UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Julian DolbyDolby, Julian IBM ResearchUnited States Towards Supporting Universal Static Analysis using WALA
Greta DolcettiDolcetti, Greta University of Parma - Department of Mathematical, Physical, and Computer SciencesItaly Speeding up Static Analysis with the Split Operator
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
Haichen DongDong, Haichen Princeton University Improving Term Extraction with Acyclic Constraints
Rui DongDong, Rui University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jack DongarraDongarra, Jack University of Tennessee, Knoxville Reflecting on 50 Years of Computing Research, and Future Outlook
Caleb DonovickDonovick, Caleb Stanford University PEak: A Single Source of Truth for Hardware Design and Verification
Kshitij DoshiDoshi, Kshitij Intel Corporation Flexible and Effective Object Tiering for Heterogeneous Memory Systems
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael One Pixel Adversarial Attacks via Sketched Programs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Theo DraneDrane, Theo Intel Corporation, USAUnited States Automating Constraint-Aware Datapath Optimization using E-Graphs Combining E-Graphs with Abstract Interpretation Novel Numerical Hardware Design Methodology - From machine readable specification to optimized RTL
Benjamin DriscollDriscoll, Benjamin Stanford University Better Defunctionalization through Lambda Set Specialization
Cezara DrăgoiDrăgoi, Cezara AWS / ENS Committee Member in Program Committee within the SOAP-track
Jeremy DubreilDubreil, Jeremy Lacework Committee Member in Program Committee within the Infer-track
Sandhya DwarkadasDwarkadas, Sandhya University of RochesterUnited States Blast from the Past: Least Expected Use (LEU) Cache Replacement with Statistical History
E Bernhard EggerEgger, Bernhard Seoul National UniversitySouth Korea Session Chair of LCTES: Code Gen (part of LCTES) Session Chair of LCTES: Keynote (part of LCTES) General Chair in Organizing Committee within the LCTES-track
Eric EideEide, Eric University of UtahUnited States Session Chair of PLDI: Parsing & Formal Languages (part of PLDI Research Papers) Distinguished Reviewer in PLDI Review Committee within the PLDI Research Papers-track
Marco EilersEilers, Marco ETH ZurichSwitzerland CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity Committee Member in Program Committee within the SOAP-track
Kevin EllisEllis, Kevin Cornell UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Session Chair of ARRAY: Session 4 (part of ARRAY) Parallelism in a Region Inference Context Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
Joel S EmerEmer, Joel S MIT/NVIDIA TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels
Edward EpsteinEpstein, Edward IBM ResearchUnited States Reliable Actors with Retry Orchestration
Andres ErbsenErbsen, Andres MIT CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Julian ErhardErhard, Julian Technical University of MunichGermany When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Kate EseliusEselius, Kate Stanford University Hardware-Software Codesign for Mitigating Spectre
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal Video Co-Chair in Organizing Committee for PLDI 2023
Patrick EugsterEugster, Patrick USI Lugano; Purdue UniversitySwitzerland Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
Noah EvansEvans, Noah Sandia National Laboratories Sandia's Formal Hardware Design and Verification, Present and Future
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
F Chris FallinFallin, Chris FastlyUnited States ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Compiler
Xiaopeng FanFan, Xiaopeng East China Normal University LUNAR: A Native Table Engine for Embedded Devices
Justus FasseFasse, Justus KU LeuvenBelgium Completeness Thresholds for Memory Safety of Array Traversing Programs
Xinyu FengFeng, Xinyu Nanjing UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Conflict-Driven Synthesis for Layout Engines
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Session Chair of SOAP: Session 3 - Scalable Analysis (part of SOAP) Committee Member in Organizing Committee within the SOAP-track Committee Member in Organizing Committee within the SOAP-track
Jonas FialaFiala, Jonas ETH Zürich Leveraging Rust Types for Program Synthesis
Irene FinocchiFinocchi, Irene Luiss Guido CarliItaly Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Emily FirstFirst, Emily University of Massachusetts Amherst Passport: Improving Automated Formal Verification Using Identifiers
Marc FischerFischer, Marc ETH Zurich Prompting Is Programming: A Query Language for Large Language Models Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
Joshua FixelleFixelle, Joshua University of Virginia ISVABI: In-Storage Video Analytics Engine with Block Interface
Oliver FlattFlatt, Oliver University of Washington Ensuring the termination of equality saturation for terminating term rewriting systems egglog In Practice: Automatically Improving Floating-point Error Better Together: Unifying Datalog and Equality Saturation
Christopher W. FletcherFletcher, Christopher W. University of Illinois--Urbana Champaign TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators
Alcides FonsecaFonseca, Alcides University of LisbonPortugal Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Panel: How to excel in graduate school Absynthe: Abstract Interpretation-Guided Synthesis
Nate FosterFoster, Nate Cornell UniversityUnited States PC Chair in Organizing Committee for PLDI 2023 Session Chair of PLDI: Welcome & Opening Session (part of PLDI Research Papers) Welcome to PLDI Associate Editor in PLDI Review Committee within the PLDI Research Papers-track
Nikos FoutrisFoutris, Nikos The University of ManchesterUnited Kingdom Scaling Up Performance of Managed Applications on NUMA Systems
Alyson FoxFox, Alyson Lightning Talks
Pascal FradetFradet, Pascal Inria Grenoble, France Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom Committee Member in Program Committee within the ISMM-track
Xinwei FuFu, Xinwei Amazon Web ServicesUnited States Programme Committee in Program Committee within the LCTES-track Artifact Evaluation Co-Chair in Organizing Committee within the LCTES-track
Zhoulai FuFu, Zhoulai State University of New York, Korea Committee Member in PLDI Review Committee within the PLDI Research Papers-track
G Catarina GamboaGamboa, Catarina Carnegie Mellon University and LASIGE, University of LisbonPortugal Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Prashanth GaneshGanesh, Prashanth University of California, Berkeley Stellar: A DSL to Build and Explore Sparse Accelerators
Dapeng GaoGao, Dapeng University of Cambridge Library-based Compartmentalisation on CHERI
Fengjuan GaoGao, Fengjuan Nanjing University of Science and TechnologyChina Discrete Adversarial Attack to Models of Code
Sicun GaoGao, Sicun University of California San Diego Accurate Array Program Mapping with Neural Program Translation and Synthesis (cancelled)
Isabel Garcia-ContrerasGarcia-Contreras, Isabel University of WaterlooCanada Partially Complete Quantifier Elimination
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Susan GarryGarry, Susan DSL-based Hardware Generation
François GauthierGauthier, François Oracle LabsAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ada GavrilovskaGavrilovska, Ada PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Embedded Media Servers
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Qian GeGe, Qian GoogleAustralia Committee Member in Program Committee within the ISMM-track
Adam GellerGeller, Adam Computer Science, University of British ColumbiaCanada Flux: Liquid Types for Rust
Hasan GencGenc, Hasan UC Berkeley Stellar: A DSL to Build and Explore Sparse Accelerators
Pierre GenevesGeneves, Pierre CNRS/LIGFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Daniel GenkinGenkin, Daniel Georgia Tech CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Aina Linn GeorgesGeorges, Aina Linn Aarhus University Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Balazs GerofiGerofi, Balazs Intel Corporation Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection in RAID-enabled SSDs
Matin GhavamiGhavami, Matin Massachusetts Institute of TechnologyUnited States Probabilistic Programming with Stochastic Probabilities
Surendra GhentiyalaGhentiyala, Surendra University of California Santa Barbara Obtaining Information Leakage Bounds via Approximate Model Counting
Alain GiraultGirault, Alain INRIAFrance Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization
Aditya GiridharanGiridharan, Aditya UCSD Optimizing Beta-Reduction in E-Graphs
Cristiano GiuffridaGiuffrida, Cristiano Vrije Universiteit Amsterdam Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
Andrés GoensGoens, Andrés the University of Edinburgh Compound Memory Models
Maya GokhaleGokhale, Maya LLNLUnited States Committee Member in Organizing Committee within the CSC-track
Shafi GoldwasserGoldwasser, Shafi University of California, Berkeley Constructing and Deconstructing Trust: Employing Cryptographic Recipe in the ML Domain
Niklas GolenstedeGolenstede, Niklas Hamburg University of Technology reUpNix: Reconfigurable and Updateable Embedded Systems
Rahul Kranti Kiran GoliGoli, Rahul Kranti Kiran Microsoft Research MinUn: Accurate ML Inference on Microcontrollers
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Session Chair of PLMW: Session 2 (part of PLMW@PLDI) Welcome Committee Member in Organizing Committee within the PLMW@PLDI-track
Akshay GopalakrishnanGopalakrishnan, Akshay McGill University Memory Consistency Models for Program Transformations: An Intellectual Abstract
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of Utah Committee Member in Organizing Committee within the CSC-track Committee Member in Organizing Committee within the CSC-track
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Mostly Automated Proof Repair for Verified Libraries
Sergei GorlatchGorlatch, Sergei University of MuensterGermany Array Programming via Multi-Dimensional Homomorphisms
Hari Govind V KGovind V K, Hari University of Waterloo Partially Complete Quantifier Elimination
Manish GoyalGoyal, Manish Apple Inc, USA Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Matt GriffinGriffin, Matt University of SurreyUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Lineage, a Data-Flow Analysis for Erlang
Jason GrossGross, Jason MIT CSAILUnited States CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Tobias GrosserGrosser, Tobias University of EdinburghUnited Kingdom Committee Member in SRC Reviewers within the PLDI SRC-track
Boris GrotGrot, Boris University of Edinburgh, UK Concurrent GCs and Modern Java Workloads: A Cache Perspective
David GroveGrove, David IBM ResearchUnited States Panel: Career paths Reliable Actors with Retry Orchestration
Vinod GroverGrover, Vinod NVIDIAUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Samuel GrütterGrütter, Samuel Massachusetts Institute of Technology Silver Oak: Hardware Software Co-Design and Co-Verification in Coq
Brian GuGu, Brian 0xparc Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Ronghui GuGu, Ronghui Columbia UniversityUnited States Gleipnir: toward practical error analysis for Quantum programs
Tiancheng “Timothy” GuGu, Tiancheng “Timothy” Stanford UniversityUnited States Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
Hui GuanGuan, Hui University of Massachusetts, AmherstUnited States NUMAlloc: A Faster NUMA Memory Allocator
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain Session Chair of PLMW: Session 3 (part of PLMW@PLDI) Welcome Committee Member in Organizing Committee within the PLMW@PLDI-track
Adrien GuattoGuatto, Adrien IRIF, Université Paris DiderotFrance Programme Committee in Program Committee within the LCTES-track
Guy GuetaGueta, Guy VMWare Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Aarti GuptaGupta, Aarti Princeton University Improving Term Extraction with Acyclic Constraints Psym: Efficient Symbolic Exploration of Distributed Systems Modular Control Plane Verification via Temporal Invariants Synthesizing MILP Constraints for Efficient and Robust Optimization
Rajiv GuptaGupta, Rajiv UC RiversideUnited States OMRGx: Programmable and Transparent Out-of-Core Graph Partitioning and Processing
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Partially Complete Quantifier Elimination
Sankha Narayan GuriaGuria, Sankha Narayan University of MarylandUnited States Absynthe: Abstract Interpretation-Guided Synthesis
Sam GuyerGuyer, Sam Tufts UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
H Liana HadareanHadarean, Liana Amazon Web ServicesUnited States Session Chair of SOAP: Session 4 - Program Verification and Dynamic Analysis (part of SOAP) Committee Member in Organizing Committee within the SOAP-track
Ákos HajduHajdu, Ákos MetaUnited Kingdom Welcome Wrap up Committee Member in Program Committee within the Infer-track Committee Member in Organizing Committee within the Infer-track Committee Member in Organizing Committee within the Infer-track
Mary HallHall, Mary University of UtahUnited States Integrating Data Layout into Compilers and Code Generators Reflecting on 50 Years of Computing Research, and Future Outlook
William HallahanHallahan, William Binghamton Applications of Symbolic Execution
Lang HamesHames, Lang Building Programming Language Infrastructure With LLVM Components
Shivam HandaHanda, Shivam Massachusetts Institute of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Pat HanrahanHanrahan, Pat Stanford University, USA PEak: A Single Source of Truth for Hardware Design and Verification
Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States Semi-Automated Translation of a Formal ISA Specification to Hardware Loop Rerolling for Hardware Decompilation
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Deyuan (Mike) HeHe, Deyuan (Mike) Princeton UniversityUnited States Improving Term Extraction with Acyclic Constraints
Dongjie HeHe, Dongjie UNSWAustralia Programme Committee in Program Committee within the LCTES-track Committee Member in SRC Reviewers within the PLDI SRC-track
Joseph M. HellersteinHellerstein, Joseph M. University of California, Berkeley Optimizing Stateful Dataflow with Local Rewrites
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Session Chair of ARRAY: Session 1 (part of ARRAY) Parallelism in a Region Inference Context Committee Member in Organizing Committee within the ARRAY-track Committee Member in Organizing Committee within the ARRAY-track
Kihong HeoHeo, Kihong KAISTSouth Korea AI-based Program Analysis via Relevance and Similarity Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Seonyeong HeoHeo, Seonyeong ETH ZurichSwitzerland Programme Committee in Program Committee within the LCTES-track
Josiah HesterHester, Josiah Georgia Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Michael HicksHicks, Michael Amazon Web Services and the University of MarylandUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Ellis HoagHoag, Ellis Meta Optimizing Function Layout for Mobile Applications
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Konrad HohentannerHohentanner, Konrad Fraunhofer AISECGermany HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Scaling Decision--Theoretic Probabilistic Programming Through Factorization Research area overview talk I: PL Meets ML - A Probabilistic Perspective Lilac: A Modal Separation Logic for Conditional Probability
Alexandre HonoratHonorat, Alexandre Inria Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization
Tony HoskingHosking, Tony Australian National UniversityAustralia Session Chair of ISMM: Session 4 - Allocations and Garbage Collection (part of ISMM) Committee Member in Program Committee within the ISMM-track
Tyler HouHou, Tyler University of California, Berkeley Optimizing Stateful Dataflow with Local Rewrites
Yao HsiaoHsiao, Yao Stanford University Design for Hardware Memory Model Verification
Aaron HsuHsu, Aaron Dyalog, Ltd.United States Session Chair of ARRAY: Session 2 (part of ARRAY) U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning Committee Member in Program Committee within the ARRAY-track
Justin HsuHsu, Justin Cornell UniversityUnited States Cutting the Cake: A Language for Fair Division
Olivia HsuHsu, Olivia Stanford UniversityUnited States The Sparse Abstract Machine Challenges with Hardware-Software Co-design for Sparse Machine Learning on Streaming Dataflow Mosaic: An Interoperable Compiler for Tensor Algebra
Yang HuHu, Yang University of Texas at AustinUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jiani HuangHuang, Jiani UPenn Scallop: A Language for Neurosymbolic Programming Neurosymbolic Programming in Scallop
Yuchen HuangHuang, Yuchen East China Normal University LUNAR: A Native Table Engine for Embedded Devices
Yulong HuangHuang, Yulong University of Cambridge Defunctionalization with Dependent Types
John HuiHui, John Columbia University, New YorkUnited States Video Co-Chair in Organizing Committee for PLDI 2023
Pingyi HuoHuo, Pingyi The Pennsylvania State University ISVABI: In-Storage Video Analytics Engine with Block Interface
Mathieu HuotHuot, Mathieu University of OxfordUnited Kingdom Committee Member in Program Committee within the DRAGSTERS-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Session Chair of PLDI: Compilation (part of PLDI Research Papers) Fair Operational Semantics Putting Weak Memory in Order via a Promising Intermediate Representation Committee Member in PLDI Review Committee within the PLDI Research Papers-track
I Dan IorgaIorga, Dan Imperial College LondonUnited Kingdom Committee Member in SRC Reviewers within the PLDI SRC-track
Raphael IsemannIsemann, Raphael Vrije Universiteit Amsterdam Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
Anastasia IsychevIsychev, Anastasia Technical University of MunichGermany Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Leveraging Rust Types for Program Synthesis
Vighnesh IyerIyer, Vighnesh University of California, Berkeley New Embedded DSLs for Hardware Design and Verification Mixed-Abstraction HDLs and A Discussion on Other Aspects of HDL Design
J Dejice JacobJacob, Dejice University of Glasgow, UKUnited Kingdom Picking a CHERI Allocator: Security and Performance Considerations
Bart JacobsJacobs, Bart KU LeuvenBelgium Completeness Thresholds for Memory Safety of Array Traversing Programs
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Covering All the Bases: Type-Based Verification of Test Input Generators
Shikhar JaiswalJaiswal, Shikhar Microsoft ResearchIndia MinUn: Accurate ML Inference on Microcontrollers
Aamer JaleelJaleel, Aamer NVIDIA cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
Michael B. JamesJames, Michael B. University of California at San DiegoUnited States Volunteers Co-Chair in Organizing Committee for PLDI 2023 Student Volunteer Co-Chair in Volunteering Committee within the PLDI Volunteering-track
Michael JantzJantz, Michael University of Tennessee Flexible and Effective Object Tiering for Heterogeneous Memory Systems
Jean-Baptiste JeanninJeannin, Jean-Baptiste University of Michigan at Ann ArborUnited States Formal Verification in Scientific Computing
Denis JelovinaJelovina, Denis Computing Systems Lab Huawei Zurich Research Center Towards Structured Algebraic Programming
Hyeran JeonJeon, Hyeran University of California, MercedUnited States Programme Committee in Program Committee within the LCTES-track
Seungmin JeonJeon, Seungmin KAISTSouth Korea Memento: A Framework for Detectable Recoverability in Persistent Memory
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States How to Design Talks Flux: Refinement types for Rust Flux: Liquid Types for Rust
Limin JiaJia, Limin Carnegie Mellon University Session Chair of PLDI: Security (part of PLDI Research Papers) Session Chair of PLMW: Session 4 (part of PLMW@PLDI) Welcome A Type System for Safe Intermittent Computing Committee Member in Organizing Committee within the PLMW@PLDI-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alexandra JimboreanJimborean, Alexandra University of MurciaSpain Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ende JinJin, Ende University of Waterloo Extensible Metatheory Mechanization via Family Polymorphism
Matthew JinJin, Matthew Microsoft Corporation C# Taint Analysis and Augmenting Static Analysis with Large Language Models
Lizy JohnJohn, Lizy University of Texas, Austin Reflecting on 50 Years of Computing Research, and Future Outlook
Teresa JohnsonJohnson, Teresa Google Programme Committee in Program Committee within the LCTES-track
Terry JonesJones, Terry Oak Ridge National Laboratory Flexible and Effective Object Tiering for Heterogeneous Memory Systems
René JustJust, René University of WashingtonUnited States Generate Compilers from Hardware Models!
K Robin KaarsgaardKaarsgaard, Robin University of Southern DenmarkDenmark Unification as a means of completing partial data structures
M. Frans KaashoekKaashoek, M. Frans Massachusetts Institute of Technology, USA Leakage models are a leaky abstraction: the case for cycle-level verification of constant-time cryptography
Daniel KaestnerKaestner, Daniel AbsIntGermany Committee Member in Program Committee within the SOAP-track
Gowtham KakiKaki, Gowtham University of Colorado BoulderUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Pankaj Kumar KalitaKalita, Pankaj Kumar IIT KanpurIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Brandon KammerdienerKammerdiener, Brandon University of Tennessee Flexible and Effective Object Tiering for Heterogeneous Memory Systems
Hrutvik KanabarKanabar, Hrutvik University of Kent PureCake: A Verified Compiler for a Lazy Functional Language
Raghavendra KanakagiriKanakagiri, Raghavendra University of Illinois Urbana-Champaign A General Distributed Framework for Contraction of a Sparse Tensor with a Tensor Network
Beom Woo KangKang, Beom Woo Hanyang University Synchronization-aware NAS for an Efficient Collaborative Inference on Mobile Platforms
Jeehoon KangKang, Jeehoon KAISTSouth Korea Memento: A Framework for Detectable Recoverability in Persistent Memory
Manos KapritsosKapritsos, Manos University of Michigan, USA Performal: Formal Verification of Latency Properties for Distributed Systems
Ahmet KaraKara, Ahmet University of Zurich F-IVM: Analytics over Relational Databases under Updates
Florian KastenKasten, Florian Fraunhofer AISECGermany HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading
Zhanna KaufmanKaufman, Zhanna University of Massachusetts Passport: Improving Automated Formal Verification Using Identifiers
Gurneet KaurKaur, Gurneet University of California, Riverside OMRGx: Programmable and Transparent Out-of-Core Graph Partitioning and Processing
Stephen W. KecklerKeckler, Stephen W. NVIDIA cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
Devyn Terra KeeneyKeeney, Devyn Terra Illinois Institute of Technology Responsive Parallelism with Synchronization
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Committee Member in Program Committee within the ARRAY-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Committee Member in SRC Reviewers within the PLDI SRC-track
Mayank KeoliyaKeoliya, Mayank National University of Singapore Mostly Automated Proof Repair for Verified Libraries
Yuttapichai KerdcharoenKerdcharoen, Yuttapichai Carnegie Mellon University Opportunities for Linear Algebraic Graph Databases
Gokcen KestorKestor, Gokcen Pacific Northwest National Laboratory Tackling the challenges of high-performance graph analytics at compiler level
Dmitry KhalanskiyKhalanskiy, Dmitry JetBrains CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
Caleb KimKim, Caleb United States Resource Sharing through Control-Flow Based Optimizations
Hanjun KimKim, Hanjun Yonsei University Programme Committee in Program Committee within the LCTES-track
Hansung KimKim, Hansung University of California, Berkeley Stellar: A DSL to Build and Explore Sparse Accelerators
Hyeongyu KimKim, Hyeongyu Seoul National University HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
Hyoseung KimKim, Hyoseung University of California, RiversideUnited States Programme Committee in Program Committee within the LCTES-track
Jinwoo KimKim, Jinwoo Seoul National University Fair Operational Semantics
Sunho KimKim, Sunho De Anza College Building Programming Language Infrastructure With LLVM Components
Maja KirkebyKirkeby, Maja Roskilde UniversityDenmark Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States Session Chair of PLDI: Analysis & Optimizations (part of PLDI Research Papers) Keynote (Fredrik Kjolstad): Portable Compilation of Sparse Computation Introduction Software and Hardware for Sparse ML Closing Challenges with Hardware-Software Co-design for Sparse Machine Learning on Streaming Dataflow Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs Mosaic: An Interoperable Compiler for Tensor Algebra Committee Member in Organizing Committee within the CTSTA-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jaeyong KoKo, Jaeyong The Affiliated Institute of ETRISouth Korea Crosys: Cross Architectural Dynamic Analysis
Yoonseok KoKo, Yoonseok Meta Learning to Boost Disjunctive Static Bug-Finders
Daniel KocherKocher, Daniel University of Salzburg Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Thomas KoehlerKoehler, Thomas INRIAFrance OptiTrust: an Interactive Optimization Framework Committee Member in Program Committee within the EGRAPHS-track
Praneeth KolichalaKolichala, Praneeth Stanford University Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
Elliot (Hillel) KolodnerKolodner, Elliot (Hillel) Independent ConsultantIsrael Committee Member in Program Committee within the ISMM-track
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Christos KotselidisKotselidis, Christos Pierer Innovation / The University of ManchesterUnited Kingdom Scaling Up Performance of Managed Applications on NUMA Systems
Scott KovachKovach, Scott Stanford University Formalizing DRAGSTERS Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
Nikita KovalKoval, Nikita JetBrainsNetherlands CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Harlan KringenKringen, Harlan UC Santa Barbara Semi-Automated Translation of a Formal ISA Specification to Hardware
Rahul KrishnaKrishna, Rahul IBM ResearchUnited States Towards Supporting Universal Static Analysis using WALA
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India Optimal Reads-From Consistency Checking for C11-Style Memory Models
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom flap: A Deterministic Parser with Fused Lexing
Joachim KristensenKristensen, Joachim University of Oslo Unification as a means of completing partial data structures
Joel KuepperKuepper, Joel University of AdelaideAustralia CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Ulf KulauKulau, Ulf Hamburg University of Technology reUpNix: Reconfigurable and Updateable Embedded Systems
Aayan KumarKumar, Aayan Microsoft Research MinUn: Accurate ML Inference on Microcontrollers
Ramana KumarKumar, Ramana None Cakes That Bake Cakes: Dynamic Computation in CakeML
Sandip KunduKundu, Sandip University of Massachusetts Amherst NUMAlloc: A Faster NUMA Memory Allocator
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Proving and Disproving Equivalence of Functional Programming Assignments Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Cole KurashigeKurashige, Cole UCSD Optimizing Beta-Reduction in E-Graphs
Benjamin KushigianKushigian, Benjamin University of Washington Generate Compilers from Hardware Models!
Linus KällbergKällberg, Linus Mälardalen University HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms
L Rubens LacoutureLacouture, Rubens Stanford University Challenges with Hardware-Software Co-design for Sparse Machine Learning on Streaming Dataflow
Shadaj LaddadLaddad, Shadaj University of California at BerkeleyUnited States Optimizing Stateful Dataflow with Local Rewrites
Kevin LaeuferLaeufer, Kevin UC Berkeley New Embedded DSLs for Hardware Design and Verification
Ignacio LagunaLaguna, Ignacio Lawrence Livermore National Laboratory Letting HPC Programmers Focus On Correctness First, Then On Performance
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Putting Weak Memory in Order via a Promising Intermediate Representation Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Akash LalLal, Akash Microsoft Research Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Peter LammichLammich, Peter The University of Manchester WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
Christos LamprakosLamprakos, Christos National Technical University of Athens, Katholieke Universiteit Leuven The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation in the Wild: An Intellectual Abstract
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Merging Inductive Relations Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Andrei LascuLascu, Andrei King's College LondonUnited Kingdom Picking a CHERI Allocator: Security and Performance Considerations Picking a CHERI Allocator: Security and Performance Considerations
Stella LauLau, Stella MIT CSAIL Hardware Verification of Timing Side Channel Freedom in the Spectre Era
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States A general construction for abstract interpretation of higher-order automatic differentiation
Ton Chanh LeLe, Ton Chanh Stevens Institute of TechnologyUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Bastien LecoeurLecoeur, Bastien Imperial College LondonUnited Kingdom Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
Dongjae LeeLee, Dongjae Seoul National UniversitySouth Korea Fair Operational Semantics
Dongyoon LeeLee, Dongyoon Stony Brook UniversityUnited States Session Chair of LCTES: Storage (part of LCTES) Session Chair of LCTES: Scheduling & WIP (part of LCTES) PC Chair in Program Committee within the LCTES-track Program Chair in Organizing Committee within the LCTES-track
I-Ting Angelina LeeLee, I-Ting Angelina Washington University in St. Louis, USA Responsive Parallelism with Synchronization
Jieun LeeLee, Jieun The Affiliated Institute of ETRISouth Korea Crosys: Cross Architectural Dynamic Analysis
Juneyoung LeeLee, Juneyoung AWS HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
Kanguk LeeLee, Kanguk KAIST Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
Kyungwoo LeeLee, Kyungwoo MetaUnited States Optimizing Function Layout for Mobile Applications
Sangrok LeeLee, Sangrok The Affiliated Institute of ETRISouth Korea Crosys: Cross Architectural Dynamic Analysis
Seongju LeeLee, Seongju Hanyang UniversitySouth Korea Synchronization-aware NAS for an Efficient Collaborative Inference on Mobile Platforms
Sung-Hwan LeeLee, Sung-Hwan Seoul National UniversitySouth Korea Putting Weak Memory in Order via a Promising Intermediate Representation
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Maxime LegoupilLegoupil, Maxime Aarhus University Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Nico LehmannLehmann, Nico University of California, San Diego Flux: Liquid Types for Rust
Yuxiang LeiLei, Yuxiang University of New South WalesAustralia Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States What’s new in Dafny, and what is Dafny anyway?
Ondřej LengálLengál, Ondřej Brno University of Technology An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Mohsen LesaniLesani, Mohsen University of California at Riverside Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Martin LesterLester, Martin University of ReadingUnited Kingdom Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alex LevinsonLevinson, Alex Cornell University Cutting the Cake: A Language for Fair Division
Alexander K. LewLew, Alexander K. Massachusetts Institute of TechnologyUnited States Probabilistic Programming with Stochastic Probabilities
Guangpu LiLi, Guangpu University of Chicago, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
John LiLi, John Northeastern University Lilac: A Modal Separation Logic for Conditional Probability
Jun LiLi, Jun Southwest University Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection in RAID-enabled SSDs
Pai LiLi, Pai Cornell University, USA A Synchronization Mechanism for an Accelerator Design IR
Shaohua LiLi, Shaohua ETH ZurichSwitzerland Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yao LiLi, Yao Portland State UniversityUnited States Session Chair of PLDI: Testing & Verification (part of PLDI Research Papers) Program Adverbs and Tlön Embeddings Committee Member in SRC Reviewers within the PLDI SRC-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yue LiLi, Yue Nanjing UniversityChina Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Ziyang LiLi, Ziyang UPenn Scallop: A Language for Neurosymbolic Programming Neurosymbolic Programming in Scallop
Jianwei LiaoLiao, Jianwei Southwest University Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection in RAID-enabled SSDs
Ben LiblitLiblit, Ben AmazonUnited States User-Assisted Code Query Optimization
Hyeontaek LimLim, Hyeontaek Google Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract
Jyun-Ao LinLin, Jyun-Ao Academia SinicaTaiwan An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Kirby LinvillLinvill, Kirby University of Colorado BoulderUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Bjorn LisperLisper, Bjorn Malardalen University HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms
Fengyun LiuLiu, Fengyun Oracle LabsSwitzerland Programme Committee in Program Committee within the LCTES-track
Haopeng LiuLiu, Haopeng Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Huan LiuLiu, Huan Arizona State University Reflecting on 50 Years of Computing Research, and Future Outlook
Jiawei LiuLiu, Jiawei University of Illinois at Urbana-ChampaignUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jie LiuLiu, Jie Cornell University UniSparse: An Intermediate Language and Compiler for General Sparse Format Customization
Junrui LiuLiu, Junrui University of California, Santa BarbaraUnited States Conflict-Driven Synthesis for Layout Engines
Peiming LiuLiu, Peiming Google Inc Moving the MLIR Sparse Compilation Pipeline into Production
Shiwei LiuLiu, Shiwei The University of Texas at Austin, Texas, USA Fantastic Sparse Masks and Where to Find Them
Tongping LiuLiu, Tongping University of Massachusetts at Amherst NUMAlloc: A Faster NUMA Memory Allocator Programme Committee in Program Committee within the LCTES-track
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States High-Level Executable Specification and Reasoning for Improving Distributed Algorithms
Yu David LiuLiu, Yu David SUNY BinghamtonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zhengyang LiuLiu, Zhengyang University of Utah Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zongyuan LiuLiu, Zongyuan Aarhus UniversityDenmark VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Vsevolod LivinskiiLivinskii, Vsevolod University of UtahUnited States Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
Alexey LoginovLoginov, Alexey MetaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Daniel LohmannLohmann, Daniel Leibniz Universität Hannover Thread-Level Attack-Surface Reduction
Nuno P. LopesLopes, Nuno P. INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tze Meng LowLow, Tze Meng Carnegie Mellon UniversityUnited States Opportunities for Linear Algebraic Graph Databases
Shan LuLu, Shan University of ChicagoUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Shihua LuLu, Shihua University of California Santa Barbara Obtaining Information Leakage Bounds via Approximate Model Counting
Brandon LuciaLucia, Brandon Carnegie Mellon University, USA A Type System for Safe Intermittent Computing Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Piotr LuszczekLuszczek, Piotr Lightning Talks
Yingjun LyuLyu, Yingjun AmazonUnited States User-Assisted Code Query Optimization
Christof LödingLöding, Christof RWTH Aachen UniversityGermany Model-guided synthesis of inductive lemmas for FOL with least fixpoints
Andreas LööwLööw, Andreas Imperial College London They're the same picture: a software-verification flow adapted for hardware verification
M Jiacheng MaMa, Jiacheng University of MichiganUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Linsen MaMa, Linsen Rensselaer Polytechnic Institute ZipKV: In-Memory Key-Value Store with Built-In Data Compression
Wenjie MaMa, Wenjie Nanjing University Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Xiaoxing MaMa, Xiaoxing Nanjing UniversityChina Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Martin MaasMaas, Martin Google Session Chair of ISMM: Session 5 - Miscellaneous (part of ISMM) Keynote: A Brave New World for Memory Management Research Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract
Aravind MachiryMachiry, Aravind Purdue UniversityUnited States (WIP) Towards Automated Identification of Layering Violations in Embedded Applications
Dougal MaclaurinMaclaurin, Dougal Committee Member in Program Committee within the DRAGSTERS-track
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Model-guided synthesis of inductive lemmas for FOL with least fixpoints
Sharad MalikMalik, Sharad Princeton University Improving Term Extraction with Acyclic Constraints Committee Member in Organizing Committee within the PLARCH-track
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Shamiek MangipudiMangipudi, Shamiek Università della Svizzera italiana (USI) Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
Petros ManiatisManiatis, Petros Google Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States Probabilistic Programming with Stochastic Probabilities
Roy MargalitMargalit, Roy Tel Aviv University, Israel Putting Weak Memory in Order via a Promising Intermediate Representation
Markus Wagner Markus Wagner Monash University, AustraliaAustralia CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Margaret MartonosiMartonosi, Margaret Princeton University Taking on the World's Challenges: The Role of Computing Research and Innovation
Umang MathurMathur, Umang National University of SingaporeSingapore Optimal Reads-From Consistency Checking for C11-Style Memory Models Sound Dynamic Deadlock Prediction in Linear Time Committee Member in SRC Reviewers within the PLDI SRC-track
Tim MattsonMattson, Tim Intel, USA Committee Member in Program Committee within the DRAGSTERS-track
Jackson MayoMayo, Jackson Sandia National LaboratoriesUnited States Committee Member in Organizing Committee within the CSC-track
Jedidiah McClurgMcClurg, Jedidiah Colorado State UniversityUnited States Web Co-Chair in Organizing Committee for PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tobias MeggendorferMeggendorfer, Tobias IST Austria (Institute of Science and Technology Austria)Austria Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jackson MelchertMelchert, Jackson Stanford University PEak: A Single Source of Truth for Hardware Design and Verification
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Harshitha MenonMenon, Harshitha Lawrence Livermore National Lab Lightning Talks
Mike MesnierMesnier, Mike Intel Labs ISVABI: In-Storage Video Analytics Engine with Block Interface
Julián MestreMestre, Julián University of SydneyUnited States Optimizing Function Layout for Mobile Applications
Roland MeyerMeyer, Roland TU BraunschweigGermany Embedding Hindsight Reasoning in Separation Logic
Jesse MichelMichel, Jesse Massachusetts Institute of Technology Distributions for Compositionally Differentiating Parametric Discontinuities
Alexander MihajlovicMihajlovic, Alexander Chalmers University of Technology Cakes That Bake Cakes: Dynamic Computation in CakeML
Mae MilanoMilano, Mae University of California at BerkeleyUnited States Better Defunctionalization through Lambda Set Specialization
Dragana MilovancevicMilovancevic, Dragana EPFLSwitzerland Proving and Disproving Equivalence of Functional Programming Assignments
Marc MiltenbergerMiltenberger, Marc Fraunhofer SIT \| ATHENEGermany Extensible and Scalable Architecture for Hybrid Analysis
Anders MiltnerMiltner, Anders Simon Fraser UniversityUnited States Publicity Co-Chair in Organizing Committee for PLDI 2023
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2023 A general construction for abstract interpretation of higher-order automatic differentiation Incremental Verification of Neural Networks
Ashish MishraMishra, Ashish Purdue UniversityUnited States Covering All the Bases: Type-Based Verification of Test Input Generators
Jacqueline MitchellMitchell, Jacqueline University of California, Davis Architecture-Preserving Provable Repair of Deep Neural Networks
John C. MitchellMitchell, John C. Stanford University Hardware-Software Codesign for Mitigating Spectre
Dimitris MitropoulosMitropoulos, Dimitris University of AthensGreece Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Anshuman MohanMohan, Anshuman Cornell UniversityUnited States DSL-based Hardware Generation
Hasan MohsinMohsin, Hasan Imperial College LondonUnited Kingdom Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
Abtin MolaviMolavi, Abtin University of Wisconsin-Madison Synthesizing Quantum-Circuit Optimizers
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Program Committee within the SOAP-track
David MonniauxMonniaux, David CNRS/VERIMAGFrance Programme Committee in Program Committee within the LCTES-track
Soonwon MoonMoon, Soonwon Inha University Fair Operational Semantics
Andreia MordidoMordido, Andreia LASIGE, University of LisbonPortugal Parameterized Algebraic Protocols
Greg MorrisettMorrisett, Greg Cornell UniversityUnited States Interval Parsing Grammars for File Format Parsing
Abigail MortensenMortensen, Abigail Florida State University Facilitating the Bootstrapping of a New ISA
Jason MortonMorton, Jason ZKonduit Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Dan MoseleyMoseley, Dan Microsoft DevDiv Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Georg MoserMoser, Georg University of Innsbruck Automated Expected Value Analysis of Recursive Programs
Nicholas MosierMosier, Nicholas Stanford UniversityUnited States Hardware-Software Codesign for Mitigating Spectre
Eliot MossMoss, Eliot University of Massachusetts Amherst Committee Member in Program Committee within the ISMM-track
Rene MuellerMueller, Rene Huawei Zurich Research Center, Switzerland Concurrent GCs and Modern Java Workloads: A Cache Perspective
Rachel MuirMuir, Rachel United Kingdom Formal Verification of a MIR-to-MIR optimisation
Rajdeep MukherjeeMukherjee, Rajdeep AmazonUnited States User-Assisted Code Query Optimization
Ike MulderMulder, Ike Radboud University NijmegenNetherlands Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Stefan K. MullerMuller, Stefan K. Illinois Institute of TechnologyUnited States Responsive Parallelism with Synchronization
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States Model-guided synthesis of inductive lemmas for FOL with least fixpoints
Paul MureMure, Paul Stanford University Tags: A Framework for Distributed Event Ordering
Toby MurrayMurray, Toby University of MelbourneAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Girish MururuMururu, Girish Georgia Institute of TechnologyUnited States PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Embedded Media Servers
Madan MusuvathiMusuvathi, Madan Microsoft Research Diversity and Inclusion Co-Chair in Organizing Committee for PLDI 2023
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology They're the same picture: a software-verification flow adapted for hardware verification Cakes That Bake Cakes: Dynamic Computation in CakeML PureCake: A Verified Compiler for a Lazy Functional Language Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Florian MärklMärkl, Florian WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
Peter MüllerMüller, Peter ETH ZurichSwitzerland CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity Leveraging Rust Types for Program Synthesis
N Vijay NagarajanNagarajan, Vijay University of Edinburgh, UK Compound Memory Models
Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Committee Member in Organizing Committee within the CSC-track Committee Member in Organizing Committee within the CSC-track Committee Member in Organizing Committee within the CSC-track
Robert NagelNagel, Robert University of Illinois at Urbana-ChampaignUnited States A general construction for abstract interpretation of higher-order automatic differentiation
Srinidhi NagendraNagendra, Srinidhi IRIF, Chennai Mathematical InstituteFrance Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mayur NaikNaik, Mayur University of Pennsylvania Scallop: A Language for Neurosymbolic Programming Neurosymbolic Programming in Scallop
Tomoki NakamaruNakamaru, Tomoki University of TokyoJapan Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
Seunghyeon NamNam, Seunghyeon Seoul National University HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
Chandrakana NandiNandi, Chandrakana CertoraUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2023 Student Research Competition Co-Chair in SRC Reviewers within the PLDI SRC-track Committee Member in Program Committee within the EGRAPHS-track
Vijaykrishnan NarayananNarayanan, Vijaykrishnan The Pennsylvania State University ISVABI: In-Storage Video Analytics Engine with Block Interface
Nina NarodytskaNarodytska, Nina VMware ResearchUnited States Scalable Verification of GNN-based Job Schedulers
Huda NassarNassar, Huda Committee Member in Program Committee within the DRAGSTERS-track
Christian NavascaNavasca, Christian UCLA Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract
Stephanie NawasNawas, Stephanie University of California, Davis Architecture-Preserving Provable Repair of Deep Neural Networks
Nandeeka NayakNayak, Nandeeka University of Illinois at Urbana-ChampaignUnited States TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Static Analysis of Data Transformations in Jupyter Notebooks (Virtual)
Hamed NematiNemati, Hamed Stanford University, CISPA Helmholtz Center for Information Security Hardware-Software Codesign for Mitigating Spectre
Andrew NethNeth, Andrew Illinois Institute of Technology Responsive Parallelism with Synchronization
Bryan NgoNgo, Bryan University of California, Berkeley New Embedded DSLs for Hardware Design and Verification
Dat NguyenNguyen, Dat Texas A & M UniversityUnited States Leveraging Far Memory for Data-Intensive Processing: A Hotness-Segregated Heap Approach
Khanh NguyenNguyen, Khanh Texas A&M UniversityUnited States Committee Member in Program Committee within the ISMM-track
Rachit NigamNigam, Rachit Cornell UniversityUnited States Social Events Co-Chair in Organizing Committee for PLDI 2023 Fearless Hardware Design Modular Hardware Design with Timeline Types DSL-based Hardware Generation
Mark Niklas MüllerNiklas Müller, Mark ETH ZurichSwitzerland Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
Borivoje NikolicNikolic, Borivoje University of California, Berkeley New Embedded DSLs for Hardware Design and Verification Mixed-Abstraction HDLs and A Discussion on Other Aspects of HDL Design
Milos NikolicNikolic, Milos University of Edinburgh F-IVM: Analytics over Relational Databases under Updates
Mario NishioNishio, Mario Microsoft Azure Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Yung-Kyun NohNoh, Yung-Kyun Hanyang University Synchronization-aware NAS for an Efficient Collaborative Inference on Mobile Platforms
Jonas NorlinderNorlinder, Jonas Uppsala UniversitySweden Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael NorrishNorrish, Michael CSIRO’s Data61; Australian National UniversityAustralia PureCake: A Verified Compiler for a Lazy Functional Language
O Toluwanimi O. OdemuyiwaOdemuyiwa, Toluwanimi O. University of California, Davis TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators
Pierre OechselOechsel, Pierre Jane Street Predictable inlining in OCaml
Dan OlteanuOlteanu, Dan University of ZurichSwitzerland Matrix Decompositions over Database Joins F-IVM: Analytics over Relational Databases under Updates Committee Member in Program Committee within the DRAGSTERS-track
Kunle OlukotunOlukotun, Kunle Stanford UniversityUnited States Tags: A Framework for Distributed Event Ordering Challenges with Hardware-Software Co-design for Sparse Machine Learning on Streaming Dataflow Computing in the Foundation Model Era Mosaic: An Interoperable Compiler for Tensor Algebra
Cyrus OmarOmar, Cyrus University of MichiganUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Soner OnderOnder, Soner Michigan Technological University Facilitating the Bootstrapping of a New ISA
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Illia OstapyshynOstapyshyn, Illia Leibniz Universität Hannover Thread-Level Attack-Surface Reduction
Nicolai OswaldOswald, Nicolai NVIDIASwitzerland Compound Memory Models
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom Cakes That Bake Cakes: Dynamic Computation in CakeML
Una-May O’ReillyO’Reilly, Una-May Massachusetts Institute of TechnologyUnited States RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual)
P Oded PadonPadon, Oded VMware ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Lightning Talks Committee Member in SRC Reviewers within the PLDI SRC-track
Shankara PailoorPailoor, Shankara University of Texas at AustinUnited States Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Rangeet PanPan, Rangeet IBM ResearchUnited States Towards Supporting Universal Static Analysis using WALA
Santosh PandePande, Santosh Georgia Institute of TechnologyUnited States PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Embedded Media Servers
Orion PapadakisPapadakis, Orion The University of Manchester Scaling Up Performance of Managed Applications on NUMA Systems
Michail PapadimitriouPapadimitriou, Michail OctoMLUnited Kingdom Scaling Up Performance of Managed Applications on NUMA Systems
Zoe ParaskevopoulouParaskevopoulou, Zoe Northeastern UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Daon ParkPark, Daon Seoul National UniversitySouth Korea Web Chair in Organizing Committee within the LCTES-track
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
Sunghyun ParkPark, Sunghyun University of MichiganUnited States Synchronization-aware NAS for an Efficient Collaborative Inference on Mobile Platforms
Sunjae ParkPark, Sunjae Seoul National University HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
Yongjun ParkPark, Yongjun Yonsei University Synchronization-aware NAS for an Efficient Collaborative Inference on Mobile Platforms Programme Committee in Program Committee within the LCTES-track
Young-Jin ParkPark, Young-Jin University of California, Berkeley New Embedded DSLs for Hardware Design and Verification
Matthew J. ParkinsonParkinson, Matthew J. Azure Research, Microsoft, UKUnited Kingdom Session Chair of PLDI: Memory Models & Program Logics (part of PLDI Research Papers) Wait-Free Weak Reference Counting
Adam PaszkePaszke, Adam Google ResearchPoland Committee Member in Program Committee within the ARRAY-track
Aaryan PatelPatel, Aaryan United States Formal verification of approximate differential privacy via the characteristic function
Baptiste PaugetPauget, Baptiste ANSYS/Inria Polymorphic Types with Polynomial Sizes
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark Optimal Reads-From Consistency Checking for C11-Style Memory Models Sound Dynamic Deadlock Prediction in Linear Time
Raju PavuluriPavuluri, Raju IBM T.J. Watson Research Center Towards Supporting Universal Static Analysis using WALA
Hannes PayerPayer, Hannes Google Committee Member in Program Committee within the ISMM-track
Hila PelegPeleg, Hila TechnionIsrael Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Michael PellauerPellauer, Michael Nvidia TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil Diversity and Inclusion Co-Chair in Organizing Committee for PLDI 2023
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Erez PetrankPetrank, Erez TechnionIsrael Session Chair of ISMM: Session 1 (part of ISMM) Welcome to ISMM Program Chair in Organizing Committee within the ISMM-track
Lucas PeñaPeña, Lucas University of Illinois at Urbana-ChampaignUnited States Model-guided synthesis of inductive lemmas for FOL with least fixpoints
Jade PhilipoomPhilipoom, Jade Google, Germany Silver Oak: Hardware Software Co-Design and Co-Verification in Coq
David PichardiePichardie, David MetaFrance A new Infer entry door: the Textual IR
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Lauren PickPick, Lauren University of Wisconsin-Madison and University of California, BerkeleyUnited States Psym: Efficient Symbolic Exploration of Distributed Systems Synthesizing Quantum-Circuit Optimizers Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Goran PiskachevPiskachev, Goran Amazon Web ServicesGermany Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Hardware Verification of Timing Side Channel Freedom in the Spectre Era
Johannes Åman PohjolaPohjola, Johannes Åman University of New South Wales, Australia PureCake: A Verified Compiler for a Lazy Functional Language
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Workshops Co-Chair in Organizing Committee for PLDI 2023 How Programmers Interact with AI Assistants Research area overview talk II - Program Synthesis: Big Ideas in Program Synthesis Optimizing Beta-Reduction in E-Graphs Leveraging Rust Types for Program Synthesis Co-chair in Workshop Co-Chairs within the PLDI Workshops and Tutorials-track Committee Member in Program Committee within the EGRAPHS-track
Scott PomervillePomerville, Scott Michigan Technological University Facilitating the Bootstrapping of a New ISA
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Marc PouzetPouzet, Marc École normale supérieure Polymorphic Types with Polynomial Sizes
Conor PowerPower, Conor University of California at BerkeleyUnited States Optimizing Stateful Dataflow with Local Rewrites
Michael PradelPradel, Michael University of StuttgartGermany Committee Member in Organizing Committee within the ASA-track
Jyoti PrakashPrakash, Jyoti University of PassauGermany Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jacob PrinzPrinz, Jacob University of Maryland, College Park Merging Inductive Relations
Kai-Oliver ProttPrott, Kai-Oliver University of Kiel, GermanyGermany Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sergey PupyrevPupyrev, Sergey Meta Platforms Inc., FacebookUnited States Optimizing Function Layout for Mobile Applications
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands Committee Member in PLDI Review Committee within the PLDI Research Papers-track
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Memento: A Framework for Detectable Recoverability in Persistent Memory Committee Member in Program Committee within the Infer-track
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States Trace-Guided Inductive Synthesis of Recursive Functional Programs
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Priyanka RainaRaina, Priyanka Stanford UniversityUnited States PEak: A Single Source of Truth for Hardware Design and Verification
Xiaojia RaoRao, Xiaojia Imperial CollegeUnited Kingdom Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Ari RaschRasch, Ari University of MuensterGermany Array Programming via Multi-Dimensional Homomorphisms
Baishakhi RayRay, Baishakhi Columbia UniversityUnited States Towards Code-Aware AI Models for Code
Veselin RaychevRaychev, Veselin DeepCode AG Committee Member in PLDI Review Committee within the PLDI Research Papers-track
John RegehrRegehr, John University of Utah Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Alastair ReidReid, Alastair Arm LtdUnited Kingdom Goals for a modern ISA specification Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tobias ReinhardReinhard, Tobias KU LeuvenBelgium Completeness Thresholds for Memory Safety of Array Traversing Programs
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States Social Events Co-Chair in Organizing Committee for PLDI 2023
Kristian RietveldRietveld, Kristian Leiden University Committee Member in Program Committee within the ARRAY-track
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2023 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Martin RinardRinard, Martin MIT Probabilistic Programming with Stochastic Probabilities
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States Panel: Career paths Passport: Improving Automated Formal Verification Using Identifiers
Rodrigo C. O. RochaRocha, Rodrigo C. O. HuaweiUnited Kingdom Programme Committee in Program Committee within the LCTES-track
Jose Perez RodriguezRodriguez, Jose Perez Microsoft DevDiv Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Clara Rodríguez-NúñezRodríguez-Núñez, Clara Complutense University of Madrid Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Florian RommelRommel, Florian Leibniz Universität HannoverGermany Thread-Level Attack-Surface Reduction
Enrique Román-CalvoRomán-Calvo, Enrique Université Paris Cité - CNRS - IRIF Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels
Hongbo RongRong, Hongbo Intel LabsUnited States UniSparse: An Intermediate Language and Compiler for General Sparse Format Customization
Eli RosenthalRosenthal, Eli Google E-graph Extraction Using ZDDs Better Together: Unifying Datalog and Equality Saturation
Andreas RossbergRossberg, Andreas IndependentGermany Distinguished Reviewer in PLDI Review Committee within the PLDI Research Papers-track
Ori RothRoth, Ori TechnionIsrael Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Damien RouhlingRouhling, Damien Inria OptiTrust: an Interactive Optimization Framework
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Committee Member in Organizing Committee within the CSC-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Neea RuschRusch, Neea Augusta UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yeonhee RyouRyou, Yeonhee KAISTSouth Korea Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations Area Chair in PLDI Review Committee within the PLDI Research Papers-track
S Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Olli SaarikiviSaarikivi, Olli Microsoft Research, RedmondUnited States Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Nuno SabinoSabino, Nuno Instituto Superior Técnico, Carnegie Mellon UniversityPortugal Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Larisa SafinaSafina, Larisa INRIA Lillle - Nord EuropeFrance Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Indranil SahaSaha, Indranil IIT KanpurIndia Committee Member in SRC Reviewers within the PLDI SRC-track
Seemanta SahaSaha, Seemanta University of California Santa Barbara Obtaining Information Leakage Bounds via Approximate Model Counting
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Type-Checking CRDT Convergence
Malavika SamakSamak, Malavika CSAIL, MITUnited States RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual)
Amit SamantaSamanta, Amit University of Utah Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Roopsha SamantaSamanta, Roopsha Purdue UniversityUnited States ImageEye: Batch Image Processing using Program Synthesis Trace-Guided Inductive Synthesis of Recursive Functional Programs
Adrian SampsonSampson, Adrian Cornell University Session Chair of PLARCH: Session 4 (part of PLARCH) Modular Hardware Design with Timeline Types DSL-based Hardware Generation Committee Member in Organizing Committee within the PLARCH-track
Stanly SamuelSamuel, Stanly Indian Institute of Science, IndiaIndia Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alex Sanchez-SternSanchez-Stern, Alex University of MassachusettsUnited States Passport: Improving Automated Formal Verification Using Identifiers
Divya SankarSankar, Divya IBM ResearchUnited States Towards Supporting Universal Static Analysis using WALA
Susmit SarkarSarkar, Susmit University of St. Andrews Compound Memory Models Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Vivek SarkarSarkar, Vivek Rice University, USAUnited States Lightning Talks
Savvas SavvidesSavvides, Savvas Purdue University Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
Michael SchaperSchaper, Michael Build Informed Automated Expected Value Analysis of Recursive Programs
Klaus SchneiderSchneider, Klaus University of Kaiserslautern Programme Committee in Program Committee within the LCTES-track
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Committee Member in Program Committee within the ARRAY-track
Michael SchröderSchröder, Michael TU WienAustria Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Adriana SchulzSchulz, Adriana University of WashingtonUnited States A Lineage-Based Referencing DSL for Computer-Aided Design
Richard SchulzeSchulze, Richard University of MuensterGermany Array Programming via Multi-Dimensional Homomorphisms
Michael SchwarzSchwarz, Michael Technische Universität MünchenGermany When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Helmut SeidlSeidl, Helmut Technische Universität MünchenGermany When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Koushik SenSen, Koushik University of California at BerkeleyUnited States ItyFuzz: Snapshot-Based Fuzzer for Onchain Smart Contract Auditing
Koushik SenSen, Koushik University of California at BerkeleyUnited States New Embedded DSLs for Hardware Design and Verification Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware
Yasas SeneviratneSeneviratne, Yasas University of Virginia Design for Hardware Memory Model Verification
Andrew SengulSengul, Andrew Independent Researcher Faster APL with Lazy Extensions
Ilya SergeySergey, Ilya National University of SingaporeSingapore Session Chair of PLDI: Synthesis (part of PLDI Research Papers) Leveraging Rust Types for Program Synthesis Mostly Automated Proof Repair for Verified Libraries Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Rodrigo Girão SerrãoSerrão, Rodrigo Girão Dyalog, Ltd. U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning
Vivek SeshadriSeshadri, Vivek Microsoft Research MinUn: Accurate ML Inference on Microcontrollers
Thomas SewellSewell, Thomas University of CambridgeUnited Kingdom Cakes That Bake Cakes: Dynamic Computation in CakeML
Guruprerana ShabadiShabadi, Guruprerana École Polytechnique, Institut Polytechnique de ParisFrance Static Analysis of Data Transformations in Jupyter Notebooks (Virtual)
Amar ShahShah, Amar United States An Eager SMT Solver for Algebraic Data Type Queries
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Automatic Differentiation for Sparse Tensors Committee Member in Organizing Committee within the DRAGSTERS-track
Saul ShanabrookShanabrook, Saul United States Egg-smol Python: A Pythonic Library for E-graphs
Yakun Sophia ShaoShao, Yakun Sophia University of California, Berkeley Stellar: A DSL to Build and Explore Sparse Accelerators
Zili ShaoShao, Zili The Chinese University of Hong Kong Programme Committee in Program Committee within the LCTES-track
Mahmood SharifSharif, Mahmood Tel Aviv UniversityIsrael Scalable Verification of GNN-based Job Schedulers
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Rahul SharmaSharma, Rahul Microsoft Research MinUn: Accurate ML Inference on Microcontrollers
Upamanyu SharmaSharma, Upamanyu Massachusetts Institute of Technology Performal: Formal Verification of Latency Properties for Distributed Systems
Mary SheeranSheeran, Mary Chalmers Session Chair of ARRAY: Session 3 (part of ARRAY)
Mary SheeranSheeran, Mary Chalmers \| University of Gothenburg Committee Member in Program Committee within the ARRAY-track
Mingjie ShenShen, Mingjie Purdue University (WIP) Towards Automated Identification of Layering Violations in Embedded Applications
Zhaoyan ShenShen, Zhaoyan Shandong University Programme Committee in Program Committee within the LCTES-track
Timothy SherwoodSherwood, Timothy University of California at Santa BarbaraUnited States Semi-Automated Translation of a Formal ISA Specification to Hardware Loop Rerolling for Hardware Decompilation
Hui ShiShi, Hui University of California, San Diego Accurate Array Program Mapping with Neural Program Translation and Synthesis (cancelled)
Yunong ShiShi, Yunong University of ChicagoUnited States Gleipnir: toward practical error analysis for Quantum programs
Jaewoo ShimShim, Jaewoo The Affiliated Institute of ETRISouth Korea Crosys: Cross Architectural Dynamic Analysis
Junbum ShinShin, Junbum CryptoLab HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
Ryota ShioyaShioya, Ryota University of TokyoJapan Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Partially Complete Quantifier Elimination
Thomas ShullShull, Thomas Oracle Labs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Andrew SiegelSiegel, Andrew Lightning Talks
Stephen F. SiegelSiegel, Stephen F. University of DelawareUnited States Committee Member in Organizing Committee within the CSC-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Teaching and Learning Compilers Incrementally Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ben SimnerSimner, Ben Wait-Free Weak Reference Counting
Alexandre SingerSinger, Alexandre Huawei Canada Research CentreCanada (WIP) Tiling for DMA-Based Hardware Accelerators
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom (WIP) Towards Secure MicroPython on Morello Picking a CHERI Allocator: Security and Performance Considerations ChatGPT, Make a Secure Malloc for me
Kyle SingerSinger, Kyle Washington University in St. Louis, USA Responsive Parallelism with Synchronization
Avaljot SinghSingh, Avaljot United States ConstraintFlow: A Declarative DSL for Certified Artificial Intelligence
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-ChampaignUnited States Session Chair of PLDI: Probabilistic Analyses (part of PLDI Research Papers) Scalable Verification of GNN-based Job Schedulers A general construction for abstract interpretation of higher-order automatic differentiation Incremental Verification of Neural Networks Committee Member in SRC Reviewers within the PLDI SRC-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Satnam SinghSingh, Satnam GroqUnited States Silver Oak: Hardware Software Co-Design and Co-Verification in Coq
Saurabh SinhaSinha, Saurabh IBM ResearchUnited States Towards Supporting Universal Static Analysis using WALA
Zachary SiscoSisco, Zachary UC Santa Barbara On the Generality of Matrix Multiplication Semi-Automated Translation of a Formal ISA Specification to Hardware Loop Rerolling for Hardware Decompilation
Meghana Aparna SistlaSistla, Meghana Aparna United States Quantum Simulation using Context-Free-Language Ordered Binary Decision Diagrams
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Kevin SkadronSkadron, Kevin University of Virginia Design for Hardware Memory Model Verification
Gus Henry SmithSmith, Gus Henry University of Washington Generate Compilers from Hardware Models!
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Edgar SolomonikSolomonik, Edgar Committee Member in Program Committee within the DRAGSTERS-track
Woosung SongSong, Woosung Google HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
Youngju SongSong, Youngju MPI-SWSGermany Fair Operational Semantics
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZürichSwitzerland Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dimitrios SoudrisSoudris, Dimitrios National Technical University of Athens The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation in the Wild: An Intellectual Abstract
Vimala SoundarapandianSoundarapandian, Vimala IIT MadrasIndia Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Janek SpadernaSpaderna, Janek University of Freiburg, Germany Parameterized Algebraic Protocols
Daniele Giuseppe SpampinatoSpampinato, Daniele Giuseppe Computing Systems Lab Huawei Zurich Research Center Towards Structured Algebraic Programming
Naomi SpargoSpargo, Naomi Carnegie Mellon University A Type System for Safe Intermittent Computing
Upasana SridharSridhar, Upasana Carnegie Mellon University Opportunities for Linear Algebraic Graph Databases
Shashank SrikantSrikant, Shashank MITUnited States RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual)
Priya SrikumarSrikumar, Priya Cornell UniversityUnited States DSL-based Hardware Generation
Robin StaabStaab, Robin ETH Zurich Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
Mircea R. StanStan, Mircea R. University of Virginia ISVABI: In-Storage Video Analytics Engine with Block Interface
Caleb StanfordStanford, Caleb University of California, San Diego; University of California, DavisUnited States Committee Member in SRC Reviewers within the PLDI SRC-track
Michael StarzingerStarzinger, Michael University of Salzburg Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Reflecting on 50 Years of Computing Research, and Future Outlook
Deian StefanStefan, Deian University of California at San DiegoUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2023
Benno SteinStein, Benno MetaUnited Kingdom Incremental Analysis in Infer Committee Member in Program Committee within the Infer-track
Michael SteindorferSteindorfer, Michael Delft University of Technology, Netherlands Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sergei StepanenkoStepanenko, Sergei Aarhus UniversityDenmark VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Maoni StephensStephens, Maoni MicrosoftUnited States Committee Member in Program Committee within the ISMM-track
Mark StephensonStephenson, Mark NVIDIAUnited States cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
Michel SteuwerSteuwer, Michel University of EdinburghUnited Kingdom Committee Member in Program Committee within the DRAGSTERS-track
Gordon StewartStewart, Gordon Bedrock Systems Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
J. Ryan StinnettStinnett, J. Ryan King's College LondonUnited Kingdom Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Scott StollerStoller, Scott Stony Brook UniversityUnited States High-Level Executable Specification and Reasoning for Improving Distributed Algorithms
Athanasios StratikopoulosStratikopoulos, Athanasios The University of ManchesterUnited Kingdom Scaling Up Performance of Managed Applications on NUMA Systems
Michelle StroutStrout, Michelle University of ArizonaUnited States Committee Member in Organizing Committee within the CTSTA-track
Michelle Mills StroutStrout, Michelle Mills Hewlett Packard Enterprise Distinguished Reviewer in PLDI Review Committee within the PLDI Research Papers-track
Yulei SuiSui, Yulei University of New South Wales, SydneyAustralia Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
Chuyue SunSun, Chuyue Stanford CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Yaozhu SunSun, Yaozhu University of Hong KongChina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Kirshanthan SundararajahSundararajah, Kirshanthan Purdue UniversityUnited States Autoscheduling for Sparse Tensor Contraction
Hyojin SungSung, Hyojin POSTECH Programme Committee in Program Committee within the LCTES-track
Milijana SurbatovichSurbatovich, Milijana Carnegie Mellon University Panel: How to excel in graduate school A Type System for Safe Intermittent Computing
Thibault SuzanneSuzanne, Thibault Meta Lineage, a Data-Flow Analysis for Erlang
T Tucker TaftTaft, Tucker AdaCore, United StatesUnited States Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value Numbering (Virtual)
Yoshiki TakashimaTakashima, Yoshiki Carnegie Mellon UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Munehiro TakimotoTakimoto, Munehiro Tokyo University of Science Programme Committee in Program Committee within the LCTES-track
Gang (Gary) TanTan, Gang (Gary) Pennsylvania State UniversityUnited States Session Chair of PLDI: TOPLAS & SIGPLAN Papers (part of PLDI Research Papers) Interval Parsing Grammars for File Format Parsing Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Shangyin TanTan, Shangyin University of California at BerkeleyUnited States Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shin Hwei TanTan, Shin Hwei Concordia UniversityCanada Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
Tian TanTan, Tian Nanjing UniversityChina Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Yong Kiam TanTan, Yong Kiam None Cakes That Bake Cakes: Dynamic Computation in CakeML
Jubi TanejaTaneja, Jubi Microsoft ResearchUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2023 Student Research Competition Co-Chair in SRC Reviewers within the PLDI SRC-track
Xulong TangTang, Xulong University of Pittsburgh Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yutian TangTang, Yutian ShanghaiTech UniversityChina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuxin TangTang, Yuxin Rice University Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Swamit TannuTannu, Swamit University of Wisconsin-Madison Synthesizing Quantum-Circuit Optimizers
Runzhou TaoTao, Runzhou Columbia UniversityUnited States Gleipnir: toward practical error analysis for Quantum programs
Zhe TaoTao, Zhe University of California, Davis Architecture-Preserving Provable Repair of Deep Neural Networks
Olivier TardieuTardieu, Olivier IBM ResearchUnited States Reliable Actors with Retry Orchestration
Mohamed Tarek Ibn ZiadTarek Ibn Ziad, Mohamed NVIDIAUnited States cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
Joseph TassarottiTassarotti, Joseph NYUUnited States Leakage models are a leaky abstraction: the case for cycle-level verification of constant-time cryptography Verified Density Compilation for a Probabilistic Programming Language Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Workshops Co-Chair in Organizing Committee for PLDI 2023 Session Chair of PLDI: Hardware & Systems (part of PLDI Research Papers) Generate Compilers from Hardware Models! Better Together: Unifying Datalog and Equality Saturation Co-chair in Workshop Co-Chairs within the PLDI Workshops and Tutorials-track Committee Member in Organizing Committee within the EGRAPHS-track Committee Member in Program Committee within the EGRAPHS-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hanneli TavanteTavante, Hanneli Unaffiliated Volunteers Co-Chair in Organizing Committee for PLDI 2023 Student Volunteer Co-Chair in Volunteering Committee within the PLDI Volunteering-track
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Repairing Regular Expressions for Extraction
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Lightning Talks Architecture-Preserving Provable Repair of Deep Neural Networks
Peter ThiemannThiemann, Peter University of Freiburg, Germany Parameterized Algebraic Protocols
Michael Kirkedal ThomsenThomsen, Michael Kirkedal University of Oslo & University of Copenhagen Unification as a means of completing partial data structures
Samuel TianTian, Samuel MIT CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Yongqiang TianTian, Yongqiang University of WaterlooCanada Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States Lightning Talks
Abhishek TiwariTiwari, Abhishek University of Passau, GermanyGermany Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Stephen ToubToub, Stephen Microsoft DevDiv Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Konstantinos TovletoglouTovletoglou, Konstantinos Huawei Zurich Research Center, Switzerland Concurrent GCs and Modern Java Workloads: A Cache Perspective
Tommy Tracy IITracy II, Tommy University of Virginia Design for Hardware Memory Model Verification
Francois TrahayTrahay, Francois Telecom SudParis Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection in RAID-enabled SSDs
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Picking a CHERI Allocator: Security and Performance Considerations
Maja TrelaTrela, Maja University of Cambridge WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
Omer TrippTripp, Omer AmazonUnited States User-Assisted Code Query Optimization
Caroline TrippelTrippel, Caroline Stanford University Session Chair of PLARCH: Session 3 (part of PLARCH) Hardware-Software Codesign for Mitigating Spectre Design for Hardware Memory Model Verification Tags: A Framework for Distributed Event Ordering Committee Member in Organizing Committee within the PLARCH-track
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States Verified Density Compilation for a Probabilistic Programming Language Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Leonard TruongTruong, Leonard Stanford University PEak: A Single Source of Truth for Hardware Design and Verification
Wei-Lun TsaiTsai, Wei-Lun Academia Sinica An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Hünkar Can TunçTunç, Hünkar Can Aarhus UniversityDenmark Optimal Reads-From Consistency Checking for C11-Style Memory Models Sound Dynamic Deadlock Prediction in Linear Time Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Eleni Tzirita ZacharatouTzirita Zacharatou, Eleni IT University of Copenhagen, DenmarkDenmark Committee Member in Program Committee within the DRAGSTERS-track
U Katsuhiro UenoUeno, Katsuhiro Niigata UniversityJapan Committee Member in Program Committee within the ARRAY-track
Shubham UgareUgare, Shubham University of Illinois at Urbana-ChampaignUnited States TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators A general construction for abstract interpretation of higher-order automatic differentiation Incremental Verification of Neural Networks
Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? Committee Member in Program Committee within the ISMM-track
Gang-Ryung UhUh, Gang-Ryung Florida State University Facilitating the Bootstrapping of a New ISA
Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Static Analysis of Data Transformations in Jupyter Notebooks (Virtual)
V Sai Venkata Krishnan VV, Sai Venkata Krishnan Indian Institute of Technology MadrasIndia Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Pedro Valero-LaraValero-Lara, Pedro Oak Ridge National LaboratoryUnited Kingdom A MultiGPU Performance-Portable Solution for Array Programming Based on Kokkos
Mojtaba ValizadehValizadeh, Mojtaba University of SussexUnited Kingdom Search-Based Regular Expression Inference on a GPU
Erik van der Kouwevan der Kouwe, Erik Vrije Universiteit Amsterdam Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
Jacob Van GeffenVan Geffen, Jacob Veridise Inc. Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
David Van HornVan Horn, David University of MarylandUnited States Absynthe: Abstract Interpretation-Guided Synthesis Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alexa VanHattumVanHattum, Alexa Cornell UniversityUnited States Committee Member in SRC Reviewers within the PLDI SRC-track Committee Member in Program Committee within the EGRAPHS-track
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal Parameterized Algebraic Protocols
Vassil VassilevVassilev, Vassil Princeton University Building Programming Language Infrastructure With LLVM Components Building Programming Language Infrastructure With LLVM Components
Georgios VavouliotisVavouliotis, Georgios Huawei Zurich Research Center, Switzerland Concurrent GCs and Modern Java Workloads: A Cache Perspective
Niki VazouVazou, Niki IMDEA Software Institute Flux: Liquid Types for Rust Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Margus VeanesVeanes, Margus Microsoft Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Martin VechevVechev, Martin ETH ZurichSwitzerland Prompting Is Programming: A Query Language for Large Language Models Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
Freek VerbeekVerbeek, Freek Open University of the Netherlands, The Netherlands Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Clark VerbruggeVerbrugge, Clark McGill University, CanadaCanada Memory Consistency Models for Program Transformations: An Intellectual Abstract Memory Consistency Models for Program Transformations: An Intellectual Abstract
Abhinav VermaVerma, Abhinav The Pennsylvania State University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jeffrey VetterVetter, Jeffrey Oak Ridge National LaboratoryUnited States A MultiGPU Performance-Portable Solution for Array Programming Based on Kokkos
Malte VieringViering, Malte TU DarmstadtGermany Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
vincentni vincentni PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Embedded Media Servers
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-ChampaignUnited States Sound Dynamic Deadlock Prediction in Linear Time
Samuel VivienVivien, Samuel École Normale Supérieure, PSL & Chalmers University of Technology SwedenFrance PureCake: A Verified Compiler for a Lazy Functional Language
Vesal VojdaniVojdani, Vesal University of TartuEstonia When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Klaus von Gleissenthallvon Gleissenthall, Klaus Vrije Universiteit AmsterdamNetherlands Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
Nils VortmeierVortmeier, Nils Ruhr University Bochum Matrix Decompositions over Database Joins
W David WalkerWalker, David Princeton UniversityUnited States Modular Control Plane Verification via Temporal Invariants
Tiki WanWan, Tiki Microsoft Azure Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Chao WangWang, Chao University of Southern CaliforniaUnited States Synthesizing MILP Constraints for Efficient and Robust Optimization Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Franklyn WangWang, Franklyn Harvard University, 0xparc Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Jingbo WangWang, Jingbo University of Southern CaliforniaUnited States Synthesizing MILP Constraints for Efficient and Robust Optimization
Ke WangWang, Ke Visa ResearchUnited States Discrete Adversarial Attack to Models of Code Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Michael WangWang, Michael Massachusetts Institute of TechnologyUnited States RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual)
Peixin WangWang, Peixin University of Oxford Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Runji WangWang, Runji RisingWave Labs Building an SQL Optimizer with Egg
Wei WangWang, Wei University of Texas at San Antonio, USA NUMAlloc: A Faster NUMA Memory Allocator
Wenxi WangWang, Wenxi University of Texas at AustinUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xinyu WangWang, Xinyu University of MichiganUnited States Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2023 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yanjun WangWang, Yanjun Amazon Web Services, USAUnited States User-Assisted Code Query Optimization
Yisu Remy WangWang, Yisu Remy University of WashingtonUnited States Better Together: Unifying Datalog and Equality Saturation Committee Member in Program Committee within the DRAGSTERS-track
Yu WangWang, Yu Nanjing UniversityChina Discrete Adversarial Attack to Models of Code Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuke WangWang, Yuke UC Santa BarbaraUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zheng WangWang, Zheng University of Leeds, UK ChatGPT, Make a Secure Malloc for me Programme Committee in Program Committee within the LCTES-track
Zheng WangWang, Zheng University of California, Santa BarbaraUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zhenlin WangWang, Zhenlin Michigan Technological University Committee Member in Program Committee within the ISMM-track
Robert N. M. WatsonWatson, Robert N. M. University of Cambridge Library-based Compartmentalisation on CHERI
Conrad WattWatt, Conrad University of CambridgeUnited Kingdom WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Guannan WeiWei, Guannan Purdue UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tianrui WeiWei, Tianrui University of California, Berkeley NFC:Next-generation Formal verification for high performance Caches Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Program Adverbs and Tlön Embeddings
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Type-Checking CRDT Convergence
Elliott WenWen, Elliott The University of Auckland Programme Committee in Program Committee within the LCTES-track
Chuliang WengWeng, Chuliang East China Normal University LUNAR: A Native Table Engine for Embedded Devices
Sam WestrickWestrick, Sam Carnegie Mellon UniversityUnited States Efficient Parallel Functional Programming with Effects Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Thomas WiesWies, Thomas New York UniversityUnited States Embedding Hindsight Reasoning in Separation Logic
James R. WilcoxWilcox, James R. University of Washington, SeattleUnited States Committee Member in SRC Reviewers within the PLDI SRC-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Lucas WilkinsonWilkinson, Lucas University of Toronto Register Tiling for Unstructured Sparsity in Neural Network Inference
Guy WilksWilks, Guy UC Santa Barbara Non-Newtonian Hardware Design for Longevity
Max WillseyWillsey, Max University of WashingtonUnited States Better Together: Unifying Datalog and Equality Saturation Committee Member in SRC Reviewers within the PLDI SRC-track Committee Member in Organizing Committee within the EGRAPHS-track PC Chair in Program Committee within the EGRAPHS-track
Junho WohnWohn, Junho Hanyang University Synchronization-aware NAS for an Efficient Collaborative Inference on Mobile Platforms
Sebastian WolffWolff, Sebastian New York UniversityUnited States Embedding Hindsight Reasoning in Separation Logic
Jaeyeon WonWon, Jaeyeon Massachusetts Institute of Technology Learning workload-aware cost model for sparse tensor program
Bo WuWu, Bo Colorado School of Mines NUMAlloc: A Faster NUMA Memory Allocator
David WuWu, David University of Adelaide CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Haoze WuWu, Haoze Stanford UniversityUnited States Scalable Verification of GNN-based Job Schedulers
Peter WägemannWägemann, Peter Friedrich-Alexander University Erlangen-Nürnberg (FAU) Programme Committee in Program Committee within the LCTES-track
X Polychronis XekalakisXekalakis, Polychronis Nvidia Scaling Up Performance of Managed Applications on NUMA Systems
Anxhelo XhebrajXhebraj, Anxhelo Purdue UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ningning XieXie, Ningning University of TorontoCanada flap: A Deterministic Parser with Fused Lexing Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Rui XieXie, Rui Rensselaer Polytechnic Institute ZipKV: In-Memory Key-Value Store with Built-In Data Compression
Xingyu XieXie, Xingyu Tsinghua UniversityChina On lightweight Hoare logic of probabilistic programs: a bound tighter than the union bound
Yingfei XiongXiong, Yingfei Peking UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Amanda XuXu, Amanda University of Wisconsin-Madison Synthesizing Quantum-Circuit Optimizers
Chang XuXu, Chang Nanjing UniversityChina Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Dongpeng XuXu, Dongpeng University of New HampshireUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Eric XuXu, Eric Microsoft, USAChina Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Harry XuXu, Harry University of California, Los Angeles (UCLA)United States Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract
Ziyang XuXu, Ziyang Princeton UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sotirios XydisXydis, Sotirios National Technical University of Athens The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation in the Wild: An Intellectual Abstract
Y Boris YakobowskiYakobowski, Boris AdaCoreFrance Switching Ada analyses from BufferOverrun to Pulse
Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Defunctionalization with Dependent Types flap: A Deterministic Parser with Fused Lexing Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tetsuro YamazakiYamazaki, Tetsuro University of TokyoJapan Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
Mengjia YanYan, Mengjia MIT Session Chair of PLARCH: Session 2 (part of PLARCH) Co-chair in Organizing Committee within the PLARCH-track
Song YanYan, Song East China Normal University LUNAR: A Native Table Engine for Embedded Devices
Hanmei YangYang, Hanmei University of Massachusetts Amherst NUMAlloc: A Faster NUMA Memory Allocator
Rem YangYang, Rem University of Illinois at Urbana-ChampaignUnited States A general construction for abstract interpretation of higher-order automatic differentiation
Shengyuan YangYang, Shengyuan Nanjing University Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Jianan YaoYao, Jianan Columbia University, USA Gleipnir: toward practical error analysis for Quantum programs
Peisen YaoYao, Peisen Zhejing UniversityChina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yuval YaromYarom, Yuval Ruhr University Bochum CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Qianchuan YeYe, Qianchuan Purdue UniversityUnited States Taype: A Policy-Agnostic Language for Oblivious Computation
Zihao YeYe, Zihao University of WashingtonUnited States Challenges and Opportunities for Sparse Compilers in LLM
Di-De YenYen, Di-De Academia Sinica An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Kwangkeun YiYi, Kwangkeun Seoul National University Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Lixiang YinYin, Lixiang University of California, Berkeley New Embedded DSLs for Hardware Design and Verification
Yongho YoonYoon, Yongho Seoul National UniversitySouth Korea Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Greta YorshYorsh, Greta Jane Street Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dongjun YounYoun, Dongjun KAISTSouth Korea Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
Oliver YuYu, Oliver University of California, Berkeley New Embedded DSLs for Hardware Design and Verification
Shangdi YuYu, Shangdi Massachusetts Institute of Technology Committee Member in Program Committee within the DRAGSTERS-track
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yongwei YuanYuan, Yongwei Purdue UniversityUnited States Trace-Guided Inductive Synthesis of Recursive Functional Programs
Tom YuvilerYuviler, Tom Technion One Pixel Adversarial Attacks via Sketched Programs
Albert-Jan Nicholas YzelmanYzelman, Albert-Jan Nicholas Computing Systems Lab Huawei Zurich Research Center Towards Structured Algebraic Programming
Z Jeffrey Zachariah McMichaelZachariah McMichael, Jeffrey University of Tennessee Flexible and Effective Object Tiering for Heterogeneous Memory Systems
Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Speeding up Static Analysis with the Split Operator
Fabian ZaiserZaiser, Fabian University of Oxford Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
George ZakhourZakhour, George University of St.GallenSwitzerland Type-Checking CRDT Convergence
Foivos S. ZakkakZakkak, Foivos S. Red Hat, Inc. Scaling Up Performance of Managed Applications on NUMA Systems Scaling Up Performance of Managed Applications on NUMA Systems
Ayal ZaksZaks, Ayal Mobileye Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Riccardo ZanettiZanetti, Riccardo Chalmers University of Technology, Sweden PureCake: A Verified Compiler for a Lazy Functional Language
Nickolai ZeldovichZeldovich, Nickolai Massachusetts Institute of Technology, USA Leakage models are a leaky abstraction: the case for cycle-level verification of constant-time cryptography
Danfeng ZhangZhang, Danfeng Pennsylvania State UniversityUnited States Research area overview talk IV - Security
Haozhe ZhangZhang, Haozhe University of Zurich F-IVM: Analytics over Relational Databases under Updates
Jialun ZhangZhang, Jialun Pennsylvania State University Interval Parsing Grammars for File Format Parsing
Lei ZhangZhang, Lei ICT CAS Programme Committee in Program Committee within the LCTES-track
Nathan ZhangZhang, Nathan Stanford University Tags: A Framework for Distributed Event Ordering
Nuda ZhangZhang, Nuda University of Michigan Performal: Formal Verification of Latency Properties for Distributed Systems
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
Tong ZhangZhang, Tong Rensselaer Polytechnic Institute ZipKV: In-Memory Key-Value Store with Built-In Data Compression
Tong ZhangZhang, Tong SamsungUnited States Programme Committee in Program Committee within the LCTES-track
Yihong ZhangZhang, Yihong University of WashingtonUnited States Ensuring the termination of equality saturation for terminating term rewriting systems egglog In Practice: Automatically Improving Floating-point Error Better Together: Unifying Datalog and Equality Saturation
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Extensible Metatheory Mechanization via Family Polymorphism Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zhiru ZhangZhang, Zhiru Cornell University, USA UniSparse: An Intermediate Language and Compiler for General Sparse Format Customization
Zhizhou (Chris) ZhangZhang, Zhizhou (Chris) Uber Technologies Blast from the Past: Least Expected Use (LEU) Cache Replacement with Statistical History
Jerry ZhaoZhao, Jerry UC Berkeley NFC:Next-generation Formal verification for high performance Caches
Jishen ZhaoZhao, Jishen UCSD Accurate Array Program Mapping with Neural Program Translation and Synthesis (cancelled)
Xin ZhaoZhao, Xin University of Massachusetts Amherst NUMAlloc: A Faster NUMA Memory Allocator
Zhongyuan ZhaoZhao, Zhongyuan UniSparse: An Intermediate Language and Compiler for General Sparse Format Customization
Yi ZhengZheng, Yi The Pennsylvania State University ISVABI: In-Storage Video Analytics Engine with Block Interface
Jie ZhouZhou, Jie University of RochesterUnited States Committee Member in SRC Reviewers within the PLDI SRC-track
Jin ZhouZhou, Jin University of Massachusetts Amherst NUMAlloc: A Faster NUMA Memory Allocator
Timothy ZhouZhou, Timothy University of Illinois Urbana-Champaign Passport: Improving Automated Formal Verification Using Identifiers
Zhe ZhouZhou, Zhe Purdue University Covering All the Bases: Type-Based Verification of Test Input Generators Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
He ZhuZhu, He Rutgers University, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jiawei ZhuangZhuang, Jiawei Huawei Technologies Co. Ltd. Towards Structured Algebraic Programming
Andreas ZieglerZiegler, Andreas Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany Thread-Level Attack-Surface Reduction
Roshanak Zilouchian MoghaddamZilouchian Moghaddam, Roshanak MicrosoftUnited States Committee Member in Organizing Committee within the ASA-track
Dorde ZivanovicZivanovic, Dorde University of Oxford Matrix Decompositions over Database Joins
Bill ZornZorn, Bill Intel Corporation, USA Novel Numerical Hardware Design Methodology - From machine readable specification to optimized RTL
Philip ZuckerZucker, Philip DraperUnited States Better Together: Unifying Datalog and Equality Saturation Committee Member in Program Committee within the EGRAPHS-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UK Committee Member in Organizing Committee within the ARRAY-track

PLDI 2023 Contributors

Results (936)

Tracks

Co-hosted Conferences

Workshops