SPLASH 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1300)

( Ruanqianqian (Lisa) Huang(Lisa) Huang, Ruanqianqian University of California, San DiegoUnited States PhD Life Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Program Committee within the LIVE-track
A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden Committee Member in Review Committee within the SPLASH OOPSLA-track
Dave AbrahamsAbrahams, Dave AdobeUnited States Method Bundles (New Ideas/Vision paper)
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
David H. AckleyAckley, David H. Living Computation Foundation Dialogues on Natural Code
Eddie AftandilianAftandilian, Eddie GitHub NextUnited States Lessons Learned from Building GitHub Copilot(s)
Shubh AgrawalAgrawal, Shubh University of Michigan Effects and Coeffects in Call-By-Push-Value
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Gianluca AguzziAguzzi, Gianluca Alma Mater Studiorum - Università di BolognaItaly Committee Member in Artifact Evaluation Committee within the SLE-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Steering Committee Member in Steering Committee for SPLASH 2024 Session Chair of Memory Management and Analysis 1 (part of SPLASH OOPSLA) Realistic Realizability: Specifying ABIs You Can Count On Gradually Typed Languages Should Be Vigilant! Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Sharif AhmedAhmed, Sharif Boise State University, USA Committee Member in Artifact Evaluation Committee within the SLE-track
Robert AishAish, Robert Bartlett School of Architecture, UCL Programming Languages for the Future of Design Computation
Efthimia AivaloglouAivaloglou, Efthimia Delft University of TechnologyNetherlands Gender Differences in Story, Game and Visual Adventures in Hedy
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Session Chair of Effects (part of SPLASH OOPSLA) Session Chair of Papers 2 (part of HATRA) Substructural Information Flow via Polymorphism The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications Committee Member in Program Committee within the IWACO-track Organizing Chair in Organizing Committee within the HATRA-track
Georgios AlexopoulosAlexopoulos, Georgios University of AthensGreece When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Razan AlghamdiAlghamdi, Razan University of Colorado, Boulder Leroy: Library Learning for Imperative Programming Languages
Amin AlipourAlipour, Amin University of HoustonUnited States Workshops Co-Chair in Organizing Committee for SPLASH 2024 Committee Member in Organizing Committee within the SPLASH Workshops-track
Anoud AlshnakatAlshnakat, Anoud KTH Royal Institute of Technology HOL4P4: mechanized small-step semantics for P4
Luigi AltamiranoAltamirano, Luigi Eindhoven University of TechnologyNetherlands Block-based Platform for Defining Adaptation Rules for Automotive Systems
Mario Alvarez-PicalloAlvarez-Picallo, Mario Huawei Research Centre Effect handlers for C via coroutines
Juliana Alves PereiraAlves Pereira, Juliana Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Session Chair of Software Language Integration and Composition (part of SLE)
Juliana Alves PereiraAlves Pereira, Juliana PUC-RioBrazil SLE Welcome Program Co-Chair in Organizing Committee within the SLE-track
Andrea AmantiniAmantini, Andrea Nextjournal Live Programming a Live Programming Environment: An Experience Report
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Guillaume AmbalAmbal, Guillaume Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Nada AminAmin, Nada Harvard UniversityUnited States Persimmon: Nested Family Polymorphism with Extensible Variant Types
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Committee Member in Program Committee within the SAS -track
Carolyn Jane AndersonAnderson, Carolyn Jane Wellesley CollegeUnited States Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Logan AndersonAnderson, Logan Purdue University SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
Edward AndertAndert, Edward Arizona State University TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Artur AndrzejakAndrzejak, Artur Heidelberg UniversityGermany Committee Member in Program Committee within the GPCE-track
Anthony AnjorinAnjorin, Anthony Zühlke Engineering GmbHGermany Committee Member in Program Committee within the SLE-track
Rui António Ramada RuaAntónio Ramada Rua, Rui University of Minho & INESC TECPortugal Committee Member in Artifact Evaluation Committee within the SLE-track
Sotiris ApostolakisApostolakis, Sotiris GoogleUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Ian ArawjoArawjo, Ian Cornell University Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Session Chair of NSAD: Session 1 (part of NSAD) Closing Opening Co-chair in Organizing Committee within the NSAD-track
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sameer AroraArora, Sameer Certora Inc. Practical Verification Of Smart Contracts Using Memory Splitting
Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany Committee Member in Program Committee within the SAS -track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Commitee within the SPLASH -E-track
Nicola AssoliniAssolini, Nicola University of VeronaItaly Video Chair in Organizing Committee for SPLASH 2024 Abstracting Entanglement Static Analysis of Quantum Programs
Parisa AtaeiAtaei, Parisa Oregon State University On the Expressive Power of Languages for Static Variability
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, SwedenSweden Committee Member in Review Committee within the SPLASH OOPSLA-track
David I. AugustAugust, David I. Princeton UniversityUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Lennart AugustssonAugustsson, Lennart Epic Games Verse - a new functional logic language
Martin AvanziniAvanzini, Martin Inria Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
B Charles Babu MBabu M, Charles CEA-ListFrance Trace Partitioning as an Optimization Problem
Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Concrete Syntax Metapatterns Committee Member in Review Committee within the SPLASH OOPSLA-track
Doehyun BaekBaek, Doehyun KAIST Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Alexander BaiBai, Alexander Tufts University Video Chair in Organizing Committee for SPLASH 2024
Martina BaiardiBaiardi, Martina University of BolognaItaly Committee Member in Artifact Evaluation Committee within the SLE-track
Alexander BakstBakst, Alexander CertoraUnited States Practical Verification Of Smart Contracts Using Memory Splitting
Paolo BaldanBaldan, Paolo University of PadovaItaly Committee Member in Program Committee within the SAS -track
Jacob BambeckBambeck, Jacob Ohio State University Cocoon: Static Information Flow Control in Rust
Lucas BangBang, Lucas Harvey Mudd College PLMW Co-Chair in Organizing Committee for SPLASH 2024 Session Chair of Welcome to PLMW! (part of SPLASH PLMW) Session Chair of Grad Student Life (part of SPLASH PLMW) Session Chair of Post-PhD & Mentoring (part of SPLASH PLMW) PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Yuyan BaoBao, Yuyan Augusta UniversityUnited States Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN)
Saam BaratiBarati, Saam Epic GamesUnited States JavaScript virtual machine evolution
Valentin BarbazoBarbazo, Valentin École Normale Supérieure \| Université PSL Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Session Chair of Verification cost and quantitative analysis (part of SAS ) Trace Partitioning as an Optimization Problem Committee Member in Program Committee within the SAS -track
Raj BarikBarik, Raj Gitar Co.United States Session Chair of Post-lunch Session (part of VIVEKFEST) Session Chair of Afternoon Session (part of VIVEKFEST) Collaborators' Toast: Drinks & Memories of Vivek's Work (6-8PM) Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg) Committee Member in Organizing Committee within the VIVEKFEST-track
Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States Committee Member in Program Committee within the HATRA-track
Ion BarosanBarosan, Ion TU EindhovenNetherlands Block-based Platform for Defining Adaptation Rules for Automotive Systems
Earl T. BarrBarr, Earl T. University College LondonUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs A modal type-theory of expected cost in higher-order probabilistic programs
David BasinBasin, David ETH ZurichSwitzerland Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels
Shrutarshi BasuBasu, Shrutarshi Middlebury CollegeUnited States Committee Member in Program Committee within the ProLaLa-track Committee Member in Organizing Committee within the ProLaLa-track
Guillaume BaudartBaudart, Guillaume InriaFrance Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2024 Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vincent BeardsleyBeardsley, Vincent Ohio State University Static-Dynamic Information Flow Control in Rust (Lightning Talk) Static-Dynamic Information Flow Control in Rust Cocoon: Static Information Flow Control in Rust
Anna BecchiBecchi, Anna Fondazione Bruno Kessler, Trento, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Tom BeckmannBeckmann, Tom Hasso Plattner InstituteGermany Supporting Construction of Domain-Specific Representations in Textual Source Code Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jonathan BellBell, Jonathan Northeastern UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Abhiram BellurBellur, Abhiram University of Colorado Boulder Leroy: Library Learning for Imperative Programming Languages
Aaron BembenekBembenek, Aaron University of MelbourneAustralia Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
John BenderBender, John Sandia National Laboratories Correct Compilation of Concurrent C Code Committee Member in Program Committee within the JENSFEST-track
Emery D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States Session Chair of Compilers and Optimisation 1 (part of SPLASH OOPSLA)
João Helis BernardoBernardo, João Helis Federal Institute of Education, Science and Technology of Rio Grande do NorteBrazil Committee Member in Artifact Evaluation Committee within the SLE-track
Maverick BernerBerner, Maverick Marquette UniversityUnited States MiniJava on RISC-V: A Game of Global Compilers Domination
Gilbert BernsteinBernstein, Gilbert University of Washington, SeattleUnited States Distributions for Compositionally Differentiating Parametric Discontinuities
Ivan BeschastnikhBeschastnikh, Ivan University of British ColumbiaCanada Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur
Jan BessaiBessai, Jan IndependentGermany Committee Member in Organizing Committee within the UNSOUND-track
Benjamin BichselBichsel, Benjamin ETH Zurich, Switzerland Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Aaron BiesBies, Aaron Saarland UniversityGermany Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Aart BikBik, Aart Google, Inc.United States Compilation of Shape Operators on Sparse Arrays Compiler Support for Sparse Tensor Convolutions
David BinderBinder, David University of TübingenGermany From FP to OOP and Back, Consistently Deriving Dependently-Typed OOP from First Principles
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in Review Committee within the SPLASH OOPSLA-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Swarnendu BiswasBiswas, Swarnendu IIT KanpurIndia Committee Member in Review Committee within the SPLASH OOPSLA-track
Paul Maximilian BittnerBittner, Paul Maximilian Paderborn UniversityGermany Session Chair of Session 1 on Code Quality (part of GPCE) On the Expressive Power of Languages for Static Variability
David Black-SchafferBlack-Schaffer, David Uppsala University Mark--Scavenge: Waiting for Trash to Take Itself Out
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia Committee Member in Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the VMIL-track
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Clément BlaudeauBlaudeau, Clément InriaFrance Fulfilling OCaml modules with transparency
Sandrine BlazyBlazy, Sandrine University of RennesFrance Committee Member in Program Committee within the ProLaLa-track
Andrew BlinnBlinn, Andrew University of MichiganUnited States Statically Contextualizing Large Language Models with Typed Holes Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Matilda BlomqvistBlomqvist, Matilda Uppsala University Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper)
Dominique BlouinBlouin, Dominique LTCI Lab, Telecom Paris, Institute Politechnqie de ParisFrance Committee Member in Artifact Evaluation Committee within the SLE-track
Christian BlumenthalBlumenthal, Christian RWTH Aachen University Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Luc BläserBläser, Luc DFINITY FoundationSwitzerland Smarter Contract Upgrades with Orthogonal Persistence
Rose BohrerBohrer, Rose Worcester Polytechnic Institute SPLASH-E Co-Chair in Steering Committee for SPLASH 2024 SPLASH-E Co-Chair in Organizing Committee for SPLASH 2024 Session Chair of Interactive Syllabus Workshop and Natural Language (part of SPLASH -E) SPLASH-E Co-Chair in Program Commitee within the SPLASH -E-track
Max BoksemBoksem, Max University of AmsterdamNetherlands Bridging Incremental Programming and Complex Software Development Environments
Michael D. BondBond, Michael D. Ohio State University Session Chair of Memory Management and Analysis 2 (part of SPLASH OOPSLA) Cocoon: Static Information Flow Control in Rust
Daniele BonettaBonetta, Daniele VU AmsterdamNetherlands Author in Program Committee within the GPCE-track
Andrea BorgarelliBorgarelli, Andrea Max Planck Institute for Software Systems Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Holly BorlaBorla, Holly Apple, Inc, Data-Race Safety for the Masses
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander Charles UniversityCzechia Session Chair of Session 1 (part of IWACO) Session Chair of Session 3 (part of IWACO) Welcome and goals of IWACO 2024 Degrees of Separation: A Flexible Type System for Safe Concurrency Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types Co-chair in Program Committee within the IWACO-track Committee Member in Organizing Committee within the IWACO-track
Thomas BourgeatBourgeat, Thomas EPFLSwitzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Erwan BousseBousse, Erwan Nantes UniversitéFrance Committee Member in Program Committee within the PAINT-track
Ethan BoveBove, Ethan Brown University Forge: A Tool and Language for Teaching Formal Methods
William J. BowmanBowman, William J. University of British ColumbiaCanada A low-level look at A-normal form Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gilad BrachaBracha, Gilad F5United States DocuApps: Ampleforth Documents as Applications Interview with Alan Kay Apps and their Stores: An Alternative History
Michelle BrachmanBrachman, Michelle IBM ResearchUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Qualifying System F-sub Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IWACO-track
Nate BraggBragg, Nate Tufts UniversityUnited States Scimitar: Functional Programs as Optimization Problems
João Braz FerreiraBraz Ferreira, João LASIGE, University of LisbonPortugal Video Chair in Organizing Committee for SPLASH 2024
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN) Committee Member in Program Committee within the IWACO-track
Benjamin BrockBrock, Benjamin Parallel Computing Lab (PCL), Intel UniSparse: An Intermediate Language for General Sparse Format Customization
David BromanBroman, David KTH Royal Institute of TechnologySweden Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions Author in Program Committee within the GPCE-track
James BrotherstonBrotherston, James Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Hugo BruneliereBruneliere, Hugo IMT Atlantique, LS2N (UMR CNRS 6004)France Towards an In-context LLM-based Approach for Automating the Definition of Model Views
Roberto BruniBruni, Roberto University of PisaItaly Committee Member in Program Committee within the SAS -track
Stefan BrunthalerBrunthaler, Stefan μCSRL, CODE Research Institute, University of the Bundeswehr MunichGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Dennis BrylowBrylow, Dennis Marquette University MiniJava on RISC-V: A Game of Global Compilers Domination Dennis's talk Committee Member in Program Committee within the JENSFEST-track
Paul BucciBucci, Paul University of British Columbia Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur
Brandt BucherBucher, Brandt MicrosoftUnited States A tour of CPython's runtime
Zoran BudimlicBudimlic, Zoran Texas A&M University Concurrent Collections: An Overview
Alexandra BugariuBugariu, Alexandra Max Planck Institute for Software Systems (MPI-SWS)Germany Committee Member in Review Committee within the SPLASH OOPSLA-track
Lola BurgueñoBurgueño, Lola University of MalagaSpain Committee Member in Steering Committee within the SLE-track
Andrew ButtButt, Andrew Cornell University Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track
Lukas BöhmeBöhme, Lukas Hasso Plattner Institute, University of Potsdam, Potsdam, GermanyGermany Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory Programming
Noah BühlmannBühlmann, Noah University of Bern Automated Generation of Code Contracts - Generative AI to the Rescue?
C Joanna C. S. SantosC. S. Santos, Joanna University of Notre DameUnited States Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
José Pablo CambroneroCambronero, José Pablo Google, USAUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs Committee Member in Reviewers within the SPLASH Student Research Competition-track
Simone CampanoniCampanoni, Simone Northwestern UniversityUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Eric CampbellCampbell, Eric Cornell UniversityUnited States Computing Precise Control Interface Specifications
Marco CampionCampion, Marco INRIA & École Normale Supérieure \| Université PSLFrance Session Chair of Radhia Cousot Award and SAS24 Business Meeting (part of SAS ) Session Chair of Machine Learning and Neural networks (part of SAS ) Session Chair of Machine learning and Neural networks (part of SAS ) Quantitative Static Timing Analysis Artifact Evaluation Chair in Organizing Committee within the SAS -track Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Laura CanaiaCanaia, Laura On the Role of Cognizance in Responsibility
Yiyuan CaoCao, Yiyuan Peking University Semantics Lifting for Syntactic Sugar
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Quantum Control Machine: The Limits of Control Flow in Quantum Programming Distributions for Compositionally Differentiating Parametric Discontinuities
Denis CarnierCarnier, Denis KU LeuvenBelgium Type Inference Logics
Federico CassanoCassano, Federico Northeastern University Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper) Committee Member in Program Committee within the IWACO-track Committee Member in Program Committee within the SLE-track
Jonathan CastelloCastello, Jonathan University of California, Santa CruzUnited States Inductive diagrams for causal reasoning
Joel CastroCastro, Joel University of California, Berkeley Understanding Program Visualizations in the Wild
Gizem CaylakCaylak, Gizem KTH Royal Institute of Technology Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Burcu CetinCetin, Burcu Columbia University Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Student Volunteer Co-Chair in Organizing Committee for SPLASH 2024 PhD Life Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
Zaak ChalalChalal, Zaak RedFabriQ/MobioosFrance An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States Steering Committee Member in Steering Committee for SPLASH 2024 OOPSLA Review Committee Co-Chair in Organizing Committee for SPLASH 2024 Session Chair of Formal Methods 2 (part of SPLASH OOPSLA) Co-chair in Review Committee within the SPLASH OOPSLA-track
Jiwon ChangChang, Jiwon University of Rochester CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
Prasanth ChatarasiChatarasi, Prasanth IBM ResearchUnited States Navigating the Frontier of EDDO-Based Accelerators: Programming and Code Optimization Challenges
Krishnendu ChatterjeeChatterjee, Krishnendu IST AustriaAustria Quantitative Bounds on Resource Usage of Probabilistic Programs
Abha ChaudharyChaudhary, Abha Binghamton UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Swarat ChaudhuriChaudhuri, Swarat University of Texas at AustinUnited States Weighted Context-Free-Language Ordered Binary Decision Diagrams
Ethan ChenChen, Ethan University of Rochester CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
Hongzheng ChenChen, Hongzheng Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jinbao ChenChen, Jinbao University of Science and Technology of China MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) New York University, University of AlbertaUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Junjie ChenChen, Junjie Tianjin UniversityChina Dependency-aware Code Naturalness
Liqian ChenChen, Liqian National University of Defense TechnologyChina FPCC: Detecting Floating-Point Errors via Chain Conditions Committee Member in Program Committee within the SAS -track
Meng-Hung ChenChen, Meng-Hung National Cheng Kung University Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Mingshuai ChenChen, Mingshuai Zhejiang UniversityChina Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Qian ChenChen, Qian Nanjing UniversityChina Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qianfan ChenChen, Qianfan Brown University Forge: A Tool and Language for Teaching Formal Methods
Qinlin ChenChen, Qinlin Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sheng ChenChen, Sheng University of Louisiana at Lafayette Committee Member in Review Committee within the SPLASH OOPSLA-track
Yanbin ChenChen, Yanbin TUM School of Computation, Information and Technology, Technical University of MunichGermany Committee Member in Program Committee within the NSAD-track
Yen-Fu ChenChen, Yen-Fu National Cheng Kung University Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Yixuan ChenChen, Yixuan Yale UniversityUnited States Compositionality and Observational Refinement for Linearizability with Crashes
Zhe ChenChen, Zhe Nanjing University of Aeronautics and AstronauticsChina Design and Implementation of an Aspect-Oriented C Programming Language
Ellie Y. ChengCheng, Ellie Y. MITUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Luyu ChengCheng, Luyu Hong Kong University of Science and TechnologyHong Kong SAR China Diff-based interactive compiler debugging and testing The Ultimate Conditional Syntax
Shigeru ChibaChiba, Shigeru University of TokyoJapan GPCE24 Closing GPCE24 Opening Reducing Write Barrier Overheads for Orthogonal Persistence Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript AI Effects on Research and Education: A Programming and Software Language Perspective Committee Member in Review Committee within the SPLASH OOPSLA-track General Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Luca ChiodiniChiodini, Luca USI LuganoSwitzerland Judicious: API Documentation for Novices
Andrei ChişChiş, Andrei feenk.comSwitzerland Example-driven development: bridging tests and documentation Moldable Exceptions Publicity Chair, Web Chair in Organizing Committee within the SLE-track
Chanhee ChoCho, Chanhee Carnegie Mellon UniversityUnited States Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Kyeongmin ChoCho, Kyeongmin KAISTSouth Korea Quantum Probabilistic Model Checking for Time-Bounded Properties
Yebin ChonChon, Yebin Princeton University PROMPT: A Fast and Extensible Memory Profiling Framework
Stephen ChongChong, Stephen Harvard UniversityUnited States Making Formulog Fast: An Argument for Unconventional Datalog Evaluation Committee Member in Program Committee within the SLE-track
Romit Roy ChowdhuryChowdhury, Romit Roy Chennai Mathematical Institute Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Benjamin ChungChung, Benjamin University of Washington Use Site Checking Considered Harmful
Luke ChurchChurch, Luke University of Cambridge \| Candela IncUnited Kingdom Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Siobhán ClarkeClarke, Siobhán Trinity College Dublin, IrelandIreland Committee Member in Program Committee within the SPLASH Onward! Essays-track
Sylvan ClebschClebsch, Sylvan Microsoft Azure ResearchUnited States Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper)
Sylvan ClebschClebsch, Sylvan Imperial College London Committee Member in Review Committee within the SPLASH OOPSLA-track
Ian ClesterClester, Ian Georgia Institute of TechnologyUnited States TAPE: From direct to programmatic and back
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States DEI Chair in Organizing Committee for SPLASH 2024 Session Chair of Software Engineering (part of SPLASH OOPSLA) Session Chair of Keynote (part of HATRA) Newcomer's coffee Mentor in Mentors within the SPLASH PLMW-track Committee Member in Review Committee within the SPLASH OOPSLA-track Organizing Chair in Organizing Committee within the HATRA-track
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States Hidden assumptions in static verification of data-race free GPU programs Sound and partially-complete static analysis of data-races in GPU programs
Christian CollbergCollberg, Christian University of Arizona Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Elias Rojas CollinsCollins, Elias Rojas MIT Automatic Local Inverse Calculation for Change of Variables Distributions for Compositionally Differentiating Parametric Discontinuities
Benoit CombemaleCombemale, Benoit University of Rennes, Inria, CNRS, IRISAFrance Session Chair of Empirical Studies and Experience Reports (part of SLE) There Is Only One Time in Software (Language) Engineering! Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Jason CongCong, Jason UCLA Jason Cong (UCLA)
Youyou CongCong, Youyou Institute of Science TokyoJapan Committee Member in Review Committee within the SPLASH OOPSLA-track
Mary Rose CookCook, Mary Rose United States Committee Member in Program Committee within the SPLASH Onward! Papers-track
Lucas C. CordeiroCordeiro, Lucas C. University of Manchester, UK and Federal University of Amazonas, BrazilUnited Kingdom Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Arthur CorrensonCorrenson, Arthur CISPA Helmholtz Center for Information Security Finding ∀∃ Hyperbugs Using Symbolic Execution
Agostino CortesiCortesi, Agostino Ca’ Foscari University of VeniceItaly Towards a High Level Linter for Data Science Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Rosilde CorvinoCorvino, Rosilde TNO-ESI Concrete Syntax Metapatterns
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps
Lázaro CostaCosta, Lázaro Faculty of Engineering, University of Porto & HASLab/INESCPortugal Committee Member in Artifact Evaluation Committee within the SLE-track
Nicholas CoughlinCoughlin, Nicholas Defence Science and Technology Group, Australia Lift-offline: Instruction Lifter Generators
Patrick CousotCousot, Patrick Session Chair of Authorisation and responsibility (part of SAS )
Jos CraaijoCraaijo, Jos Open Universiteit libLISA: Instruction Discovery and Analysis on x86-64
Donovan CrichtonCrichton, Donovan The Australian National UniversityAustralia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Will CrichtonCrichton, Will Brown UniversityUnited States Session Chair of Papers 1 (part of HATRA) Visualizing and Explaining Rust's Ownership Model
Will CrichtonCrichton, Will Brown UniversityUnited States Profiling Programming Language Learning Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Will CrichtonCrichton, Will Brown UniversityUnited States Organizing Chair in Organizing Committee within the HATRA-track
Will CrichtonCrichton, Will Brown UniversityUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Leyi CuiCui, Leyi Columbia University, New YorkUnited States Towards a Formal Approach to the Analysis of Human-Machine Interaction
Simão CunhaCunha, Simão University of MinhoPortugal Trading Runtime for Energy Efficiency
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Charlie CuttingCutting, Charlie Brown University Forge: A Tool and Language for Teaching Formal Methods
D Giordano d'Aloisiod'Aloisio, Giordano University of L'AquilaItaly Committee Member in Artifact Evaluation Committee within the SLE-track
Loris D'AntoniD'Antoni, Loris UCSDUnited States Session Chair of Machine Learning and Programming Languages (part of SPLASH OOPSLA)
Loris D'AntoniD'Antoni, Loris University of Wisconsin-Madison Automatically Reducing Privilege for Access Control Policies Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs Synthesizing Formal Semantics from Executable Interpreters Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Feng DaiDai, Feng The University of Tokyo Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly On the Role of Cognizance in Responsibility
Mads DamDam, Mads KTH HOL4P4: mechanized small-step semantics for P4
Olivier DanvyDanvy, Olivier Yale-NUS College and School of Computing, SingaporeSingapore Nested Summations
David DaraisDarais, David GaloisUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland Hypra: A Deductive Program Verifier for Hyper Hoare Logic
Shiva DarianDarian, Shiva University of Colorado Boulder Metamorphic Debugging for Accountable Software
Anthony DarioDario, Anthony University of OregonUnited States A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
Pratyush DasDas, Pratyush Purdue University Specializing Data Access in a Distributed File System (Generative Pearl)
Charles de Harode Haro, Charles ENS RennesFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Juan de Larade Lara, Juan Autonomous University of MadridSpain Committee Member in Steering Committee within the SLE-track
Markus de Medeirosde Medeiros, Markus New York UniversityUnited States Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Steering Committee Chair in Steering Committee within the GPCE-track Author in Program Committee within the GPCE-track
Paulo Emílio de Vilhenade Vilhena, Paulo Emílio Imperial College London Extending the C/C++ Memory Model with Inline Assembly
Shirley de Witde Wit, Shirley Delft University of Technology Gender Differences in Story, Game and Visual Adventures in Hedy
Thomas DegueuleDegueule, Thomas CNRSFrance Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Jasper DekoninckDekoninck, Jasper ETH Zurich Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Thomas Del VecchioDel Vecchio, Thomas Brown UniversityUnited States Forge: A Tool and Language for Teaching Formal Methods
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Session Chair of Program Synthesis and Verification 1 (part of SPLASH OOPSLA) Session Chair of Formal Methods 1 (part of SPLASH OOPSLA) Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation Committee Member in Review Committee within the SPLASH OOPSLA-track
David DelmasDelmas, David AirbusFrance Committee Member in Program Committee within the SAS -track
Yinlin DengDeng, Yinlin University of Illinois at Urbana-ChampaignUnited States WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Ankush DesaiDesai, Ankush Amazon Web ServicesUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Philip DexterDexter, Philip SUNY BinghamtonUnited States A Runtime System for Interruptible Query Processing -- When Incremental Computing Meets Fine-Grained Parallelism
Omkar Dilip DhawalDhawal, Omkar Dilip Indian Institute of Technology MadrasIndia Reducing Write Barrier Overheads for Orthogonal Persistence
Alessandra Di PierroDi Pierro, Alessandra University of VeronaItaly Abstracting Entanglement Static Analysis of Quantum Programs
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Committee Member in Steering Committee within the SLE-track
Luca Di StefanoDi Stefano, Luca Technische Universität WienAustria Committee Member in Program Committee within the NSAD-track
Peng DiDi, Peng Ant GroupChina Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks
Adhitha DiasDias, Adhitha Purdue University, USAUnited States SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
Oscar DiazDiaz, Oscar University of the Basque Country, Spain Committee Member in Program Committee within the GPCE-track
Robert DickersonDickerson, Robert Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Werner DietlDietl, Werner University of WaterlooCanada Committee Member in Review Committee within the SPLASH OOPSLA-track
Wilco DijkstraDijkstra, Wilco Arm Ltd Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Dimitar DimitrovDimitrov, Dimitar INSAIT, Sofia University Modular Synthesis of Efficient Quantum Uncomputation
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States Gradually Typed Languages Should Be Vigilant!
Elizabeth DinellaDinella, Elizabeth Bryn Mawr College Committee Member in Program Committee within the SAS -track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Boyao DingDing, Boyao University of Science and Technology of China MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Shuo DingDing, Shuo Georgia Institute of TechnologyUnited States The Normalization Barrier Revisited Retrieving Unknown SMT Formulas via Structural Mutations Automatically Reducing Privilege for Access Control Policies Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Yangruibo DingDing, Yangruibo Columbia UniversityUnited States CYCLE: Learning to Self-Refine the Code Generation
Zijian DingDing, Zijian UCLA UniSparse: An Intermediate Language for General Sparse Format Customization
Craig DisselkoenDisselkoen, Craig Amazon Web Services Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Greta DolcettiDolcetti, Greta Ca’ Foscari University of VeniceItaly Towards a High Level Linter for Data Science Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Pierre Donat-BouilludDonat-Bouillud, Pierre Czech Technical University in PragueCzechia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Robustness Verification of Multi-Label Neural Network Classifiers Verification of Neural Networks' Global Robustness Committee Member in Review Committee within the SPLASH OOPSLA-track
Georgios-Petros DrososDrosos, Georgios-Petros ETH ZurichSwitzerland When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Steering Committee Member in Steering Committee for SPLASH 2024
Cezara DrăgoiDrăgoi, Cezara AWS / ENS Committee Member in Review Committee within the SPLASH OOPSLA-track
Charles DuanDuan, Charles Challenges and Idiosyncrasies of Managing Legal Citations Committee Member in Program Committee within the ProLaLa-track
Christophe DubachDubach, Christophe McGill UniversityCanada Author in Program Committee within the GPCE-track
Patrick DubroyDubroy, Patrick WebAssembly from the Ground UpGermany Committee Member in Program Committee within the SPLASH Onward! Papers-track
Tristan DyerDyer, Tristan Brown UniversityUnited States Forge: A Tool and Language for Teaching Formal Methods
Lukas DöllererDöllerer, Lukas TU MunichGermany Performant Bounds Checking for 64-Bit WebAssembly
E Jonathan EdwardsEdwards, Jonathan IndependentUnited States Onward! Papers PC Chair in Organizing Committee for SPLASH 2024 The Meaning of LIVE Onward! Conclusion Onward! introduction Committee Member in Program Committee within the PAINT-track PC Chair in Program Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Zachary EisbachEisbach, Zachary Northeastern UniversityUnited States Realistic Realizability: Specifying ABIs You Can Count On
Aaron ElineEline, Aaron Amazon Web ServicesUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Youssef ElmougyElmougy, Youssef Georgia Institute of Technology, USA On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
Martin ElsmanElsman, Martin University of CopenhagenDenmark AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Mehmet EmreEmre, Mehmet University of San FranciscoUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique Scenario-based Proofs for Concurrent Objects Reward Augmentation in Reinforcement Learning for Testing Distributed Systems Model Checking Distributed Protocols in Must
Alexis EngelkeEngelke, Alexis TU MunichGermany Performant Bounds Checking for 64-Bit WebAssembly HiPy: Extracting High-Level Semantics From Python Code For Data Processing
Haggai EranEran, Haggai NVIDIA Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Taming Unsoundness with Gradual Abstract Interpretation Separate Compilation and Partial Linking: Modules for Datalog IR SIGPLAN-M lunch AUTOINC: Incrementality for Free Object-Oriented Fixpoint Programming with Datalog SIGPLAN-M Introduction A Typed Multi-Level Datalog IR and its Compiler Framework Committee Member in Steering Committee within the GPCE-track Author in Program Committee within the GPCE-track
Julian ErhardErhard, Julian LMU Munich; TU MunichGermany C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Martin ErwigErwig, Martin Oregon State UniversityUnited States Author in Program Committee within the GPCE-track Committee Member in Steering Committee within the SLE-track
Mahdi EslamimehrEslamimehr, Mahdi Quandary Peak ResearchUnited States Committee Member in Program Committee within the JENSFEST-track
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal Video Chair in Organizing Committee for SPLASH 2024
Sam EstepEstep, Sam Carnegie Mellon UniversityUnited States Large Language Models for Executable Tax Code Generation
Christopher EsterhuyseEsterhuyse, Christopher University of AmsterdamNetherlands Cooperative Specification via Composition Control
Elliot EvansEvans, Elliot PolytopeCanada Live Programming a Live Programming Environment: An Experience Report
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jeffrey EymerEymer, Jeffrey SUNY Binghamton A Runtime System for Interruptible Query Processing -- When Incremental Computing Meets Fine-Grained Parallelism
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal PLMW Co-Chair in Organizing Committee for SPLASH 2024 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Luis F. GomesF. Gomes, Luis Carnegie Mellon UniversityPortugal Student Volunteer Co-Chair in Organizing Committee for SPLASH 2024 Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
Nicolas FarabegoliFarabegoli, Nicolas University of Bologna Committee Member in Artifact Evaluation Committee within the SLE-track
Umar FarooqFarooq, Umar Louisiana State UniversityUnited States Publicity Co-Chair, Web Co-Chair in Organizing Committee for SPLASH 2024
Alexandra (Sasha) FedorovaFedorova, Alexandra (Sasha) University of British ColumbiaCanada Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur
Marc FeeleyFeeley, Marc Université de MontréalCanada The Design of a Self-Compiling C Transpiler Targeting POSIX Shell Committee Member in Program Committee within the SLE-track
Molly Q FeldmanFeldman, Molly Q Oberlin CollegeUnited States Session Chair of Welcome to PLMW! (part of SPLASH PLMW) Session Chair of Context & Next Steps (part of SPLASH PLMW) Session Chair of Post-PhD & Mentoring (part of SPLASH PLMW) Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the SPLASH Onward! Essays-track
Gary FengFeng, Gary University of Waterloo Persimmon: Nested Family Polymorphism with Extensible Variant Types
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Eduardo FernandesFernandes, Eduardo Mackenzie Presbyterian UniversityBrazil Committee Member in Artifact Evaluation Committee within the SLE-track
João Paulo FernandesFernandes, João Paulo LIACC, Universidade do Porto, Porto, PortugalPortugal Trading Runtime for Energy Efficiency
Pietro FerraraFerrara, Pietro Ca’ Foscari University of VeniceItaly Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Jonas FialaFiala, Jonas ETH Zürich Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Nathaniel Wesley FilardoFilardo, Nathaniel Wesley Microsoft Intensional Functions
Antonio FilieriFilieri, Antonio AWS and Imperial College LondonUnited States Committee Member in Program Committee within the SAS -track
Bernd FinkbeinerFinkbeiner, Bernd CISPA Helmholtz Center for Information SecurityGermany Finding ∀∃ Hyperbugs Using Symbolic Execution
Prof. Fiona PolackFiona Polack, Prof. University of HullUnited Kingdom Committee Member in Program Committee within the SLE-track
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Al FisherFisher, Al Buro Happold Programming Languages for the Future of Design Computation
Matthew FlattFlatt, Matthew University of UtahUnited States Session Chair of Language-Specific Research (part of SPLASH OOPSLA) Session Chair of Performance Analysis and Optimisation 2 (part of SPLASH OOPSLA) DSLs in Racket: You Want It How, Now? Committee Member in Review Committee within the SPLASH OOPSLA-track Author in Program Committee within the GPCE-track
Alcides FonsecaFonseca, Alcides LASIGE; University of LisbonPortugal Publicity Co-Chair, Web Co-Chair in Organizing Committee for SPLASH 2024 Author in Program Committee within the GPCE-track
Jack FordenForden, Jack Marquette UniversityUnited States MiniJava on RISC-V: A Game of Global Compilers Domination
Niklas ForsFors, Niklas Lund UniversitySweden Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Steering Committee Member in Steering Committee for SPLASH 2024 Scimitar: Functional Programs as Optimization Problems
Nate FosterFoster, Nate Cornell University and Jane StreetUnited States Computing Precise Control Interface Specifications
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Justin FrankFrank, Justin University of Maryland, College Park Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Daniel FranklinFranklin, Daniel Toronto Metropolitan University Inlined Code Generation for Smalltalk
Anders FreemanFreeman, Anders Wellesley College Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Teodoro FreundFreund, Teodoro Huawei Research Centre Effect handlers for C via coroutines
Aymeric FromherzFromherz, Aymeric InriaFrance CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution StarMalloc: Verifying a Modern, Hardened Memory Allocator
Damian FrölichFrölich, Damian University of AmsterdamNetherlands On the Soundness of Auto-Completion Services for Dynamically Typed Languages
Hugo FéréeFérée, Hugo University of Kent, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Sensitivity by Parametricity
Richard P. GabrielGabriel, Richard P. PoetUnited States AI: Winter of Our Discontent
Catarina GamboaGamboa, Catarina Carnegie Mellon University and LASIGE, University of LisbonPortugal Student Volunteer Co-Chair in Organizing Committee for SPLASH 2024 Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
Joshua GancherGancher, Joshua Northeastern UniversityUnited States FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
Cunyuan GaoGao, Cunyuan HKUST Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)
Andrés M. GarcedGarced, Andrés M. Grammar Derivation Visualization in Automata Theory
Antonio Garcia-DominguezGarcia-Dominguez, Antonio University of YorkUnited Kingdom Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels
Deepak GargGarg, Deepak MPI-SWSGermany A modal type-theory of expected cost in higher-order probabilistic programs
Poorva GargGarg, Poorva University of California, Los AngelesIndia PhD Life Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track
Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of WellingtonNew Zealand MeDeTy: An Unsound Object Based Encoding of Propositions as Types
Matthew GaudetGaudet, Matthew MozillaCanada JavaScript virtual machine evolution
Matthew GaudetGaudet, Matthew MozillaCanada PC Member in Program Committee within the VMIL-track
Zhaoyi GeGe, Zhaoyi University of WaterlooCanada Lexical Effect Handlers, Directly
Alexander GebhardGebhard, Alexander Marquette UniversityUnited States MiniJava on RISC-V: A Game of Global Compilers Domination
Luke GeesonGeeson, Luke University College LondonUnited Kingdom Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Timon GehrGehr, Timon ETH ZurichSwitzerland Modular Synthesis of Efficient Quantum Uncomputation
Thomas GenetGenet, Thomas IRISA, Univ RennesFrance Verification of programs with ADTs using Shallow Horn Clauses
Aina Linn GeorgesGeorges, Aina Linn Max Planck Institute for Software Systems (MPI-SWS) Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly
Arkadii GerasimovGerasimov, Arkadii RWTH Aachen University Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries
Kimball GermaneGermane, Kimball Brigham Young UniversityUnited States Full Control-Flow Sensitivity for Definitional Interpreters
Jakob GetzGetz, Jakob University of Stuttgart Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Karim GhallabGhallab, Karim RedFabriQ An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
Lorenzo GheriGheri, Lorenzo University of LiverpoolUnited Kingdom Committee Member in Reviewers within the SPLASH Student Research Competition-track
Dan GhicaGhica, Dan HuaweiUnited Kingdom Effect handlers for C via coroutines
Rebecca GhidiniGhidini, Rebecca TU MunichGermany C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Adrien GhosnGhosn, Adrien Microsoft Research Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Session Chair of System level analysis (part of SAS ) Session Chair of Radhia Cousot Award and SAS24 Business Meeting (part of SAS ) Session Chair of Modularity and Memory Analysis (part of SAS ) Program Chair in Organizing Committee within the SAS -track PC Chair in Program Committee within the SAS -track
Dimitra GiannakopoulouGiannakopoulou, Dimitra Amazon Web Services Model Checking Distributed Protocols in Must
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Associate Chair in Review Committee within the SPLASH OOPSLA-track
Jana GicevaGiceva, Jana Technical University of Munich HiPy: Extracting High-Level Semantics From Python Code For Data Processing
Olek GierczakGierczak, Olek Northeastern University Gradually Typed Languages Should Be Vigilant!
Seth GilbertGilbert, Seth National University of Singapore Concurrent Data Structures Made Easy
Elena GlassmanGlassman, Elena Harvard UniversityUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Milos GligoricGligoric, Milos The University of Texas at AustinUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Gwihwan GoGo, Gwihwan Tsinghua University PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Amit GoelGoel, Amit AWSUnited States Automatically Reducing Privilege for Access Control Policies
Marcel GoethalsGoethals, Marcel Ink&SwitchNetherlands Inkling: Sketching Dynamic Systems Subsequently: Telling stories with pictures makes programs
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong Fast and Optimal Extraction for Sparse Equality Graphs Quantitative Bounds on Resource Usage of Probabilistic Programs Committee Member in Review Committee within the SPLASH OOPSLA-track
Olivier GolettiGoletti, Olivier ICTEAM, UCLouvainBelgium An Observational Study of Undergraduate Teaching Assistants' use of Subgoal Learning Integrated in an Introductory Programming Course
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Olohi Goodness JohnGoodness John, Olohi Smith College Understanding Program Visualizations in the Wild
Rahul GopinathGopinath, Rahul University of SydneyAustralia Committee Member in Review Committee within the SPLASH OOPSLA-track
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore DSLs in Racket: You Want It How, Now? Concurrent Data Structures Made Easy
Colin GordonGordon, Colin Drexel UniversityUnited States Java Method-Local Inner Classes are Unsound Capabilities, Effects, Ownership, and Behaviors The Linguistics of Programming Mocking Temporal Logic Committee Member in Review Committee within the SPLASH OOPSLA-track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Session Chair of Radhia Cousot Award and SAS24 Business Meeting (part of SAS ) Program Co-Chair in Organizing Committee within the SAS -track Co-chair in Program Committee within the SAS -track
Hemant GouniGouni, Hemant Carnegie Mellon University, Pittsburgh, Pennsylvania, United StatesUnited States Substructural Information Flow via Polymorphism
Pierre GoutagnyGoutagny, Pierre Inria and University of LilleFrance CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution
John GouwarGouwar, John Northeastern UniversityUnited States Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Oliver GrafGraf, Oliver ETH Zurich The Hidden Program State Hurts Everyone
Jeff GrayGray, Jeff University of Alabama Committee Member in Steering Committee within the GPCE-track Committee Member in Steering Committee within the SLE-track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Making Formulog Fast: An Argument for Unconventional Datalog Evaluation Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Ben GreenmanGreenman, Ben University of UtahUnited States Toward a Corpus Study of the Dynamic Gradual Type Forge: A Tool and Language for Teaching Formal Methods Committee Member in Program Committee within the HATRA-track
Simon Oddershede GregersenGregersen, Simon Oddershede New York UniversityUnited States Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Benjamin GregoireGregoire, Benjamin INRIA Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Gabor GreifGreif, Gabor DFINITYGermany Smarter Contract Upgrades with Orthogonal Persistence
Sandra GreinerGreiner, Sandra University of Southern DenmarkDenmark Automated Generation of Code Contracts - Generative AI to the Rescue? Committee Member in Program Committee within the GPCE-track
Frithjof GressmannGressmann, Frithjof Learning to harness in-vitro biological neural networks
Matt GriffinGriffin, Matt University of SurreyUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
James GrimmelmannGrimmelmann, James Cornell University A Conversation with Matthew Butterick Committee Member in Program Committee within the ProLaLa-track Committee Member in Organizing Committee within the ProLaLa-track
Alex GroceGroce, Alex Northern Arizona UniversityUnited States (Programs), Proofs and Refutations (and Tests and Mutants)
Tobias GrosserGrosser, Tobias University of Cambridge, UKUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Max GrossmanGrossman, Max Rice University, USA Max Grossman (Cruise)
Shelly GrossmanGrossman, Shelly Tel Aviv University Practical Verification Of Smart Contracts Using Memory Splitting
Christian GrothoffGrothoff, Christian Bern University of Applied SciencesGermany Lost and Found in the Fog of Trust Committee Member in Program Committee within the JENSFEST-track
David GroveGrove, David IBM ResearchUnited States Steering Committee Member in Steering Committee for SPLASH 2024
Anvay GroverGrover, Anvay University of Wisconsin-MadisonUnited States Synthesizing Formal Semantics from Executable Interpreters
Long GuGu, Long State Key Laboratory for Novel Software Technology, Nanjing University Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels
Zhichao GuanGuan, Zhichao Peking University Semantics Lifting for Syntactic Sugar
Roberto GuancialeGuanciale, Roberto KTH Royal Institute of TechnologySweden HOL4P4: mechanized small-step semantics for P4
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain Committee Member in Program Committee within the SLE-track
Arjun GuhaGuha, Arjun Northeastern University; RobloxUnited States Session Chair of Education and Language Usability (part of SPLASH OOPSLA) Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Sumit GulwaniGulwani, Sumit MicrosoftUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Shu-yu GuoGuo, Shu-yu GoogleUnited States JavaScript virtual machine evolution
Rajiv GuptaGupta, Rajiv University of California at Riverside (UCR)United States Session Chair of Pre-lunch Session (part of VIVEKFEST) Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg) Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the VIVEKFEST-track
Sankha Narayan GuriaGuria, Sankha Narayan University of KansasUnited States Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2024 Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Christophe GyurgyikGyurgyik, Christophe Stanford University Compilation of Shape Operators on Sparse Arrays
Tudor GîrbaGîrba, Tudor feenk.com Example-driven development: bridging tests and documentation Moldable Exceptions Committee Member in Program Committee within the LIVE-track
Pablo Gómez-AbajoGómez-Abajo, Pablo Universidad Autónoma de MadridSpain Committee Member in Artifact Evaluation Committee within the SLE-track
Karl M. GöschkaGöschka, Karl M. UAS Technikum Wien Run, Build and Grow Small Systems Without Leaving Your Text Editor
H Thomas HaasHaas, Thomas TU BraunschweigGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Darion HaaseHaase, Darion RWTH Aachen University Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Andrew HabibHabib, Andrew ABB Corporate Research, GermanyGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sebastian HackHack, Sebastian Saarland University, Saarland Informatics CampusGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Shashin HalalingaiahHalalingaiah, Shashin UT Austin, IIT MadrasUnited States The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the IWACO-track
Cassandre HamelHamel, Cassandre Université de Montréal The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
Sara S. HamoudaHamouda, Sara S. GoogleAustralia PC Member in Program Committee within the VMIL-track
Yu HaoHao, Yu University of California at Riverside, USAUnited States Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Robert HarrisonHarrison, Robert Concurrent Collections: An Overview
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland Judicious: API Documentation for Novices
Akihiro HayashiHayashi, Akihiro Georgia Institute of TechnologyUnited States Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
Fei HeHe, Fei Tsinghua UniversityChina Committee Member in Review Committee within the SPLASH OOPSLA-track
Shaobo HeHe, Shaobo Amazon Web ServicesUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Yang HeHe, Yang Simon Fraser University VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Andrew HeadHead, Andrew University of Pennsylvania Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Kyle HeadleyHeadley, Kyle Unaffiliated Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Görel HedinHedin, Görel Lund UniversitySweden Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis Committee Member in Program Committee within the SLE-track
Nicole HeinimannHeinimann, Nicole Technische Universität BerlinGermany Video Chair in Organizing Committee for SPLASH 2024
Brian HempelHempel, Brian UCSD Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
Juhan Oskar HennosteHennoste, Juhan Oskar University of Tartu Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the SAS -track Committee Member in Review Committee within the SPLASH OOPSLA-track
Ben HermannHermann, Ben TU DortmundGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Felienne HermansHermans, Felienne Vrije Universiteit AmsterdamNetherlands SPLASH-E Co-Chair in Steering Committee for SPLASH 2024 SPLASH-E Co-Chair in Organizing Committee for SPLASH 2024 AI Effects on Research and Education: A Programming and Software Language Perspective Gender Differences in Story, Game and Visual Adventures in Hedy Roles of Variables in the Hedy programming language A Word About Programming: Applying a Natural Language Vocabulary Acquisition Model to Programming Education A Case for Feminism in Programming Language Design An Observational Study of Undergraduate Teaching Assistants' use of Subgoal Learning Integrated in an Introductory Programming Course SPLASH-E Co-Chair in Program Commitee within the SPLASH -E-track
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Session Chair of Automatising Program Analysis (part of SAS ) An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants
Oscar HernandezHernandez, Oscar ORNL Scalable Small Message Aggregation on Modern Interconnects Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
Michael HicksHicks, Michael Amazon Web Services and the University of MarylandUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Hans-Dieter HiepHiep, Hans-Dieter Amazon Web ServicesUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Kesha HietalaHietala, Kesha Amazon Web ServicesUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Thomas T. HildebrandtHildebrandt, Thomas T. University of CopenhagenDenmark Committee Member in Program Committee within the ProLaLa-track
Nikolaj Hey HinnerskovHinnerskov, Nikolaj Hey DIKU, University of Copenhagen AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg Aarhus University, DenmarkDenmark Multris: Functional Verification of Multiparty Message Passing in Separation Logic
Konrad HinsenHinsen, Konrad CNRS Redressing the balance: a yin-yang perspective on information technology
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute; University of PotsdamGermany Steering Committee Member in Steering Committee for SPLASH 2024 Supporting Construction of Domain-Specific Representations in Textual Source Code Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory Programming Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Programmable MCMC with Soundly Composed Guide Programs
Hossein HojjatHojjat, Hossein Tehran Institute for Advanced Studies (TeIAS)Iran Computing Precise Control Interface Specifications
Celeste HollenbeckHollenbeck, Celeste University of Edinburgh Hot Call-Chain Inlining for the Glasgow Haskell Compiler
Karoliine HolterHolter, Karoliine University of Tartu, EstoniaEstonia Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Reclaiming the Unexplored in Hybrid Visual Programming Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Wolf HonoreHonore, Wolf Yale University AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Jesse HoobergsHoobergs, Jesse KU LeuvenBelgium ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises
Joshua HorowitzHorowitz, Joshua University of WashingtonUnited States Welcome & Opening Definitions and Dimensions of Liveness Closing & Farewell Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the LIVE-track
Tony HoskingHosking, Tony Australian National UniversityAustralia Steering Committee Member in Steering Committee for SPLASH 2024 Session Chair of Program Synthesis and Verification 2 (part of SPLASH OOPSLA)
Weidong HouHou, Weidong Nanjing University Understanding and Finding Java Decompiler Bugs
Justin HsuHsu, Justin Cornell UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Nick HuHu, Nick University of OxfordUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiaowen HuHu, Xiaowen The University of Sydney Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
Yuefeng HuHu, Yuefeng The University of TokyoJapan Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Semantics Lifting for Syntactic Sugar
Ching-Chun HuangHuang, Ching-Chun National Cheng Kung UniversityTaiwan Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
Yuliang HuangHuang, Yuliang College of Intelligence and Computing, Tianjin University Dependency-aware Code Naturalness
Zunchen HuangHuang, Zunchen United States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Laurent HuberdeauHuberdeau, Laurent Université de Montréal The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
Lars HummelgrenHummelgren, Lars KTH Royal Institute of TechnologySweden Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Johannes HärtelHärtel, Johannes Vrije Universiteit (VU) AmsterdamNetherlands Committee Member in Program Committee within the SLE-track Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
I Jason IbrahimIbrahim, Jason DFINITY FoundationUnited States Smarter Contract Upgrades with Orthogonal Persistence
Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SLE-track
Lef IoannidisIoannidis, Lef University of PennsylvaniaUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Hiromu IshibeIshibe, Hiromu The University of Tokyo Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript
Jonas IskanderIskander, Jonas Harvard University Persimmon: Nested Family Polymorphism with Extensible Variant Types
Kanaru IsodaIsoda, Kanaru University of Tsukuba Type-Safe Code Generation With Algebraic Effects and Handlers
Anastasia IsychevIsychev, Anastasia TU WienAustria Committee Member in Program Committee within the SAS -track
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Committee Member in Review Committee within the SPLASH OOPSLA-track
Franjo IvancicIvancic, Franjo GoogleUnited States Committee Member in Program Committee within the SAS -track
Joe IzraelevitzIzraelevitz, Joe University of Colorodo Boulder Leroy: Library Learning for Imperative Programming Languages
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of Illinois at Urbana-ChampaignUnited States WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Dejice JacobJacob, Dejice University of GlasgowUnited Kingdom Committee Member in Organizing Committee within the VMIL-track PC Chair in Program Committee within the VMIL-track
Jules JacobsJacobs, Jules Cornell University Multris: Functional Verification of Multiparty Message Passing in Separation Logic
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models
Joakim JaldenJalden, Joakim KTH Royal Institute of Technology Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Suman JanaJana, Suman Columbia University Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Junyoung JangJang, Junyoung McGill UniversityCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Abhinav JangdaJangda, Abhinav Microsoft ResearchUnited States Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Nico JansenJansen, Nico Software Engineering, RWTH Aachen UniversityGermany Session Chair of Analysis and Optimization (part of SLE) Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries
Mohammad Mahdi JavanmardJavanmard, Mohammad Mahdi Stony Brook University, NY, USA Concurrent Collections: An Overview
Thomas P. JensenJensen, Thomas P. INRIA Rennes Session Chair of NSAD: Session 2 (part of NSAD) Verification of programs with ADTs using Shallow Horn Clauses Committee Member in Program Committee within the NSAD-track
Minseok JeonJeon, Minseok Korea UniversitySouth Korea Committee Member in Review Committee within the SPLASH OOPSLA-track
Seungmin JeonJeon, Seungmin KAISTSouth Korea Quantum Probabilistic Model Checking for Time-Bounded Properties
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States How to Design Talks
Ranjit JhalaJhala, Ranjit UCSD Refinement Type Refutations
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Speaker in Speakers & Panelists within the SPLASH PLMW-track
Kai JiJi, Kai Nanjing UniversityChina HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Limin JiaJia, Limin Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Songlin JiaJia, Songlin Purdue University, USAUnited States Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN)
Zhihao JiaJia, Zhihao Carnegie Mellon University Quarl: A Learning-Based Quantum Circuit Optimizer
Jiajun JiangJiang, Jiajun Tianjin UniversityChina Dependency-aware Code Naturalness
Yu JiangJiang, Yu Tsinghua UniversityChina PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Kevin JohansonJohanson, Kevin VESC:Towards Temporal Verification of Smart Contracts
Keith J.C. JohnsonJohnson, Keith J.C. University of Wisconsin–Madison Synthesizing Formal Semantics from Executable Interpreters Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Matthew JohnsonJohnson, Matthew Azure Research, Microsoft Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper)
Joost J. JoostenJoosten, Joost J. University of BarcelonaSpain Committee Member in Program Committee within the ProLaLa-track
Dhruti JoshiJoshi, Dhruti GoGuard: Efficient Static Blocking Bug Detection for Go
Vojin JovanovicJovanovic, Vojin Oracle LabsSwitzerland Yin-Yang: Concealing the Deep Embedding of DSLs
Ralf JungJung, Ralf ETH ZurichSwitzerland Rustlantis: Randomized Differential Testing of the Rust Compiler
Michael JungmairJungmair, Michael Technical University of Munich HiPy: Extracting High-Level Semantics From Python Code For Data Processing
K Anan KabahaKabaha, Anan Technion, Israel Institute of TechnologyIsrael Verification of Neural Networks' Global Robustness
Md Mahir Asef KabirKabir, Md Mahir Asef Virginia Tech Committee Member in Artifact Evaluation Committee within the SLE-track
Gail KaiserKaiser, Gail Columbia UniversityUnited States CYCLE: Learning to Self-Refine the Code Generation
Gowtham KakiKaki, Gowtham University of Colorado at BoulderUnited States SIGPLAN Track Chair in Organizing Committee for SPLASH 2024 Committee Member in Reviewers within the SPLASH Student Research Competition-track
Christian Gram KalhaugeKalhauge, Christian Gram Technical University of DenmarkDenmark Input Reduction with Reduction Trees Committee Member in Program Committee within the JENSFEST-track
Pankaj Kumar KalitaKalita, Pankaj Kumar IIT KanpurIndia Synthesizing Abstract Transformers for Reduced-Product Domains Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Type-Safe Code Generation With Algebraic Effects and Handlers Committee Member in Steering Committee within the GPCE-track
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Chan Gu KangKang, Chan Gu Korea UniversitySouth Korea Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification Quantum Probabilistic Model Checking for Time-Bounded Properties
Eunsuk KangKang, Eunsuk Carnegie Mellon UniversityUnited States tl;dr: Chill, y’all – AI will not devour SE
Jeehoon KangKang, Jeehoon KAISTSouth Korea Quantum Probabilistic Model Checking for Time-Bounded Properties
Hironori KasaharaKasahara, Hironori Waseda University, JapanJapan Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
John KastnerKastner, John Amazon Web ServicesUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology (AIST)Japan Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Martin KavalarKavalar, Martin Nextjournal Live Programming a Live Programming Environment: An Experience Report
Ryan KavanaghKavanagh, Ryan Université du Québec à Montréal (UQAM)Canada Message-Observing Sessions Committee Member in Reviewers within the SPLASH Student Research Competition-track
Tohma KawasumiKawasumi, Tohma Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
Alan KayKay, Alan Viewpoints Research InstituteUnited States Interview with Alan Kay
Matthew KeenanKeenan, Matthew University of Michigan Learner-Centered Design Criteria for Classroom Proof Assistants
Timo KehrerKehrer, Timo University of BernSwitzerland Automated Generation of Code Contracts - Generative AI to the Rescue?
Stephen KellKell, Stephen King's College LondonUnited Kingdom Session Chair of Onward! Papers (part of SPLASH Onward! Papers) Session Chair of Onward! Essays (part of SPLASH Onward! Essays) Source-level debugging of compiler-optimised code: ill-posed, but not impossible Committee Member in Steering Committee within the SPLASH Onward! Papers-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Sponsorship Co-Chair in Organizing Committee for SPLASH 2024
Oliwia KempinskiKempinski, Oliwia Using Computation Graphs to Explain Nondeterminism to Students Visualizing Composed Turing Machines
Philipp KernKern, Philipp Karlsruhe Institute of Technology (KIT)Germany Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations
Özgür KesimKesim, Özgür Freie Universität Berlin Lost and Found in the Fog of Trust
Ameya KetkarKetkar, Ameya UberUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Steven KeuchelKeuchel, Steven Vrije Universiteit BrusselBelgium Type Inference Logics
Faezeh KhorramKhorram, Faezeh Huawei TechnologiesFrance Committee Member in Program Committee within the SLE-track
Caleb KimKim, Caleb Massachusetts Institute of Technology (MIT)United States Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Jieung KimKim, Jieung Yonsei UniversitySouth Korea AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Jinwoo KimKim, Jinwoo Seoul National University Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs
June Hyung KimKim, June Hyung University of Michigan Statically Contextualizing Large Language Models with Typed Holes
Yoonseung KimKim, Yoonseung Yale UniversityUnited States AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Keiji KimuraKimura, Keiji Waseda University; Japan Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States Compilation of Shape Operators on Sparse Arrays Compiling Recurrences over Dense and Sparse Arrays Compiler Support for Sparse Tensor Convolutions Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the VMIL-track PC Chair in Program Committee within the VMIL-track Author in Program Committee within the GPCE-track
Elisabeth KletskoKletsko, Elisabeth University of AmsterdamNetherlands Advanced Game Engine Wizardry for Visual Programming Environments
Vasileios KlimisKlimis, Vasileios Queen Mary University of London Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Lutz KlinkenbergKlinkenberg, Lutz RWTH Aachen University Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
David KloppKlopp, David JGU Mainz Separate Compilation and Partial Linking: Modules for Datalog IR Object-Oriented Fixpoint Programming with Datalog A Typed Multi-Level Datalog IR and its Compiler Framework
Kathleen KnobeKnobe, Kathleen Rice University Concurrent Collections: An Overview
Christoph E. KochKoch, Christoph E. EPFL Yin-Yang: Concealing the Deep Embedding of DSLs
Daniel KocherKocher, Daniel University of Salzburg Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michalis KokologiannakisKokologiannakis, Michalis ETH ZurichSwitzerland Model Checking Distributed Protocols in Must
John C. KolesarKolesar, John C. Yale UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels Committee Member in Program Committee within the SLE-track
Lingkun KongKong, Lingkun Rice University HybridSA: GPU Acceleration of Multi-Pattern Regex Matching using Bit Parallelism
Lee Koon WenKoon Wen, Lee Ahrefs Concurrent Data Structures Made Easy
Joomy KorkutKorkut, Joomy Bloomberg LPUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Scenario-based Proofs for Concurrent Objects
Ankith KowshikKowshik, Ankith University of Illinois Chicago Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages
Anastasiya Kravchuk-KirilyukKravchuk-Kirilyuk, Anastasiya Harvard UniversityUnited States Persimmon: Nested Family Polymorphism with Extensible Variant Types
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Multris: Functional Verification of Multiparty Message Passing in Separation Logic Verified Lock-Free Session Channels with Linking Committee Member in Review Committee within the SPLASH OOPSLA-track
Eva KrebsKrebs, Eva Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Committee Member in Program Committee within the PAINT-track
V Krishna NandivadaKrishna Nandivada, V IIT Madras Stories of Jens Palsberg for Fun and Profit A Few Lessons and Problems For Life; Source@Vivek Sarkar Reducing Write Barrier Overheads for Orthogonal Persistence Homeostasis: Design and Implementation of a Self-Stabilizing Compiler (TOPLAS) The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently Committee Member in Program Committee within the JENSFEST-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Steering Committee Member in Steering Committee for SPLASH 2024 Identifying and Correcting Programming Language Behavior Misconceptions Forge: A Tool and Language for Teaching Formal Methods Profiling Programming Language Learning Committee Member in Review Committee within the SPLASH OOPSLA-track
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia Committee Member in Program Committee within the SLE-track
Rahul KrishnanKrishnan, Rahul University of Wisconsin-MadisonUnited States Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Johannes KristanKristan, Johannes Robert Bosch GmbH Committee Member in Artifact Evaluation Committee within the SLE-track
Sebastián KrynskiKrynski, Sebastián Czech Technical University in PragueCzechia Reducing Feedback Pollution
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Committee Member in Review Committee within the SPLASH OOPSLA-track
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
Ankit KumarKumar, Ankit Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Prashant KumarKumar, Prashant AUTOINC: Incrementality for Free
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Inductive diagrams for causal reasoning
Thomas KühnKühn, Thomas Martin-Luther-University Halle-WittenbergGermany Committee Member in Program Committee within the SLE-track
Filip KřikavaKřikava, Filip Czech Technical University in PragueCzechia Rebase Co-chair in Organizing Committee for SPLASH 2024 Session Chair of REBASE (part of SPLASH REBASE) Session Chair of REBASE (part of SPLASH REBASE) Reducing Feedback Pollution Organization Co-chair in REBASE within the SPLASH REBASE-track
L Ralf LaemmelLaemmel, Ralf University of Koblenz General Chair in Organizing Committee within the SLE-track
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures Extending the C/C++ Memory Model with Inline Assembly Committee Member in Review Committee within the SPLASH OOPSLA-track
Laaziz LahlouLahlou, Laaziz Ecole de Technologie Superieure Committee Member in Artifact Evaluation Committee within the SLE-track
Chun Kit LamLam, Chun Kit Hong Kong University of Science and Technology Fast and Optimal Extraction for Sparse Equality Graphs
Kait LamLam, Kait Lift-offline: Instruction Lifter Generators
Patrick LamLam, Patrick University of Waterloo Surveying the Rust Verification Landscape Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Samuel LamLam, Samuel Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ada LambaLamba, Ada Ohio State University Cocoon: Static Information Flow Control in Rust
Julien LangeLange, Julien Royal Holloway, University of LondonUnited Kingdom Hidden assumptions in static verification of data-race free GPU programs Sound and partially-complete static analysis of data-races in GPU programs Automated Verification of Parametric Channel-Based Process Communication
Jens Kanstrup LarsenLarsen, Jens Kanstrup DTUDenmark Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Samuel LarsenLarsen, Samuel VESC:Towards Temporal Verification of Smart Contracts
James LarusLarus, James EPFL Committee Member in Review Committee within the SPLASH OOPSLA-track
Julia LawallLawall, Julia InriaFrance Coccinelle: Program transformation in the real world Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper) Author in Program Committee within the GPCE-track
Sarah LawskyLawsky, Sarah Northwestern UniversityUnited States Session Chair of Author Presentations with Discussants (part of ProLaLa)
Alex Le BlancLe Blanc, Alex University of Waterloo Surveying the Rust Verification Landscape
Alexis Le GlaunecLe Glaunec, Alexis Rice UniversityUnited States HybridSA: GPU Acceleration of Multi-Pattern Regex Matching using Bit Parallelism
Callista LeLe, Callista Yale-NUS College Concurrent Data Structures Made Easy
Vu LeLe, Vu MicrosoftUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Wei LeLe, Wei Iowa State UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Aaron LeeLee, Aaron Committee Member in Program Committee within the ProLaLa-track
Edward LeeLee, Edward University of WaterlooCanada Lexical Effect Handlers, Directly Qualifying System F-sub
Janggun LeeLee, Janggun KAISTSouth Korea Quantum Probabilistic Model Checking for Time-Bounded Properties
Joonghoon LeeLee, Joonghoon Korea UniversitySouth Korea Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
Wonyeol LeeLee, Wonyeol Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yunjeong LeeLee, Yunjeong National University of SingaporeSingapore DSLs in Racket: You Want It How, Now?
Maxime LegoupilLegoupil, Maxime Aarhus University Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Daniel LehmannLehmann, Daniel Google, GermanyGermany Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Yuxiang LeiLei, Yuxiang UNSW Sydney Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA LISTFrance WiP: Labeled Union-Find for Constraint Factorization Trace Partitioning as an Optimization Problem A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Caroline LemieuxLemieux, Caroline University of British ColumbiaCanada QuAC: Quick Attribute-Centric Type Inference for Python
David LeopoldsederLeopoldseder, David Oracle LabsAustria An Analysis of Compiled Code Reusability in Dynamic Compilation PC Member in Program Committee within the VMIL-track
Mohsen LesaniLesani, Mohsen University of California at Santa Cruz Committee Member in Program Committee within the JENSFEST-track
Dorian LesbreLesbre, Dorian Université Paris-Saclay - CEA LISTFrance WiP: Labeled Union-Find for Constraint Factorization
Stefan LesserLesser, Stefan NoneUnited Kingdom A New Cognitive Perspective on Simplicity in System and Product Design
Sidney LeVineLeVine, Sidney Brown University Forge: A Tool and Language for Teaching Formal Methods
Nicholas V. LewchenkoLewchenko, Nicholas V. University of Colorado BoulderUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Qualifying System F-sub
Anqi LiLi, Anqi ETH ZurichSwitzerland Hypra: A Deductive Program Verifier for Hyper Hoare Logic
Haofeng LiLi, Haofeng Institute of Computing Technology at Chinese Academy of SciencesChina Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Haonan LiLi, Haonan University of California at Riverside, USA Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Kwing Hei LiLi, Kwing Hei Aarhus UniversityDenmark Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Lian LiLi, Lian Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Liyi LiLi, Liyi Iowa State UniversityUnited States Session Chair of Quantum Computing (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track
Ningke LiLi, Ningke Huazhong University of Science and Technology Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Pai LiLi, Pai Cornell University, USA Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Paley LiLi, Paley Oracle On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Qingwei LiLi, Qingwei University of Science and Technology of China MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Shanshan LiLi, Shanshan National University of Defense TechnologyChina PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Shaohua LiLi, Shaohua The Chinese University of Hong KongHong Kong SAR China Committee Member in Reviewers within the SPLASH Student Research Competition-track
Tiffany LiLi, Tiffany What Programmers and Lawyers Get Wrong About Privacy Policies
Tzu-Mao LiLi, Tzu-Mao Massachusetts Institute of Technology; University of California at San DiegoUnited States Distributions for Compositionally Differentiating Parametric Discontinuities
Xiang LiLi, Xiang University of Michigan, Ann ArborUnited States Statically Contextualizing Large Language Models with Typed Holes
Xuandong LiLi, Xuandong Nanjing UniversityChina Understanding and Finding Java Decompiler Bugs HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yi LiLi, Yi University of Texas at Dallas A Learning-Based Approach to Static Program Slicing
Yichuan LiLi, Yichuan Nanjing University of Science and TechnologyChina VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
Yinying LiLi, Yinying Google Compiler Support for Sparse Tensor Convolutions
Yongjian LiLi, Yongjian Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China Mechanizing the CMP Abstraction for Parameterized Verification
Yuekang LiLi, Yuekang UNSWAustralia Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Zikun LiLi, Zikun Carnegie Mellon University Quarl: A Learning-Based Quantum Circuit Optimizer
Kyle LiangLiang, Kyle Carnegie Mellon UniversityUnited States TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Dennis LiewLiew, Dennis University of Massachusetts Boston Sound and partially-complete static analysis of data-races in GPU programs
Michael LillLill, Michael Tokiwa Software GmbH The Fuzion Intermediate Representation
Christian Yongwhan LimLim, Christian Yongwhan Columbia UniversityUnited States Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Slim LimLim, Slim UC Berkeley, Notion LabsUnited States Committee Member in Program Committee within the HATRA-track
Sina LinLin, Sina Microsoft Quarl: A Learning-Based Quantum Circuit Optimizer
Zhengyao LinLin, Zhengyao Carnegie Mellon UniversityUnited States FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
Zhiqiang LinLin, Zhiqiang The Ohio State University Cocoon: Static Information Flow Control in Rust
Jens LinckeLincke, Jens Hasso Plattner Institute; University of PotsdamGermany Supporting Construction of Domain-Specific Representations in Textual Source Code Committee Member in Program Committee within the SPLASH Onward! Essays-track
Sam LindleyLindley, Sam The University of EdinburghUnited Kingdom Effect handlers for C via coroutines
Jeff LindsayLindsay, Jeff None Manifold: Throwing Together Software Systems
Kirby LinvillLinvill, Kirby University of Colorado BoulderUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Geoffrey LittLitt, Geoffrey Ink & Switch Welcome & Opening Closing & Farewell
Geoffrey LittLitt, Geoffrey Ink & Switch Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Organizing Committee within the LIVE-track
Geoffrey LittLitt, Geoffrey Ink & Switch Committee Member in Program Committee within the LIVE-track
Anrui LiuLiu, Anrui Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Bozhen LiuLiu, Bozhen Texas A&M University - Corpus Christi GoGuard: Efficient Static Blocking Bug Detection for Go Mentor in Mentors within the SPLASH PLMW-track
Congyu LiuLiu, Congyu Purdue University ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Craig LiuLiu, Craig Design of Fractional Permissions for a Gradual Verifier
Cyrus LiuLiu, Cyrus Samsung SemiconductorUnited States VESC:Towards Temporal Verification of Smart Contracts
Jiangyi LiuLiu, Jiangyi University of Wisconsin - MadisonUnited States Synthesizing Formal Semantics from Executable Interpreters
Jiawei LiuLiu, Jiawei University of Illinois at Urbana-ChampaignUnited States WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Jie LiuLiu, Jie Cornell University UniSparse: An Intermediate Language for General Sparse Format Customization
Peiming LiuLiu, Peiming Google Inc Compilation of Shape Operators on Sparse Arrays Compiler Support for Sparse Tensor Convolutions
Ruyan LiuLiu, Ruyan Department of Computer Science and Technology, Nanjing University Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Si LiuLiu, Si ETH ZurichSwitzerland Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels
Tianyi LiuLiu, Tianyi Nanjing UniversityChina HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Xuwei LiuLiu, Xuwei Purdue University, USA ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Yi LiuLiu, Yi Nanyang Technological UniversitySingapore Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Yu David LiuLiu, Yu David SUNY BinghamtonUnited States A Runtime System for Interruptible Query Processing -- When Incremental Computing Meets Fine-Grained Parallelism
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the VMIL-track
Zhengyang LiuLiu, Zhengyang University of Utah Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Elisabet Lobo-VesgaLobo-Vesga, Elisabet DPella AB Sensitivity by Parametricity
Francesco LogozzoLogozzo, Francesco MetaUnited States Measuring data lineage: when program analysis meets data science
Théo LosekootLosekoot, Théo Verification of programs with ADTs using Shallow Horn Clauses
Jean-Pierre LoziLozi, Jean-Pierre Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)
Jie LuLu, Jie SKLP, Institute of Computing Technology, CAS Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Kuang-Chen LuLu, Kuang-Chen Brown University, USAUnited States Identifying and Correcting Programming Language Behavior Misconceptions
Runyu LuLu, Runyu Huazhong University of Science and Technology WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Yifei LuLu, Yifei Nanjing University Understanding and Finding Java Decompiler Bugs
Justin LubinLubin, Justin University of California at BerkeleyUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Francesca LucchettiLucchetti, Francesca Northeastern University Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Didrik LundbergLundberg, Didrik KTH Royal Institute of Technology and Saab AB HOL4P4: mechanized small-step semantics for P4
Daniel LundénLundén, Daniel OracleSweden Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Ralf LämmelLämmel, Ralf Universität KoblenzGermany Session Chair of Panel Discussion and Awards (part of SLE) SLE Welcome AI Effects on Research and Education: A Programming and Software Language Perspective Committee Member in Steering Committee within the SLE-track
Pedro López-GarcíaLópez-García, Pedro IMDEA Software Institute An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants
M Cong MaMa, Cong University of WaterlooCanada Lexical Effect Handlers, Directly
Pingchuan MaMa, Pingchuan HKUST PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Stefan MadaMada, Stefan University of Utah Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Daryl MaierMaier, Daryl IBM CanadaCanada The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Kenji MaillardMaillard, Kenji InriaFrance Committee Member in Review Committee within the SPLASH OOPSLA-track
Rupak MajumdarMajumdar, Rupak MPI-SWSGermany Reward Augmentation in Reinforcement Learning for Testing Distributed Systems Model Checking Distributed Protocols in Must
Anwar MamatMamat, Anwar University of Maryland Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States HybridSA: GPU Acceleration of Multi-Pattern Regex Matching using Bit Parallelism
Ravi MangalMangal, Ravi Colorado State UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Edoardo ManinoManino, Edoardo Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Xiaoguang MaoMao, Xiaoguang National University of Defense TechnologyChina FPCC: Detecting Floating-Point Errors via Chain Conditions
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track
Benjamin MarianoMariano, Benjamin University of Texas at AustinUnited States Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Jean-Yves MarionMarion, Jean-Yves LORIAFrance Trace Partitioning as an Optimization Problem
Philippa MarkovicsMarkovics, Philippa NextjournalAustria Live Programming a Live Programming Environment: An Experience Report
Stefan MarrMarr, Stefan University of KentUnited Kingdom PC Member in Program Committee within the VMIL-track Committee Member in Program Committee within the SLE-track
Mark MarronMarron, Mark University of Kentucky An Effectively Ω(c) Language and Runtime A Programing Language for Data and Configuration!
Danielle MarshallMarshall, Danielle University of GlasgowUnited Kingdom Linearity, Uniqueness, Ownership: An Entente Cordiale
Danielle MarshallMarshall, Danielle University of Glasgow; University of KentUnited Kingdom Functional Ownership through Fractional Uniqueness
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityUnited States Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Salvador MartínezMartínez, Salvador IMT AtlantiqueFrance Committee Member in Artifact Evaluation Committee within the SLE-track
Dave MasonMason, Dave Toronto Metropolitan University (formerly Ryerson University)Canada Inlined Code Generation for Smalltalk
Isabella MastroeniMastroeni, Isabella University of VeronaItaly Abstracting Entanglement Static Analysis of Quantum Programs
Hidehiko MasuharaMasuhara, Hidehiko Institute of Science TokyoJapan Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Sebastian Mateos NicolajsenMateos Nicolajsen, Sebastian IT University of CopenhagenDenmark Committee Member in Program Commitee within the SPLASH -E-track
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Quantitative Static Timing Analysis
Darin McAdamsMcAdams, Darin Amazon Web Services Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Erin McBrideMcBride, Erin University of Wisconsin Committee Member in Program Committee within the ProLaLa-track
Matt McCutchenMcCutchen, Matt UnaffiliatedUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Paulus MeessenMeessen, Paulus Cross-Disciplinarity in Contemporary Code-Driven Legal Informatics
Tobias MeggendorferMeggendorfer, Tobias Lancaster University, UK (Leipzig Campus)Germany Quantitative Bounds on Resource Usage of Probabilistic Programs
Meetesh Kalpesh MehtaMehta, Meetesh Kalpesh IIT BombayIndia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yixuan MeiMei, Yixuan Carnegie Mellon University Quarl: A Learning-Based Quantum Circuit Optimizer
Erik MeijerMeijer, Erik FacebookUnited States From AI Software Engineers to AI Knowledge Workers
Orestis MelkonianMelkonian, Orestis Input Output Global (IOG/IOHK)United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
Lucy MenonMenon, Lucy Northeastern University Gradually Typed Languages Should Be Vigilant!
Kim MensMens, Kim Université catholique de Louvain, ICTEAM institute, BelgiumBelgium An Observational Study of Undergraduate Teaching Assistants' use of Subgoal Learning Integrated in an Introductory Programming Course
Mira MeziniMezini, Mira TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENEGermany Steering Committee Member in Steering Committee for SPLASH 2024
Alistair MichaelMichael, Alistair Lift-offline: Instruction Lifter Generators
Judith MichaelMichael, Judith RWTH Aachen UniversityGermany Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries Author in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Jesse MichelMichel, Jesse Massachusetts Institute of Technology Distributions for Compositionally Differentiating Parametric Discontinuities
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Author in Program Committee within the GPCE-track
Hiroki MikamiMikami, Hiroki Waseda University, Japan Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
Marco MilaneseMilanese, Marco Sorbonne UniversityFrance Under-approximating Memory Abstractions Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the SAS -track Committee Member in Review Committee within the SPLASH OOPSLA-track
Luka MiljakMiljak, Luka Delft University of TechnologyNetherlands Concrete Syntax Metapatterns
Mark MillerMiller, Mark AgoricUnited States Offer-safe Trade of Mutable Objects
Todd MillsteinMillstein, Todd University of California at Los AngelesUnited States Welcome from Todd Millstein
Todd MillsteinMillstein, Todd University of California, Los Angeles Everything is a Program (even if it's not)
Todd MillsteinMillstein, Todd University of California at Los AngelesUnited States Committee Member in Program Committee within the JENSFEST-track
Anders MiltnerMiltner, Anders Simon Fraser UniversityCanada Student Research Competition Co-Chair in Organizing Committee for SPLASH 2024 Co-chair in Organizing Committee within the SPLASH Posters-track Co-chair in Organizers within the SPLASH Student Research Competition-track
Marcus J. MinMin, Marcus J. Columbia University CYCLE: Learning to Self-Refine the Code Generation
Tijana MinicMinic, Tijana Seton Hall University Visualizing Composed Turing Machines
Tijana MinicMinic, Tijana Grammar Derivation Visualization in Automata Theory
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Under-approximating Memory Abstractions
Mehdi MirakhorliMirakhorli, Mehdi Rochester Institute of TechnologyUnited States Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Dimitris MitropoulosMitropoulos, Dimitris University of AthensGreece When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany Committee Member in Program Committee within the SLE-track
Anshuman MohanMohan, Anshuman Cornell UniversityUnited States Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution Committee Member in Program Committee within the NSAD-track
Stefan MonnierMonnier, Stefan Université de MontréalCanada The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
David MoonMoon, David University of MichiganUnited States Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Benjamin MoosherrMoosherr, Benjamin University of Ulm On the Expressive Power of Languages for Static Variability
José MoralesMorales, José IMDEA Software InstituteSpain An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants Committee Member in Program Committee within the SAS -track
Georg MoserMoser, Georg University of Innsbruck Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Peter D. MossesMosses, Peter D. Delft University of Technology and Swansea UniversityNetherlands Session Chair of SLE Welcome and Keynote (part of SLE) Towards Verification of a Denotational Semantics of Inheritance SLE Welcome Program Co-Chair in Organizing Committee within the SLE-track
Julian MourMour, Julian Robustness Verification of Multi-Label Neural Network Classifiers
Naïm Moussaoui RemilMoussaoui Remil, Naïm INRIA & École Normale Supérieure \| Université PSLFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Kevin MuMu, Kevin University of Washington Distributions for Compositionally Differentiating Parametric Discontinuities
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia Session Chair of Types and Gradual Typing 2 (part of SPLASH OOPSLA) Session Chair of Types and Gradual Typing 1 (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track
Manasij MukherjeeMukherjee, Manasij NVIDIA Hydra: Generalizing Peephole Optimizations with Program Synthesis
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Committee Member in Program Committee within the HATRA-track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume INRIAFrance Committee Member in Program Committee within the SPLASH Onward! Papers-track
Charlie MurphyMurphy, Charlie University of Wisconsin–Madison Synthesizing Formal Semantics from Executable Interpreters
Aniruddha MysoreMysore, Aniruddha Georgia Institute of Technology On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Anders MøllerMøller, Anders Aarhus UniversityDenmark Steering Committee Member in Steering Committee for SPLASH 2024 Session Chair of Static Analysis and Program Verification 2 (part of SPLASH OOPSLA) Session Chair of Static Analysis and Program Verification 4 (part of SPLASH OOPSLA) Automated Verification of Parametric Channel-Based Process Communication Committee Member in Steering Committee within the SPLASH Onward! Papers-track Associate Chair in Review Committee within the SPLASH OOPSLA-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Maya MückenschnabelMückenschnabel, Maya Algebraic effect handlers with bidirectional type-checking
Peter MüllerMüller, Peter ETH ZurichSwitzerland Hypra: A Deductive Program Verifier for Hyper Hoare Logic
N Kartik NagarNagar, Kartik IIT MadrasIndia Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models PC Member in Program Committee within the VMIL-track
Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Srinidhi NagendraNagendra, Srinidhi CNRS, Université Paris Cité, IRIF, Chennai Mathematical InstituteFrance Reward Augmentation in Reinforcement Learning for Testing Distributed Systems Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Shaan NagyNagy, Shaan University of Wisconsin-Madison Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs
Aaditya NaikNaik, Aaditya University of PennsylvaniaUnited States TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Mayur NaikNaik, Mayur University of PennsylvaniaUnited States What's Still Missing in Static Analysis? A Decade-Long Journey. TorchQL: A Programming Framework for Integrity Constraints in Machine Learning Committee Member in Organizing Committee within the JENSFEST-track Committee Member in Program Committee within the JENSFEST-track
Tomoki NakamaruNakamaru, Tomoki The University of TokyoJapan Multiverse Notebook: Shifting Data Scientists to Time Travelers
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Committee Member in Program Committee within the SAS -track
Chandrakana NandiNandi, Chandrakana CertoraUnited States Practical Verification Of Smart Contracts Using Memory Splitting
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Committee Member in Review Committee within the SPLASH OOPSLA-track
Srinivas NarayanaNarayana, Srinivas Rutgers University Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Jorge A. NavasNavas, Jorge A. CertoraUnited States Committee Member in Program Committee within the SAS -track
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Stability: An Abstract Domain for the Trend of Variation of Numerical Variables Committee Member in Program Committee within the NSAD-track
Tim NelsonNelson, Tim Brown UniversityUnited States Forge: A Tool and Language for Teaching Formal Methods Committee Member in Program Committee within the HATRA-track
ThanhVu NguyenNguyen, ThanhVu George Mason UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Tien N. NguyenNguyen, Tien N. University of Texas at DallasUnited States A Learning-Based Approach to Static Program Slicing Committee Member in Review Committee within the SPLASH OOPSLA-track
Oscar NierstraszNierstrasz, Oscar feenk.comSwitzerland Session Chair of Onward! Papers (part of SPLASH Onward! Papers) Session Chair of Session 2 on Domain-Specific Languages (part of GPCE) Automated Generation of Code Contracts - Generative AI to the Rescue? Example-driven development: bridging tests and documentation Moldable Exceptions Committee Member in Program Committee within the SPLASH Onward! Papers-track
Tobias NießenNießen, Tobias TU WienAustria Finding ∀∃ Hyperbugs Using Symbolic Execution
Rachit NigamNigam, Rachit Massachusetts Institute of TechnologyUnited States Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Vladimir NikolaevNikolaev, Vladimir Yin-Yang: Concealing the Deep Embedding of DSLs
Filip NiksicNiksic, Filip GoogleUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Yuki NishidaNishida, Yuki Tohoku UniversityJapan Law and Order for Typestate with Borrowing
Keisuke NishimuraNishimura, Keisuke Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)
James NobleNoble, James Independent. Wellington, NZNew Zealand Session Chair of Session 2 (part of IWACO) Committee Member in Program Committee within the IWACO-track
Jonas NorlinderNorlinder, Jonas Uppsala UniversitySweden Mark--Scavenge: Waiting for Trash to Take Itself Out Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aman NougrahiyaNougrahiya, Aman IIT MadrasIndia Homeostasis: Design and Implementation of a Self-Stabilizing Compiler (TOPLAS)
Dibri NsoforNsofor, Dibri University of Utah Toward a Corpus Study of the Dynamic Gradual Type
Clemens Nylandsted KlokmoseNylandsted Klokmose, Clemens Aarhus UniversityDenmark Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of EdinburghUnited Kingdom Hot Call-Chain Inlining for the Glasgow Haskell Compiler
Peter W. O'HearnO'Hearn, Peter W. Lacework; University College LondonUnited Kingdom Non-Termination Proving at Scale
Lina OchoaOchoa, Lina Eindhoven University of Technology Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced
Martin OderskyOdersky, Martin EPFLSwitzerland Yin-Yang: Concealing the Deep Embedding of DSLs Degrees of Separation: A Flexible Type System for Safe Concurrency
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification Quantum Probabilistic Model Checking for Time-Bounded Properties
Manuel OhrndorfOhrndorf, Manuel University of BernSwitzerland Automated Generation of Code Contracts - Generative AI to the Rescue?
Yoshiki OhshimaOhshima, Yoshiki Croquet Corporation, Shizuoka UniversityJapan The Act of Programming in Collaborative Spaces
Arthur Oliveira ValeOliveira Vale, Arthur Yale University Compositionality and Observational Refinement for Linearizability with Crashes
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina The Inexact Superclass Problem A Case for First-Class Environments Merging Gradual Typing Full Iso-recursive Types Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the SLE-track
Cyrus OmarOmar, Cyrus University of MichiganUnited States Research Methods for Designing Next-Generation Programming Systems Learner-Centered Design Criteria for Classroom Proof Assistants Statically Contextualizing Large Language Models with Typed Holes Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Commitee within the SPLASH -E-track Publicity Chair in Organizing Committee within the HATRA-track
Ken Jin OoiOoi, Ken Jin Automatically Generating an Abstract Interpretation-based Optimizer from a DSL
Dominic OrchardOrchard, Dominic University of Kent; University of CambridgeUnited Kingdom Functional Ownership through Fractional Uniqueness Programming Languages for the Future of Design Computation
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in Program Committee within the HATRA-track
Klaus OstermannOstermann, Klaus University of TübingenGermany Deriving Dependently-Typed OOP from First Principles
P André PacakPacak, André JGU MainzGermany Separate Compilation and Partial Linking: Modules for Datalog IR AUTOINC: Incrementality for Free Object-Oriented Fixpoint Programming with Datalog A Typed Multi-Level Datalog IR and its Compiler Framework
Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Software Engineering Methods For AI-Driven Deductive Legal Reasoning
Oded PadonPadon, Oded VMware ResearchUnited States Quarl: A Learning-Based Quantum Circuit Optimizer Committee Member in Program Committee within the SAS -track
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Richard PaigePaige, Richard McMaster UniversityCanada Committee Member in Steering Committee within the SLE-track
Shankara PailoorPailoor, Shankara University of Texas at AustinUnited States Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Abhinandan PalPal, Abhinandan University of BirminghamUnited Kingdom Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Anjali PalPal, Anjali University of Washington Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zachary PalmerPalmer, Zachary Swarthmore CollegeUnited States Intensional Functions
Viktor PalmkvistPalmkvist, Viktor KTH Royal Institute of TechnologySweden Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Session Chair of Morning Session (part of VIVEKFEST) Closing Remarks from Jens Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg) Committee Member in Organizing Committee within the VIVEKFEST-track
Minxue PanPan, Minxue Nanjing UniversityChina Understanding and Finding Java Decompiler Bugs
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Santosh PandePande, Santosh Georgia Institute of TechnologyUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Jun PangPang, Jun University of LuxembourgLuxembourg Mechanizing the CMP Abstraction for Parameterized Verification
Brent PappasPappas, Brent University of Central FloridaUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anouk ParadisParadis, Anouk ETH ZurichSwitzerland Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper) Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IWACO-track
Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions Committee Member in Program Committee within the HATRA-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Session Chair of Session 3 on Code Optimizations (part of GPCE) Welcome to UNSOUND On Distributive Subtyping with Finitary and Infinitary Unions and Intersections Modular Borrowing Without Ownership or Linear Types Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper) Diff-based interactive compiler debugging and testing Fast and Optimal Extraction for Sparse Equality Graphs The Ultimate Conditional Syntax Committee Member in Organizing Committee within the UNSOUND-track Author in Program Committee within the GPCE-track
Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Committee Member in Review Committee within the SPLASH OOPSLA-track
Michele PasquaPasqua, Michele University of VeronaItaly Session Chair of Types, Control-flow and trace partitioning (part of SAS ) Session Chair of NSAD: Session 1 (part of NSAD) Closing Opening Committee Member in Program Committee within the SAS -track Committee Member in Organizing Committee within the NSAD-track
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark Committee Member in Review Committee within the SPLASH OOPSLA-track
Mathias PayerPayer, Mathias EPFLSwitzerland Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
David J. PearcePearce, David J. ConsenSysUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the SLE-track
Hila PelegPeleg, Hila TechnionIsrael Associate Chair in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track
Artem PelenitsynPelenitsyn, Artem Purdue UniversityUnited States SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
Marie PelleauPelleau, Marie Université Côte d'AzurFrance Committee Member in Program Committee within the NSAD-track
Daniel A. A. PelsmaekerPelsmaeker, Daniel A. A. Delft University of Technology, NetherlandsNetherlands Ordering Rejectable Stacks in SGLR Parsing
Jinjun PengPeng, Jinjun Columbia University Quarl: A Learning-Based Quantum Circuit Optimizer
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil The Essence of the Flyweight Design Pattern Co-chair in Organizing Committee within the JENSFEST-track Committee Member in Program Committee within the JENSFEST-track Committee Member in Program Committee within the SLE-track
Basile PesinPesin, Basile Université Grenoble AlpesFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tomas PetricekPetricek, Tomas Charles UniversityCzechia Don’t Call Us, We’ll Call You Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Andrej PečimúthPečimúth, Andrej Oracle Labs; Charles UniversityCzechia An Analysis of Compiled Code Reusability in Dynamic Compilation
Long PhamPham, Long Carnegie Mellon UniversityUnited States Programmable MCMC with Soundly Composed Guide Programs
Simone PiattiPiatti, Simone USI LuganoSwitzerland Judicious: API Documentation for Novices
Christoph PichlerPichler, Christoph Johannes Kepler University LinzAustria On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly
John PickarPickar, John Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Message-Observing Sessions
Nikhil PimpalkharePimpalkhare, Nikhil Princeton University Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials
Luís PinaPina, Luís University of Illinois at ChicagoUnited States Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages
Maria Pinto-AlbuquerquePinto-Albuquerque, Maria Instituto Universitário de Lisboa (ISCTE-IUL)Portugal Committee Member in Program Commitee within the SPLASH -E-track
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types Committee Member in Program Committee within the HATRA-track
Filip PizloPizlo, Filip AppleUnited States Fil-C: memory safety with fanatical C/C++ compatibility
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom Author in Program Committee within the GPCE-track Committee Member in Reviewers within the SPLASH Student Research Competition-track
Samuel D. PollardPollard, Samuel D. Sandia National LaboratoriesUnited States A Step-Function Abstract Domain for Granular Floating-Point Error Analysis A Formal Model for Portable, Heterogeneous Accelerator Programming Post-PhD Careers & Life Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track
Josh PollockPollock, Josh MIT CSAILUnited States Committee Member in Program Committee within the HATRA-track
James Pontes MirandaPontes Miranda, James IMT Atlantique, LS2N (UMR CNRS 6004)France Towards an In-context LLM-based Approach for Automating the Definition of Model Views
Stephen PoolePoole, Stephen Scalable Small Message Aggregation on Modern Interconnects Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
Wendy PoolePoole, Wendy Scalable Small Message Aggregation on Modern Interconnects Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
Sorawee PorncharoenwasePorncharoenwase, Sorawee University of WashingtonUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alex PotaninPotanin, Alex Australian National UniversityAustralia Steering Committee Member in Steering Committee for SPLASH 2024 OOPSLA Review Committee Co-Chair in Organizing Committee for SPLASH 2024 Session Chair of Concurrency (part of SPLASH OOPSLA) Session Chair of Testing Everything, Everywhere, All At Once (part of SPLASH OOPSLA) Committee Member in Steering Committee within the SPLASH Onward! Papers-track Co-chair in Review Committee within the SPLASH OOPSLA-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the IWACO-track
François PottierPottier, François InriaFrance Type Inference Logics
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University Concurrent Collections: An Overview
Michael PradelPradel, Michael University of StuttgartGermany Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Siddhartha PrasadPrasad, Siddhartha Brown University Forge: A Tool and Language for Teaching Formal Methods
Sai Praveen BangaruPraveen Bangaru, Sai MIT Distributions for Compositionally Differentiating Parametric Discontinuities
Sofia PresottoPresotto, Sofia Ca’ Foscari University of VeniceItaly Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Azure ResearchUnited States StarMalloc: Verifying a Modern, Hardened Memory Allocator
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon University; NASA AmesUnited States Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Q Shaz QadeerQadeer, Shaz FacebookUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Yun QiQi, Yun Nanjing University HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Bingzhou QianQian, Bingzhou National University of Defense Technology PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Kelvin QianQian, Kelvin Johns Hopkins University Semantic-Type-Guided Bug Finding
Zhiyun QianQian, Zhiyun University of California at Riverside, USA Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Longfei QiuQiu, Longfei Yale University AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Yuxin QiuQiu, Yuxin University of California at RiversideUnited States Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems (Lightning Talk) Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
Sergio Queiroz de MedeirosQueiroz de Medeiros, Sergio Universidade Federal do Rio Grande do NorteBrazil Committee Member in Program Committee within the SLE-track Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures Non-Termination Proving at Scale Extending the C/C++ Memory Model with Inline Assembly
Dimi RacordonRacordon, Dimi EPFL, LAMPSwitzerland Type Checking with Rewriting Rules Method Bundles (New Ideas/Vision paper) Use Site Checking Considered Harmful
Gabriel RadanneRadanne, Gabriel InriaFrance Fulfilling OCaml modules with transparency
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States Distributions for Compositionally Differentiating Parametric Discontinuities
Mukund RaghothamanRaghothaman, Mukund University of Southern California Local Arrangements Chair in Organizing Committee for SPLASH 2024
Ebrahim RahimiRahimi, Ebrahim Open University, the Netherlands Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Steering Committee Member in Steering Committee for SPLASH 2024 Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Vineet RajaniRajani, Vineet University of Kent A modal type-theory of expected cost in higher-order probabilistic programs
Mathangi RameshRamesh, Mathangi Amazon Web Services Automatically Reducing Privilege for Access Control Policies
Caio RaposoRaposo, Caio Universidade Federal de Minas GeraisBrazil The Essence of the Flyweight Design Pattern
Joseph RaskindRaskind, Joseph SUNY Binghamton A VM-based Approach For Power Modeling (Lightning Talk) A VM-based Approach For Power Modeling A Runtime System for Interruptible Query Processing -- When Incremental Computing Meets Fine-Grained Parallelism
Lawrence RauchwergerRauchwerger, Lawrence University of Illinois at Urbana-Champaign United States Learning to harness in-vitro biological neural networks
Savitha RaviRavi, Savitha UC San Diego Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Binoy RavindranRavindran, Binoy Virginia TechUnited States libLISA: Instruction Discovery and Analysis on x86-64
Baishakhi RayRay, Baishakhi Columbia University, New York; AWS AI LabUnited States CYCLE: Learning to Self-Refine the Code Generation
Patrick RedmondRedmond, Patrick University of California at Santa Cruz Inductive diagrams for causal reasoning
Orion ReedReed, Orion Unaffiliated Scoped Propagators
Ivan ReeseReese, Ivan Ink & SwitchCanada Inkling: Sketching Dynamic Systems
John RegehrRegehr, John University of UtahUnited States Session Chair of Datalog (part of SPLASH OOPSLA) Minotaur: A SIMD-Oriented Synthesizing Superoptimizer Hydra: Generalizing Peephole Optimizations with Program Synthesis
Christoph ReichenbachReichenbach, Christoph Lund UniversitySweden Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis
Patrick ReinRein, Patrick University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the SPLASH Onward! Papers-track
Antonin ReitzReitz, Antonin Inria StarMalloc: Verifying a Modern, Hardened Memory Allocator
Jan ReppienReppien, Jan Hasso Plattner Institute, University of PotsdamGermany Supporting Construction of Domain-Specific Representations in Textual Source Code
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States Synthesizing Abstract Transformers for Reduced-Product Domains Weighted Context-Free-Language Ordered Binary Decision Diagrams Newtonian Program Analysis of Probabilistic Programs Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs Synthesizing Formal Semantics from Executable Interpreters Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Francisco RibeiroRibeiro, Francisco New York University, Abu Dhabi Committee Member in Artifact Evaluation Committee within the SLE-track
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Author in Program Committee within the GPCE-track
Gaspar RicciRicci, Gaspar University of ChileChile Taming Unsoundness with Gradual Abstract Interpretation
Nathan RichardsonRichardson, Nathan University of YorkUnited Kingdom Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels
Félix RidouxRidoux, Félix Univ Rennes / IMDEA Software InstituteFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Finding Cross-rule Optimization Bugs in Datalog Engines
Filip RihaRiha, Filip Czech Technical University Reducing Feedback Pollution
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in Review Committee within the SPLASH OOPSLA-track
Idriss RiouakRiouak, Idriss Department of Computer Science, Lund University, SwedenSweden Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance Committee Member in Program Committee within the SAS -track Committee Member in Program Committee within the NSAD-track
Charles RobertsRoberts, Charles Worcester Polytechnic Institute Committee Member in Program Commitee within the SPLASH -E-track
Katja RogersRogers, Katja University of AmsterdamNetherlands Committee Member in Program Committee within the PAINT-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Specializing Data Access in a Distributed File System (Generative Pearl) Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN) Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the GPCE-track
Hongbo RongRong, Hongbo Intel LabsUnited States UniSparse: An Intermediate Language for General Sparse Format Customization
Alexander J RootRoot, Alexander J Stanford UniversityUnited States Compilation of Shape Operators on Sparse Arrays Compiler Support for Sparse Tensor Convolutions
Abhishek RoseRose, Abhishek IIT Delhi Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Andrea RosàRosà, Andrea USI LuganoSwitzerland Author in Program Committee within the GPCE-track
June RousseauRousseau, June Aarhus UniversityDenmark Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly
Subhajit RoyRoy, Subhajit IIT KanpurIndia Synthesizing Abstract Transformers for Reduced-Product Domains Committee Member in Review Committee within the SPLASH OOPSLA-track
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Julianne RudnerRudner, Julianne Brown University Forge: A Tool and Language for Teaching Formal Methods
Bernhard RumpeRumpe, Bernhard RWTH Aachen UniversityGermany Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries AI Effects on Research and Education: A Programming and Software Language Perspective
Neha RungtaRungta, Neha Amazon Web ServicesUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization Automatically Reducing Privilege for Access Control Policies Trillions of Formally Verified Authorizations a day!
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jack RusherRusher, Jack NextjournalGermany Live Programming a Live Programming Environment: An Experience Report
Alejandro RussoRusso, Alejandro Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, SwedenSweden Sensitivity by Parametricity
Claudio RussoRusso, Claudio Dfinity Smarter Contract Upgrades with Orthogonal Persistence
Louis RustenholzRustenholz, Louis Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants
Gabriel RyanRyan, Gabriel Columbia University Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Benjamin RyjikovRyjikov, Benjamin Brown University Forge: A Tool and Language for Teaching Formal Methods
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Steering Committee Member in Steering Committee for SPLASH 2024 Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks Committee Member in Review Committee within the SPLASH OOPSLA-track
Didier RémyRémy, Didier Inria Fulfilling OCaml modules with transparency
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala University A Constraint Solving Approach to Parikh Images of Regular Languages
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, SkopjeNorth Macedonia Author in Program Committee within the GPCE-track
Feras SaadSaad, Feras Carnegie Mellon UniversityUnited States Programmable MCMC with Soundly Composed Guide Programs
Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Ponnuswamy SadayappanSadayappan, Ponnuswamy University of Utah Prof. P. Sadayappan (University of Utah)
Hannes SaffrichSaffrich, Hannes University of Freiburg Law and Order for Typestate with Borrowing
Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Practical Verification Of Smart Contracts Using Memory Splitting
Anmol SahooSahoo, Anmol Purdue University Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models
Georgian-Vlad SaiocSaioc, Georgian-Vlad Aarhus University Automated Verification of Parametric Channel-Based Process Communication
Albin SalazarSalazar, Albin University of KonstanzGermany Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Angelina SalilingSaliling, Angelina Cornell University Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SLE-track
Amit SamantaSamanta, Amit University of Utah Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Adrian SampsonSampson, Adrian Cornell University Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
André L. SantosSantos, André L. University Institute of Lisbon, Portugal Committee Member in Program Commitee within the SPLASH -E-track
João SaraivaSaraiva, João University of MinhoPortugal Trading Runtime for Energy Efficiency AI Effects on Research and Education: A Programming and Software Language Perspective Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Yasmin SaritaSarita, Yasmin Cornell University ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
Vivek SarkarSarkar, Vivek Rice University, USAUnited States Jens, the Ultimate PL Renaissance man!
Vivek SarkarSarkar, Vivek Georgia Institute of TechnologyUnited States Vivek Sarkar (Georgia Tech) Fully Verified Instruction Scheduling
John SarracinoSarracino, John Lawrence Livermore National Laboratory Mentor in Mentors within the SPLASH PLMW-track
Kavin SatheeskumarSatheeskumar, Kavin University of WaterlooCanada Qualifying System F-sub
Shigeyuki SatoSato, Shigeyuki The University of Electro-CommunicationsJapan Multiverse Notebook: Shifting Data Scientists to Time Travelers
Peter SaxtonSaxton, Peter Unaffiliated EYG a predictable, and useful, programming language
Max SchaeferSchaefer, Max GitHubUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Roland SchatzSchatz, Roland Oracle Labs On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Robert SchenckSchenck, Robert DIKU, University of CopenhagenDenmark AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Maximilian SchiedermeierSchiedermeier, Maximilian Université du Québec à MontréalCanada Committee Member in Artifact Evaluation Committee within the SLE-track
Ari SchlesingerSchlesinger, Ari University of Georgia A Case for Feminism in Programming Language Design
Claire SchlesingerSchlesinger, Claire Northeastern University Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Bernhard ScholzScholz, Bernhard University of SydneyAustralia Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine Committee Member in Review Committee within the SPLASH OOPSLA-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises
Philipp SchröerSchröer, Philipp RWTH Aachen UniversityGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alexander SchultheißSchultheiß, Alexander Paderborn UniversityGermany On the Expressive Power of Languages for Static Variability
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern DenmarkDenmark Author in Program Committee within the GPCE-track
Philipp SchusterSchuster, Philipp University of TübingenGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the GPCE-track
David SchwartzSchwartz, David University of Illinois at Chicago (Lightning Talk) JMVX: Improving Record-Replay for Managed Languages Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages JMVX: Improving Record-Replay for Managed Languages
Michael SchwarzSchwarz, Michael TU MunichGermany Session Chair of NSAD: Session 3 (part of NSAD) C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For” Committee Member in Program Committee within the NSAD-track Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Elizabeth ScottScott, Elizabeth Royal Holloway University of London Committee Member in Program Committee within the SLE-track
Francesca ScozzariScozzari, Francesca University of Chieti-PescaraItaly Committee Member in Program Committee within the SAS -track
Helmut SeidlSeidl, Helmut TU MunichGermany C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Taro SekiyamaSekiyama, Taro National Institute of Informatics; SOKENDAIJapan Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
Viktor SenderovSenderov, Viktor Institut de Biologie de l'École Normale Supérieure Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Mazyar SerajSeraj, Mazyar Eindhoven University of TechnologyNetherlands Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced
Ilya SergeySergey, Ilya National University of SingaporeSingapore Session Chair of Semantics (part of SPLASH OOPSLA) DSLs in Racket: You Want It How, Now? Concurrent Data Structures Made Easy
Manuel SerranoSerrano, Manuel Inria; Université Côte d’AzurFrance JavaScript virtual machine evolution
Marco ServettoServetto, Marco VUW Java Method-Local Inner Classes are Unsound
Marco ServettoServetto, Marco Victoria University of WellingtonNew Zealand Committee Member in Organizing Committee within the UNSOUND-track
Matan ShachnaiShachnai, Matan Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers Yin-Yang: Concealing the Deep Embedding of DSLs Committee Member in Steering Committee within the GPCE-track Author in Program Committee within the GPCE-track
Zhong ShaoShao, Zhong Yale UniversityUnited States Compositionality and Observational Refinement for Linearizability with Crashes AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Ted ShaowangShaowang, Ted University of Chicago Committee Member in Artifact Evaluation Committee within the SLE-track
Mary ShawShaw, Mary Carnegie Mellon University tl;dr: Chill, y’all – AI will not devour SE
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Student Research Competition Co-Chair in Organizing Committee for SPLASH 2024 Committee Member in Review Committee within the SPLASH OOPSLA-track Co-chair in Organizing Committee within the SPLASH Posters-track Co-chair in Organizers within the SPLASH Student Research Competition-track
Chenghang ShiShi, Chenghang SKLP, Institute of Computing Technology, CASChina Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Ling ShiShi, Ling Nanyang Technological UniversitySingapore Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Qingkai ShiShi, Qingkai Nanjing UniversityChina ParDiff: Practical Static Differential Analysis of Network Protocol Parsers Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yuanfeng ShiShi, Yuanfeng Peking UniversityChina Learning Abstraction Selection for Bayesian Program Analysis
Ji-Yong ShinShin, Ji-Yong Northeastern UniversityUnited States AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Jun ShirakoShirako, Jun Georgia Institute of TechnologyUnited States Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism Fully Verified Instruction Scheduling
Ali ShokriShokri, Ali Virginia TechUnited States Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Fridtjof SiebertSiebert, Fridtjof Tokiwa Software GmbH The Fuzion Intermediate Representation
Mihaela SighireanuSighireanu, Mihaela University Paris-Saclay, ENS Paris-Saclay, CNRS, LMFFrance A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Luís SilvaSilva, Luís University of Minho Trading Runtime for Energy Efficiency
Yusung SimSim, Yusung KAIST Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Georg SimhandlSimhandl, Georg University of ViennaAustria Cloud Programming Languages and Infrastructure From Code: An Empirical Study
Robert SimmonsSimmons, Robert IndependentUnited States Committee Member in Program Commitee within the SPLASH -E-track
Julien SimonnetSimonnet, Julien CEA LIST A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track PC Member in Program Committee within the VMIL-track
Abhishek Kr SinghSingh, Abhishek Kr National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Reviewers within the SPLASH Student Research Competition-track
Avaljot SinghSingh, Avaljot UIUCUnited States ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper) Committee Member in Program Committee within the SAS -track
Shubhendra SinghalSinghal, Shubhendra Georgia Institute of TechnologyUnited States Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
Carsten SinzSinz, Carsten Karlsruhe Institute of Technology Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations
David SirkinSirkin, David Stanford UniversityUnited States Committee Member in Program Committee within the PAINT-track
Meghana Aparna SistlaSistla, Meghana Aparna The University of Texas at AustinUnited States Weighted Context-Free-Language Ordered Binary Decision Diagrams
KC SivaramakrishnanSivaramakrishnan, KC Tarides; IIT MadrasIndia Committee Member in Review Committee within the SPLASH OOPSLA-track
Ingo SkupinSkupin, Ingo University of Tübingen Deriving Dependently-Typed OOP from First Principles
Ian SmithSmith, Ian Trail of BitsUnited States BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
Lee SmithSmith, Lee ArmUnited Kingdom Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Scott F. SmithSmith, Scott F. The Johns Hopkins University A Pure Demand Operational Semantics with Applications to Program Analysis Semantic-Type-Guided Bug Finding
Jeff SmitsSmits, Jeff Delft University of TechnologyNetherlands Session Chair of Session 4 on Typing and Its Applications (part of GPCE) Session Chair of Software Language Design and Implementation II (part of SLE) Ordering Rejectable Stacks in SGLR Parsing
Gustavo SoaresSoares, Gustavo MicrosoftUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States SIGPLAN Milner Award Talk
Thomas SomersSomers, Thomas Radboud University Nijmegen Verified Lock-Free Session Channels with Linking
Wei SongSong, Wei Nanjing University of Science and TechnologyChina VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Marcus SpechtSpecht, Marcus Delft University of Technology Gender Differences in Story, Game and Visual Adventures in Hedy
Manu SridharanSridharan, Manu University of California at RiversideUnited States Steering Committee Member in Steering Committee for SPLASH 2024 General Chair in Organizing Committee for SPLASH 2024 Session Chair of Compilers and Optimisation 2 (part of SPLASH OOPSLA) Session Chair of Performance Analysis and Optimisation 1 (part of SPLASH OOPSLA) Post-PhD Careers & Life Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Friedrich SteimannSteimann, Friedrich Fernuniversität in HagenGermany The Linguistic Theory Behind Blockly Languages Committee Member in Steering Committee within the SLE-track
Adam SteinStein, Adam University of Pennsylvania TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Michal StepanekStepanek, Michal Czech Technical University Reducing Feedback Pollution
Michel SteuwerSteuwer, Michel Technische Universität BerlinGermany Author in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
J. Ryan StinnettStinnett, J. Ryan King's College LondonUnited Kingdom Source-level debugging of compiler-optimised code: ill-posed, but not impossible
Amanda StjernaStjerna, Amanda Uppsala universitySweden The First Six Years in the Development of Polonius, an Improved Borrow Checker A Constraint Solving Approach to Parikh Images of Regular Languages PhD Life Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track
Linnea StjernaStjerna, Linnea KTH Royal Institute of Technology Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Gareth StockwellStockwell, Gareth ARMUnited Kingdom Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Ilina StoilkovskaStoilkovska, Ilina Amazon Committee Member in Program Committee within the SAS -track
Brandon StrideStride, Brandon Johns Hopkins University Semantic-Type-Guided Bug Finding
Filip StrömbäckStrömbäck, Filip Linköping UniversitySweden Active DSU: Dynamic Software Updates for Active Functions
Daniel StrüberStrüber, Daniel Chalmers \| University of Gothenburg / Radboud UniversitySweden Author in Program Committee within the GPCE-track
Sandro StuckiStucki, Sandro AmazonSweden Yin-Yang: Concealing the Deep Embedding of DSLs
Robin StunicStunic, Robin Fernuniversität in Hagen The Linguistic Theory Behind Blockly Languages
Ting SuSu, Ting East China Normal UniversityChina Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Yian SuSu, Yian Northwestern UniversityUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems The Hidden Program State Hurts Everyone Understanding and Finding Java Decompiler Bugs SMT2Test: From SMT Formulas to Effective Test Cases
Emmanuel Suarez AcevedoSuarez Acevedo, Emmanuel Cornell University Effects and Coeffects in Call-By-Push-Value
Yulei SuiSui, Yulei UNSWAustralia Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability Committee Member in Review Committee within the SPLASH OOPSLA-track
Zachary SullivanSullivan, Zachary A Formal Model for Portable, Heterogeneous Accelerator Programming
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Doctoral Symposium Chair in Organizing Committee for SPLASH 2024 First announcement of SIGPLAN's John Vlissides award; Closing Remarks Welcome and Introduction Committee Member in Review Committee within the SPLASH OOPSLA-track Doctoral Symposium Chair in Program Committee within the SPLASH Doctoral Symposium-track
Yaozhu SunSun, Yaozhu University of Hong KongChina Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
Kirshanthan SundararajahSundararajah, Kirshanthan Virginia TechUnited States SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
Vijay SundaresanSundaresan, Vijay IBM CanadaCanada The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Shiv SundramSundram, Shiv Stanford University Compiling Recurrences over Dense and Sparse Arrays
Chungha SungSung, Chungha Amazon Web Services, USAUnited States Automatically Reducing Privilege for Access Control Policies
Gerson SunyéSunyé, Gerson Nantes Université, LS2N (UMR CNRS 6004)France Towards an In-context LLM-based Approach for Automating the Definition of Model Views Committee Member in Artifact Evaluation Committee within the SLE-track
Tamás SzabóSzabó, Tamás GitHub NextAustria Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SLE-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Steering Committee within the SLE-track
Tim SüberkrübSüberkrüb, Tim Aleph Alpha Deriving Dependently-Typed OOP from First Principles
T Marco T MorazanT Morazan, Marco Seton Hall UniversityUnited States Using Computation Graphs to Explain Nondeterminism to Students Visualizing Composed Turing Machines Committee Member in Program Commitee within the SPLASH -E-track
Marcel TaeumelTaeumel, Marcel University of Potsdam; Hasso Plattner InstituteGermany Onward! Essays PC Chair in Organizing Committee for SPLASH 2024 Session Chair of Onward! Essays (part of SPLASH Onward! Essays) Session Chair of Onward! Essays (part of SPLASH Onward! Essays) Session Chair of Onward! Essays (part of SPLASH Onward! Essays) Session Chair of Onward! Essays (part of SPLASH Onward! Essays) Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory Programming Onward! Conclusion Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status Onward! introduction Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Onward! Essays PC Chair in Program Committee within the SPLASH Onward! Essays-track
Alicia JW TakaokaTakaoka, Alicia JW Erasmus University RotterdamNetherlands Committee Member in Artifact Evaluation Committee within the SLE-track
Yoshiki TakashimaTakashima, Yoshiki Carnegie Mellon UniversityUnited States Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Jinhao TanTan, Jinhao University of Hong KongChina A Case for First-Class Environments
Zujun TanTan, Zujun Princeton University, USA PROMPT: A Fast and Extensible Memory Profiling Framework
Fugen TangTang, Fugen University of Science and Technology of China MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Jian TangTang, Jian Nanjing University HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Éric TanterTanter, Éric University of ChileChile Taming Unsoundness with Gradual Abstract Interpretation
Muhammad Usman TariqTariq, Muhammad Usman Stanford University Compiling Recurrences over Dense and Sparse Arrays
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Tachis: Higher-Order Separation Logic with Credits for Expected Costs Committee Member in Review Committee within the SPLASH OOPSLA-track
Max TaylorTaylor, Max Ohio State University Cocoon: Static Information Flow Control in Rust
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil On the Expressive Power of Languages for Static Variability Author in Program Committee within the GPCE-track
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Session Chair of Tracing bugs and flaws (part of SAS ) Committee Member in Program Committee within the SAS -track
Jérémy ThibaultThibault, Jérémy MPI-SP Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Christoph ThiedeThiede, Christoph Hasso Plattner Institute, University of Potsdam, GermanyGermany Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory Programming
Peter ThiemannThiemann, Peter University of Freiburg, Germany Ordered Types for Typestate Law and Order for Typestate with Borrowing
Dave ThomasThomas, Dave Bedarra CorpCanada Committee Member in Program Committee within the SPLASH Onward! Papers-track
Sverrir ThorgeirssonThorgeirsson, Sverrir ETH ZurichSwitzerland The Hidden Program State Hurts Everyone
Thomas ThümThüm, Thomas Paderborn UniversityGermany GPCE24 Closing GPCE24 Opening On the Expressive Power of Languages for Static Variability Program Chair in Organizing Committee within the GPCE-track
Eli TilevichTilevich, Eli Virginia TechUnited States Author in Program Committee within the GPCE-track Committee Member in Program Commitee within the SPLASH -E-track
Frank TipTip, Frank Northeastern UniversityUnited States Steering Committee Member in Steering Committee for SPLASH 2024 Session Chair of Static Analysis and Program Verification 3 (part of SPLASH OOPSLA)
Massimo TisiTisi, Massimo IMT Atlantique, LS2N (UMR CNRS 6004)France Towards an In-context LLM-based Approach for Automating the Definition of Model Views
Laura TitoloTitolo, Laura AMA/NASA LaRCUnited States Committee Member in Program Committee within the NSAD-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Rebase Co-chair in Organizing Committee for SPLASH 2024 Session Chair of REBASE (part of SPLASH REBASE) Session Chair of REBASE (part of SPLASH REBASE) Session Chair of REBASE (part of SPLASH REBASE) Unboxing Virgil ADTs For Fun and Profit Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks Committee Member in Review Committee within the SPLASH OOPSLA-track Organization Co-chair in REBASE within the SPLASH REBASE-track PC Member in Program Committee within the VMIL-track Co-chair in Organizing Committee within the JENSFEST-track Committee Member in Program Committee within the JENSFEST-track
Ashish TiwariTiwari, Ashish MicrosoftUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States Metamorphic Debugging for Accountable Software
Hamish ToddTodd, Hamish Girih games Snappets: a VR animation system based on Projective Geometric Algebra
John TomanToman, John Certora, inc. Practical Verification Of Smart Contracts Using Memory Splitting
Carlos Tomé CortiñasTomé Cortiñas, Carlos Chalmers University of TechnologySweden Sensitivity by Parametricity
Bernardo ToninhoToninho, Bernardo NOVA-LINCS; Nova University of LisbonPortugal Committee Member in Review Committee within the SPLASH OOPSLA-track
Cassia TorczonTorczon, Cassia University of Pennsylvania Effects and Coeffects in Call-By-Push-Value
Emina TorlakTorlak, Emina Amazon Web Services, USAUnited States A New Language for Expressive, Fast, Safe, and Analyzable Authorization Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Matías ToroToro, Matías University of ChileChile Taming Unsoundness with Gradual Abstract Interpretation Merging Gradual Typing
Jay TorryTorry, Jay University of Cambridge Programming Languages for the Future of Design Computation
Emma ToschTosch, Emma Northeastern University, USA Attendee Bingo and Scavenger Hunt Committee Member in Program Committee within the ProLaLa-track Committee Member in Organizing Committee within the ProLaLa-track Committee Member in Organizing Committee within the ProLaLa-track Associate Chair in Review Committee within the SPLASH OOPSLA-track
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom PC Member in Program Committee within the VMIL-track
Sean TreichlerTreichler, Sean NVIDIAUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Ashutosh TrivediTrivedi, Ashutosh University of Colorado BoulderUnited States Metamorphic Debugging for Accountable Software
Taylor TroeshTroesh, Taylor UnaffiliatedUnited States Publishable Network Contracts in Scrapscript ScrapSheets: Async Programs in a Reactive 2D Environment
Christos TsigkanosTsigkanos, Christos University of Athens, GreeceGreece Automated Generation of Code Contracts - Generative AI to the Rescue?
Chia-Heng TuTu, Chia-Heng National Cheng Kung University Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Emily TuckerTucker, Emily Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation
Petr TumaTuma, Petr Charles UniversityCzechia An Analysis of Compiled Code Reusability in Dynamic Compilation
Skander TurkiTurki, Skander Prince Sultan University, KSASaudi Arabia Committee Member in Artifact Evaluation Committee within the SLE-track
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Reducing Write Barrier Overheads for Orthogonal Persistence PC Member in Program Committee within the VMIL-track
Hiroshi UnnoUnno, Hiroshi Tohoku UniversityJapan Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
Caterina UrbanUrban, Caterina Inria - École Normale SupérieureFrance Abstract Domains for Machine Learning Verification Towards a High Level Linter for Data Science Quantitative Static Timing Analysis Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software Post-PhD Careers & Life Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track
Akshay UttureUtture, Akshay Uber Technologies Inc. Automated Repairs for Resource Leak Warnings Committee Member in Program Committee within the JENSFEST-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany Extending the C/C++ Memory Model with Inline Assembly
L. Thomas van Binsbergenvan Binsbergen, L. Thomas University of AmsterdamNetherlands Session Chair of Software Language Design and Implementation I (part of SLE) Bridging Incremental Programming and Complex Software Development Environments On the Soundness of Auto-Completion Services for Dynamically Typed Languages Cooperative Specification via Composition Control Committee Member in Program Committee within the SLE-track
Maikel van de Lisdonkvan de Lisdonk, Maikel NoneNetherlands Code flow canvas - a generic visual programming system
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Steering Committee Member in Steering Committee for SPLASH 2024 Committee Member in Program Committee within the PAINT-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SLE-track
Peter van Hardenbergvan Hardenberg, Peter Ink & SwitchCanada Welcome & Opening Closing & Farewell Committee Member in Organizing Committee within the LIVE-track Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the LIVE-track
Lucas Van PraetVan Praet, Lucas KU Leuven, BelgiumBelgium ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises
Riemer van Rozenvan Rozen, Riemer CWINetherlands Advanced Game Engine Wizardry for Visual Programming Environments Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SLE-track
Eric Van WykVan Wyk, Eric Department of Computer Science and Engineering, University of MinnesotaUnited States Session Chair of SLE Body of Knowledge (SLEBoK) (part of SLE) Committee Member in Steering Committee within the GPCE-track Steering Committee Chair in Steering Committee within the SLE-track
Ryan VandersmithVandersmith, Ryan DFINITY Foundation Smarter Contract Upgrades with Orthogonal Persistence
Julien VanegueVanegue, Julien Imperial College London; BloombergUnited States Non-Termination Proving at Scale
Gabriele VanoniVanoni, Gabriele IRIF, Université Paris Cité Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Julia Vanwijnsberghe-BoltVanwijnsberghe-Bolt, Julia Vrije Universiteit AmsterdamNetherlands Roles of Variables in the Hedy programming language
Alexander VargaVarga, Alexander Brown University Forge: A Tool and Language for Teaching Formal Methods
Daniel VarroVarro, Daniel Linköping University / McGill UniversitySweden Active DSU: Dynamic Software Updates for Active Functions
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal Steering Committee Member in Steering Committee for SPLASH 2024
Martin VechevVechev, Martin ETH ZurichSwitzerland Modular Synthesis of Efficient Quantum Uncomputation Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Marcella VeldthuisVeldthuis, Marcella VU AmsterdamNetherlands A Word About Programming: Applying a Natural Language Vocabulary Acquisition Model to Programming Education
Joey Velez-GinorioVelez-Ginorio, Joey Effects and Coeffects in Call-By-Push-Value
Arnaud VenetVenet, Arnaud Facebook Committee Member in Program Committee within the SAS -track
Hristo VenevVenev, Hristo INSAIT, Sofia University "St. Kliment Ohridski"Bulgaria Modular Synthesis of Efficient Quantum Uncomputation
Karthika VenkatesanVenkatesan, Karthika Centre for development of advanced computing Committee Member in Artifact Evaluation Committee within the SLE-track
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Block-based Platform for Defining Adaptation Rules for Automotive Systems Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track
Freek VerbeekVerbeek, Freek Open Universiteit & Virginia Tech libLISA: Instruction Discovery and Analysis on x86-64
Gust VerbruggenVerbruggen, Gust Microsoft PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Didier VernaVerna, Didier EPITA Research LaboratoryFrance Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jan Liam VerterVerter, Jan Liam Faculty of Mathematics and Physics, Charles University Don’t Call Us, We’ll Call You
Vasudev VikramVikram, Vasudev Carnegie Mellon UniversityUnited States Large Language Models for Executable Tax Code Generation
Agnes VillanyiVillanyi, Agnes MIT CSAIL Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Jurgen VinjuVinju, Jurgen CWI; Eindhoven University of TechnologyNetherlands Committee Member in Steering Committee within the SLE-track
Harishankar VishwanathanVishwanathan, Harishankar Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Jan VitekVitek, Jan Northeastern UniversityUnited States Steering Committee Chair in Steering Committee for SPLASH 2024 Reducing Feedback Pollution
Vesal VojdaniVojdani, Vesal University of TartuEstonia Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Klaus von Gleissenthallvon Gleissenthall, Klaus Vrije Universiteit AmsterdamNetherlands Refinement Type Refutations
W Andrew WagnerWagner, Andrew Northeastern UniversityUnited States Forge: A Tool and Language for Teaching Formal Methods Realistic Realizability: Specifying ABIs You Can Count On
Eric WalkingshawWalkingshaw, Eric UnaffiliatedUnited States On the Expressive Power of Languages for Static Variability
Qianyong WanWan, Qianyong The University of Hong KongChina Full Iso-recursive Types
Chao WangWang, Chao University of Southern CaliforniaUnited States How to Manage Your PhD Research and Your Career
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Chengpeng WangWang, Chengpeng Purdue UniversityUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Di WangWang, Di Peking UniversityChina Session Chair of Static Analysis and Program Verification 1 (part of SPLASH OOPSLA) Session Chair of Probabilistic Programming and Analysis 1 (part of SPLASH OOPSLA) Newtonian Program Analysis of Probabilistic Programs Semantics Lifting for Syntactic Sugar Programmable MCMC with Soundly Composed Guide Programs Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SLE-track
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Huaijin WangWang, Huaijin PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Ji WangWang, Ji National University of Defense TechnologyChina FPCC: Detecting Floating-Point Errors via Chain Conditions
Jingbo WangWang, Jingbo University of Southern CaliforniaUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Kailong WangWang, Kailong Huazhong University of Science and TechnologyChina Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Ke WangWang, Ke United States Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Linzhang WangWang, Linzhang Nanjing University Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks Finding Cross-rule Optimization Bugs in Datalog Engines
Qian (Andy) WangWang, Qian (Andy) ETH Zurich and Imperial College LondonUnited Kingdom Rustlantis: Randomized Differential Testing of the Rust Compiler
Shaohua WangWang, Shaohua Central University of Finance and EconomicsChina A Learning-Based Approach to Static Program Slicing
Shuai WangWang, Shuai Hong Kong University of Science and TechnologyChina PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Xiaoliang WangWang, Xiaoliang Nanjing University HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Xinyu WangWang, Xinyu University of MichiganUnited States VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Yu WangWang, Yu Nanjing UniversityChina Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints Committee Member in Review Committee within the SPLASH OOPSLA-track
Yueyang WangWang, Yueyang Nanjing University HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Zhaoyu WangWang, Zhaoyu HKUST PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Zhemin WangWang, Zhemin Nanjing University of Aeronautics and AstronauticsChina Design and Implementation of an Aspect-Oriented C Programming Language
Zhongye WangWang, Zhongye Shanghai Jiao Tong University Compositionality and Observational Refinement for Linearizability with Crashes
Ziheng WangWang, Ziheng Semantics Lifting for Syntactic Sugar
Ziteng WangWang, Ziteng University of Texas at AustinUnited States Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Alessandro WarthWarth, Alessandro Ink & SwitchUnited States Inkling: Sketching Dynamic Systems Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
Anthony I. (Tony) WassermanWasserman, Anthony I. (Tony) Software Methods and ToolsUnited States Design of Software Representation Languages: a Historical Perspective
Robin WebbersWebbers, Robin Vrije Universiteit Amsterdam Refinement Type Refutations
Nick WebsterWebster, Nick Victoria University of Wellington Java Method-Local Inner Classes are Unsound
Bradley Wei Jie TeoWei Jie Teo, Bradley Jane Street Unboxing Virgil ADTs For Fun and Profit
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN) ParDiff: Practical Static Differential Analysis of Network Protocol Parsers Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hengfeng WeiWei, Hengfeng State Key Laboratory for Novel Software Technology, Nanjing UniversityChina Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels
Marcel WeiherWeiher, Marcel Hasso Plattner Institute, University of Potsdam, Germany Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Effects and Coeffects in Call-By-Push-Value
Georg WeissenbacherWeissenbacher, Georg TU WienAustria Finding ∀∃ Hyperbugs Using Symbolic Execution
Laurin WeissingerWeissinger, Laurin What Programmers and Lawyers Get Wrong About Privacy Policies
Aaron WelchWelch, Aaron Scalable Small Message Aggregation on Modern Interconnects Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
Andrew WellsWells, Andrew Amazon Web Services Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Shiwei WengWeng, Shiwei Johns Hopkins UniversityUnited States Semantic-Type-Guided Bug Finding Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Luke WestWest, Luke Brown University Forge: A Tool and Language for Teaching Formal Methods
John WickersonWickerson, John Imperial College LondonUnited Kingdom Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Ben WiedermannWiedermann, Ben Harvey Mudd College Post-PhD Careers & Life Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track
Lu WilsonWilson, Lu TentpoleUnited Kingdom Arroost: Unblocking creation with friends Dialogues on Natural Code
Christian WimmerWimmer, Christian Amazon Web ServicesUnited States PC Member in Program Committee within the VMIL-track
Manuel WimmerWimmer, Manuel JKU LinzAustria Committee Member in Program Committee within the SLE-track
Dominik WintererWinterer, Dominik ETH ZurichSwitzerland Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration
Allen Wirfs-BrockWirfs-Brock, Allen Wirfs-Brock AssociatesUnited States Session Chair of Onward! Essays (part of SPLASH Onward! Essays) Discovering Your Software Umwelt Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jordan Wirfs-BrockWirfs-Brock, Jordan Whitman College Discovering Your Software Umwelt
Rebecca Wirfs-BrockWirfs-Brock, Rebecca Wirfs-Brock AssociatesUnited States Discovering Your Software Umwelt
Augustine WongWong, Augustine University of British ColumbiaCanada Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur
Eric WongWong, Eric TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Kidus WorknehWorkneh, Kidus University of Colorado, Boulder Leroy: Library Learning for Imperative Programming Languages
John WrennWrenn, John Brown UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Session Chair of Ownership, Security, and Privacy (part of SPLASH OOPSLA) Session Chair of Novel Programming Concepts and Paradigms (part of SPLASH OOPSLA) Session Chair of Session 4 (part of IWACO) Welcome and goals of IWACO 2024 Mark--Scavenge: Waiting for Trash to Take Itself Out Associate Chair in Review Committee within the SPLASH OOPSLA-track Co-chair in Program Committee within the IWACO-track Committee Member in Organizing Committee within the IWACO-track
Jifeng WuWu, Jifeng The University of British Columbia QuAC: Quick Attribute-Centric Type Inference for Python
Jinhua WuWu, Jinhua Shanghai Jiao Tong UniversityChina Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Ke WuWu, Ke Johns Hopkins University Intensional Functions Semantic-Type-Guided Bug Finding
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Sponsorship Co-Chair in Organizing Committee for SPLASH 2024
Tong WuWu, Tong Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Yi WuWu, Yi Tsinghua University Quarl: A Learning-Based Quantum Circuit Optimizer
Yinjun WuWu, Yinjun University of Pennsylvania TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Zheyuan WuWu, Zheyuan Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Committee Member in Program Committee within the SLE-track
X Anxhelo XhebrajXhebraj, Anxhelo NVIDIAUnited States Specializing Data Access in a Distributed File System (Generative Pearl)
Shale XiongXiong, Shale ARMUnited Kingdom Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Yingfei XiongXiong, Yingfei Peking UniversityChina Committee Member in Review Committee within the SPLASH OOPSLA-track
Amanda XuXu, Amanda University of Wisconsin-Madison Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anlun XuXu, Anlun Google Compiler Support for Sparse Tensor Convolutions
Pei XuXu, Pei University of Technology Sydney / UNSW Sydney Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Runqing XuXu, Runqing AUTOINC: Incrementality for Free
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Xuechun XuXu, Xuechun KTH Royal Institute of Technology Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Yichen XuXu, Yichen EPFL Degrees of Separation: A Flexible Type System for Safe Concurrency
Ziyang XuXu, Ziyang Princeton / AWSUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Jingling XueXue, Jingling UNSW SydneyAustralia Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Xu XueXue, Xu University of Hong KongChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Y Aashish YadavallyYadavally, Aashish University of Texas at DallasUnited States A Learning-Based Approach to Static Program Slicing
Tetsuro YamazakiYamazaki, Tetsuro University of TokyoJapan Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript
Bobby YanYan, Bobby Stanford UniversityUnited States Compilation of Shape Operators on Sparse Arrays
Zhenyu YanYan, Zhenyu Peking University Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks
Chen YangYang, Chen Tianjin UniversityChina Dependency-aware Code Naturalness
Chenyuan YangYang, Chenyuan University of Illinois at Urbana-ChampaignUnited States WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Jiawei YangYang, Jiawei Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
Xuanda YangYang, Xuanda University of California San Diego Distributions for Compositionally Differentiating Parametric Discontinuities
Zhaorui YangYang, Zhaorui University of California, Riverside Committee Member in Artifact Evaluation Committee within the SLE-track
Ziteng YangYang, Ziteng Georgia Institute of TechnologyUnited States Fully Verified Instruction Scheduling
Ziyi YangYang, Ziyi National University of SingaporeSingapore DSLs in Racket: You Want It How, Now?
Jiayi YaoYao, Jiayi The Chinese University of Hong Kong, Shenzhen WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Peisen YaoYao, Peisen Zhejiang UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
Wenjia YeYe, Wenjia National University of SingaporeSingapore Merging Gradual Typing Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
Kwangkeun YiYi, Kwangkeun Seoul National University Static Analysis Sparsity and Modularity
Xin YiYi, Xin National University of Defense TechnologyChina FPCC: Detecting Floating-Point Errors via Chain Conditions
Ayato YokoyamaYokoyama, Ayato University of Tsukuba Type-Safe Code Generation With Algebraic Effects and Handlers
James YouYou, James University of WaterlooCanada Qualifying System F-sub
Peixin YouYou, Peixin Yale University Compositionality and Observational Refinement for Linearizability with Crashes
Jeffrey YoungYoung, Jeffrey IOHKUnited States On the Expressive Power of Languages for Static Variability
Neringa YoungYoung, Neringa Lithuania SIGPLAN Conference Manager in Organizing Committee for SPLASH 2024 Women@SPLASH dinner
BoXi YuYu, BoXi The Chinese University of Hong Kong, ShenzhenChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Chenyang YuYu, Chenyang Department of Computer Science and Technology, Nanjing University Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Hengbiao YuYu, Hengbiao National University of Defense Technology FPCC: Detecting Floating-Point Errors via Chain Conditions
Le YuYu, Le ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Tailai YuYu, Tailai Tsinghua University Semantics Lifting for Syntactic Sugar
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Charles YuanYuan, Charles MITUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Z Enea ZaffanellaZaffanella, Enea University of ParmaItaly Towards a High Level Linter for Data Science Stability: An Abstract Domain for the Trend of Variation of Numerical Variables Committee Member in Program Committee within the SAS -track
Albert ZakZak, Albert UAS Technikum Wien (2020-2024), Independent (2024-)Austria Run, Build and Grow Small Systems Without Leaving Your Text Editor
Marco ZanellaZanella, Marco University of Padova, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Pamela ZaveZave, Pamela AT&T LaboratoriesUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Vadim ZaytsevZaytsev, Vadim University of Twente, NetherlandsNetherlands Author in Program Committee within the GPCE-track
Uwe ZdunZdun, Uwe University of ViennaAustria Cloud Programming Languages and Infrastructure From Code: An Empirical Study
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Haoyi ZengZeng, Haoyi Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Yizhuo ZhaiZhai, Yizhuo University of California at Riverside, USA Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Bohua ZhanZhan, Bohua Institute of Software, Chinese Academy of Sciences Mechanizing the CMP Abstraction for Parameterized Verification
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Steering Committee Member in Steering Committee for SPLASH 2024
Chengyu ZhangZhang, Chengyu ETH ZurichSwitzerland SMT2Test: From SMT Formulas to Effective Test Cases
Chi ZhangZhang, Chi Nanjing UniversityChina (Lightning Talk) Step-wise Execution of Data-Centric Systems Step-wise Execution of Data-Centric Systems Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks Finding Cross-rule Optimization Bugs in Datalog Engines
Jialu ZhangZhang, Jialu University of WaterlooCanada PyDex: Repairing Bugs in Introductory Python Assignments using LLMs Committee Member in Reviewers within the SPLASH Student Research Competition-track
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Associate Chair in Review Committee within the SPLASH OOPSLA-track
Linpeng ZhangZhang, Linpeng University College LondonUnited Kingdom Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Qian ZhangZhang, Qian University of California at RiversideUnited States Publications Chair in Organizing Committee for SPLASH 2024 Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Workshops Co-Chair in Organizing Committee for SPLASH 2024 Session Chair of Quantum and system level analysis (part of SAS ) The Normalization Barrier Revisited Retrieving Unknown SMT Formulas via Structural Mutations Committee Member in Program Committee within the SAS -track Committee Member in Organizing Committee within the SPLASH Workshops-track
Quan ZhangZhang, Quan Tsinghua UniversityChina PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Robert ZhangZhang, Robert The University of Texas at Austin, The Johns Hopkins UniversityUnited States A Pure Demand Operational Semantics with Applications to Program Analysis
Wei ZhangZhang, Wei Meta Platforms, Inc.United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Xin ZhangZhang, Xin Peking UniversityChina Session Chair of Probabilistic Programming and Analysis 2 (part of SPLASH OOPSLA) Learning Abstraction Selection for Bayesian Program Analysis Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks Committee Member in Review Committee within the SPLASH OOPSLA-track
Yifan ZhangZhang, Yifan Peking UniversityChina Learning Abstraction Selection for Bayesian Program Analysis
Yilin ZhangZhang, Yilin University of Tokyo Reducing Write Barrier Overheads for Orthogonal Persistence
Yiyu ZhangZhang, Yiyu Nanjing UniversityChina HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Lexical Effect Handlers, Directly Persimmon: Nested Family Polymorphism with Extensible Variant Types Committee Member in Review Committee within the SPLASH OOPSLA-track
Yu ZhangZhang, Yu University of Science and Technology of China MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Zhiru ZhangZhang, Zhiru Cornell University, USA UniSparse: An Intermediate Language for General Sparse Format Customization
David ZhaoZhao, David RelationalAI Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Tian ZhaoZhao, Tian University of Wisconsin-MilwaukeeUnited States Committee Member in Program Committee within the JENSFEST-track
Yaoyu ZhaoZhao, Yaoyu University of Waterloo Qualifying System F-sub
Zhongyuan ZhaoZhao, Zhongyuan Qualcomm UniSparse: An Intermediate Language for General Sparse Format Customization
Mingwei ZhengZheng, Mingwei Purdue UniversityUnited States ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Ye ZhengZheng, Ye Rochester Institute of Technology (RIT)United States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Heng ZhongZhong, Heng Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Youwei ZhongZhong, Youwei Shanghai Jiao Tong UniversityChina A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Chijin ZhouZhou, Chijin Tsinghua UniversityChina PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Litao ZhouZhou, Litao University of Hong KongChina Full Iso-recursive Types
Tong ZhouZhou, Tong Georgia Institute of Technology Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism
Fengmin ZhuZhu, Fengmin CISPA - Helmholtz Center for Information SecurityGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Shaopeng ZhuZhu, Shaopeng Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yuhao ZhuZhu, Yuhao University of Rochester CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
Yunlong ZhuZhu, Yunlong Nanjing University of Aeronautics and AstronauticsChina Design and Implementation of an Aspect-Oriented C Programming Language
Tewfik ZiadiZiadi, Tewfik LIP6, Sorbonne Université An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States (Lightning Talk) Unified Analysis Techniques for Programs with Outcomes Unified Analysis Techniques for Programs with Outcomes Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Philip ZuckerZucker, Philip DraperUnited States Scimitar: Functional Programs as Optimization Problems
Damien ZuffereyZufferey, Damien SonarSourceSwitzerland Committee Member in Review Committee within the SPLASH OOPSLA-track
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing Committee Member in Review Committee within the SPLASH OOPSLA-track
Ö Jesper ÖqvistÖqvist, Jesper Cognibotics Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis
Erik ÖsterlundÖsterlund, Erik OracleSweden Mark--Scavenge: Waiting for Trash to Take Itself Out
Ž Đorđe ŽikelićŽikelić, Đorđe Singapore Management University, SingaporeSingapore Quantitative Bounds on Resource Usage of Probabilistic Programs

SPLASH 2024 Contributors

Results (1300)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia