PLDI 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (782)

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
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 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 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
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Mechanised Hypersafety Proofs about Structured Data NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks Democratizing DSL development with the BuildIt Framework
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Committee Member in Organizing Committee within the Sparse-track
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
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
Nicola AssoliniAssolini, Nicola Università degli Studi di VeronaItaly 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
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
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
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 Jacdac: Service-Based Prototyping of Embedded Systems
Debangshu BanerjeeBanerjee, Debangshu University of Illinois at Urbana-Champaign Input-Relational Verification of Deep Neural Networks
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
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland Linear Matching of JavaScript Regular Expressions Committee Member in Organizing Committee within the PLDI SRC-track
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
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 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
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
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
Lasse BlaauwbroekBlaauwbroek, Lasse Czech Institute for Informatics Robotics and CyberneticsCzechia Hashing Modulo Context-Sensitive Alpha-Equivalence
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia 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
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
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich Heinrich-Heine-Universität DüsseldorfGermany Dr Wenowdis: Specializing dynamic language C extensions using type information
Michael D. BondBond, Michael D. Ohio State University, USA 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
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 Context-Free Language Reachability via Skewed Tabulation
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Verification under Intel-x86 with Persistency
Thomas BourgeatBourgeat, Thomas EPFL 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
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 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
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 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
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 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
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 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 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
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 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jian-Jia ChenChen, Jian-Jia TU Dortmund UniversityGermany (Invited paper) Language-Based Deployment Optimization for Random Forest 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
Xiao ChengCheng, Xiao UNSWAustralia Web Chair in Organizing Committee within the LCTES-track
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States 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
David ChisnallChisnall, David SCI SemiconductorUnited Kingdom Committee Member in Steering Committee within the ISMM-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Foundational Integration Verification of a Cryptographic Server A Verified Compiler for a Functional Tensor Language Live Verification in an Interactive Proof Assistant
Joonwon ChoiChoi, Joonwon AppleUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sangeeta ChowdharyChowdhary, Sangeeta Rutgers UniversityUnited States Committee Member in Organizing Committee within the PLDI SRC-track
Benjamin ChungChung, Benjamin Northeastern University Decidable Subtyping of Existential Types for Julia
Pavel ChuprikovChuprikov, Pavel USI LuganoSwitzerland An Algebraic Language for Specifying Quantum Networks
Lazaro ClappClapp, Lazaro Gitar A Lightweight Polyglot Code Transformation Language
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
Byron CookCook, Byron AmazonUnited States Thoughts on the interplay between corporate, government, and university R&D
Simon CookseyCooksey, Simon Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom 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
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 Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language
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
Maryam Mehri DehnaviDehnavi, Maryam Mehri University of TorontoCanada SpEQ: Translation of Sparse Codes using Equivalences
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata
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, Italy 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 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
Mike DoddsDodds, Mike Galois, Inc. Daedalus: Safer Document Parsing
Rui DongDong, Rui University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Derek DreyerDreyer, Derek MPI-SWSGermany 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
Irina DudinaDudina, Irina University of Edinburgh Static Analysis for CHERI
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
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
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 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 Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification 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 and Universidade de Lisboa 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
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
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 Zurich, Switzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Chujun GengGeng, Chujun Ohio State University 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
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 BolognaItaly 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
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 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 Committee Member in Organizing Committee within the PLDI SRC-track
Ehsan Kafshdar GoharshadyGoharshady, Ehsan Kafshdar IST Austria Equivalence and Similarity Refutation for Probabilistic Programs
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Stream Types Daedalus: Safer Document Parsing
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Senior Chair in Organizing Committee within the PLMW@PLDI-track
Shaurya GomberGomber, Shaurya University of Illinois Urbana-ChampaignUnited States 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
Justin GottschlichGottschlich, Justin Merly & StanfordUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Eva GraversenGraversen, Eva University of Southern Denmark 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 Falcon: A Scalable Analytical Cache Model
Kunwar GroverGrover, Kunwar AMDUnited Kingdom Falcon: A Scalable Analytical Cache Model
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology Foundational Integration Verification of a Cryptographic Server Live Verification in an Interactive Proof Assistant
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
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 Á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. Google DeepMindAustralia 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
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
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
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Local Arrangements Co-Chair in Organizing Committee for PLDI 2024
Jörg HenkelHenkel, Jörg Steering Committee Member in Steering Committee within the LCTES-track
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark 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
Yann HerklotzHerklotz, Yann Imperial College LondonUnited Kingdom Hyperblock Scheduling for Verified High-Level Synthesis
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
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States 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
Steve HodgesHodges, Steve Lancaster UniversityUnited Kingdom Jacdac: Service-Based Prototyping of Embedded Systems
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
Aaron HsuHsu, Aaron Dyalog, Ltd.United States Committee Member in Organizing Committee within the ARRAY-track
Justin HsuHsu, Justin Cornell UniversityUnited States Numerical Fuzz: A Type System for Rounding Error Analysis
Olivia HsuHsu, Olivia Stanford UniversityUnited States 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
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
Yifei HuangHuang, Yifei Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
John HuiHui, John Columbia University, New YorkUnited States Video Co-Chair in Organizing 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
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
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 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
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
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 Committee Member in Program Committee within the CP-track
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
Shoaib KamilKamil, Shoaib Adobe Research Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jeehoon KangKang, Jeehoon KAISTSouth Korea 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
Kadiray KarakayaKarakaya, Kadiray Heinz Nixdorf Institut, Paderborn UniversityGermany Static Code Analysis with SootUp
Rajas KarandikarKarandikar, Rajas Microsoft Wavefront Threading Enables Effective High-Level Synthesis
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 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
Ameya KetkarKetkar, Ameya GitarUnited States A Lightweight Polyglot Code Transformation Language
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
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2024 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 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
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 Concurrent Algorithms in Kotlin Coroutines
David KozakKozak, David Brno University of Technology & Oracle LabsCzechia Scaling Type-Based Points-to Analysis with Saturation
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 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
K Narayan KumarKumar, K Narayan Chennai Mathematical InstituteIndia Verification under Intel-x86 with Persistency
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Committee Member in Organizing Committee within the CP-track
Yongkee KwonKwon, Yongkee SK hynixSouth 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
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Compositional Semantics for Shared-Variable Concurrency
Shuvendu LahiriLahiri, Shuvendu 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
Mahesh LakshminarasimhanLakshminarasimhan, Mahesh University of UtahUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
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
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 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
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
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
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
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
Ashley LinLin, Ashley Massachusetts Institute of Technology Foundational Integration Verification of a Cryptographic Server
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 Bringing the WebAssembly Standard up to Speed with SpecTec The Functional Essence of Imperative Binary Search Trees
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
Cyrus LiuLiu, Cyrus Grinnell College, USAUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
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
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
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 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
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
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
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
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
Umang MathurMathur, Umang National University of SingaporeSingapore Junior Chair in Organizing Committee within the PLMW@PLDI-track
Gabriel MatuteMatute, Gabriel UC BerkeleyUnited States Syntactic Code Search with Sequence-to-Tree Matching
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
Erik MeijerMeijer, Erik FacebookUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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
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
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance 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 Choreographic Programming: its essence, beauty, and necessity
Austin MordahlMordahl, Austin University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michał MoskalMoskal, Michał Microsoft ResearchUnited States Jacdac: Service-Based Prototyping of Embedded Systems
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
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark 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 On Long-Term research Problem Selection Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language 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 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
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 Scaling Formal Verification To Complex, Real-world DeFi Programs Panel: Career Paths in PL 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
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly 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
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
O Cosmin OanceaOancea, Cosmin University of Copenhagen, DenmarkDenmark Local Arrangements Co-Chair in Organizing Committee for PLDI 2024
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
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
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 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
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea PL4XGL: A Programming Language Approach to Explainable Graph Learning
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 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
Adam PaszkePaszke, Adam Google ResearchPoland Committee Member in Program Committee within the ARRAY-track
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark A Better Approximation for Interleaved Dyck Reachability
Hannes PayerPayer, Hannes Google Committee Member in Steering Committee within the ISMM-track Program Co-Chair in Organizing Committee within the ISMM-track
Hila PelegPeleg, Hila TechnionIsrael Letting users do the undecidable: lessons from program synthesis
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 Committee Member in Organizing Committee within the CP-track
Erez PetrankPetrank, Erez TechnionIsrael 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
Long PhamPham, Long Carnegie Mellon University 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 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
Clément Pit-ClaudelPit-Claudel, Clément EPFLUnited States Workshops Co-Chair in Organizing Committee for PLDI 2024 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
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the EGRAPHS-track
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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
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
Mukund RaghothamanRaghothaman, Mukund University of Southern California Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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 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
Xiaojia RaoRao, Xiaojia Imperial CollegeUnited Kingdom Bringing the WebAssembly Standard up to Speed with SpecTec
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
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
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
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
Chris RinardRinard, Chris 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
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 Committee Member in Program Committee within the WQS-track
Andreas RossbergRossberg, Andreas IndependentGermany Bringing the WebAssembly Standard up to Speed with SpecTec
Damien RouhlingRouhling, Damien Inria Nancy Grand-Est; France Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
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 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 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
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
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 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
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
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
Martin SchoeberlSchoeberl, Martin Technical University of DenmarkDenmark Programme Committee in Program Committee within the LCTES-track
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Committee Member in Program Committee within the ARRAY-track
Stefan SchottSchott, Stefan Heinz Nixdorf Institut, Paderborn UniversityGermany Static Code Analysis with SootUp
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
Helmut SeidlSeidl, Helmut Technische Universität München 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 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
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Committee Member in Organizing Committee within the Sparse-track
Natarajan ShankarShankar, Natarajan SRI International, USA 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
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
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States 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 Quest Complete: The Holy Grail of Gradual Security Committee Member in PLDI Review Committee within the PLDI Research Papers-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
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Committee Member in Program Committee within the ISMM-track
Abhishek Kr SinghSingh, Abhishek Kr 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
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
KC SivaramakrishnanSivaramakrishnan, KC Tarides; IIT MadrasIndia Committee Member in Organizing Committee within the PLDI SRC-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
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
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
Codrut StancuStancu, Codrut Oracle LabsSwitzerland Scaling Type-Based Points-to Analysis with Saturation
Caleb StanfordStanford, Caleb University of California, DavisUnited States 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
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 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 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
Xiaoyu SunSun, Xiaoyu Australian National University, AustraliaAustralia Programme Committee in Program Committee within the LCTES-track
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 Area Chair in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the EGRAPHS-track
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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
Yongqiang TianTian, Yongqiang The Hong Kong University of Science and TechnologyChina 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
Emina TorlakTorlak, Emina Amazon Web Services, USAUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
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 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
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
Guy Van den BroeckVan den Broeck, Guy University of California at Los Angeles Bit Blasting Probabilistic Programs
Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States Panel: Career Paths in PL Organizer in Organizing Committee within the PLMW@PLDI-track Committee Member in Organizing Committee within the PLDI SRC-track
Marco VassenaVassena, Marco Utrecht UniversityNetherlands 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
Muralidaran VijayaraghavanVijayaraghavan, Muralidaran Google ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Decidable Subtyping of Existential Types for Julia
Vesal VojdaniVojdani, Vesal University of TartuEstonia Committee Member in Program Committee within the SOAP-track
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 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
Huozhu WangWang, Huozhu UCAS µDefenser: A CPU-µop-based defense method against synergies between three-class vulnerabilities
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
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
Zhanpeng WangWang, Zhanpeng µDefenser: A CPU-µop-based defense method against synergies between three-class vulnerabilities
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
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 Automated Verification of Fundamental Algebraic Laws
Sheng WenWen, Sheng Swinburne University of Technology Programme Committee in Program Committee within the LCTES-track
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 PODELSKI Co-chair in Program Committee within the PODELSKI-track
Max WillseyWillsey, Max UC BerkeleyUnited States TBA Committee Member in Program Committee within the EGRAPHS-track Committee Member in Organizing Committee within the EGRAPHS-track
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
Jenna Wise (DiVincenzo)Wise (DiVincenzo), Jenna Purdue University Committee Member in Organizing Committee within the PLDI SRC-track
Shin WonhoWonho, Shin KAIST Bringing the WebAssembly Standard up to Speed with SpecTec
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden 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
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
Jason XueXue, Jason MBZUAI 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
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 Zhejing 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
Kwangkeun YiYi, Kwangkeun Seoul National University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Qiuping YiYi, Qiuping Texas A&M University 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 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
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 Automated Verification of Fundamental Algebraic Laws
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
Jie ZhangZhang, Jie Peking UniversityChina Committee Member in Program Committee within the ISMM-track
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 SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories Context-Free Language Reachability via Skewed Tabulation 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 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
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
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
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
Ziyuan ZhuZhu, Ziyuan µDefenser: A CPU-µop-based defense method against synergies between three-class vulnerabilities
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UK 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 (782)

Tracks

Co-hosted Conferences

Workshops