PLDI 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (978)

A Mridul AanjaneyaAanjaneya, Mridul Rutgers UniversityUnited States Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden Verification under Intel-x86 with Persistency
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Matteo AcclavioAcclavio, Matteo University of Sussex A Propositional Dynamic Logic for Choreographies
Sara AchourAchour, Sara Stanford UniversityUnited States Compilation of Qubit Circuits to Optimized Qutrit Circuits
Solai AdithyaAdithya, Solai IIT Mandi Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
Maaz Bin Safeer AhmadAhmad, Maaz Bin Safeer University of Washington, SeattleUnited States Committee Member in Organizing Committee within the PLDI SRC-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Session Chair of Session 3 (part of RTFM) Panel: Promotion and Tenure Panel: Work-Life Balance, Service, and Teaching Opening RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly Committee Member in Organizing Committee within the RTFM-track
Jung Ho AhnAhn, Jung Ho Seoul National University Committee Member in Program Committee within the ISMM-track
Willow AhrensAhrens, Willow Massachusetts Institute of TechnologyUnited States Compiling Control Flow in Sparse and Structured Array Programs Panel: Compilation Frameworks Mechanised Hypersafety Proofs about Structured Data
Alex AikenAiken, Alex Stanford UniversityUnited States Recursive Program Synthesis using Paramorphisms
Ahmad AlawnehAlawneh, Ahmad Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States Uncertainty and my scientific journey Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Elvira AlbertAlbert, Elvira Complutense University of Madrid SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
Dan AlistarhAlistarh, Dan IST Austria [PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Session Chair of Databases and Hardware (part of Sparse) Panel: PL and Beyond Panel: What are we doing? Welcome / Intro
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks Democratizing DSL development with the BuildIt Framework Mechanised Hypersafety Proofs about Structured Data
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Committee Member in Organizing Committee within the Sparse-track
Tanmay AmbadkarAmbadkar, Tanmay The Pennsylvania State University, University Park, USAUnited States AutoSpec: Automating the Refinement of Reinforcement Learning Specifications
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Committee Member in Program Committee within the WQS-track
Aditya AnandAnand, Aditya Indian Institute of Technology BombayIndia Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Meghana Aparna SistlaAparna Sistla, Meghana The University of Texas at AustinUnited States [TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
Owen ArdenArden, Owen UC Santa CruzUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the CP-track
Mohammad Rifat ArefinArefin, Mohammad Rifat University of Texas at ArlingtonUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany ValBench: Benchmarking exact value analysis
Aslan AskarovAskarov, Aslan Aarhus University How to read a PL-security paper
Nicola AssoliniAssolini, Nicola Università degli Studi di VeronaItaly A Static Analysis for High-Level Quantum Programming Languages Committee Member in Program Committee within the WQS-track co-rganizer in Organizing Committee within the WQS-track
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, SwedenSweden Verification under Intel-x86 with Persistency
Charles AverillAverill, Charles University of Texas at DallasUnited States VOLPIC: Verifying Lifted Pascal in Coq
B David B. WhalleyB. Whalley, David Florida State University Programme Committee in Program Committee within the LCTES-track
Timur BabakolBabakol, Timur SUNY Binghamton, USA VESTA: Power Modeling with Language Runtime Events
Evgeny BabinBabin, Evgeny Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Jakub BachurskiBachurski, Jakub University of CambridgePoland Points for Free: Embedding Pointful Array Programming in Python
Alexander BaiBai, Alexander Tufts University Volunteers Co-Chair in Organizing Committee for PLDI 2024
Guangdong BaiBai, Guangdong University of QueenslandAustralia Publications Chair in Organizing Committee within the LCTES-track
Miëtek BakBak, Miëtek Choreographic Programming in Modal Type Theory
Jonathan BalkindBalkind, Jonathan UC Santa BarbaraUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Thomas BallBall, Thomas Microsoft ResearchUnited States Abstract Interpretation, Software Model Checking, and Beyond - A Celebration of the Work of Andreas Podelski Jacdac: Service-Based Prototyping of Embedded Systems
Debangshu BanerjeeBanerjee, Debangshu University of Illinois at Urbana-Champaign Input-Relational Verification of Deep Neural Networks
Rafael BarbalhoBarbalho, Rafael Intel Corporation Algorithm-Aware Hardware Optimization using E-Graph Rewriting: how should we marry software and hardware?
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Quantitative Robustness for Vulnerability Assessment
Raj BarikBarik, Raj Gitar Co.United States A Lightweight Polyglot Code Transformation Language
Titus BarikBarik, Titus AppleUnited States Syntactic Code Search with Sequence-to-Tree Matching
Chris BarrettBarrett, Chris University of Oxford Equivalence Hypergraphs: E-Graphs for Monoidal Theories
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland Linear Matching of JavaScript Regular Expressions Local Arrangements Co-Chair in Organizing Committee within the PLDI SRC-track
Pedro BarrosoBarroso, Pedro NOVA LINCS & Nova School of Sciences and TecnhologyPortugal Am I sweeping right?
Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany Panel: Career Paths in PL
Mako P. BatesBates, Mako P. University of VermontUnited States We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
Mark BattyBatty, Mark University of KentUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ryan BeckettBeckett, Ryan Microsoft Research, USA Diffy: Data-Driven Bug Finding for Configurations
Farnaz BehrangBehrang, Farnaz Uber DrFix: Automated Data Race Fixing using Program Analysis and Generative AI
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States Decidable Subtyping of Existential Types for Julia Committee Member in Program Committee within the ARRAY-track
Dorra Ben KhalifaBen Khalifa, Dorra University of Toulouse - ENACFrance Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Gilbert BernsteinBernstein, Gilbert University of Washington, SeattleUnited States Session Chair of Applications and Languages (part of Sparse) When Are We Done Optimizing? Panel: What are we doing? A Verified Compiler for a Functional Tensor Language Committee Member in Organizing Committee within the Sparse-track
Maxwell BernsteinBernstein, Maxwell Northeastern UniversityUnited States Dr Wenowdis: Specializing dynamic language C extensions using type information
Guillaume BertholonBertholon, Guillaume Inria & Université de Strasbourg, CNRS, ICube, France Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
Dirk BeyerBeyer, Dirk LMU MunichGermany Find, Use, and Conserve Tools for Formal Methods
Daniel BiebertBiebert, Daniel TU Dortmund UniversityGermany (Invited paper) Language-Based Deployment Optimization for Random Forest
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track Programme Committee in Program Committee within the LCTES-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Panel: Recruiting and Supporting Students Panelist in Speakers and Panelists within the RTFM-track
João BispoBispo, João Faculdade de Engenharia e Universidade do PortoPortugal (WIP) A Flexible-Granularity Task Graph Representation and its Generation from C Applications Foundations for a Rust-Like Borrow Checker for C
Swarnendu BiswasBiswas, Swarnendu IIT KanpurIndia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research SpEQ: Translation of Sparse Codes using Equivalences SpEQ: Translation of Sparse Codes using Equivalences
Lasse BlaauwbroekBlaauwbroek, Lasse Czech Institute for Informatics Robotics and CyberneticsCzechia Hashing Modulo Context-Sensitive Alpha-Equivalence
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia Session Chair of Pot Pourri 1 (part of PLDI Research Papers) Session Chair of Close to the Hardware (part of PLDI Research Papers) Session Chair of ISMM: Session 1 - Garbage Collection (part of ISMM) Memory Management on Mobile Devices Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Steering Committee within the ISMM-track
Spyros BlanasBlanas, Spyros Ohio State University IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
Carsten BlankBlank, Carsten data cybernetics ssc GMbHGermany Organizer in Organizing Committee within the WQS-track
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEMGermany Static Code Analysis with SootUp
Matthias BoehmBoehm, Matthias Panel: Databases and Hardware Exploiting Sparsity and Redundancy
Jérôme BoillotBoillot, Jérôme École Normale Supérieure, PSL University & INRIAFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
CF Bolz-TereickBolz-Tereick, CF Heinrich-Heine-Universität DüsseldorfGermany Dr Wenowdis: Specializing dynamic language C extensions using type information
Michael D. BondBond, Michael D. Ohio State University Session Chair of Welcome from the Chairs (part of ISMM) Session Chair of ISMM: Session 3 - Intellectual Abstracts (part of ISMM) Welcome to ISMM IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications Committee Member in Steering Committee within the ISMM-track General Chair in Organizing Committee within the ISMM-track
Benjamin BonneauBonneau, Benjamin VerimagFrance Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
George BoothBooth, George King's College London Classical Shadows for Property-Based Testing of Quantum Programs
Holly BorlaBorla, Holly Apple, Inc, Data-race safety for the masses
James BornholtBornholt, James University of Texas at AustinUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Camille BossutBossut, Camille Georgia Institute of Technology Loop Saturation for Scalable High-Level Synthesis Context-Free Language Reachability via Skewed Tabulation
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Verification under Intel-x86 with Persistency
Thomas BourgeatBourgeat, Thomas EPFLSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ajay BrahmakshatriyaBrahmakshatriya, Ajay Massachusetts Institute of TechnologyUnited States NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks Democratizing DSL development with the BuildIt Framework
Martin BrainBrain, Martin City, University of London Misconceptions About Loops in C
Ricardo BrancasBrancas, Ricardo INESC-ID, Instituto Superior TécnicoPortugal Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Joachim BreitnerBreitner, Joachim unaffiliatedGermany Bringing the WebAssembly Standard up to Speed with SpecTec
Tiago BritoBrito, Tiago INESC-ID and Universidade de Lisboa Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
Marc BrockschmidtBrockschmidt, Marc Microsoft ResearchUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Rodrigo BrunoBruno, Rodrigo INESC-ID, Instituto Superior Técnico, Universidade de LisboaPortugal Committee Member in Program Committee within the ISMM-track
Anita BuckleyBuckley, Anita USI Lugano An Algebraic Language for Specifying Quantum Networks
Alexandra BugariuBugariu, Alexandra Max Planck Institute for Software Systems (MPI-SWS)Germany Committee Member in Program Committee within the SOAP-track
Doug BurgerBurger, Doug Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Lukas BurgholzerBurgholzer, Lukas Technical University of Munich Supporting End-Users in Realizing Quantum Computing Applications
Sebastian BuschjägerBuschjäger, Sebastian TU Dortmund UniversityGermany (Invited paper) Language-Based Deployment Optimization for Random Forest
Begatim BytyqiBytyqi, Begatim Inria & Université de Strasbourg, CNRS, ICube, France Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Three Colours of Fuzzing: Reflections and Open Challenges
Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zixian CaiCai, Zixian Australian National UniversityAustralia Video Co-Chair in Organizing Committee for PLDI 2024 Co-chair in AV Committee for PLDI 2024
Ben CaldwellCaldwell, Ben University of ChicagoUnited States Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
Phuong CaoCao, Phuong National Center for Supercomputing Applications, University of Illinois Urbana-ChampaignUnited States The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum Computing
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
Marco CarboneCarbone, Marco IT University of CopenhagenDenmark A Probabilistic Choreography Language for PRISM Committee Member in Program Committee within the CP-track
João M. P. CardosoCardoso, João M. P. University of Porto and INESC TEC, PortugalPortugal (WIP) A Flexible-Granularity Task Graph Representation and its Generation from C Applications Programme Committee in Program Committee within the LCTES-track
Stefano CarrazzaCarrazza, Stefano Università degli Studi di Milano Towards an open-source framework to perform quantum calibration and characterization
Tiago CarvalhoCarvalho, Tiago University of Porto Foundations for a Rust-Like Borrow Checker for C
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Programme Committee in Program Committee within the LCTES-track
Adrian CaulfieldCaulfield, Adrian Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States Masquerade: Information Flow Control for Choreographies Committee Member in Program Committee within the CP-track
Milind ChabbiChabbi, Milind Uber Technologies Inc.United States Programme Committee in Program Committee within the LCTES-track
Byungchul ChaeChae, Byungchul Kyung Hee University TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embedded Systems
Tej ChajedChajed, Tej UW-MadisonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Soham ChakrabortyChakraborty, Soham TU DelftNetherlands A Tale of Shared Memory Concurrency in Programming Languages
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States [TOPLAS] Interactive Abstract Interpretation with Demanded Summarization
Stephen ChangChang, Stephen University of Massachusetts BostonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Patrick ChapmanChapman, Patrick University of California, Davis Interleaving Static Analysis and LLM Prompting
Arthur CharguéraudCharguéraud, Arthur Inria; Université de Strasbourg; CNRS; ICubeFrance Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States PLDI women's dinner Equivalence by Canonicalization for Synthesis-Backed Refactoring Syntactic Code Search with Sequence-to-Tree Matching Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Krishnendu ChatterjeeChatterjee, Krishnendu IST AustriaAustria Equivalence and Similarity Refutation for Probabilistic Programs
Agnishom ChattopadhyayChattopadhyay, Agnishom Rice University Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
Swarat ChaudhuriChaudhuri, Swarat University of Texas at AustinUnited States [TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams Committee Member in Organizing Committee within the PLDI SRC-track
Kevin CheangCheang, Kevin Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alessandro CheliCheli, Alessandro PlantingSpaceItaly Performant Dynamically Typed E-Graphs in Pure Julia
Guanyu ChenChen, Guanyu Zhejiang University SmartVisor: User-Friendly Hypervisor for Mobile Robots
Hongzheng ChenChen, Hongzheng Cornell UniversityUnited States Allo: A Programming Model for Composable Accelerator Design Revealing Optimizations in High-Performance Kernel Libraries: A Program Synthesis Approach to Schedule Reconstruction Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jian-Jia ChenChen, Jian-Jia TU Dortmund UniversityGermany Session Chair of Embedded Systems (part of LCTES) (Invited paper) Language-Based Deployment Optimization for Random Forest European Research Council Funding Opportunities Steering Committee Member in Steering Committee within the LCTES-track
Kuan-Hsun ChenChen, Kuan-Hsun University of TwenteNetherlands (Invited paper) Language-Based Deployment Optimization for Random Forest
Sen ChenChen, Sen Tianjin UniversityChina Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification
Tianyu ChenChen, Tianyu Indiana UniversityUnited States Quest Complete: The Holy Grail of Gradual Security
Weimin ChenChen, Weimin The Hong Kong Polytechnic University EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zhiyang ChenChen, Zhiyang University of TorontoCanada Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jianyi ChengCheng, Jianyi University of CambridgeUnited Kingdom Algorithm-Aware Hardware Optimization using E-Graph Rewriting: how should we marry software and hardware?
Xiao ChengCheng, Xiao UNSWAustralia Web Chair in Organizing Committee within the LCTES-track
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States Suki: Choreographed Distributed Dataflow in Rust Syntactic Code Search with Sequence-to-Tree Matching
Tsung-Ju ChiangChiang, Tsung-Ju Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shigeru ChibaChiba, Shigeru University of TokyoJapan A Managed Memory System for Micro Controllers with NOR Flash Memory
David ChisnallChisnall, David SCI SemiconductorUnited Kingdom Committee Member in Steering Committee within the ISMM-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States A Verified Compiler for a Functional Tensor Language Live Verification in an Interactive Proof Assistant Foundational Integration Verification of a Cryptographic Server
Joonwon ChoiChoi, Joonwon AppleUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Benjamin ChungChung, Benjamin JuliaHub Decidable Subtyping of Existential Types for Julia
Pavel ChuprikovChuprikov, Pavel USI LuganoSwitzerland An Algebraic Language for Specifying Quantum Networks
Dulma ChurchillChurchill, Dulma MetaUnited Kingdom Finding Retain Cycles for Objective-C with Pulse
Lazaro ClappClapp, Lazaro Gitar A Lightweight Polyglot Code Transformation Language
Sylvan ClebschClebsch, Sylvan Microsoft Azure ResearchUnited States Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract
Miguel E. CoimbraCoimbra, Miguel E. INESC-ID and Universidade de Lisboa Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
Giovanna Kobus ConradoConrado, Giovanna Kobus Hong Kong University of Science and TechnologyHong Kong A Better Approximation for Interleaved Dyck Reachability
George A. ConstantinidesConstantinides, George A. Imperial College London, UK Powered by Less: Low Power Circuit Synthesis
Byron CookCook, Byron AmazonUnited States Reasoning About Hilbert’s Choice Operator in SMT Thoughts on the interplay between corporate, government, and university R&D Formal reasoning at Amazon Web Services
Simon CookseyCooksey, Simon Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tomer CoryCory, Tomer TechnionIsrael The One Pass (OP) Compactor: An Intellectual Abstract
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom Algorithm-Aware Hardware Optimization using E-Graph Rewriting: how should we marry software and hardware? Powered by Less: Low Power Circuit Synthesis Committee Member in Program Committee within the EGRAPHS-track
David CoxCox, David Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Donovan CrichtonCrichton, Donovan The Australian National UniversityAustralia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Caroline CronjägerCronjäger, Caroline Vrije Universiteit AmsterdamNetherlands A Never-Ending Trace: Catching Goto and Recursive Divergence
Luís Cruz-FilipeCruz-Filipe, Luís University of Southern Denmark Committee Member in Program Committee within the CP-track
Guofeng CuiCui, Guofeng Rutgers University Reward-Guided Synthesis of Intelligent Agents with Control Structures
Heming CuiCui, Heming University of Hong Kong EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania Stream Types
D Pierre-Evariste DagandDagand, Pierre-Evariste IRIF / CNRS France Programme Committee in Program Committee within the LCTES-track
Mengjia DaiDai, Mengjia University of Science and Technology of China Allo: A Programming Model for Composable Accelerator Design
David DaraisDarais, David GaloisUnited States KATch: A Fast Symbolic Verifier for NetKAT Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Recent Advances in Floating-point (Static) Analyses
Johannes de Fine Lichtde Fine Licht, Johannes NextSiliconSwitzerland Wavefront Threading Enables Effective High-Level Synthesis
Peli de Halleuxde Halleux, Peli Microsoft ResearchUnited States Jacdac: Service-Based Prototyping of Embedded Systems
Maria Garcia de la Bandade la Banda, Maria Garcia Monash University SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
Giuseppe De PalmaDe Palma, Giuseppe Department of Computer Science and Engineering - Università di Bologna A Function-as-a-Service Choreographic Programming Language: Examples and Applications
Noé De SantoDe Santo, Noé EPFLSwitzerland Mechanized semantics for ECMAScript regexes
Ivo Gabe de Wolffde Wolff, Ivo Gabe Utrecht University Zero-Overhead Parallel Scans for Multi-Core CPUs Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling
Maryam Mehri DehnaviDehnavi, Maryam Mehri University of TorontoCanada SpEQ: Translation of Sparse Codes using Equivalences SpEQ: Translation of Sparse Codes using Equivalences
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Panel: Work-Life Balance, Service, and Teaching A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata Panelist in Speakers and Panelists within the RTFM-track
Srinivas DevadasDevadas, Srinivas Massachusetts Institute of Technology A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption
James DevineDevine, James MicrosoftUnited Kingdom Jacdac: Service-Based Prototyping of Embedded Systems
Olivia Di MatteoDi Matteo, Olivia University of British Columbia Committee Member in Program Committee within the WQS-track
Alessandra Di PierroDi Pierro, Alessandra University of Verona, ItalyItaly A Static Analysis for High-Level Quantum Programming Languages Committee Member in Program Committee within the WQS-track Co-chair in Organizing Committee within the WQS-track
Iavor DiatchkiDiatchki, Iavor Galois, Inc. Daedalus: Safer Document Parsing
Robert DickDick, Robert University of Michigan, USA Programme Committee in Program Committee within the LCTES-track
Robert DickersonDickerson, Robert Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Daniel DietschDietsch, Daniel University of FreiburgGermany Co-chair in Program Committee within the PODELSKI-track
Işıl DilligDillig, Işıl University of Texas at AustinUnited States On Running a Research Group Panel: Career Paths in PL From Batch to Stream: Automatic Generation of Online Algorithms Speaker in Speakers and Panelists within the RTFM-track
Chen DingDing, Chen University of Rochester Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Committee Member in Organizing Committee within the PLDI SRC-track
Mike DoddsDodds, Mike Galois, Inc. Daedalus: Safer Document Parsing
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom [PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
Rui DongDong, Rui University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Theo DraneDrane, Theo Intel Corporation, USA Algorithm-Aware Hardware Optimization using E-Graph Rewriting: how should we marry software and hardware? Powered by Less: Low Power Circuit Synthesis
Derek DreyerDreyer, Derek MPI-SWSGermany Session Chair of Session 2 (part of RTFM) Panel: Promotion and Tenure Opening Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq RefinedRust: A Type System for High-Assurance Verification of Rust Programs Committee Member in Organizing Committee within the RTFM-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Stéphane DucasseDucasse, Stéphane Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance Evaluating Finalization-Based Object Lifetime Profiling
Irina DudinaDudina, Irina University of Edinburgh Static Analysis for CHERI
William DueDue, William DIKU, University of Copenhagen An LLP (q, k) Parser Generator
Ross DuncanDuncan, Ross Quantinuum Committee Member in Program Committee within the WQS-track
E Bernhard EggerEgger, Bernhard Seoul National UniversitySouth Korea Steering Committee Member in Steering Committee within the LCTES-track
Ken EguroEguro, Ken Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Andres ErbsenErbsen, Andres Google Foundational Integration Verification of a Cryptographic Server Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mattan ErezErez, Mattan The University of Texas at Austin Committee Member in Program Committee within the ISMM-track
Julian ErhardErhard, Julian Technical University of Munich When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal Committee Member in AV Committee for PLDI 2024
Patrick EugsterEugster, Patrick USI Lugano; Purdue UniversitySwitzerland An Algebraic Language for Specifying Quantum Networks
F Israel F. AraujoF. Araujo, Israel Yonsei University Seoul Committee Member in Program Committee within the WQS-track
Heiko FalkFalk, Heiko Hamburg University of TechnologyGermany Programme Committee in Program Committee within the LCTES-track
Andong FanFan, Andong HKUST (The Hong Kong University of Science and Technology)China Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Wang FangFang, Wang Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences Efficient Formal Verification of Quantum Error Correcting Programs Symbolic Execution for Quantum Error Correction Programs
Sebastian FeldFeld, Sebastian Delft University of TechnologyNetherlands Committee Member in Program Committee within the WQS-track
Ruitao FengFeng, Ruitao SMUSingapore Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation Programme Committee in Program Committee within the LCTES-track
Zhongwen FengFeng, Zhongwen Chang' an University TWFuzz: Fuzzing Embedded Systems with Three Wires
Jeremy FergusonFerguson, Jeremy University of California-Berkeley Equivalence by Canonicalization for Synthesis-Backed Refactoring
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Quick and dirty development of static analyses with LiSA
Mafalda FerreiraFerreira, Mafalda INESC-ID / Instituto Superior Técnico, Universidade de LisboaPortugal Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
Jonas FialaFiala, Jonas ETH Zürich Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nathaniel Wesley FilardoFilardo, Nathaniel Wesley Microsoft AzureCanada BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract
Michael FitzgibbonsFitzgibbons, Michael Northeastern University RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
Matthew FlattFlatt, Matthew University of UtahUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Alessandro ForinForin, Alessandro Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Yannick ForsterForster, Yannick InriaFrance Verified Extraction from Coq to OCaml
Nate FosterFoster, Nate Cornell University and Jane StreetUnited States On Doing Interdisciplinary Research Panel: PL and Beyond KATch: A Fast Symbolic Verifier for NetKAT Speaker in Speakers and Panelists within the RTFM-track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Franz FranchettiFranchetti, Franz Carnegie Mellon University, USA Floating-Point TVPI Abstract Domain
Björn FrankeFranke, Björn University of EdinburghUnited Kingdom Accelerating Shared Library Execution in a DBT
Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
Viktor FukalaFukala, Viktor Massachusetts Institute of Technology Live Verification in an Interactive Proof Assistant Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Live Verification Tool
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Program Analysis for Adaptive Data Analysis
Vijay GaneshGanesh, Vijay Georgia TechUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ronald GarciaGarcia, Ronald University of British ColumbiaCanada Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Bringing the WebAssembly Standard up to Speed with SpecTec
Deepak GargGarg, Deepak MPI-SWSGermany Program Analysis for Adaptive Data Analysis
Poorva GargGarg, Poorva University of California, Los AngelesIndia Bit Blasting Probabilistic Programs
Mengmeng GeGe, Mengmeng Nanyang Technological University Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification
Timon GehrGehr, Timon ETH ZurichSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Chujun GengGeng, Chujun The Ohio State University, USA IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
Herman GeuversGeuvers, Herman Radboud University Nijmegen, Netherlands Hashing Modulo Context-Sensitive Alpha-Equivalence
Matin GhavamiGhavami, Matin Massachusetts Institute of TechnologyUnited States Probabilistic Programming with Programmable Variational Inference GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Dan GhicaGhica, Dan Huawei Research and University of BirminghamUnited Kingdom Equivalence Hypergraphs: E-Graphs for Monoidal Theories
Manya GhobadiGhobadi, Manya Massachusetts Institute of Technology NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks
Saverio GiallorenzoGiallorenzo, Saverio Alma Mater Studiorum - Università di Bologna / INRIAItaly Session Chair of Theory & Verification (part of CP) Session Chair of Welcome and Keynote (part of CP) A Function-as-a-Service Choreographic Programming Language: Examples and Applications Closing Opening [TOPLAS] Choral: Object-Oriented Choreographic Programming Committee Member in Organizing Committee within the CP-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the ARRAY-track
Lokesh GidraGidra, Lokesh GoogleUnited States Memory Management on Mobile Devices
Guillaume GirolGirol, Guillaume CEA, List, Université Paris Saclay Quantitative Robustness for Vulnerability Assessment
Vladimir GladshteinGladshtein, Vladimir National University of Singapore Mechanised Hypersafety Proofs about Structured Data
Klaus v. GleissenthallGleissenthall, Klaus v. Vrije Universiteit Amsterdam, Netherlands Session Chair of Security and Cryptography (part of PLDI Research Papers) Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Adwait GodboleGodbole, Adwait University of California Berkeley Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Andrés GoensGoens, Andrés University of Amsterdam Bridging Syntax and Semantics of Lean Expressions in E-Graphs URM Lunch Committee Member in Organizing Committee within the PLDI SRC-track
Stefano GogiosoGogioso, Stefano University of Oxford Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)
Ehsan Kafshdar GoharshadyGoharshady, Ehsan Kafshdar IST Austria Equivalence and Similarity Refutation for Probabilistic Programs
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Daedalus: Safer Document Parsing Stream Types
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Session Chair of Session 1 (part of PLMW@PLDI) Session Chair of Session 1 (part of PLMW@PLDI) Opening Remarks Panel: Career Paths in PL Senior Chair in Organizing Committee within the PLMW@PLDI-track Committee Member in Organizing Committee within the PLDI SRC-track
Shaurya GomberGomber, Shaurya University of Illinois Urbana-ChampaignUnited States Neural Abstract Interpretation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Colin GordonGordon, Colin Drexel UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sergei GorlatchGorlatch, Sergei University of MuensterGermany Descend: A Safe GPU Systems Programming Language
Nikos GorogiannisGorogiannis, Nikos MetaFrance Infer Internals for Integrations and Infrastructure
Justin GottschlichGottschlich, Justin Merly & StanfordUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Marc GourjonGourjon, Marc Hamburg University of Technology and NXP Semiconductors Germany GmbH superVer: Verifying Probabilistic Independence of Systems of Expressions using Equality Saturation
Eva GraversenGraversen, Eva University of Southern Denmark Choreographies meet Communication Failures Committee Member in Program Committee within the CP-track
Neville GrechGrech, Neville Dedaub LimitedMalta Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ben GreenmanGreenman, Ben University of UtahUnited States Committee Member in Program Committee within the SOAP-track
Tobias GrosserGrosser, Tobias University of Cambridge, UKUnited Kingdom Design DSLs with xDSL Panel: Compilation Frameworks Falcon: A Scalable Analytical Cache Model
Kunwar GroverGrover, Kunwar AMDUnited Kingdom Falcon: A Scalable Analytical Cache Model
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology Live Verification in an Interactive Proof Assistant Foundational Integration Verification of a Cryptographic Server
Ronghui GuGu, Ronghui Columbia University, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Arjun GuhaGuha, Arjun Northeastern University; RobloxUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Aditya GuptaGupta, Aditya Purdue UniversityUnited States Garbage Collection for Mostly Serialized Heaps
Rajiv GuptaGupta, Rajiv University of California at RiversideUnited States SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures
Lennard GäherGäher, Lennard MPI-SWSGermany Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq RefinedRust: A Type System for High-Assurance Verification of Rust Programs
H Juuso HaavistoHaavisto, Juuso University of Oxford On Structural Under and GPUs
Ákos HajduHajdu, Ákos MetaUnited Kingdom Committee Member in Organizing Committee within the Infer-track
Christian HakertHakert, Christian TU Dortmund UniversityGermany (Invited paper) Language-Based Deployment Optimization for Random Forest
Sara S. HamoudaHamouda, Sara S. GoogleAustralia Session Chair of ISMM: Session 2 - Hardware for Memory Management (part of ISMM) Memory Management on Mobile Devices Committee Member in Program Committee within the ISMM-track
Frank HannigHannig, Frank Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)Germany Programme Committee in Program Committee within the LCTES-track
Cong "Callie" HaoHao, Cong "Callie" Georgia Institute of Technology Loop Saturation for Scalable High-Level Synthesis
Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Bill HarrisHarris, Bill Galois Daedalus: Safer Document Parsing
Wessam HassaneinHassanein, Wessam Google Committee Member in Program Committee within the ISMM-track
Manfred HauswirthHauswirth, Manfred Fraunhofer Institute for Open Communication Systems, TU Berlin Quantum Backtracking in Qrisp Applied to Sudoku Problems
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Deyuan (Mike) HeHe, Deyuan (Mike) Princeton UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Bettina HeimHeim, Bettina NVIDIA Quantum application development for multi-processor systems using CUDA-Q
Niklas HeimHeim, Niklas Czech Technical University Performant Dynamically Typed E-Graphs in Pure Julia
Joseph M. HellersteinHellerstein, Joseph M. UC BerkeleyUnited States Towards Relational Contextual Equality Saturation Suki: Choreographed Distributed Dataflow in Rust
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Local Arrangements Co-Chair in Organizing Committee for PLDI 2024 Reception
Jörg HenkelHenkel, Jörg Steering Committee Member in Steering Committee within the LCTES-track
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark An LLP (q, k) Parser Generator AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming Committee Member in Program Committee within the ARRAY-track
Kihong HeoHeo, Kihong KAISTSouth Korea Programme Committee in Program Committee within the LCTES-track
Seonyeong HeoHeo, Seonyeong Kyung Hee UniversitySouth Korea TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embedded Systems Programme Committee in Program Committee within the LCTES-track
Taekyung HeoHeo, Taekyung NVIDIAUnited States Supporting Trusted Virtual Machines with Hardware-Based Secure Remote Memory
Yann HerklotzHerklotz, Yann Imperial College LondonUnited Kingdom Hyperblock Scheduling for Verified High-Level Synthesis Committee Member in Organizing Committee within the PLDI SRC-track
Alejandro Hernández-CerezoHernández-Cerezo, Alejandro Complutense University of Madrid SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
Phillip HilliardHilliard, Phillip University of Pennsylvania Stream Types
Nikolaj Hey HinnerskovHinnerskov, Nikolaj Hey DIKU, University of Copenhagen Mechanical Proofs in an Array-Combinator Language AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States Corps: A Core Calculus of Hierarchical Choreographic Programming Masquerade: Information Flow Control for Choreographies Committee Member in Program Committee within the CP-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ellis HoagHoag, Ellis Meta Optimistic and Scalable Global Function Merging
Bach HoangHoang, Bach National Center for Supercomputing Applications, University of Illinois Urbana-Champaign The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum Computing
Steve HodgesHodges, Steve Lancaster UniversityUnited Kingdom Jacdac: Service-Based Prototyping of Embedded Systems
Jochen HoenickeHoenicke, Jochen CertoraGermany On the Power of Temporal Prophecy
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Robust Resource Bounds with Static Analysis and Bayesian Inference
David HollandHolland, David Galois Daedalus: Safer Document Parsing
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Bit Blasting Probabilistic Programs
Jaemin HongHong, Jaemin KAISTSouth Korea Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
Qiantan HongHong, Qiantan Stanford University Recursive Program Synthesis using Paramorphisms
Wolf HonoreHonore, Wolf Yale University LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Tony HoskingHosking, Tony Australian National UniversityAustralia Session Chair of ISMM: Session 4 - Potpourri (part of ISMM)
Tyler HouHou, Tyler University of California, BerkeleyUnited States Towards Relational Contextual Equality Saturation
Aaron HsuHsu, Aaron Dyalog, Ltd.United States Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments Committee Member in Organizing Committee within the ARRAY-track
Justin HsuHsu, Justin Cornell UniversityUnited States Panel: Promotion and Tenure Numerical Fuzz: A Type System for Rounding Error Analysis Panelist in Speakers and Panelists within the RTFM-track
Olivia HsuHsu, Olivia Stanford UniversityUnited States Panel: Databases and Hardware Mapping Sparse Applications to  Accelerated Computing Systems Compilation of Modular and General Sparse Workspaces
Jingmei HuHu, Jingmei Amazon Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis [TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Keli HuangHuang, Keli University of California at Los Angeles Compiling Conditional Quantum Gates without Using Helper Qubits
Qifan HuangHuang, Qifan Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences Efficient Formal Verification of Quantum Error Correcting Programs
Yifei HuangHuang, Yifei Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jaehyuk HuhHuh, Jaehyuk KAISTSouth Korea Supporting Trusted Virtual Machines with Hardware-Based Secure Remote Memory
John HuiHui, John Columbia University, New YorkUnited States Video Co-Chair in Organizing Committee for PLDI 2024 Co-chair in AV Committee for PLDI 2024
Matt HumphreyHumphrey, Matt Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Mathieu HuotHuot, Mathieu MIT Probabilistic Programming with Programmable Variational Inference GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Soojin HwangHwang, Soojin KAISTSouth Korea Supporting Trusted Virtual Machines with Hardware-Based Secure Remote Memory
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
Alexey IgnatievIgnatiev, Alexey Monash University SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
Akifumi ImanishiImanishi, Akifumi Preferred NetworksJapan A Heuristic for Periodic Memory Allocation with Little Fragmentation to Train Neural Networks
Akira InoueInoue, Akira University of TokyoJapan A Managed Memory System for Micro Controllers with NOR Flash Memory
Anastasia IsychevIsychev, Anastasia TU WienAustria Committee Member in Organizing Committee within the PLDI SRC-track
J Jules JacobsJacobs, Jules Cornell University KATch: A Fast Symbolic Verifier for NetKAT
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Session Chair of Concurrent and Distributed (part of PLDI Research Papers) A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Michael B. JamesJames, Michael B. University of California at San DiegoUnited States Volunteers Co-Chair in Organizing Committee for PLDI 2024
Dustin JamnerJamner, Dustin MIT CSAIL Foundational Integration Verification of a Cryptographic Server
Minseong JangJang, Minseong KAIST Modular Hardware Design of Pipelined Circuits with Hazards
Lars JensenJensen, Lars Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
Minseok JeonJeon, Minseok Korea UniversitySouth Korea PL4XGL: A Programming Language Approach to Explainable Graph Learning
Jessy Ayala Jessy Ayala University of California, IrvineUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ranjit JhalaJhala, Ranjit University of California, San DiegoUnited States On Writing Grants Speaker in Speakers and Panelists within the RTFM-track
Ruyi JiJi, Ruyi Peking UniversityChina Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis [TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
Haoxiang JiaJia, Haoxiang Huazhong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Lichen JiaJia, Lichen Institute of Computing Technology, Chinese Academy of Sciences CodeExtract: Enhancing Binary Code Similarity Detection with Code Extraction Techniques
Limin JiaJia, Limin Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
Limin JiaJia, Limin Carnegie Mellon University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Xiaodong JiaJia, Xiaodong Pennsylvania State UniversityUnited States V-Star: Learning Visibly Pushdown Grammars from Program Inputs
Hanru JiangJiang, Hanru Beijing Institute of Mathematical Sciences and ApplicationsChina Qubit Recycling Revisited
Guoliang JinJin, Guoliang Databricks; North Carolina State UniversityUnited States Programme Committee in Program Committee within the LCTES-track
Teresa JohnsonJohnson, Teresa Google Programme Committee in Program Committee within the LCTES-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Klor: Choreographies for the Working Clojurian Committee Member in Program Committee within the CP-track
Sebastian Jordan MontañoJordan Montaño, Sebastian Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL F-59000 Lille, FranceFrance Evaluating Finalization-Based Object Lifetime Profiling
Changhee JungJung, Changhee Purdue University, USA Steering Committee Member in Steering Committee within the LCTES-track
Jaehwang JungJung, Jaehwang KAISTSouth Korea A Proof Recipe for Linearizability in Relaxed Memory Separation Logic Concurrent Immediate Reference Counting
Kiung JungJung, Kiung Yonsei University Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU
Ralf JungJung, Ralf ETH ZurichSwitzerland RefinedRust: A Type System for High-Assurance Verification of Rust Programs
K Gail KaiserKaiser, Gail Columbia UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Siva Kesava Reddy KakarlaKakarla, Siva Kesava Reddy Microsoft Research Diffy: Data-Driven Bug Finding for Configurations
Adharsh KamathKamath, Adharsh Microsoft ResearchIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nikhil KamathKamath, Nikhil University of Maryland Evaluating PBT Frameworks in OCaml
Shoaib KamilKamil, Shoaib Adobe Research Practical Considerations for Embracing Sparse Computation Panel: What are we doing? Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jeehoon KangKang, Jeehoon KAISTSouth Korea Session Chair of Formal Verification 1 (part of PLDI Research Papers) A Proof Recipe for Linearizability in Relaxed Memory Separation Logic Modular Hardware Design of Pipelined Circuits with Hazards Concurrent Immediate Reference Counting Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Seunghyo KangKang, Seunghyo KAISTSouth Korea Supporting Trusted Virtual Machines with Hardware-Based Secure Remote Memory
Kadiray KarakayaKarakaya, Kadiray Heinz Nixdorf Institut, Paderborn UniversityGermany Static Code Analysis with SootUp
Rajas KarandikarKarandikar, Rajas Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Shun KashiwaKashiwa, Shun University of California, Santa Cruz ChoRus: Library-Level Choreographic Programming in Rust
Stephen KellKell, Stephen University of Kent Session Chair of Parsing and Compiling and Transforming (part of PLDI Research Papers)
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Zero-Overhead Parallel Scans for Multi-Core CPUs Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling Committee Member in Program Committee within the ARRAY-track
Ariel E. KellisonKellison, Ariel E. Cornell UniversityUnited States Numerical Fuzz: A Type System for Rounding Error Analysis
Paul H J KellyKelly, Paul H J Imperial College LondonUnited Kingdom Mapping the landscape of locality optimisation: compact metadata and amortisation Panel: Applications and Languages
Ameya KetkarKetkar, Ameya GitarUnited States A Lightweight Polyglot Code Transformation Language
Dmitry KhalanskiyKhalanskiy, Dmitry JetBrains [PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
Hyejun KimKim, Hyejun Yonsei University Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU
Hyoseung KimKim, Hyoseung University of California, RiversideUnited States Programme Committee in Program Committee within the LCTES-track
Jaewoo KimKim, Jaewoo KAISTSouth Korea A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
Jeonghyeon KimKim, Jeonghyeon KAISTSouth Korea Concurrent Immediate Reference Counting
Jiae KimKim, Jiae Kyung Hee University TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embedded Systems
Jieung KimKim, Jieung Inha UniversitySouth Korea LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Yoonseung KimKim, Yoonseung Yale UniversityUnited States LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Youngsok KimKim, Youngsok Yonsei UniversitySouth Korea Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU
Christoph KirschKirsch, Christoph University of Salzburg; Czech Technical UniversityAustria Committee Member in Program Committee within the ISMM-track
Aleks KissingerKissinger, Aleks University of Oxford Hybrid Quantum-Classical Machine Learning with String Diagrams
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2024 Session Chair of Industry session (part of PLDI Events) Session Chair of What are we doing? (part of Sparse) Panel: Applications and Languages Four Languages for Portability Compilation of Modular and General Sparse Workspaces Committee Member in Organizing Committee within the Sparse-track
Jonas KlaukeKlauke, Jonas Paderborn UniversityGermany Static Code Analysis with SootUp
Thomas KoehlerKoehler, Thomas INRIAFrance Interactive Source-to-Source Optimizations Validated using Static Resource Analysis Slotted E-Graphs Committee Member in Program Committee within the EGRAPHS-track Committee Member in Organizing Committee within the PLDI SRC-track
Michalis KokologiannakisKokologiannakis, Michalis MPI-SWSGermany SPORE: Combining Symmetry and Partial Order Reduction
Thomas KoopmanKoopman, Thomas Radboud University Shray: an Owner-Compute Distributed Shared-Memory System
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States Garbage Collection for Mostly Serialized Heaps
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jagadish KotraKotra, Jagadish Pennsylvania State University, USA Committee Member in Program Committee within the ISMM-track
Nikita KovalKoval, Nikita JetBrainsNetherlands [PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Concurrent Algorithms in Kotlin Coroutines
David KozakKozak, David Brno University of Technology & Oracle LabsCzechia Scaling Type-Based Points-to Analysis with Saturation
Alexander Koziell-PipeKoziell-Pipe, Alexander University of Oxford Hybrid Quantum-Classical Machine Learning with String Diagrams
Aleksandar KrastevKrastev, Aleksandar Massachusetts Institute of Technology A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands A Proof Recipe for Linearizability in Relaxed Memory Separation Logic RefinedRust: A Type System for High-Assurance Verification of Rust Programs
Chandra KrintzKrintz, Chandra Univ. of California, Santa Barbara Programme Committee in Program Committee within the LCTES-track
V Krishna NandivadaKrishna Nandivada, V IIT Madras Session Chair of Bugs (part of PLDI Research Papers) Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Murali Krishna RamanathanKrishna Ramanathan, Murali AWS AI LabsUnited States A Lightweight Polyglot Code Transformation Language Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States General Chair in Organizing Committee for PLDI 2024 Garbage Collection for Mostly Serialized Heaps Reception
K Narayan KumarKumar, K Narayan Chennai Mathematical InstituteIndia Verification under Intel-x86 with Persistency
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Session Chair of Welcome and Keynote (part of CP) Session Chair of Languages & Verification (part of CP) Toward Verified Library-Level Choreographic Programming with Algebraic Effects ChoRus: Library-Level Choreographic Programming in Rust Closing Opening PLDI women's dinner Committee Member in Organizing Committee within the CP-track
Yongkee KwonKwon, Yongkee TenstorrentSouth Korea Committee Member in Program Committee within the ISMM-track
Bastian KöpckeKöpcke, Bastian University of Münster Descend: A Safe GPU Systems Programming Language
L Guilhem LacombeLacombe, Guilhem CEA LIST and Université Paris-Saclay Quantitative Robustness for Vulnerability Assessment
Shadaj LaddadLaddad, Shadaj University of California at BerkeleyUnited States Towards Relational Contextual Equality Saturation Suki: Choreographed Distributed Dataflow in Rust
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Compositional Semantics for Shared-Variable Concurrency
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sumit LahiriLahiri, Sumit Indian Institute of Technology KanpurIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Avery LairdLaird, Avery University of Toronto SpEQ: Translation of Sparse Codes using Equivalences SpEQ: Translation of Sparse Codes using Equivalences Panel: Compilation Frameworks SpEQ: Translation of Sparse Codes using Equivalences
Mahesh LakshminarasimhanLakshminarasimhan, Mahesh University of UtahUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Christopher LamLam, Christopher University of Illinois at Urbana-ChampaignUnited States Committee Member in AV Committee for PLDI 2024
Patrick LamLam, Patrick University of Waterloo Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ivan LaneseLanese, Ivan University of Bologna/INRIA Committee Member in Program Committee within the CP-track
Simon LangowskiLangowski, Simon Massachusetts Institute of Technology A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption
Mathias Rud LaursenLaursen, Mathias Rud Aarhus University Reducing Static Analysis Unsoundness with Approximate Interpretation
Alexis Le GlaunecLe Glaunec, Alexis Rice UniversityUnited States Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
Bastien LecoeurLecoeur, Bastien Imperial College LondonUnited Kingdom [PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
Dongyoon LeeLee, Dongyoon Stony Brook UniversityUnited States Steering Committee Member in Steering Committee within the LCTES-track
Jae W. LeeLee, Jae W. Seoul National UniversitySouth Korea Session Chair of Welcome from the Chairs (part of ISMM) Session Chair of ISMM: Keynote 2 - Dr. Euicheol Lim (SK hynix) (part of ISMM) Welcome to ISMM Committee Member in Steering Committee within the ISMM-track Program Co-Chair in Organizing Committee within the ISMM-track
Jaehyun LeeLee, Jaehyun KAIST Bringing the WebAssembly Standard up to Speed with SpecTec
Jaejin LeeLee, Jaejin Seoul National University, South Korea Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Janggun LeeLee, Janggun KAIST A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
Kyoungwoo LeeLee, Kyoungwoo Yonsei University Steering Committee Member in Steering Committee within the LCTES-track
Kyungwoo LeeLee, Kyungwoo MetaUnited States Optimistic and Scalable Global Function Merging
Sanghyeon LeeLee, Sanghyeon KAISTSouth Korea Supporting Trusted Virtual Machines with Hardware-Based Secure Remote Memory
Woojin LeeLee, Woojin KAIST Modular Hardware Design of Pipelined Circuits with Hazards
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zheng Han LeeLee, Zheng Han National University of Singapore, Singapore Monitoring Linearizability in Polynomial Time
Adrian LehmannLehmann, Adrian University of Chicago Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
Yan LeiLei, Yan Chongqing UniversityChina [OOPSLA 2023] Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Yuxiang LeiLei, Yuxiang UNSW Sydney Context-Free Language Reachability via Skewed Tabulation
Daan LeijenLeijen, Daan Microsoft ResearchUnited States The Functional Essence of Imperative Binary Search Trees
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA LISTFrance Compiling with Abstract Interpretation
Connor LenihanLenihan, Connor King's College London Classical Shadows for Property-Based Testing of Quantum Programs
Dorian LesbreLesbre, Dorian CEA ListFrance Compiling with Abstract Interpretation
Martin LesterLester, Martin University of Reading Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Reese LevineLevine, Reese Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alexander K. LewLew, Alexander K. Massachusetts Institute of TechnologyUnited States Probabilistic Programming with Programmable Variational Inference GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Guanyan LiLi, Guanyan University of Oxford Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
Hong LiLi, Hong Zhejiang University SmartVisor: User-Friendly Hypervisor for Mobile Robots
Jianlin LiLi, Jianlin University of WaterlooCanada Compiling Probabilistic Programs for Variable Elimination with Information Flow
Sen LiLi, Sen Tianjin University Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification
Shaohua LiLi, Shaohua ETH ZurichSwitzerland Boosting Compiler Testing by Injecting Real-World Code Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Wu Angela LiLi, Wu Angela Rice University Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
Xiaohong LiLi, Xiaohong Tianjin UniversityChina Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification
Xuewei LiLi, Xuewei Tianjin University Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification
Yao LiLi, Yao Portland State UniversityUnited States Publicity Co-Chair in Organizing Committee for PLDI 2024 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yuekang LiLi, Yuekang The University of New South WalesAustralia Programme Committee in Program Committee within the LCTES-track Publicity Co-Chair in Organizing Committee within the LCTES-track
Zongwang LiLi, Zongwang SamsungUnited States ESPN: Memory-Efficient Multi-vector Information Retrieval
Hongjin LiangLiang, Hongjin Nanjing UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Song LiaoLiao, Song Clemson UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jay LigattiLigatti, Jay University of South Florida Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Euicheol LimLim, Euicheol SK hynixSouth Korea Keynote: Enabling the AI Revolution: Next-Generation Memory Solutions for AI Computing System
Ashley LinLin, Ashley Massachusetts Institute of Technology Foundational Integration Verification of a Cryptographic Server
Bo LinLin, Bo [OOPSLA 2023] Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Zejia LinLin, Zejia Sun Yat-sen University MixPert: Optimizing Mixed-Precision Floating-Point Emulation on GPU Integer Tensor Cores
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Panel: Work-Life Balance, Service, and Teaching The Functional Essence of Imperative Binary Search Trees Bringing the WebAssembly Standard up to Speed with SpecTec Panelist in Speakers and Panelists within the RTFM-track
Yuxi LingLing, Yuxi National University of Singapore Synthesising Programming Languages
Michael LippautzLippautz, Michael Google Committee Member in Steering Committee within the ISMM-track
Amanda LiuLiu, Amanda Massachusetts Institute of TechnologyUnited States A Verified Compiler for a Functional Tensor Language
Bangtian LiuLiu, Bangtian University of TorontoCanada SpEQ: Translation of Sparse Codes using Equivalences SpEQ: Translation of Sparse Codes using Equivalences
Cyrus LiuLiu, Cyrus Grinnell College, USAUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
David LiuLiu, David Quantum Backtracking in Qrisp Applied to Sudoku Problems
Jiawen LiuLiu, Jiawen China Program Analysis for Adaptive Data Analysis
Shangqing LiuLiu, Shangqing Nanyang Technological University Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
Tongping LiuLiu, Tongping University of Massachusetts at AmherstUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Xuanzhe LiuLiu, Xuanzhe Peking UniversityChina EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina [OOPSLA 2023] Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Yonghui LiuLiu, Yonghui Monash UniversityAustralia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yu LiuLiu, Yu University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yu David LiuLiu, Yu David SUNY BinghamtonUnited States VESTA: Power Modeling with Language Runtime Events
Benjamin LivshitsLivshits, Benjamin Imperial College London, UK Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Daniel LoLo, Daniel Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Anton LorenzenLorenzen, Anton University of EdinburghUnited Kingdom The Functional Essence of Imperative Binary Search Trees
Tze Meng LowLow, Tze Meng Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the ARRAY-track
Yutong LuLu, Yutong Sun Yat-sen University MixPert: Optimizing Mixed-Precision Floating-Point Emulation on GPU Integer Tensor Cores
Justin LubinLubin, Justin University of California at BerkeleyUnited States Equivalence by Canonicalization for Synthesis-Backed Refactoring
Lovro LugovićLugović, Lovro University of Southern Denmark Klor: Choreographies for the Working Clojurian
Junjie LuoLuo, Junjie Kyushu University Dataflow-Based Optimization for QIR Programs
Xiapu LuoLuo, Xiapu The Hong Kong Polytechnic UniversityChina EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
Matthew LutzeLutze, Matthew Aarhus University Associated Effects Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Pan LvLv, Pan Zhejiang University SmartVisor: User-Friendly Hypervisor for Mobile Robots
Hugo A. LópezLópez, Hugo A. Technical University of DenmarkDenmark Committee Member in Program Committee within the CP-track
M Junyan MaMa, Junyan Chang'an UniversityChina TWFuzz: Fuzzing Embedded Systems with Three Wires
Wei MaMa, Wei Nanyang Technological University, Singapore Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
Zhongkui MaMa, Zhongkui The University of QueenslandAustralia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Predictable Verification using Intrinsic Definitions Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming Associated Effects Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Enrico MagnagoMagnago, Enrico Amazon Web Services Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Khaled MahmoudMahmoud, Khaled SUNY Binghamton, USA VESTA: Power Modeling with Language Runtime Events
Luo MaiMai, Luo Offloading-Efficient Sparse AI Systems Panel: Applications and Languages
Daryl MaierMaier, Daryl IBM CanadaCanada Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
Johannes MaierMaier, Johannes Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
Rupak MajumdarMajumdar, Rupak MPI-SWSGermany Model Checking Distributed Software Systems
Jannik MalcherMalcher, Jannik TU Dortmund UniversityGermany (Invited paper) Language-Based Deployment Optimization for Random Forest
Raghav MalikMalik, Raghav Purdue UniversityUnited States Volunteers Co-Chair in Organizing Committee for PLDI 2024
Mahdi MalkawiMalkawi, Mahdi City, University of London Misconceptions About Loops in C
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
Yatin ManerkarManerkar, Yatin University of Michigan and UC BerkeleyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Qiuyang MangMang, Qiuyang The Chinese University of Hong Kong, ShenzhenChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States Probabilistic Programming with Programmable Variational Inference GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Jose Sulaiman ManzurManzur, Jose Sulaiman Northeastern University RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
Xiaoguang MaoMao, Xiaoguang National University of Defense TechnologyChina [OOPSLA 2023] Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Michaël MarcozziMarcozzi, Michaël CEA, LIST, Université Paris SaclayFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the SOAP-track
Matteo MarescottiMarescotti, Matteo Meta Supercharging Infer: Enhancing Static Analysis with Dynamic Data at WhatsApp
Dylan MarinhoMarinho, Dylan SAMOVAR, Télécom SudParis, Institut Polytechnique de ParisFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Iason MarmanisMarmanis, Iason MPI-SWSGermany SPORE: Combining Symmetry and Partial Order Reduction
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the ISMM-track
Matthieu MartelMartel, Matthieu Université de Perpignan Via DomitiaFrance Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly A Static Analysis for High-Level Quantum Programming Languages
Umang MathurMathur, Umang National University of SingaporeSingapore Session Chair of Session 4 (part of PLMW@PLDI) Session Chair of Session 2 (part of PLMW@PLDI) Panel: PL and Beyond Junior Chair in Organizing Committee within the PLMW@PLDI-track
Gabriel MatuteMatute, Gabriel UC BerkeleyUnited States Syntactic Code Search with Sequence-to-Tree Matching
Jacopo MauroMauro, Jacopo University of Southern Denmark A Function-as-a-Service Choreographic Programming Language: Examples and Applications
Denis MazzucatoMazzucato, Denis Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jedidiah McClurgMcClurg, Jedidiah Colorado State UniversityUnited States Web Co-Chair in Organizing Committee for PLDI 2024
Brayden McDonaldMcDonald, Brayden North Carolina State University OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronization with LLVM under Linux
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Zero-Overhead Parallel Scans for Multi-Core CPUs
Vanessa McHaleMcHale, Vanessa Northern Trust Apple Array Allocation
Erik MeijerMeijer, Erik FacebookUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Daniel MercierMercier, Daniel AdaCoreFrance Type-safe Nanopasses: How to write a safe and modern compiler front-end
Shai MermelsteinMermelstein, Shai Tel Aviv University Compositional Semantics for Shared-Variable Concurrency
Benjamin MikekMikek, Benjamin Georgia Institute of Technology SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mae MilanoMilano, Mae Princeton UniversityUnited States D&I Co-Chair in Organizing Committee for PLDI 2024 LGBTQIA+ lunch PLDI women's dinner
Todd MillsteinMillstein, Todd University of California at Los AngelesUnited States Bit Blasting Probabilistic Programs
Dragana MilovancevicMilovancevic, Dragana EPFLSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Marc MiltenbergerMiltenberger, Marc Fraunhofer SIT \| ATHENE - National Research Center for Applied Cybersecurity, Darmstadt ValBench: Benchmarking exact value analysis
Anders MiltnerMiltner, Anders Simon Fraser UniversityCanada Publicity Co-Chair in Organizing Committee for PLDI 2024 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States SIGPLAN Track Chair in Organizing Committee for PLDI 2024 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ashish MishraMishra, Ashish Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mark MoellerMoeller, Mark Cornell UniversityUnited States KATch: A Fast Symbolic Verifier for NetKAT
Hasan MohsinMohsin, Hasan Imperial College LondonUnited Kingdom [PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Session Chair of SOAP I (part of SOAP) Closing and Best Presentation Award Committee Member in Organizing Committee within the SOAP-track
Miguel MonteiroMonteiro, Miguel INESC-ID and Universidade de Lisboa Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Choreographies meet Communication Failures Choreographic Programming: its essence, beauty, and necessity A Propositional Dynamic Logic for Choreographies European Research Council Funding Opportunities [TOPLAS] Choral: Object-Oriented Choreographic Programming
Austin MordahlMordahl, Austin University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Emiliano MoriniMorini, Emiliano Intel Corporation Powered by Less: Low Power Circuit Synthesis
Magnus MortonMorton, Magnus HuaweiUnited Kingdom Programming Languages at Huawei
Michał MoskalMoskal, Michał Microsoft ResearchUnited States Jacdac: Service-Based Prototyping of Embedded Systems
João MotaMota, João NOVA School of Science and Technology Coping with shared mutable state in a typestate-oriented concurrent language
Mohammad Reza MousaviMousavi, Mohammad Reza King's College LondonUnited Kingdom Classical Shadows for Property-Based Testing of Quantum Programs
Frank MuellerMueller, Frank North Carolina State University, USA OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronization with LLVM under Linux
Manasij MukherjeeMukherjee, Manasij University of Utah Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ike MulderMulder, Ike Radboud University NijmegenNetherlands A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States Predictable Verification using Intrinsic Definitions
Noble MushtakMushtak, Noble Northeastern University RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
Alan MycroftMycroft, Alan University of Cambridge, UK Points for Free: Embedding Pointful Array Programming in Python
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Much Still to Do in Compiler Verification (A Perspective from the CakeML Project) Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Session Chair of Program Analysis 2 (part of PLDI Research Papers) Challenges and Opportunities in Program Analysis for JavaScript Reducing Static Analysis Unsoundness with Approximate Interpretation Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Session Chair of Formally Verified (part of PLDI Research Papers) On Long-Term Research Problem Selection Panel: Promotion and Tenure Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties Area Chair in PLDI Review Committee within the PLDI Research Papers-track Speaker in Speakers and Panelists within the RTFM-track
N Vijay NagarajanNagarajan, Vijay The University of Utah Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Session Chair of Solvers for Fun and Profit (part of PLDI Research Papers) Panel: Recruiting and Supporting Students Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation Committee Member in PLDI Review Committee within the PLDI Research Papers-track Panelist in Speakers and Panelists within the RTFM-track
Seok NamkoongNamkoong, Seok Yonsei University Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU
Chandrakana NandiNandi, Chandrakana CertoraUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2024 Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the EGRAPHS-track Student Research Competition Co-Chair in Organizing Committee within the PLDI SRC-track
Joannah NanjekyeNanjekye, Joannah University of New BrunswickCanada Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nuntipat NarkthongNarkthong, Nuntipat Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jorge A. NavasNavas, Jorge A. CertoraUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the SOAP-track
Amirmohammad NazariNazari, Amirmohammad University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Iulian NeamtiuNeamtiu, Iulian New Jersey Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Joseph P. NearNear, Joseph P. University of VermontUnited States We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Session Chair of SOAP II (part of SOAP) Quick and dirty development of static analyses with LiSA Committee Member in Program Committee within the SOAP-track Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ryan R. NewtonNewton, Ryan R. Purdue UniversityUnited States Garbage Collection for Mostly Serialized Heaps
Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Program Committee within the CP-track
Minh NguyenNguyen, Minh University of BristolUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
ThanhVu NguyenNguyen, ThanhVu George Mason UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Wode NiNi, Wode Columbia University Syntactic Code Search with Sequence-to-Tree Matching
Rachit NigamNigam, Rachit Cornell UniversityUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2024 Student Research Competition Co-Chair in Organizing Committee within the PLDI SRC-track
Ruslan NikolaevNikolaev, Ruslan The Pennsylvania State University A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation
Emeka NkurumehNkurumeh, Emeka California Institute of Technology Stream Types
Petr NovotnýNovotný, Petr Masaryk UniversityCzechia Equivalence and Similarity Refutation for Probabilistic Programs
Santiago Núñez-CorralesNúñez-Corrales, Santiago National Center for Supercomputing Applications, University of Illinois Urbana-Champaign The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum Computing
O Cosmin OanceaOancea, Cosmin University of Copenhagen, DenmarkDenmark Local Arrangements Co-Chair in Organizing Committee for PLDI 2024 Mechanical Proofs in an Array-Combinator Language
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea PL4XGL: A Programming Language Approach to Explainable Graph Learning Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Peter OhmannOhmann, Peter College of St. Benedict / St. John's UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ernst-Rüdiger OlderogOlderog, Ernst-Rüdiger University of Oldenburg Concurrent ∀∃-Hyperproperties
Luca OlivieriOlivieri, Luca University Ca' Foscari, VeniceItaly Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Miroslav OlšákOlšák, Miroslav Institut des Hautes Études Scientifiques Hashing Modulo Context-Sensitive Alpha-Equivalence
C.-H. Luke OngOng, C.-H. Luke NTU Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
Maximilian OrltOrlt, Maximilian TU Darmstadt superVer: Verifying Probabilistic Independence of Systems of Expressions using Equality Saturation
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Rodrigo OtoniOtoni, Rodrigo USI LuganoSwitzerland An Algebraic Language for Specifying Quantum Networks
Guilherme OttoniOttoni, Guilherme MetaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Shota OzakiOzaki, Shota Kyoto University Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
P Sreepathi PaiPai, Sreepathi University of RochesterUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hye-Young PaikPaik, Hye-Young The University of New South Wales Publicity Co-Chair in Organizing Committee within the LCTES-track
Shankara PailoorPailoor, Shankara University of Texas at AustinUnited States From Batch to Stream: Automatic Generation of Online Algorithms
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Session Chair of Program Analysis 1 (part of PLDI Research Papers) Optimal Quantum Programs Panel: PL and Beyond Compiling Conditional Quantum Gates without Using Helper Qubits Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the WQS-track
Ashish PanwarPanwar, Ashish Microsoft Research IndiaIndia Committee Member in Program Committee within the ISMM-track
Zoe ParaskevopoulouParaskevopoulou, Zoe Ethereum FoundationGreece RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
Michalis PardalosPardalos, Michalis Who checks the checkers? Steps towards reliable equivalence checking
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea PL4XGL: A Programming Language Approach to Explainable Graph Learning
Joongun ParkPark, Joongun Georgia TechUnited States Supporting Trusted Virtual Machines with Hardware-Based Secure Remote Memory
Seung Hoon ParkPark, Seung Hoon Imperial College London Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sunho ParkPark, Sunho KAISTSouth Korea A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
Yongjun ParkPark, Yongjun Yonsei University Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU Programme Committee in Program Committee within the LCTES-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract Concurrent Immediate Reference Counting
Gaurav ParthasarathyParthasarathy, Gaurav ETH ZurichSwitzerland Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language
Corina PasareanuPasareanu, Corina CMU, NASA, KBR Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Andrea PasqualePasquale, Andrea Università degli Studi di Milano Towards an open-source framework to perform quantum calibration and characterization
Adam PaszkePaszke, Adam Google ResearchPoland Committee Member in Program Committee within the ARRAY-track
Pajam PaulsPauls, Pajam University of Lübeck superVer: Verifying Probabilistic Independence of Systems of Expressions using Equality Saturation
Chris Oliver PaulsenPaulsen, Chris Oliver Department of Computer Science, Aalborg University Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark A Better Approximation for Interleaved Dyck Reachability
Hannes PayerPayer, Hannes Google Session Chair of Welcome from the Chairs (part of ISMM) Session Chair of ISMM: Keynote 1 - Dr. Andreas Rossberg (Independent) (part of ISMM) Welcome to ISMM Committee Member in Steering Committee within the ISMM-track Program Co-Chair in Organizing Committee within the ISMM-track
Edoardo PedicilloPedicillo, Edoardo Università degli Studi di Milano Towards an open-source framework to perform quantum calibration and characterization
Sinan PehlivanogluPehlivanoglu, Sinan Indiana University Classical Simulation of Quantum Circuits with Partial Interference Effects
Hila PelegPeleg, Hila TechnionIsrael Letting users do the undecidable: lessons from program synthesis
Artem PelenitsynPelenitsyn, Artem Purdue UniversityUnited States Garbage Collection for Mostly Serialized Heaps
Blake PeltonPelton, Blake Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil D&I Co-Chair in Organizing Committee for PLDI 2024 Programme Committee in Program Committee within the LCTES-track
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Session Chair of Welcome and Keynote (part of CP) Session Chair of Libraries (part of CP) Choreographies meet Communication Failures A Propositional Dynamic Logic for Choreographies Closing Opening [TOPLAS] Choral: Object-Oriented Choreographic Programming Committee Member in Organizing Committee within the CP-track
Erez PetrankPetrank, Erez TechnionIsrael The One Pass (OP) Compactor: An Intellectual Abstract Committee Member in Steering Committee within the ISMM-track
Gustavo PetriPetri, Gustavo Amazon Web ServicesUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Matic PetričPetrič, Matic Quantum Backtracking in Qrisp Applied to Sudoku Problems
Long PhamPham, Long Carnegie Mellon UniversityUnited States Robust Resource Bounds with Static Analysis and Bayesian Inference
Jade PhilipoomPhilipoom, Jade Google, Germany Foundational Integration Verification of a Cryptographic Server
David PichardiePichardie, David MetaFrance Welcome Panel: Career Paths in PL PC Chair in Organizing Committee within the Infer-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Stream Types
Luís PinaPina, Luís University of Illinois at ChicagoUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Goran PiskachevPiskachev, Goran Amazon Web ServicesGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael PiskozubPiskozub, Michael University at Buffalo, SUNY Masquerade: Information Flow Control for Choreographies
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Workshops Co-Chair in Organizing Committee for PLDI 2024 Session Chair of Formal Verification 2 (part of PLDI Research Papers) Foundational Integration Verification of a Cryptographic Server Linear Matching of JavaScript Regular Expressions Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Arjun PitchanathanPitchanathan, Arjun University of Edinburgh Falcon: A Scalable Analytical Cache Model
Dan PlyukhinPlyukhin, Dan University of Southern Denmark Poroutines: The Essence of Choreographic Programming?
Andreas PodelskiPodelski, Andreas University of FreiburgGermany Closing Remarks
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Session Chair of Grammars and Code and Formalisms (part of PLDI Research Papers) Panel: Work-Life Balance, Service, and Teaching SIGPLAN-M Lunch Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis AI-Assisted Programming Today and Tomorrow Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the EGRAPHS-track Panelist in Speakers and Panelists within the RTFM-track
Guillermo PolitoPolito, Guillermo Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStALFrance Evaluating Finalization-Based Object Lifetime Profiling
Gabriel Joseph PontolilloPontolillo, Gabriel Joseph King's College London Classical Shadows for Property-Based Testing of Quantum Programs
Sorawee PorncharoenwasePorncharoenwase, Sorawee University of WashingtonUnited States Committee Member in Organizing Committee within the PLDI SRC-track
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mikaela PoulymenopoulouPoulymenopoulou, Mikaela European Research Council Executive AgencyBelgium European Research Council Funding Opportunities
Aaryan PrakashPrakash, Aaryan University of Texas at Austin From Batch to Stream: Automatic Generation of Online Algorithms
Matija PretnarPretnar, Matija University of LjubljanaSlovenia Bringing the WebAssembly Standard up to Speed with SpecTec
Markus PüschelPüschel, Markus ETH ZurichSwitzerland Floating-Point TVPI Abstract Domain
Q Shaz QadeerQadeer, Shaz Meta, Inc.United States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Longfei QiuQiu, Longfei Yale University LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Wenjie QiuQiu, Wenjie Rutgers University Reward-Guided Synthesis of Intelligent Agents with Control Structures
Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Weihao QuQu, Weihao Monmouth UniversityUnited States Program Analysis for Adaptive Data Analysis
Nils QuetschlichQuetschlich, Nils Technical University of Munich Supporting End-Users in Realizing Quantum Computing Applications
R Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Phillip RaffeckRaffeck, Phillip Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States A Verified Compiler for a Functional Tensor Language The Future of Fast Code: Giving Hardware What It Wants
Mukund RaghothamanRaghothaman, Mukund University of Southern California Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States Garbage Collection for Mostly Serialized Heaps
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Daniel RamosRamos, Daniel Carnegie Mellon University, and INESC-ID A Lightweight Polyglot Code Transformation Language
Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Cornell UniversityUnited States Virtualization Chair in Organizing Committee for PLDI 2024
Robert RandRand, Robert University of ChicagoUnited States Session Chair of Quantum (part of PLDI Research Papers) Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs An Algebraic Language for Specifying Quantum Networks Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the WQS-track
Ethan RangeRange, Ethan University of CambridgeUnited Kingdom Committee Member in AV Committee for PLDI 2024
Xiaojia RaoRao, Xiaojia Imperial CollegeUnited Kingdom Bringing the WebAssembly Standard up to Speed with SpecTec
Ari RaschRasch, Ari University of MuensterGermany [TOPLAS] (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphism
Joseph RaskindRaskind, Joseph SUNY Binghamton VESTA: Power Modeling with Language Runtime Events
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Binoy RavindranRavindran, Binoy Virginia TechUnited States A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation
Benoit RazetRazet, Benoit Galois, Inc Daedalus: Safer Document Parsing
Narasimha ReddyReddy, Narasimha Texas A&M UniversityUnited States ESPN: Memory-Efficient Multi-vector Information Retrieval
John RegehrRegehr, John University of UtahUnited States PC Chair in Organizing Committee for PLDI 2024 Chair in PLDI Review Committee within the PLDI Research Papers-track
Baber RehmanRehman, Baber The University of Hong KongChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alastair ReidReid, Alastair Intel/Intel LabsUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sabrina ReisReis, Sabrina Lawrence Livermore National Laboratory EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
Bin RenRen, Bin College of William & MaryUnited States Programme Committee in Program Committee within the LCTES-track
Manman RenRen, Manman Meta Optimistic and Scalable Global Function Merging
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States Social Events Co-Chair in Organizing Committee for PLDI 2024
Zander RenéRené, Zander Quantum Backtracking in Qrisp Applied to Sudoku Problems
John ReppyReppy, John University of Chicago, USA Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States [TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
McCoy Reynolds BeckerReynolds Becker, McCoy MIT Probabilistic Programming with Programmable Variational Inference
Mohammad RezaalipourRezaalipour, Mohammad Software Institute @ USISwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jungin RheeRhee, Jungin KAIST Modular Hardware Design of Pipelined Circuits with Hazards
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2024 Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Christopher RinardRinard, Christopher Massachusetts Institute of Technology NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks
Martin RinardRinard, Martin MIT Probabilistic Programming with Programmable Variational Inference GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Panel: PL and Beyond
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Cody RiveraRivera, Cody University of Illinois at Urbana-Champaign Predictable Verification using Intrinsic Definitions
Joao RiveraRivera, Joao ETH ZurichSwitzerland Floating-Point TVPI Abstract Domain
Wille RobertRobert, Wille Johannes Kepler University Linz, Austria Supporting End-Users in Realizing Quantum Computing Applications Committee Member in Program Committee within the WQS-track
Andreas RossbergRossberg, Andreas IndependentGermany Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store Bringing the WebAssembly Standard up to Speed with SpecTec
Marcus RosselRossel, Marcus Technische Universität DresdenGermany Bridging Syntax and Semantics of Lean Expressions in E-Graphs
Damien RouhlingRouhling, Damien Inria Nancy Grand-Est; France Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
Damian RovaraRovara, Damian Technical University of Munich Supporting End-Users in Realizing Quantum Computing Applications
Probir RoyRoy, Probir University of Michigan at Dearborn Programme Committee in Program Committee within the LCTES-track
Subhajit RoyRoy, Subhajit IIT KanpurIndia Programme Committee in Program Committee within the LCTES-track
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Albert RubioRubio, Albert Complutense University of Madrid SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Session Chair of SOAP III (part of SOAP) Closing and Best Presentation Award Interleaving Static Analysis and LLM Prompting Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Organizing Committee within the SOAP-track
Swapnil RustagiRustagi, Swapnil IIT Mandi Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
Louis RustenholzRustenholz, Louis Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom PODELSKI Co-chair in Program Committee within the PODELSKI-track
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Panel: Recruiting and Supporting Students Panel: PL and Beyond Bringing the WebAssembly Standard up to Speed with SpecTec Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation Committee Member in PLDI Review Committee within the PLDI Research Papers-track Panelist in Speakers and Panelists within the RTFM-track
S William S. MosesS. Moses, William Massachusetts Institute of Technology Committee Member in Organizing Committee within the PLDI SRC-track
Feras SaadSaad, Feras Carnegie Mellon UniversityUnited States Robust Resource Bounds with Static Analysis and Bayesian Inference GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Amr SabrySabry, Amr Indiana UniversityUnited States Classical Simulation of Quantum Circuits with Partial Interference Effects
Larisa SafinaSafina, Larisa INRIA Lillle - Nord EuropeFrance Committee Member in Program Committee within the CP-track
Prakash SaivasanSaivasan, Prakash The Institute of Mathematical Sciences, India Verification under Intel-x86 with Persistency
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Disequalities in E-Graphs: An Experiment Exploring Algebraic Placement in Multiparty Languages Automated Verification of Fundamental Algebraic Laws Committee Member in Program Committee within the CP-track
Malavika SamakSamak, Malavika Apple IncUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Nikola SamardzicSamardzic, Nikola Massachusetts Institute of Technology A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption
Michael SammlerSammler, Michael MPI-SWSGermany Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq RefinedRust: A Type System for High-Assurance Verification of Rust Programs
Daniel SanchezSanchez, Daniel MIT A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption
Alex Sanchez-SternSanchez-Stern, Alex University of MassachusettsUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Nuno SantosSantos, Nuno INESC-ID / Instituto Superior Tecnico, University of LisbonPortugal Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
Tiago SantosSantos, Tiago Faculty of Engineering, University of Porto (WIP) A Flexible-Granularity Task Graph Representation and its Generation from C Applications
Adam SapekSapek, Adam Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Kunal SareenSareen, Kunal Australian National UniversityAustralia Memory Management on Mobile Devices
John SarracinoSarracino, John Lawrence Livermore National Laboratory Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Olivier Savary BélangerSavary Bélanger, Olivier Galois, Inc.United States KATch: A Fast Symbolic Verifier for NetKAT
Ulrich SchaechtleSchaechtle, Ulrich Digital Garage GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Robert SchenckSchenck, Robert DIKU, University of CopenhagenDenmark Mechanical Proofs in an Array-Combinator Language AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Johanna Franziska SchinabeckSchinabeck, Johanna Franziska Technische Universität München When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
Cole SchlesingerSchlesinger, Cole Galois KATch: A Fast Symbolic Verifier for NetKAT Daedalus: Safer Document Parsing
Markus SchmidtSchmidt, Markus Heinz Nixdorf Institut, Paderborn UniversityGermany Static Code Analysis with SootUp
Rudi SchneiderSchneider, Rudi TU Berlin Slotted E-Graphs
Martin SchoeberlSchoeberl, Martin Technical University of DenmarkDenmark Programme Committee in Program Committee within the LCTES-track
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Shray: an Owner-Compute Distributed Shared-Memory System Committee Member in Program Committee within the ARRAY-track
Stefan SchottSchott, Stefan Heinz Nixdorf Institut, Paderborn UniversityGermany Static Code Analysis with SootUp
Stefan SchrijversSchrijvers, Stefan Radboud University Shray: an Owner-Compute Distributed Shared-Memory System
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael SchwarzSchwarz, Michael Technische Universität MünchenGermany When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
Martin SchäfSchäf, Martin Amazon Web ServicesUnited States PODELSKI Committee Member in Program Committee within the SOAP-track Co-chair in Program Committee within the PODELSKI-track
Raphael SeidelSeidel, Raphael Fraunhofer Institute for Open Communication Systems Quantum Backtracking in Qrisp Applied to Sudoku Problems
Helmut SeidlSeidl, Helmut Technische Universität München Session Chair of SOAP IV (part of SOAP) When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
Koushik SenSen, Koushik University of California at BerkeleyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Session Chair of Session 4 (part of RTFM) Session Chair of Session 1 (part of RTFM) Opening Panel: Recruiting and Supporting Students Mechanised Hypersafety Proofs about Structured Data Committee Member in Organizing Committee within the RTFM-track
Priyam SethSeth, Priyam IIT Mandi Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
Razin A. ShaikhShaikh, Razin A. University of Oxford Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Session Chair of Compilation Frameworks (part of Sparse) Panel: Databases and Hardware Hybrid Relational Tensor Processing Committee Member in Organizing Committee within the Sparse-track
Nathan ShammahShammah, Nathan Unitary Fund Mitiq, a toolbox for quantum error mitigation and error suppression
Natarajan ShankarShankar, Natarajan SRI International, USA Living inside a Theorem Proving Universe Committee Member in Program Committee within the SOAP-track
Zhong ShaoShao, Zhong Yale UniversityUnited States LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Ritvik SharmaSharma, Ritvik Stanford University Compilation of Qubit Circuits to Optimized Qutrit Circuits
Mary SheeranSheeran, Mary Chalmers \| University of Gothenburg Committee Member in Program Committee within the ARRAY-track
Zane ShelbyShelby, Zane Digital Garage GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Gan ShenShen, Gan University of California, Santa Cruz, USA Toward Verified Library-Level Choreographic Programming with Algebraic Effects
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Manish ShettyShetty, Manish University of California, BerkeleyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Qingkai ShiShi, Qingkai Nanjing UniversityChina Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
Yunong ShiShi, Yunong AWS Quantum TechnologiesUnited States Committee Member in Program Committee within the WQS-track
Ji-Yong ShinShin, Ji-Yong Northeastern UniversityUnited States LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Susav ShresthaShrestha, Susav Texas A&M UniversityUnited States ESPN: Memory-Efficient Multi-vector Information Retrieval
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States Session Chair of LCTES Welcome and Keynote (part of LCTES) Session Chair of Optimization (part of LCTES) Steering Committee Member in Steering Committee within the LCTES-track General Chair in Organizing Committee within the LCTES-track
Xujie SiSi, Xujie University of Toronto Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Session Chair of Probabilistic Programming (part of PLDI Research Papers) Panel: Promotion and Tenure Quest Complete: The Holy Grail of Gradual Security Committee Member in PLDI Review Committee within the PLDI Research Papers-track Panelist in Speakers and Panelists within the RTFM-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States KATch: A Fast Symbolic Verifier for NetKAT
Tiago SilvaSilva, Tiago University of Porto Foundations for a Rust-Like Borrow Checker for C
Jakob Grue SimonsenSimonsen, Jakob Grue University of CopenhagenDenmark Reception
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Committee Member in Program Committee within the ISMM-track
Abhishek Kr SinghSingh, Abhishek Kr School of Computing, National University Of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Input-Relational Verification of Deep Neural Networks
Somesh SinghSingh, Somesh LIP, ENS LyonFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sonali SinghSingh, Sonali AMD ResearchUnited States Committee Member in Program Committee within the ISMM-track
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Garbage Collection for Mostly Serialized Heaps
Zachary SiscoSisco, Zachary UC Santa Barbara Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Rob SisonSison, Rob UNSW SydneyAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Meghana Aparna SistlaSistla, Meghana Aparna The University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dimitrios SkarlatosSkarlatos, Dimitrios Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the ISMM-track
Aaron SmithSmith, Aaron MicrosoftUnited States Programme Committee in Program Committee within the LCTES-track
Kate SmithSmith, Kate Committee Member in Program Committee within the WQS-track
Steffen SmolkaSmolka, Steffen Google KATch: A Fast Symbolic Verifier for NetKAT
Pawel SobocinskiSobocinski, Pawel Tallinn University of Technology From ZX to first order logic: a survey of string diagrammatic calculi
huang songlinsonglin, huang University of Hong Kong Parallelism with Flow Data for Distributed Tensor
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Matthew SottileSottile, Matthew Lawrence Livermore National Laboratory EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
Robert SouléSoulé, Robert Yale University An Algebraic Language for Specifying Quantum Networks
Matthieu SozeauSozeau, Matthieu InriaFrance Verified Extraction from Coq to OCaml
Simon SpiesSpies, Simon MPI-SWSGermany Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq
Tom SpinkSpink, Tom University of St AndrewsUnited Kingdom Accelerating Shared Library Execution in a DBT
Parasara Sridhar DuggiralaSridhar Duggirala, Parasara The University of North Carolina at Chapel HillUnited States Programme Committee in Program Committee within the LCTES-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Lightweight Resource Leak Verification and Inference Panel: Career Paths in PL [TOPLAS] Interactive Abstract Interpretation with Demanded Summarization
Codrut StancuStancu, Codrut Oracle LabsSwitzerland Scaling Type-Based Points-to Analysis with Saturation
Caleb StanfordStanford, Caleb University of California, DavisUnited States Session Chair of Pot Pourri 2 (part of PLDI Research Papers) Stream Types Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ian StarkStark, Ian The University of EdinburghUnited Kingdom Static Analysis for CHERI
Jonathan Lindegaard StarupStarup, Jonathan Lindegaard Aarhus UniversityDenmark Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sam StatonStaton, Sam University of OxfordUnited Kingdom Committee Member in Program Committee within the WQS-track
Deian StefanStefan, Deian University of California at San DiegoUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2024 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Benno SteinStein, Benno SkipLabsUnited Kingdom [TOPLAS] Interactive Abstract Interpretation with Demanded Summarization
Niklas SteinmannSteinmann, Niklas Quantum Backtracking in Qrisp Applied to Sudoku Problems
Sergei StepanenkoStepanenko, Sergei Aarhus UniversityDenmark Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Maoni StephensStephens, Maoni MicrosoftUnited States Committee Member in Program Committee within the ISMM-track
Michel SteuwerSteuwer, Michel Technische Universität BerlinGermany Slotted E-Graphs Descend: A Safe GPU Systems Programming Language
Quentin StiévenartStiévenart, Quentin Université du Québec à Montréal (UQAM)Canada Committee Member in Program Committee within the SOAP-track
Peter J. StuckeyStuckey, Peter J. Monash University SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
Pengfei SuSu, Pengfei University of California, MercedUnited States Programme Committee in Program Committee within the LCTES-track
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Boosting Compiler Testing by Injecting Real-World Code Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
Yulei SuiSui, Yulei UNSW SydneyAustralia Session Chair of LCTES Welcome and Keynote (part of LCTES) Context-Free Language Reachability via Skewed Tabulation Program Chair in Organizing Committee within the LCTES-track
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language
Aoyuan SunSun, Aoyuan Sun Yat-sen University MixPert: Optimizing Mixed-Precision Floating-Point Emulation on GPU Integer Tensor Cores
Maolin SunSun, Maolin Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Max SunSun, Max BCA ResearchCanada Committee Member in AV Committee for PLDI 2024
Xiaofan SunSun, Xiaofan University of California at RiversideUnited States SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures
Xiaoyu SunSun, Xiaoyu Australian National University, AustraliaAustralia Programme Committee in Program Committee within the LCTES-track
Zhensu SunSun, Zhensu Singapore Management UniversitySingapore [OOPSLA 2023] Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Kirshanthan SundararajahSundararajah, Kirshanthan Virginia TechUnited States Committee Member in Organizing Committee within the PLDI SRC-track
Vijay SundaresanSundaresan, Vijay IBM CanadaCanada Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
Mikhail SvyatlovskiySvyatlovskiy, Mikhail Tel Aviv University Compositional Semantics for Shared-Variable Concurrency
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ian SweetSweet, Ian Galois, Inc. Committee Member in Program Committee within the CP-track
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands The Functional Essence of Imperative Binary Search Trees
T Nicolas TabareauTabareau, Nicolas InriaFrance Verified Extraction from Coq to OCaml
Tucker TaftTaft, Tucker AdaCore, United StatesUnited States Committee Member in Program Committee within the SOAP-track
Gang TanTan, Gang Pennsylvania State UniversityUnited States V-Star: Learning Visibly Pushdown Grammars from Program Inputs
Shangyin TanTan, Shangyin University of California at BerkeleyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan Space-Efficient Polymorphic Gradual Typing, Mostly Parametric Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ross TateTate, Ross Independent ConsultantUnited States Decidable Subtyping of Existential Types for Julia
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Workshops Co-Chair in Organizing Committee for PLDI 2024 Session Chair of Fast Linear Algebra (part of PLDI Research Papers) Panel: Recruiting and Supporting Students Area Chair in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the EGRAPHS-track Panelist in Speakers and Panelists within the RTFM-track
Nikolay TcholtchevTcholtchev, Nikolay Fraunhofer Institute for Open Communication Systems Quantum Backtracking in Qrisp Applied to Sudoku Problems
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Pablo TesoneTesone, Pablo Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium Evaluating Finalization-Based Object Lifetime Profiling
Julian TeuleTeule, Julian Department of Computer Science, Aalborg University Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Interleaving Static Analysis and LLM Prompting Algorithms and Applications for Provable Repair of Deep Neural Networks Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Manas ThakurThakur, Manas Indian Institute of Technology BombayIndia Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
Michelle ThalakotturThalakottur, Michelle Northeastern UniversityUnited States RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
Theodoros TheodoridisTheodoridis, Theodoros ETH Zurich Boosting Compiler Testing by Injecting Real-World Code Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
Émilie ThoméThomé, Émilie LIP6, Ampere, ISAE SUPAEROFrance GRust: A Programming Language for Automotive Engineering
Yongqiang TianTian, Yongqiang The Hong Kong University of Science and TechnologyHong Kong SAR China Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the ISMM-track
Aleksei TiurinTiurin, Aleksei University of Birmingham Equivalence Hypergraphs: E-Graphs for Monoidal Theories
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Garbage Collection for Mostly Serialized Heaps
Emina TorlakTorlak, Emina Amazon Web Services, USAUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Alexander TreffTreff, Alexander University of Lübeck superVer: Verifying Probabilistic Independence of Systems of Expressions using Equality Saturation
Matteo TrentinTrentin, Matteo Università di Bologna A Function-as-a-Service Choreographic Programming Language: Examples and Applications
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan Inductive Approach to Spacer
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan A Managed Memory System for Micro Controllers with NOR Flash Memory
Jonathan UllmanUllman, Jonathan Northeastern University Program Analysis for Adaptive Data Analysis
Hongjun UmUm, Hongjun Hanyang University Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU
Hiroshi UnnoUnno, Hiroshi Tohoku UniversityJapan Inductive Approach to Spacer
Maxim UrschumzewUrschumzew, Maxim None Choreographic Programming in Modal Type Theory
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany SPORE: Combining Symmetry and Partial Order Reduction
Deivid ValeVale, Deivid Radboud UniversityNetherlands Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
David van Balenvan Balen, David Zero-Overhead Parallel Scans for Multi-Core CPUs
Guy Van den BroeckVan den Broeck, Guy University of California at Los Angeles Bit Blasting Probabilistic Programs
Julien VanegueVanegue, Julien Bloomberg, USAUnited States Bridging the Gap For Security Analysis In Infer
Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States Session Chair of Session 3 (part of PLMW@PLDI) Panel: Career Paths in PL PLDI women's dinner Organizer in Organizing Committee within the PLMW@PLDI-track Local Arrangements Co-Chair in Organizing Committee within the PLDI SRC-track
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Session Chair of Session 2 (part of PLMW@PLDI) Organizer in Organizing Committee within the PLMW@PLDI-track
Kapil VaswaniVaswani, Kapil Microsoft Research Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Niki VazouVazou, Niki IMDEA Software Institute Sponsorship Co-Chair in Organizing Committee for PLDI 2024 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Adele VeschettiVeschetti, Adele Technische Universität Darmstadt A Probabilistic Choreography Language for PRISM
Muralidaran VijayaraghavanVijayaraghavan, Muralidaran Google ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jules VillardVillard, Jules MetaUnited Kingdom State of the Infer Platform
Jan VitekVitek, Jan Northeastern UniversityUnited States Panel: Work-Life Balance, Service, and Teaching Decidable Subtyping of Existential Types for Julia Panelist in Speakers and Panelists within the RTFM-track
Vesal VojdaniVojdani, Vesal University of TartuEstonia Committee Member in Program Committee within the SOAP-track
Michael VollmerVollmer, Michael University of KentUnited Kingdom Garbage Collection for Mostly Serialized Heaps
W David WalkerWalker, David Princeton UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Chenglong WangWang, Chenglong University of Washington, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Di WangWang, Di Peking UniversityChina [TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Eric WangWang, Eric University of Waterloo Compiling Probabilistic Programs for Variable Elimination with Information Flow
Guancheng WangWang, Guancheng University of OttawaCanada Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
Jian WangWang, Jian Nanyang Technological UniversityChina Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
Jue WangWang, Jue Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Kailong WangWang, Kailong Huazhong University of Science and TechnologyChina Programme Committee in Program Committee within the LCTES-track
Peixin WangWang, Peixin University of Oxford Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
Shangwen WangWang, Shangwen National University of Defense TechnologyChina [OOPSLA 2023] Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Shengyi WangWang, Shengyi Princeton UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Wenwen WangWang, Wenwen University of GeorgiaUnited States Committee Member in Program Committee within the SOAP-track
Xiaoyan WangWang, Xiaoyan Massachusetts Institute of Technology Probabilistic Programming with Programmable Variational Inference
Xinyu WangWang, Xinyu University of MichiganUnited States Web Co-Chair in Organizing Committee for PLDI 2024
Yang WangWang, Yang The Ohio State UniversityUnited States IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
Yu WangWang, Yu Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada From Batch to Stream: Automatic Generation of Online Algorithms Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yuning WangWang, Yuning Rutgers University Reward-Guided Synthesis of Intelligent Agents with Control Structures
Zhe WangWang, Zhe Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun LaboratoryChina CodeExtract: Enhancing Binary Code Similarity Detection with Code Extraction Techniques
Zhenlin WangWang, Zhenlin Michigan Technological University Committee Member in Steering Committee within the ISMM-track
Ziteng WangWang, Ziteng University of Texas at AustinUnited States From Batch to Stream: Automatic Generation of Online Algorithms
Chris WatsonWatson, Chris University of PennsylvaniaUnited States Stream Types
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Panel: Career Paths in PL Bringing the WebAssembly Standard up to Speed with SpecTec Committee Member in Organizing Committee within the PLDI SRC-track
Guannan WeiWei, Guannan Purdue UniversityUnited States Consolidating Smart Contracts with Behavioral Contracts
Yuxiang WeiWei, Yuxiang University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Disequalities in E-Graphs: An Experiment Exploring Algebraic Placement in Multiparty Languages Automated Verification of Fundamental Algebraic Laws
Ming WenWen, Ming Huazhong University of Science and TechnologyChina [OOPSLA 2023] Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Sheng WenWen, Sheng Swinburne University of Technology Programme Committee in Program Committee within the LCTES-track
Scott WesleyWesley, Scott University of Waterloo, Canada Verifying Quantum Circuits in GAP
Sam WestrickWestrick, Sam Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom Hyperblock Scheduling for Verified High-Level Synthesis Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Thomas WiesWies, Thomas New York UniversityUnited States Session Types for People who Love Automata PODELSKI Co-chair in Program Committee within the PODELSKI-track
James R. WilcoxWilcox, James R. University of Washington, SeattleUnited States Committee Member in Organizing Committee within the PLDI SRC-track
Max WillseyWillsey, Max UC BerkeleyUnited States Welcome A Tour of Program Optimization Panel: Compilation Frameworks Equality Saturation and Joins Committee Member in Program Committee within the EGRAPHS-track Committee Member in Organizing Committee within the EGRAPHS-track
Brandon WilsonWilson, Brandon Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments
Christian WimmerWimmer, Christian Oracle LabsUnited States Scaling Type-Based Points-to Analysis with Saturation Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the ISMM-track
Simon WinwoodWinwood, Simon Galois Daedalus: Safer Document Parsing
Jaeyeon WonWon, Jaeyeon Massachusetts Institute of Technology Continuous Arrays Panel: Applications and Languages
Shin WonhoWonho, Shin KAIST Bringing the WebAssembly Standard up to Speed with SpecTec
Jackson WoodruffWoodruff, Jackson University of EdinburghUnited Kingdom Committee Member in Organizing Committee within the PLDI SRC-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract Committee Member in Steering Committee within the ISMM-track
Chenggang WuWu, Chenggang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun LaboratoryChina CodeExtract: Enhancing Binary Code Similarity Detection with Code Extraction Techniques
Rongxin WuWu, Rongxin School of Informatics, Xiamen UniversityChina Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
Xiaodi WuWu, Xiaodi University of MarylandUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Scaling Type-Based Points-to Analysis with Saturation
Peter WägemannWägemann, Peter Friedrich-Alexander University Erlangen-Nürnberg (FAU) WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
X Jinwen XiXi, Jinwen Microsoft Wavefront Threading Enables Effective High-Level Synthesis
Jingtao XiaXia, Jingtao University of California, Santa Barbara Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shaojie XiangXiang, Shaojie Cornell University Allo: A Programming Model for Composable Accelerator Design
Xiao XiaoXiao, Xiao Ant Group Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
Danning XieXie, Danning Purdue University Consolidating Smart Contracts with Behavioral Contracts Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ningning XieXie, Ningning University of TorontoCanada Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2024 Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xiaofei XieXie, Xiaofei Singapore Management UniversitySingapore Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
Zhen XieXie, Zhen Argonne National LaboratoryUnited States Programme Committee in Program Committee within the LCTES-track
Yingfei XiongXiong, Yingfei Peking UniversityChina Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis [TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
Changming XuXu, Changming University of Illinois at Urbana-Champaign Input-Relational Verification of Deep Neural Networks
Wenyuan XuXu, Wenyuan Aarhus University Reducing Static Analysis Unsoundness with Approximate Interpretation
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zijian XuXu, Zijian Preferred NetworksJapan A Heuristic for Periodic Memory Allocation with Little Fragmentation to Train Neural Networks
Jason XueXue, Jason MBZUAI Session Chair of Analysis and Testing (part of LCTES) Steering Committee Chair in Steering Committee within the LCTES-track
Jingling XueXue, Jingling UNSW SydneyAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track Steering Committee Member in Steering Committee within the LCTES-track
Y Francis Y. YanYan, Francis Y. Microsoft Research Diffy: Data-Driven Bug Finding for Configurations
Chenyuan YangYang, Chenyuan University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Guoqing YangYang, Guoqing Zhejiang University SmartVisor: User-Friendly Hypervisor for Mobile Robots
Guowei YangYang, Guowei University of QueenslandAustralia Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
Shengchao YangYang, Shengchao Carnegie Mellon University, USA Exceptions in a Message Passing Interpretation of Substructural Logic
Tengshun YangYang, Tengshun SKLCS, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
Yibiao YangYang, Yibiao Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Peisen YaoYao, Peisen Zhejiang UniversityChina Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
Peisen YaoYao, Peisen Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Kevin YeYe, Kevin University of California at Berkeley Equivalence by Canonicalization for Synthesis-Backed Refactoring
Qianchuan YeYe, Qianchuan Purdue UniversityUnited States A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata
Lia YehYeh, Lia University of Oxford Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)
Kwangkeun YiYi, Kwangkeun Seoul National University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Qiuping YiYi, Qiuping Beijing University of Posts and TelecommunicationsChina Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
Jacob YimYim, Jacob UC BerkeleyUnited States Equivalence by Canonicalization for Synthesis-Backed Refactoring
Mingsheng YingYing, Mingsheng Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina Efficient Formal Verification of Quantum Error Correcting Programs Symbolic Execution for Quantum Error Correction Programs Committee Member in Program Committee within the WQS-track Co-chair in Organizing Committee within the WQS-track
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dongjun YounYoun, Dongjun KAISTSouth Korea Bringing the WebAssembly Standard up to Speed with SpecTec
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States Quantum program analysis: Verification and Testing
Yifan YuYu, Yifan Beijing University of Posts and Telecommunications Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
Yongwei YuanYuan, Yongwei Purdue UniversityUnited States Consolidating Smart Contracts with Behavioral Contracts Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Z Drew ZagieboyloZagieboylo, Drew Northeastern University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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 Disequalities in E-Graphs: An Experiment Exploring Algebraic Placement in Multiparty Languages Automated Verification of Fundamental Algebraic Laws
Gianluigi ZavattaroZavattaro, Gianluigi Department of Computer Science and Engineering - Università di Bologna A Function-as-a-Service Choreographic Programming Language: Examples and Applications
Zhichen ZengZeng, Zhichen University of Science and Technology of China Allo: A Programming Model for Composable Accelerator Design
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Charles ZhangZhang, Charles The Hong Kong University of Science and TechnologyChina Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
Chi ZhangZhang, Chi Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Genghan ZhangZhang, Genghan Stanford University Compilation of Modular and General Sparse Workspaces
Hanliang ZhangZhang, Hanliang University of Bristol, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Haoyuan ZhangZhang, Haoyuan Kyushu University Dataflow-Based Optimization for QIR Programs
Haozhe ZhangZhang, Haozhe University of Zurich Panel: Databases and Hardware Recent Advances in Incremental View Maintenance
Jie ZhangZhang, Jie Peking UniversityChina Committee Member in Program Committee within the ISMM-track
Lu ZhangZhang, Lu Peking UniversityChina [TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
Niansong ZhangZhang, Niansong Cornell University Allo: A Programming Model for Composable Accelerator Design
Nuda ZhangZhang, Nuda University of Michigan Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Peihua ZhangZhang, Peihua CodeExtract: Enhancing Binary Code Similarity Detection with Code Extraction Techniques
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Session Chair of SIGPLAN + TOPLAS (part of PLDI Research Papers) Loop Saturation for Scalable High-Level Synthesis Context-Free Language Reachability via Skewed Tabulation SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tong ZhangZhang, Tong SamsungUnited States Programme Committee in Program Committee within the LCTES-track
Wuqi ZhangZhang, Wuqi The Hong Kong University of Science and TechnologyChina Consolidating Smart Contracts with Behavioral Contracts Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xianwei ZhangZhang, Xianwei Sun Yat-sen University MixPert: Optimizing Mixed-Precision Floating-Point Emulation on GPU Integer Tensor Cores
Xing ZhangZhang, Xing Peking UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yanjun ZhangZhang, Yanjun University of QueenslandAustralia Programme Committee in Program Committee within the LCTES-track
Ying ZhangZhang, Ying Virginia TechUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yiyu ZhangZhang, Yiyu Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Session Chair of Types and Effects (part of PLDI Research Papers) Compiling Probabilistic Programs for Variable Elimination with Information Flow Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zenong ZhangZhang, Zenong The University of Texas - Dallas Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zheng ZhangZhang, Zheng Rutgers University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zhenya ZhangZhang, Zhenya Kyushu University, JapanJapan Programme Committee in Program Committee within the LCTES-track
Zhiru ZhangZhang, Zhiru Cornell University, USA Allo: A Programming Model for Composable Accelerator Design
Zhuo ZhangZhang, Zhuo Purdue UniversityUnited States Consolidating Smart Contracts with Behavioral Contracts
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan Dataflow-Based Optimization for QIR Programs
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Qiyuan ZhaoZhao, Qiyuan National University of SingaporeSingapore Mechanised Hypersafety Proofs about Structured Data Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shuangshuang ZhaoZhao, Shuangshuang KAIST Modular Hardware Design of Pipelined Circuits with Hazards
Yuwei ZhaoZhao, Yuwei Peking UniversityChina Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis [TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
Shuyu ZhengZheng, Shuyu Peking University EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
Jinguo ZhouZhou, Jinguo Ant Group Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
Keren ZhouZhou, Keren George Mason University Programme Committee in Program Committee within the LCTES-track
Li ZhouZhou, Li MPI-SP; Institute of Software at Chinese Academy of SciencesGermany Efficient Formal Verification of Quantum Error Correcting Programs Committee Member in Program Committee within the WQS-track
Zhe ZhouZhou, Zhe Purdue University A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata
He ZhuZhu, He Rutgers University, USA Reward-Guided Synthesis of Intelligent Agents with Control Structures
Shaopeng ZhuZhu, Shaopeng Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shaowei ZhuZhu, Shaowei Princeton UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xiaogang ZhuZhu, Xiaogang Swinburne University of TechnologyAustralia Programme Committee in Program Committee within the LCTES-track
Lenore ZuckZuck, Lenore UICUnited States Liveness to Safety for Distributed Systems
Philip ZuckerZucker, Philip DraperUnited States E-graphs and Automated Reasoning: Looking back to look forward
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms University of Southampton Committee Member in Organizing Committee within the ARRAY-track
Ž Đorđe ŽikelićŽikelić, Đorđe Singapore Management University, SingaporeSingapore Equivalence and Similarity Refutation for Probabilistic Programs

PLDI 2024 Contributors

Results (978)

Tracks

Co-hosted Conferences

Workshops