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 Opening GPCE24 Closing 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 Reward Augmentation in Reinforcement Learning for Testing Distributed Systems Model Checking Distributed Protocols in Must Scenario-based Proofs for Concurrent Objects
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 Quantitative Bounds on Resource Usage of Probabilistic Programs Fast and Optimal Extraction for Sparse Equality Graphs 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 HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing Understanding and Finding Java Decompiler Bugs
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