SPLASH 2024 Contributors - SPLASH 2024

SPLASH 2024 Contributors - SPLASH 2024
SPLASH 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
Attending
Venue: Hilton Pasadena
Students
Registration
Visa Support Letters
Sponsoring
Code of conduct
Instructions for Presenters
Chair's Welcome
How to SPLASH (Quick Attendee Guide)
Mt. Baldy Bicycle Trip
Attractions Around Pasadena
Live Stream
Program
SPLASH Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Tracks
SPLASH 2024
DEI Activities
Doctoral Symposium
Keynotes
OOPSLA 2024
OOPSLA Artifacts
Onward! Essays
Onward! Papers
PLMW
Posters
REBASE
SPLASH-E
Student Research Competition
Volunteers
Workshops
Co-hosted Conferences
GPCE
SLE
Workshops
HATRA
IWACO
JENSFEST
LIVE
NSAD
PAINT
ProLaLa
UNSOUND
VIVEKFEST
VMIL
VMIL
- A tour of CPython's runtime
Co-hosted Symposia
SAS
SAS
SAS
Artifacts
Organization
SPLASH 2024 Committees
Organizing Committee
Steering Committee
Track Committees
Doctoral Symposium
OOPSLA 2024
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
REBASE
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers
Volunteers
Workshops
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
SLE
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
HATRA
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
JENSFEST
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
NSAD
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
ProLaLa
Organizing Committee
Program Committee
UNSOUND
Organizing Committee
VIVEKFEST
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
Co-hosted Symposia
SAS
SAS 2024
Organizing Committee
SAS 2024
Program Committee
SAS Artifacts
Series
Series
SPLASH 2026
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
SPLASH 2024 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Results
1295
Ruanqianqian (Lisa) Huang
(Lisa) Huang, Ruanqianqian
University of California, San Diego
United States
PhD Life Panel
Panelist in Speakers & Panelists within the SPLASH PLMW-track
Committee Member in Program Committee within the LIVE-track
Parosh Aziz Abdulla
Abdulla, Parosh Aziz
Uppsala University, Sweden
Committee Member in Review Committee within the SPLASH OOPSLA-track
Dave Abrahams
Abrahams, Dave
Adobe
United States
Method Bundles (New Ideas/Vision paper)
Umut A. Acar
Acar, Umut A.
Carnegie Mellon University
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
David H. Ackley
Ackley, David H.
Living Computation Foundation
Dialogues on Natural Code
Eddie Aftandilian
Aftandilian, Eddie
GitHub Next
United States
Lessons Learned from Building GitHub Copilot(s)
Shubh Agrawal
Agrawal, Shubh
University of Michigan
Effects and Coeffects in Call-By-Push-Value
Alejandro Aguirre
Aguirre, Alejandro
Aarhus University
Denmark
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Gianluca Aguzzi
Aguzzi, Gianluca
Alma Mater Studiorum - Università di Bologna
Italy
Committee Member in Artifact Evaluation Committee within the SLE-track
Amal Ahmed
Ahmed, Amal
Northeastern University, USA
United 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 Ahmed
Ahmed, Sharif
Boise State University, USA
Committee Member in Artifact Evaluation Committee within the SLE-track
Robert Aish
Aish, Robert
Bartlett School of Architecture, UCL
Programming Languages for the Future of Design Computation
Efthimia Aivaloglou
Aivaloglou, Efthimia
Delft University of Technology
Netherlands
Gender Differences in Story, Game and Visual Adventures in Hedy
Jonathan Aldrich
Aldrich, Jonathan
Carnegie Mellon University
United States
The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps
Session Chair of Effects (part of SPLASH OOPSLA)
TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Session Chair of Papers 2 (part of HATRA)
Organizing Chair in Organizing Committee within the HATRA-track
Substructural Information Flow via Polymorphism
Committee Member in Program Committee within the IWACO-track
Georgios Alexopoulos
Alexopoulos, Georgios
University of Athens
Greece
When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Razan Alghamdi
Alghamdi, Razan
University of Colorado, Boulder
Leroy: Library Learning for Imperative Programming Languages
Amin Alipour
Alipour, Amin
University of Houston
United States
Workshops Co-Chair in Organizing Committee for SPLASH 2024
Committee Member in Organizing Committee within the SPLASH Workshops-track
Anoud Alshnakat
Alshnakat, Anoud
KTH Royal Institute of Technology
HOL4P4: mechanized small-step semantics for P4
Luigi Altamirano
Altamirano, Luigi
Eindhoven University of Technology
Netherlands
Block-based Platform for Defining Adaptation Rules for Automotive Systems
Mario Alvarez-Picallo
Alvarez-Picallo, Mario
Huawei Research Centre
Effect handlers for C via coroutines
Juliana Alves Pereira
Alves Pereira, Juliana
Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
Session Chair of Software Language Integration and Composition (part of SLE)
Juliana Alves Pereira
Alves Pereira, Juliana
PUC-Rio
Brazil
SLE Welcome
Program Co-Chair in Organizing Committee within the SLE-track
Andrea Amantini
Amantini, Andrea
Nextjournal
Live Programming a Live Programming Environment: An Experience Report
Saman Amarasinghe
Amarasinghe, Saman
Massachusetts Institute of Technology
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Guillaume Ambal
Ambal, Guillaume
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Nada Amin
Amin, Nada
Harvard University
United States
Persimmon: Nested Family Polymorphism with Extensible Variant Types
Matthew Amy
Amy, Matthew
Simon Fraser University
Canada
Committee Member in Program Committee within the SAS -track
Carolyn Jane Anderson
Anderson, Carolyn Jane
Wellesley College
United States
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Logan Anderson
Anderson, Logan
Purdue University
SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
Edward Andert
Andert, Edward
Arizona State University
TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Artur Andrzejak
Andrzejak, Artur
Heidelberg University
Germany
Committee Member in Program Committee within the GPCE-track
Anthony Anjorin
Anjorin, Anthony
Zühlke Engineering GmbH
Germany
Committee Member in Program Committee within the SLE-track
Rui António Ramada Rua
António Ramada Rua, Rui
University of Minho & INESC TEC
Portugal
Committee Member in Artifact Evaluation Committee within the SLE-track
Sotiris Apostolakis
Apostolakis, Sotiris
Google
United States
PROMPT: A Fast and Extensible Memory Profiling Framework
Ian Arawjo
Arawjo, Ian
Cornell University
Committee Member in Program Committee within the HATRA-track
Committee Member in Program Committee within the LIVE-track
Vincenzo Arceri
Arceri, Vincenzo
University of Parma, Italy
Italy
Session Chair of NSAD: Session 1 (part of NSAD)
Opening
Closing
Co-chair in Organizing Committee within the NSAD-track
Jaime Arias
Arias, Jaime
CNRS; LIPN; Université Sorbonne Paris Nord
France
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sameer Arora
Arora, Sameer
Certora Inc.
Practical Verification Of Smart Contracts Using Memory Splitting
Steven Arzt
Arzt, Steven
Fraunhofer SIT; ATHENE
Germany
Committee Member in Program Committee within the SAS -track
Kenichi Asai
Asai, Kenichi
Ochanomizu University
Japan
Committee Member in Program Commitee within the SPLASH -E-track
Nicola Assolini
Assolini, Nicola
University of Verona
Italy
Video Chair in Organizing Committee for SPLASH 2024
Static Analysis of Quantum Programs
Abstracting Entanglement
Parisa Ataei
Ataei, Parisa
Oregon State University
On the Expressive Power of Languages for Static Variability
Mohamed Faouzi Atig
Atig, Mohamed Faouzi
Uppsala University, Sweden
Sweden
Committee Member in Review Committee within the SPLASH OOPSLA-track
David I. August
August, David I.
Princeton University
United States
PROMPT: A Fast and Extensible Memory Profiling Framework
Lennart Augustsson
Augustsson, Lennart
Epic Games
Verse - a new functional logic language
Martin Avanzini
Avanzini, Martin
Inria
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Charles Babu M
Babu M, Charles
CEA-List
France
Trace Partitioning as an Optimization Problem
Casper Bach
Bach, Casper
University of Southern Denmark
Denmark
Committee Member in Review Committee within the SPLASH OOPSLA-track
Concrete Syntax Metapatterns
Doehyun Baek
Baek, Doehyun
KAIST
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Alexander Bai
Bai, Alexander
Tufts University
Video Chair in Organizing Committee for SPLASH 2024
Martina Baiardi
Baiardi, Martina
University of Bologna
Italy
Committee Member in Artifact Evaluation Committee within the SLE-track
Alexander Bakst
Bakst, Alexander
Certora
United States
Practical Verification Of Smart Contracts Using Memory Splitting
Paolo Baldan
Baldan, Paolo
University of Padova
Italy
Committee Member in Program Committee within the SAS -track
Jacob Bambeck
Bambeck, Jacob
Ohio State University
Cocoon: Static Information Flow Control in Rust
Lucas Bang
Bang, 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 Baniassad
Baniassad, Elisa
University of British Columbia
Canada
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Sorav Bansal
Bansal, Sorav
IIT Delhi and CompilerAI Labs
India
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Yuyan Bao
Bao, Yuyan
Augusta University
United States
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN)
Saam Barati
Barati, Saam
Epic Games
United States
JavaScript virtual machine evolution
Valentin Barbazo
Barbazo, Valentin
École Normale Supérieure | Université PSL
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Sébastien Bardin
Bardin, Sébastien
CEA LIST, University Paris-Saclay
France
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 Barik
Barik, Raj
Gitar Co.
United States
Session Chair of Post-lunch Session (part of VIVEKFEST)
Session Chair of Afternoon Session (part of VIVEKFEST)
Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg)
Collaborators' Toast: Drinks & Memories of Vivek's Work (6-8PM)
Committee Member in Organizing Committee within the VIVEKFEST-track
Shraddha Barke
Barke, Shraddha
University of California at San Diego
United States
Committee Member in Program Committee within the HATRA-track
Ion Barosan
Barosan, Ion
TU Eindhoven
Netherlands
Block-based Platform for Defining Adaptation Rules for Automotive Systems
Earl T. Barr
Barr, Earl T.
University College London
United Kingdom
Committee Member in Review Committee within the SPLASH OOPSLA-track
Aurèle Barrière
Barrière, Aurèle
EPFL
Switzerland
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gilles Barthe
Barthe, Gilles
MPI-SP; IMDEA Software Institute
Germany
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 Basin
Basin, David
ETH Zurich
Switzerland
Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels
Shrutarshi Basu
Basu, Shrutarshi
Middlebury College
United States
Committee Member in Program Committee within the ProLaLa-track
Committee Member in Organizing Committee within the ProLaLa-track
Guillaume Baudart
Baudart, Guillaume
Inria
France
Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2024
Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vincent Beardsley
Beardsley, Vincent
Ohio State University
Cocoon: Static Information Flow Control in Rust
(Lightning Talk) Static-Dynamic Information Flow Control in Rust
Static-Dynamic Information Flow Control in Rust
Anna Becchi
Becchi, Anna
Fondazione Bruno Kessler, Trento, Italy
Italy
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Tom Beckmann
Beckmann, Tom
Hasso Plattner Institute
Germany
Committee Member in Program Committee within the SPLASH Onward! Essays-track
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
Jonathan Bell
Bell, Jonathan
Northeastern University
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Abhiram Bellur
Bellur, Abhiram
University of Colorado Boulder
Leroy: Library Learning for Imperative Programming Languages
Aaron Bembenek
Bembenek, Aaron
University of Melbourne
Australia
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
John Bender
Bender, John
Sandia National Laboratories
Correct Compilation of Concurrent C Code
Committee Member in Program Committee within the JENSFEST-track
Emery D. Berger
Berger, Emery D.
University of Massachusetts Amherst
United States
Session Chair of Compilers and Optimisation 1 (part of SPLASH OOPSLA)
João Helis Bernardo
Bernardo, João Helis
Federal Institute of Education, Science and Technology of Rio Grande do Norte
Brazil
Committee Member in Artifact Evaluation Committee within the SLE-track
Maverick Berner
Berner, Maverick
Marquette University
United States
MiniJava on RISC-V: A Game of Global Compilers Domination
Gilbert Louis Bernstein
Bernstein, Gilbert Louis
University of Washington, Seattle
United States
Distributions for Compositionally Differentiating Parametric Discontinuities
Ivan Beschastnikh
Beschastnikh, Ivan
University of British Columbia
Canada
Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur
Jan Bessai
Bessai, Jan
Independent
Germany
Committee Member in Organizing Committee within the UNSOUND-track
Benjamin Bichsel
Bichsel, Benjamin
ETH Zurich, Switzerland
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Aaron Bies
Bies, Aaron
Saarland University
Germany
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Aart Bik
Bik, Aart
Google, Inc.
United States
Compilation of Shape Operators on Sparse Arrays
Compiler Support for Sparse Tensor Convolutions
David Binder
Binder, David
University of Tübingen
Germany
Deriving Dependently-Typed OOP from First Principles
From FP to OOP and Back, Consistently
Walter Binder
Binder, Walter
USI Lugano
Switzerland
Committee Member in Review Committee within the SPLASH OOPSLA-track
Lars Birkedal
Birkedal, Lars
Aarhus University
Denmark
Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Swarnendu Biswas
Biswas, Swarnendu
IIT Kanpur
India
Committee Member in Review Committee within the SPLASH OOPSLA-track
Paul Maximilian Bittner
Bittner, Paul Maximilian
Paderborn University
Germany
On the Expressive Power of Languages for Static Variability
Session Chair of Session 1 on Code Quality (part of GPCE)
David Black-Schaffer
Black-Schaffer, David
Uppsala University
Mark--Scavenge: Waiting for Trash to Take Itself Out
Steve Blackburn
Blackburn, Steve
Google and Australian National University
Australia
Committee Member in Review Committee within the SPLASH OOPSLA-track
PC Member in Program Committee within the VMIL-track
Alan Blackwell
Blackwell, Alan
University of Cambridge
United Kingdom
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Program Committee within the PAINT-track
Clément Blaudeau
Blaudeau, Clément
Inria
France
Fulfilling OCaml modules with transparency
Sandrine Blazy
Blazy, Sandrine
University of Rennes
France
Committee Member in Program Committee within the ProLaLa-track
Andrew Blinn
Blinn, Andrew
University of Michigan
United States
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Statically Contextualizing Large Language Models with Typed Holes
Committee Member in Program Committee within the HATRA-track
Committee Member in Program Committee within the LIVE-track
Matilda Blomqvist
Blomqvist, Matilda
Uppsala University
Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper)
Dominique Blouin
Blouin, Dominique
LTCI Lab, Telecom Paris, Institute Politechnqie de Paris
France
Committee Member in Artifact Evaluation Committee within the SLE-track
Christian Blumenthal
Blumenthal, Christian
RWTH Aachen University
Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Luc Bläser
Bläser, Luc
DFINITY Foundation
Switzerland
Smarter Contract Upgrades with Orthogonal Persistence
Rose Bohrer
Bohrer, 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 Boksem
Boksem, Max
University of Amsterdam
Netherlands
Bridging Incremental Programming and Complex Software Development Environments
Michael D. Bond
Bond, 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 Bonetta
Bonetta, Daniele
VU Amsterdam
Netherlands
Author in Program Committee within the GPCE-track
Andrea Borgarelli
Borgarelli, Andrea
Max Planck Institute for Software Systems
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Holly Borla
Borla, Holly
Apple, Inc,
Data-Race Safety for the Masses
Aleksander Boruch-Gruszecki
Boruch-Gruszecki, Aleksander
Charles University
Czechia
Degrees of Separation: A Flexible Type System for Safe Concurrency
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
Session Chair of Session 1 (part of IWACO)
Session Chair of Session 3 (part of IWACO)
Welcome and goals of IWACO 2024
Co-chair in Program Committee within the IWACO-track
Committee Member in Organizing Committee within the IWACO-track
Thomas Bourgeat
Bourgeat, Thomas
EPFL
Switzerland
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Erwan Bousse
Bousse, Erwan
Nantes Université
France
Committee Member in Program Committee within the PAINT-track
Ethan Bove
Bove, Ethan
Brown University
Forge: A Tool and Language for Teaching Formal Methods
William J. Bowman
Bowman, William J.
University of British Columbia
Canada
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
A low-level look at A-normal form
Gilad Bracha
Bracha, Gilad
F5
United States
Apps and their Stores: An Alternative History
Interview with Alan Kay
DocuApps: Ampleforth Documents as Applications
Michelle Brachman
Brachman, Michelle
IBM Research
United States
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jonathan Immanuel Brachthäuser
Brachthäuser, Jonathan Immanuel
University of Tübingen
Germany
Qualifying System F-sub
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Committee within the IWACO-track
Nate Bragg
Bragg, Nate
Tufts University
United States
Scimitar: Functional Programs as Optimization Problems
João Braz Ferreira
Braz Ferreira, João
LASIGE, University of Lisbon
Portugal
Video Chair in Organizing Committee for SPLASH 2024
Oliver Bračevac
Bračevac, Oliver
EPFL, LAMP
Switzerland
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN)
Committee Member in Program Committee within the IWACO-track
Benjamin Brock
Brock, Benjamin
Parallel Computing Lab (PCL), Intel
UniSparse: An Intermediate Language for General Sparse Format Customization
David Broman
Broman, David
KTH Royal Institute of Technology
Sweden
Author in Program Committee within the GPCE-track
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
James Brotherston
Brotherston, James
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Hugo Bruneliere
Bruneliere, Hugo
IMT Atlantique, LS2N (UMR CNRS 6004)
France
Towards an In-context LLM-based Approach for Automating the Definition of Model Views
Roberto Bruni
Bruni, Roberto
University of Pisa
Italy
Committee Member in Program Committee within the SAS -track
Stefan Brunthaler
Brunthaler, Stefan
μCSRL, CODE Research Institute, University of the Bundeswehr Munich
Germany
Committee Member in Review Committee within the SPLASH OOPSLA-track
Dennis Brylow
Brylow, Dennis
Marquette University
Dennis's talk
MiniJava on RISC-V: A Game of Global Compilers Domination
Committee Member in Program Committee within the JENSFEST-track
Paul Bucci
Bucci, Paul
University of British Columbia
Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur
Brandt Bucher
Bucher, Brandt
Microsoft
United States
A tour of CPython's runtime
Zoran Budimlic
Budimlic, Zoran
Texas A&M University
Concurrent Collections: An Overview
Alexandra Bugariu
Bugariu, Alexandra
Max Planck Institute for Software Systems (MPI-SWS)
Germany
Committee Member in Review Committee within the SPLASH OOPSLA-track
Lola Burgueño
Burgueño, Lola
University of Malaga
Spain
Committee Member in Steering Committee within the SLE-track
Andrew Butt
Butt, Andrew
Cornell University
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
William E. Byrd
Byrd, William E.
University of Alabama at Birmingham, USA
United States
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Lukas Böhme
Böhme, Lukas
Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
Germany
Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory Programming
Noah Bühlmann
Bühlmann, Noah
University of Bern
Automated Generation of Code Contracts - Generative AI to the Rescue?
Joanna C. S. Santos
C. S. Santos, Joanna
University of Notre Dame
United States
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Yuandao Cai
Cai, Yuandao
Hong Kong University of Science and Technology
China
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
José Pablo Cambronero
Cambronero, José Pablo
Google, USA
United States
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Simone Campanoni
Campanoni, Simone
Northwestern University
United States
PROMPT: A Fast and Extensible Memory Profiling Framework
Eric Hayden Campbell
Campbell, Eric Hayden
Cornell University
United States
Computing Precise Control Interface Specifications
Marco Campion
Campion, Marco
INRIA & École Normale Supérieure | Université PSL
France
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 Canaia
Canaia, Laura
On the Role of Cognizance in Responsibility
Yiyuan Cao
Cao, Yiyuan
Peking University
Semantics Lifting for Syntactic Sugar
Michael Carbin
Carbin, Michael
Massachusetts Institute of Technology
United States
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Distributions for Compositionally Differentiating Parametric Discontinuities
Denis Carnier
Carnier, Denis
KU Leuven
Belgium
Type Inference Logics
Federico Cassano
Cassano, Federico
Northeastern University
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Elias Castegren
Castegren, Elias
Uppsala University
Sweden
Committee Member in Program Committee within the IWACO-track
Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper)
Committee Member in Program Committee within the SLE-track
Jonathan Castello
Castello, Jonathan
University of California, Santa Cruz
United States
Inductive diagrams for causal reasoning
Joel Castro
Castro, Joel
University of California, Berkeley
Understanding Program Visualizations in the Wild
Gizem Caylak
Caylak, Gizem
KTH Royal Institute of Technology
Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Walter Cazzola
Cazzola, Walter
Università degli Studi di Milano
Italy
Committee Member in Steering Committee within the SLE-track
Committee Member in Program Committee within the SLE-track
Burcu Cetin
Cetin, Burcu
Columbia University
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Madhurima Chakraborty
Chakraborty, 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 Chalal
Chalal, Zaak
RedFabriQ/Mobioos
France
An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
Bor-Yuh Evan Chang
Chang, Bor-Yuh Evan
University of Colorado Boulder & Amazon
United 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 Chang
Chang, Jiwon
University of Rochester
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
Prasanth Chatarasi
Chatarasi, Prasanth
IBM Research
United States
Navigating the Frontier of EDDO-Based Accelerators: Programming and Code Optimization Challenges
Krishnendu Chatterjee
Chatterjee, Krishnendu
IST Austria
Austria
Quantitative Bounds on Resource Usage of Probabilistic Programs
Abha Chaudhary
Chaudhary, Abha
Binghamton University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Swarat Chaudhuri
Chaudhuri, Swarat
University of Texas at Austin
United States
Weighted Context-Free-Language Ordered Binary Decision Diagrams
Ethan Chen
Chen, Ethan
University of Rochester
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
Hongzheng Chen
Chen, Hongzheng
Cornell University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jinbao Chen
Chen, Jinbao
University of Science and Technology of China
MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Jocelyn Qiaochu Chen
Chen, Jocelyn Qiaochu
New York University, University of Alberta
United States
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Junjie Chen
Chen, Junjie
Tianjin University
China
Dependency-aware Code Naturalness
Liqian Chen
Chen, Liqian
National University of Defense Technology
China
FPCC: Detecting Floating-Point Errors via Chain Conditions
Committee Member in Program Committee within the SAS -track
Meng-Hung Chen
Chen, Meng-Hung
National Cheng Kung University
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Mingshuai Chen
Chen, Mingshuai
Zhejiang University
China
Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Qian Chen
Chen, Qian
Nanjing University
China
Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qianfan Chen
Chen, Qianfan
Brown University
Forge: A Tool and Language for Teaching Formal Methods
Qinlin Chen
Chen, Qinlin
Nanjing University
China
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sheng Chen
Chen, Sheng
University of Louisiana at Lafayette
Committee Member in Review Committee within the SPLASH OOPSLA-track
Yanbin Chen
Chen, Yanbin
TUM School of Computation, Information and Technology, Technical University of Munich
Germany
Committee Member in Program Committee within the NSAD-track
Yen-Fu Chen
Chen, Yen-Fu
National Cheng Kung University
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Yixuan Chen
Chen, Yixuan
Yale University
United States
Compositionality and Observational Refinement for Linearizability with Crashes
Zhe Chen
Chen, Zhe
Nanjing University of Aeronautics and Astronautics
China
Design and Implementation of an Aspect-Oriented C Programming Language
Ellie Y. Cheng
Cheng, Ellie Y.
MIT
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Luyu Cheng
Cheng, Luyu
Hong Kong University of Science and Technology
Hong Kong SAR China
The Ultimate Conditional Syntax
Diff-based interactive compiler debugging and testing
Shigeru Chiba
Chiba, Shigeru
University of Tokyo
Japan
Committee Member in Review Committee within the SPLASH OOPSLA-track
GPCE24 Opening
GPCE24 Closing
General Chair in Organizing Committee within the GPCE-track
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
Reducing Write Barrier Overheads for Orthogonal Persistence
Committee Member in Program Committee within the SLE-track
Luca Chiodini
Chiodini, Luca
USI Lugano
Switzerland
Judicious: API Documentation for Novices
Andrei Chiş
Chiş, Andrei
feenk.com
Switzerland
Moldable Exceptions
Publicity Chair, Web Chair in Organizing Committee within the SLE-track
Example-driven development: bridging tests and documentation
Chanhee Cho
Cho, Chanhee
Carnegie Mellon University
United States
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Kyeongmin Cho
Cho, Kyeongmin
KAIST
South Korea
Quantum Probabilistic Model Checking for Time-Bounded Properties
Yebin Chon
Chon, Yebin
Princeton University
PROMPT: A Fast and Extensible Memory Profiling Framework
Stephen Chong
Chong, Stephen
Harvard University
United States
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
Committee Member in Program Committee within the SLE-track
Romit Roy Chowdhury
Chowdhury, Romit Roy
Chennai Mathematical Institute
Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models
Ravi Chugh
Chugh, Ravi
University of Chicago
Committee Member in Program Committee within the HATRA-track
Committee Member in Program Committee within the LIVE-track
Benjamin Chung
Chung, Benjamin
University of Washington
Use Site Checking Considered Harmful
Luke Church
Church, Luke
University of Cambridge | Candela Inc
United Kingdom
Committee Member in Program Committee within the SPLASH Onward! Essays-track
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
Siobhán Clarke
Clarke, Siobhán
Trinity College Dublin, Ireland
Ireland
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Sylvan Clebsch
Clebsch, Sylvan
Imperial College London
Committee Member in Review Committee within the SPLASH OOPSLA-track
Sylvan Clebsch
Clebsch, Sylvan
Microsoft Azure Research
United States
Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper)
Ian Clester
Clester, Ian
Georgia Institute of Technology
United States
TAPE: From direct to programmatic and back
Michael Coblenz
Coblenz, Michael
University of California, San Diego
United States
DEI Chair in Organizing Committee for SPLASH 2024
Mentor in Mentors within the SPLASH PLMW-track
Session Chair of Software Engineering (part of SPLASH OOPSLA)
Committee Member in Review Committee within the SPLASH OOPSLA-track
Newcomer's coffee
Session Chair of Keynote (part of HATRA)
Organizing Chair in Organizing Committee within the HATRA-track
Tiago Cogumbreiro
Cogumbreiro, Tiago
University of Massachusetts Boston
United States
Sound and partially-complete static analysis of data-races in GPU programs
Hidden assumptions in static verification of data-race free GPU programs
Christian Collberg
Collberg, Christian
University of Arizona
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Elias Rojas Collins
Collins, Elias Rojas
MIT
Distributions for Compositionally Differentiating Parametric Discontinuities
Automatic Local Inverse Calculation for Change of Variables
Benoit Combemale
Combemale, Benoit
University of Rennes, Inria, CNRS, IRISA
France
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 Cong
Cong, Jason
UCLA
Jason Cong (UCLA)
Youyou Cong
Cong, Youyou
Institute of Science Tokyo
Japan
Committee Member in Review Committee within the SPLASH OOPSLA-track
Mary Rose Cook
Cook, Mary Rose
United States
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Lucas C. Cordeiro
Cordeiro, Lucas C.
University of Manchester, UK and Federal University of Amazonas, Brazil
United Kingdom
Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Arthur Correnson
Correnson, Arthur
CISPA Helmholtz Center for Information Security
Finding ∀∃ Hyperbugs Using Symbolic Execution
Agostino Cortesi
Cortesi, Agostino
Ca’ Foscari University of Venice
Italy
Towards a High Level Linter for Data Science
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Rosilde Corvino
Corvino, Rosilde
TNO-ESI
Concrete Syntax Metapatterns
João Costa Seco
Costa Seco, João
NOVA-LINCS; Nova University of Lisbon
Portugal
The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps
Lázaro Costa
Costa, Lázaro
Faculty of Engineering, University of Porto & HASLab/INESC
Portugal
Committee Member in Artifact Evaluation Committee within the SLE-track
Nicholas Coughlin
Coughlin, Nicholas
Defence Science and Technology Group, Australia
Lift-offline: Instruction Lifter Generators
Patrick Cousot
Cousot, Patrick
Session Chair of Authorisation and responsibility (part of SAS )
Jos Craaijo
Craaijo, Jos
Open Universiteit
libLISA: Instruction Discovery and Analysis on x86-64
Donovan Crichton
Crichton, Donovan
The Australian National University
Australia
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Will Crichton
Crichton, Will
Brown University
United States
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Profiling Programming Language Learning
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Session Chair of Papers 1 (part of HATRA)
Organizing Chair in Organizing Committee within the HATRA-track
Visualizing and Explaining Rust's Ownership Model
Leyi Cui
Cui, Leyi
Columbia University, New York
United States
Towards a Formal Approach to the Analysis of Human-Machine Interaction
Simão Cunha
Cunha, Simão
University of Minho
Portugal
Trading Runtime for Energy Efficiency
Joseph W. Cutler
Cutler, Joseph W.
University of Pennsylvania
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Charlie Cutting
Cutting, Charlie
Brown University
Forge: A Tool and Language for Teaching Formal Methods
Giordano d'Aloisio
d'Aloisio, Giordano
University of L'Aquila
Italy
Committee Member in Artifact Evaluation Committee within the SLE-track
Loris D'Antoni
D'Antoni, Loris
UCSD
United States
Session Chair of Machine Learning and Programming Languages (part of SPLASH OOPSLA)
Loris D'Antoni
D'Antoni, Loris
University of Wisconsin-Madison
Synthesizing Formal Semantics from Executable Interpreters
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Automatically Reducing Privilege for Access Control Policies
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs
Feng Dai
Dai, Feng
The University of Tokyo
Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript
Mila Dalla Preda
Dalla Preda, Mila
University of Verona
Italy
On the Role of Cognizance in Responsibility
Mads Dam
Dam, Mads
KTH
HOL4P4: mechanized small-step semantics for P4
Olivier Danvy
Danvy, Olivier
Yale-NUS College and School of Computing, Singapore
Singapore
Nested Summations
David Darais
Darais, David
Galois
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Thibault Dardinier
Dardinier, Thibault
ETH Zurich
Switzerland
Hypra: A Deductive Program Verifier for Hyper Hoare Logic
Shiva Darian
Darian, Shiva
University of Colorado Boulder
Metamorphic Debugging for Accountable Software
Anthony Dario
Dario, Anthony
University of Oregon
United States
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
Pratyush Das
Das, Pratyush
Purdue University
Specializing Data Access in a Distributed File System (Generative Pearl)
Charles de Haro
de Haro, Charles
ENS Rennes
France
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Juan de Lara
de Lara, Juan
Autonomous University of Madrid
Spain
Committee Member in Steering Committee within the SLE-track
Markus de Medeiros
de Medeiros, Markus
New York University
United States
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Wolfgang De Meuter
De Meuter, Wolfgang
Vrije Universiteit Brussel
Belgium
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 Roover
De Roover, Coen
Vrije Universiteit Brussel
Belgium
Steering Committee Chair in Steering Committee within the GPCE-track
Author in Program Committee within the GPCE-track
Paulo Emílio de Vilhena
de Vilhena, Paulo Emílio
Imperial College London
Extending the C/C++ Memory Model with Inline Assembly
Shirley de Wit
de Wit, Shirley
Delft University of Technology
Gender Differences in Story, Game and Visual Adventures in Hedy
Thomas Degueule
Degueule, Thomas
CNRS
France
Committee Member in Steering Committee within the SLE-track
Committee Member in Program Committee within the SLE-track
Jasper Dekoninck
Dekoninck, Jasper
ETH Zurich
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Thomas Del Vecchio
Del Vecchio, Thomas
Brown University
United States
Forge: A Tool and Language for Teaching Formal Methods
Benjamin Delaware
Delaware, Benjamin
Purdue University
United 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 Delmas
Delmas, David
Airbus
France
Committee Member in Program Committee within the SAS -track
Yinlin Deng
Deng, Yinlin
University of Illinois at Urbana-Champaign
United States
WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Ankush Desai
Desai, Ankush
Amazon Web Services
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Philip Dexter
Dexter, Philip
SUNY Binghamton
United States
A Runtime System for Interruptible Query Processing -- When Incremental Computing Meets Fine-Grained Parallelism
Omkar Dilip Dhawal
Dhawal, Omkar Dilip
Indian Institute of Technology Madras
India
Reducing Write Barrier Overheads for Orthogonal Persistence
Alessandra Di Pierro
Di Pierro, Alessandra
University of Verona
Italy
Static Analysis of Quantum Programs
Abstracting Entanglement
Davide Di Ruscio
Di Ruscio, Davide
University of L'Aquila
Italy
Committee Member in Steering Committee within the SLE-track
Luca Di Stefano
Di Stefano, Luca
Technische Universität Wien
Austria
Committee Member in Program Committee within the NSAD-track
Peng Di
Di, Peng
Ant Group
China
Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks
Adhitha Dias
Dias, Adhitha
Purdue University, USA
United States
SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
Oscar Diaz
Diaz, Oscar
University of the Basque Country, Spain
Committee Member in Program Committee within the GPCE-track
Robert Dickerson
Dickerson, Robert
Purdue University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Werner Dietl
Dietl, Werner
University of Waterloo
Canada
Committee Member in Review Committee within the SPLASH OOPSLA-track
Wilco Dijkstra
Dijkstra, Wilco
Arm Ltd
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Işıl Dillig
Dillig, Işıl
University of Texas at Austin
United States
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Dimitar Dimitrov
Dimitrov, Dimitar
INSAIT, Sofia University
Modular Synthesis of Efficient Quantum Uncomputation
Christos Dimoulas
Dimoulas, Christos
Northwestern University
United States
Gradually Typed Languages Should Be Vigilant!
Elizabeth Dinella
Dinella, Elizabeth
Bryn Mawr College
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Committee Member in Program Committee within the SAS -track
Boyao Ding
Ding, Boyao
University of Science and Technology of China
MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Shuo Ding
Ding, Shuo
Georgia Institute of Technology
United States
Automatically Reducing Privilege for Access Control Policies
The Normalization Barrier Revisited
Retrieving Unknown SMT Formulas via Structural Mutations
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Yangruibo Ding
Ding, Yangruibo
Columbia University
United States
CYCLE: Learning to Self-Refine the Code Generation
Zijian Ding
Ding, Zijian
UCLA
UniSparse: An Intermediate Language for General Sparse Format Customization
Craig Disselkoen
Disselkoen, Craig
Amazon Web Services
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Greta Dolcetti
Dolcetti, Greta
Ca’ Foscari University of Venice
Italy
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Towards a High Level Linter for Data Science
Alastair F. Donaldson
Donaldson, Alastair F.
Imperial College London
United Kingdom
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Pierre Donat-Bouillud
Donat-Bouillud, Pierre
Czech Technical University in Prague
Czechia
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Brijesh Dongol
Dongol, Brijesh
University of Surrey
United Kingdom
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Dana Drachsler Cohen
Drachsler Cohen, Dana
Technion
Israel
Verification of Neural Networks' Global Robustness
Committee Member in Review Committee within the SPLASH OOPSLA-track
Robustness Verification of Multi-Label Neural Network Classifiers
Georgios-Petros Drosos
Drosos, Georgios-Petros
ETH Zurich
Switzerland
When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Sophia Drossopoulou
Drossopoulou, Sophia
Imperial College London
United Kingdom
Steering Committee Member in Steering Committee for SPLASH 2024
Cezara Drăgoi
Drăgoi, Cezara
AWS / ENS
Committee Member in Review Committee within the SPLASH OOPSLA-track
Charles Duan
Duan, Charles
Challenges and Idiosyncrasies of Managing Legal Citations
Committee Member in Program Committee within the ProLaLa-track
Christophe Dubach
Dubach, Christophe
McGill University
Canada
Author in Program Committee within the GPCE-track
Patrick Dubroy
Dubroy, Patrick
WebAssembly from the Ground Up
Germany
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Tristan Dyer
Dyer, Tristan
Brown University
United States
Forge: A Tool and Language for Teaching Formal Methods
Lukas Döllerer
Döllerer, Lukas
TU Munich
Germany
Performant Bounds Checking for 64-Bit WebAssembly
Jonathan Edwards
Edwards, Jonathan
Independent
United States
Onward! Papers PC Chair in Organizing Committee for SPLASH 2024
Onward! introduction
PC Chair in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Steering Committee within the SPLASH Onward! Papers-track
Onward! Conclusion
Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Committee Member in Program Committee within the PAINT-track
The Meaning of LIVE
Committee Member in Program Committee within the LIVE-track
Zachary Eisbach
Eisbach, Zachary
Northeastern University
United States
Realistic Realizability: Specifying ABIs You Can Count On
Aaron Eline
Eline, Aaron
Amazon Web Services
United States
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Youssef Elmougy
Elmougy, Youssef
Georgia Institute of Technology, USA
Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud
Martin Elsman
Elsman, Martin
University of Copenhagen
Denmark
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Mehmet Emre
Emre, Mehmet
University of San Francisco
United States
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Constantin Enea
Enea, Constantin
LIX, CNRS, Ecole Polytechnique
Model Checking Distributed Protocols in Must
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Scenario-based Proofs for Concurrent Objects
Alexis Engelke
Engelke, Alexis
TU Munich
Germany
HiPy: Extracting High-Level Semantics From Python Code For Data Processing
Performant Bounds Checking for 64-Bit WebAssembly
Haggai Eran
Eran, Haggai
NVIDIA
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Sebastian Erdweg
Erdweg, Sebastian
JGU Mainz
Germany
SIGPLAN-M Introduction
Object-Oriented Fixpoint Programming with Datalog
A Typed Multi-Level Datalog IR and its Compiler Framework
AUTOINC: Incrementality for Free
SIGPLAN-M lunch
Separate Compilation and Partial Linking: Modules for Datalog IR
Committee Member in Steering Committee within the GPCE-track
Author in Program Committee within the GPCE-track
Taming Unsoundness with Gradual Abstract Interpretation
Julian Erhard
Erhard, Julian
LMU Munich; TU Munich
Germany
C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Martin Erwig
Erwig, Martin
Oregon State University
United States
Author in Program Committee within the GPCE-track
Committee Member in Steering Committee within the SLE-track
Mahdi Eslamimehr
Eslamimehr, Mahdi
Quandary Peak Research
United States
Committee Member in Program Committee within the JENSFEST-track
Guilherme Espada
Espada, Guilherme
LASIGE, University of Lisbon
Portugal
Video Chair in Organizing Committee for SPLASH 2024
Sam Estep
Estep, Sam
Carnegie Mellon University
United States
Large Language Models for Executable Tax Code Generation
Christopher Esterhuyse
Esterhuyse, Christopher
University of Amsterdam
Netherlands
Cooperative Specification via Composition Control
Elliot Evans
Evans, Elliot
Polytope
Canada
Live Programming a Live Programming Environment: An Experience Report
Karine Even-Mendoza
Even-Mendoza, Karine
King’s College London
United Kingdom
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jeffrey Eymer
Eymer, Jeffrey
SUNY Binghamton
A Runtime System for Interruptible Query Processing -- When Incremental Computing Meets Fine-Grained Parallelism
João F. Ferreira
F. Ferreira, João
INESC-ID and IST, University of Lisbon
Portugal
PLMW Co-Chair in Organizing Committee for SPLASH 2024
PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Luis F. Gomes
F. Gomes, Luis
Carnegie Mellon University
Portugal
Student Volunteer Co-Chair in Organizing Committee for SPLASH 2024
Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
Nicolas Farabegoli
Farabegoli, Nicolas
University of Bologna
Committee Member in Artifact Evaluation Committee within the SLE-track
Umar Farooq
Farooq, Umar
Louisiana State University
United States
Publicity Co-Chair, Web Co-Chair in Organizing Committee for SPLASH 2024
Alexandra (Sasha) Fedorova
Fedorova, Alexandra (Sasha)
University of British Columbia
Canada
Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur
Marc Feeley
Feeley, Marc
Université de Montréal
Canada
The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
Committee Member in Program Committee within the SLE-track
Molly Q Feldman
Feldman, Molly Q
Oberlin College
United 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)
PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Committee Member in Program Committee within the HATRA-track
Committee Member in Program Committee within the LIVE-track
Tim Felgentreff
Felgentreff, Tim
Oracle Labs, Potsdam
Germany
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Gary Feng
Feng, Gary
University of Waterloo
Persimmon: Nested Family Polymorphism with Extensible Variant Types
Yu Feng
Feng, Yu
University of California at Santa Barbara
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Eduardo Fernandes
Fernandes, Eduardo
Mackenzie Presbyterian University
Brazil
Committee Member in Artifact Evaluation Committee within the SLE-track
João Paulo Fernandes
Fernandes, João Paulo
LIACC, Universidade do Porto, Porto, Portugal
Portugal
Trading Runtime for Energy Efficiency
Pietro Ferrara
Ferrara, Pietro
Ca’ Foscari University of Venice
Italy
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Jonáš Fiala
Fiala, Jonáš
ETH Zürich
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Nathaniel Wesley Filardo
Filardo, Nathaniel Wesley
Microsoft
Intensional Functions
Antonio Filieri
Filieri, Antonio
AWS and Imperial College London
United States
Committee Member in Program Committee within the SAS -track
Bernd Finkbeiner
Finkbeiner, Bernd
CISPA Helmholtz Center for Information Security
Germany
Finding ∀∃ Hyperbugs Using Symbolic Execution
Prof. Fiona Polack
Fiona Polack, Prof.
University of Hull
United Kingdom
Committee Member in Program Committee within the SLE-track
Bernd Fischer
Fischer, Bernd
Stellenbosch University
South Africa
Committee Member in Steering Committee within the SLE-track
Committee Member in Program Committee within the SLE-track
Al Fisher
Fisher, Al
Buro Happold
Programming Languages for the Future of Design Computation
Matthew Flatt
Flatt, Matthew
University of Utah
United States
Session Chair of Language-Specific Research (part of SPLASH OOPSLA)
Session Chair of Performance Analysis and Optimisation 2 (part of SPLASH OOPSLA)
Committee Member in Review Committee within the SPLASH OOPSLA-track
Author in Program Committee within the GPCE-track
DSLs in Racket: You Want It How, Now?
Alcides Fonseca
Fonseca, Alcides
LASIGE; University of Lisbon
Portugal
Publicity Co-Chair, Web Co-Chair in Organizing Committee for SPLASH 2024
Author in Program Committee within the GPCE-track
Jack Forden
Forden, Jack
Marquette University
United States
MiniJava on RISC-V: A Game of Global Compilers Domination
Niklas Fors
Fors, Niklas
Lund University
Sweden
Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis
Jeffrey S. Foster
Foster, Jeffrey S.
Tufts University
United States
Steering Committee Member in Steering Committee for SPLASH 2024
Scimitar: Functional Programs as Optimization Problems
Nate Foster
Foster, Nate
Cornell University and Jane Street
United States
Computing Precise Control Interface Specifications
Juliana Franco
Franco, Juliana
DeepMind
United Kingdom
Committee Member in Review Committee within the SPLASH OOPSLA-track
Justine Frank
Frank, Justine
University of Maryland, College Park
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Daniel Franklin
Franklin, Daniel
Toronto Metropolitan University
Inlined Code Generation for Smalltalk
Anders Freeman
Freeman, Anders
Wellesley College
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Teodoro Freund
Freund, Teodoro
Huawei Research Centre
Effect handlers for C via coroutines
Aymeric Fromherz
Fromherz, Aymeric
Inria
France
StarMalloc: Verifying a Modern, Hardened Memory Allocator
CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution
D Frölich
Frölich, D
University of Amsterdam
Netherlands
On the Soundness of Auto-Completion Services for Dynamically Typed Languages
Hugo Férée
Férée, Hugo
University of Kent, UK
United Kingdom
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Marco Gaboardi
Gaboardi, Marco
Boston University
United States
Sensitivity by Parametricity
Richard P. Gabriel
Gabriel, Richard P.
Poet
United States
AI: Winter of Our Discontent
Catarina Gamboa
Gamboa, Catarina
Carnegie Mellon University and LASIGE, University of Lisbon
Portugal
Student Volunteer Co-Chair in Organizing Committee for SPLASH 2024
Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
Joshua Gancher
Gancher, Joshua
Northeastern University
United States
FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
Cunyuan Gao
Gao, Cunyuan
HKUST
Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)
Andrés M. Garced
Garced, Andrés M.
Grammar Derivation Visualization in Automata Theory
Antonio Garcia-Dominguez
Garcia-Dominguez, Antonio
University of York
United Kingdom
Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels
Deepak Garg
Garg, Deepak
MPI-SWS
Germany
A modal type-theory of expected cost in higher-order probabilistic programs
Poorva Garg
Garg, Poorva
University of California, Los Angeles
India
PhD Life Panel
Panelist in Speakers & Panelists within the SPLASH PLMW-track
Isaac Oscar Gariano
Gariano, Isaac Oscar
Victoria University of Wellington
New Zealand
MeDeTy: An Unsound Object Based Encoding of Propositions as Types
Matthew Gaudet
Gaudet, Matthew
Mozilla
Canada
JavaScript virtual machine evolution
Matthew Gaudet
Gaudet, Matthew
Mozilla
Canada
PC Member in Program Committee within the VMIL-track
Zhaoyi Ge
Ge, Zhaoyi
University of Waterloo
Canada
Lexical Effect Handlers, Directly
Alexander Gebhard
Gebhard, Alexander
Marquette University
United States
MiniJava on RISC-V: A Game of Global Compilers Domination
Luke Geeson
Geeson, Luke
University College London
United Kingdom
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Timon Gehr
Gehr, Timon
ETH Zurich
Switzerland
Modular Synthesis of Efficient Quantum Uncomputation
Thomas Genet
Genet, Thomas
IRISA, Univ Rennes
France
Verification of programs with ADTs using Shallow Horn Clauses
Aina Linn Georges
Georges, Aina Linn
Max Planck Institute for Software Systems (MPI-SWS)
Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly
Arkadii Gerasimov
Gerasimov, Arkadii
RWTH Aachen University
Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries
Kimball Germane
Germane, Kimball
Brigham Young University
United States
Full Control-Flow Sensitivity for Definitional Interpreters
Jakob Getz
Getz, Jakob
University of Stuttgart
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Karim Ghallab
Ghallab, Karim
RedFabriQ
An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
Lorenzo Gheri
Gheri, Lorenzo
University of Liverpool
United Kingdom
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Dan Ghica
Ghica, Dan
Huawei
United Kingdom
Effect handlers for C via coroutines
Rebecca Ghidini
Ghidini, Rebecca
TU Munich
Germany
C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Adrien Ghosn
Ghosn, Adrien
Microsoft Research
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
Roberto Giacobazzi
Giacobazzi, Roberto
University of Arizona
United 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 Giannakopoulou
Giannakopoulou, Dimitra
Amazon Web Services
Model Checking Distributed Protocols in Must
Jeremy Gibbons
Gibbons, Jeremy
Department of Computer Science, University of Oxford
United Kingdom
Associate Chair in Review Committee within the SPLASH OOPSLA-track
Jana Giceva
Giceva, Jana
Technical University of Munich
HiPy: Extracting High-Level Semantics From Python Code For Data Processing
Olek Gierczak
Gierczak, Olek
Northeastern University
Gradually Typed Languages Should Be Vigilant!
Seth Gilbert
Gilbert, Seth
National University of Singapore
Concurrent Data Structures Made Easy
Elena Glassman
Glassman, Elena
Harvard University
United States
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Milos Gligoric
Gligoric, Milos
The University of Texas at Austin
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Gwihwan Go
Go, Gwihwan
Tsinghua University
PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Amit Goel
Goel, Amit
AWS
United States
Automatically Reducing Privilege for Access Control Policies
Marcel Goethals
Goethals, Marcel
Ink&Switch
Netherlands
Subsequently: Telling stories with pictures makes programs
Inkling: Sketching Dynamic Systems
Amir K. Goharshady
Goharshady, Amir K.
Hong Kong University of Science and Technology
Hong 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 Goletti
Goletti, Olivier
ICTEAM, UCLouvain
Belgium
An Observational Study of Undergraduate Teaching Assistants' use of Subgoal Learning Integrated in an Introductory Programming Course
Anitha Gollamudi
Gollamudi, Anitha
University of Massachusetts Lowell
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Lourdes del Carmen González-Huesca
González-Huesca, Lourdes del Carmen
National Autonomous University of Mexico
Mexico
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Olohi Goodness John
Goodness John, Olohi
Smith College
Understanding Program Visualizations in the Wild
Rahul Gopinath
Gopinath, Rahul
University of Sydney
Australia
Committee Member in Review Committee within the SPLASH OOPSLA-track
Kiran Gopinathan
Gopinathan, Kiran
National University of Singapore
Singapore
Concurrent Data Structures Made Easy
DSLs in Racket: You Want It How, Now?
Colin Gordon
Gordon, Colin
Drexel University
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
The Linguistics of Programming
Mocking Temporal Logic
Java Method-Local Inner Classes are Unsound
Capabilities, Effects, Ownership, and Behaviors
Alessandra Gorla
Gorla, Alessandra
IMDEA Software Institute
Spain
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 Gouni
Gouni, Hemant
Carnegie Mellon University, Pittsburgh, Pennsylvania, United States
United States
Substructural Information Flow via Polymorphism
Pierre Goutagny
Goutagny, Pierre
Inria and University of Lille
France
CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution
John Gouwar
Gouwar, John
Northeastern University
United States
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Oliver Graf
Graf, Oliver
ETH Zurich
The Hidden Program State Hurts Everyone
Jeff Gray
Gray, Jeff
University of Alabama
Committee Member in Steering Committee within the GPCE-track
Committee Member in Steering Committee within the SLE-track
Michael Greenberg
Greenberg, Michael
Stevens Institute of Technology
United States
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Ben Greenman
Greenman, Ben
University of Utah
United States
Forge: A Tool and Language for Teaching Formal Methods
Toward a Corpus Study of the Dynamic Gradual Type
Committee Member in Program Committee within the HATRA-track
Simon Oddershede Gregersen
Gregersen, Simon Oddershede
New York University
United States
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Benjamin Gregoire
Gregoire, Benjamin
INRIA
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Gabor Greif
Greif, Gabor
DFINITY
Germany
Smarter Contract Upgrades with Orthogonal Persistence
Sandra Greiner
Greiner, Sandra
University of Southern Denmark
Denmark
Automated Generation of Code Contracts - Generative AI to the Rescue?
Committee Member in Program Committee within the GPCE-track
Frithjof Gressmann
Gressmann, Frithjof
Learning to harness in-vitro biological neural networks
Matt Griffin
Griffin, Matt
University of Surrey
United Kingdom
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
James Grimmelmann
Grimmelmann, 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 Groce
Groce, Alex
Northern Arizona University
United States
(Programs), Proofs and Refutations (and Tests and Mutants)
Tobias Grosser
Grosser, Tobias
University of Cambridge, UK
United Kingdom
Committee Member in Review Committee within the SPLASH OOPSLA-track
Max Grossman
Grossman, Max
Rice University, USA
Max Grossman (Cruise)
Shelly Grossman
Grossman, Shelly
Tel Aviv University
Practical Verification Of Smart Contracts Using Memory Splitting
Christian Grothoff
Grothoff, Christian
Bern University of Applied Sciences
Germany
Lost and Found in the Fog of Trust
Committee Member in Program Committee within the JENSFEST-track
David Grove
Grove, David
IBM Research
United States
Steering Committee Member in Steering Committee for SPLASH 2024
Anvay Grover
Grover, Anvay
University of Wisconsin-Madison
United States
Synthesizing Formal Semantics from Executable Interpreters
Long Gu
Gu, Long
State Key Laboratory for Novel Software Technology, Nanjing University
Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels
Zhichao Guan
Guan, Zhichao
Peking University
Semantics Lifting for Syntactic Sugar
Roberto Guanciale
Guanciale, Roberto
KTH Royal Institute of Technology
Sweden
HOL4P4: mechanized small-step semantics for P4
Esther Guerra
Guerra, Esther
Universidad Autónoma de Madrid
Spain
Committee Member in Program Committee within the SLE-track
Arjun Guha
Guha, Arjun
Northeastern University; Roblox
United 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 Gulwani
Gulwani, Sumit
Microsoft
United States
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Shu-yu Guo
Guo, Shu-yu
Google
United States
JavaScript virtual machine evolution
Rajiv Gupta
Gupta, Rajiv
University of California at Riverside (UCR)
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Session Chair of Pre-lunch Session (part of VIVEKFEST)
Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg)
Committee Member in Organizing Committee within the VIVEKFEST-track
Sankha Narayan Guria
Guria, Sankha Narayan
University of Kansas
United States
Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2024
Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Christophe Gyurgyik
Gyurgyik, Christophe
Stanford University
Compilation of Shape Operators on Sparse Arrays
Tudor Gîrba
Gîrba, Tudor
feenk.com
Moldable Exceptions
Example-driven development: bridging tests and documentation
Committee Member in Program Committee within the LIVE-track
Pablo Gómez-Abajo
Gómez-Abajo, Pablo
Universidad Autónoma de Madrid
Spain
Committee Member in Artifact Evaluation Committee within the SLE-track
Karl M. Göschka
Göschka, Karl M.
UAS Technikum Wien
Run, Build and Grow Small Systems Without Leaving Your Text Editor
Thomas Haas
Haas, Thomas
TU Braunschweig
Germany
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Darion Haase
Haase, Darion
RWTH Aachen University
Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Andrew Habib
Habib, Andrew
ABB Corporate Research, Germany
Germany
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sebastian Hack
Hack, Sebastian
Saarland University, Saarland Informatics Campus
Germany
Committee Member in Review Committee within the SPLASH OOPSLA-track
Shashin Halalingaiah
Halalingaiah, Shashin
UT Austin, IIT Madras
United States
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Philipp Haller
Haller, Philipp
KTH Royal Institute of Technology
Sweden
Committee Member in Program Committee within the IWACO-track
Cassandre Hamel
Hamel, Cassandre
Université de Montréal
The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
Sara S. Hamouda
Hamouda, Sara S.
Google
Australia
PC Member in Program Committee within the VMIL-track
Yu Hao
Hao, Yu
University of California at Riverside, USA
United States
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Robert Harrison
Harrison, Robert
Concurrent Collections: An Overview
Philipp G. Haselwarter
Haselwarter, Philipp G.
Aarhus University
Denmark
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Matthias Hauswirth
Hauswirth, Matthias
USI Lugano
Switzerland
Judicious: API Documentation for Novices
Akihiro Hayashi
Hayashi, Akihiro
Georgia Institute of Technology
United States
Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud
Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism
Fei He
He, Fei
Tsinghua University
China
Committee Member in Review Committee within the SPLASH OOPSLA-track
Shaobo He
He, Shaobo
Amazon Web Services
United States
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Yang He
He, Yang
Simon Fraser University
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Andrew Head
Head, Andrew
University of Pennsylvania
Committee Member in Program Committee within the HATRA-track
Committee Member in Program Committee within the LIVE-track
Kyle Headley
Headley, Kyle
Unaffiliated
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Görel Hedin
Hedin, Görel
Lund University
Sweden
Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis
Committee Member in Program Committee within the SLE-track
Nicole Heinimann
Heinimann, Nicole
Technische Universität Berlin
Germany
Video Chair in Organizing Committee for SPLASH 2024
Brian Hempel
Hempel, Brian
UCSD
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Program Committee within the LIVE-track
Juhan Oskar Hennoste
Hennoste, Juhan Oskar
University of Tartu
Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Troels Henriksen
Henriksen, Troels
University of Copenhagen
Denmark
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Kihong Heo
Heo, Kihong
KAIST
South Korea
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Committee within the SAS -track
Ben Hermann
Hermann, Ben
TU Dortmund
Germany
Committee Member in Review Committee within the SPLASH OOPSLA-track
Felienne Hermans
Hermans, Felienne
Vrije Universiteit Amsterdam
Netherlands
SPLASH-E Co-Chair in Steering Committee for SPLASH 2024
SPLASH-E Co-Chair in Organizing Committee for SPLASH 2024
A Case for Feminism in Programming Language Design
Gender Differences in Story, Game and Visual Adventures in Hedy
An Observational Study of Undergraduate Teaching Assistants' use of Subgoal Learning Integrated in an Introductory Programming Course
Roles of Variables in the Hedy programming language
A Word About Programming: Applying a Natural Language Vocabulary Acquisition Model to Programming Education
SPLASH-E Co-Chair in Program Commitee within the SPLASH -E-track
AI Effects on Research and Education: A Programming and Software Language Perspective
Manuel Hermenegildo
Hermenegildo, Manuel
Technical University of Madrid (UPM) and IMDEA Software Institute
Spain
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 Hernandez
Hernandez, Oscar
ORNL
Scalable Small Message Aggregation on Modern Interconnects
Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
Michael Hicks
Hicks, Michael
Amazon Web Services and the University of Maryland
United States
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Hans-Dieter Hiep
Hiep, Hans-Dieter
Amazon Web Services
United Kingdom
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Kesha Hietala
Hietala, Kesha
Amazon Web Services
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Thomas T. Hildebrandt
Hildebrandt, Thomas T.
University of Copenhagen
Denmark
Committee Member in Program Committee within the ProLaLa-track
Nikolaj Hey Hinnerskov
Hinnerskov, Nikolaj Hey
DIKU, University of Copenhagen
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Jonas Kastberg Hinrichsen
Hinrichsen, Jonas Kastberg
Aarhus University, Denmark
Denmark
Multris: Functional Verification of Multiparty Message Passing in Separation Logic
Konrad Hinsen
Hinsen, Konrad
CNRS
Redressing the balance: a yin-yang perspective on information technology
Robert Hirschfeld
Hirschfeld, Robert
Hasso Plattner Institute; University of Potsdam
Germany
Steering Committee Member in Steering Committee for SPLASH 2024
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 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
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
Jan Hoffmann
Hoffmann, Jan
Carnegie Mellon University
United States
Programmable MCMC with Soundly Composed Guide Programs
Hossein Hojjat
Hojjat, Hossein
Tehran Institute for Advanced Studies (TeIAS)
Iran
Computing Precise Control Interface Specifications
Celeste Hollenbeck
Hollenbeck, Celeste
University of Edinburgh
Hot Call-Chain Inlining for the Glasgow Haskell Compiler
Karoliine Holter
Holter, Karoliine
University of Tartu, Estonia
Estonia
Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Michael Homer
Homer, Michael
Victoria University of Wellington
New 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 Honore
Honore, Wolf
Yale University
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Jesse Hoobergs
Hoobergs, Jesse
KU Leuven
Belgium
ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises
Joshua Horowitz
Horowitz, Joshua
University of Washington
United States
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Definitions and Dimensions of Liveness
Welcome & Opening
Closing & Farewell
Committee Member in Organizing Committee within the LIVE-track
Committee Member in Program Committee within the LIVE-track
Tony Hosking
Hosking, Tony
Australian National University
Australia
Steering Committee Member in Steering Committee for SPLASH 2024
Session Chair of Program Synthesis and Verification 2 (part of SPLASH OOPSLA)
Weidong Hou
Hou, Weidong
Nanjing University
Understanding and Finding Java Decompiler Bugs
Justin Hsu
Hsu, Justin
Cornell University
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Nick Hu
Hu, Nick
University of Oxford
United Kingdom
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiaowen Hu
Hu, Xiaowen
The University of Sydney
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
Yuefeng Hu
Hu, Yuefeng
The University of Tokyo
Japan
Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript
Zhenjiang Hu
Hu, Zhenjiang
Peking University
China
Semantics Lifting for Syntactic Sugar
Ching-Chun Huang
Huang, Ching-Chun
National Cheng Kung University
Taiwan
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Jeff Huang
Huang, Jeff
Texas A&M University
United States
VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
Yuliang Huang
Huang, Yuliang
College of Intelligence and Computing, Tianjin University
Dependency-aware Code Naturalness
Zunchen Huang
Huang, Zunchen
United States
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Laurent Huberdeau
Huberdeau, Laurent
Université de Montréal
The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
Lars Hummelgren
Hummelgren, Lars
KTH Royal Institute of Technology
Sweden
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Johannes Härtel
Härtel, Johannes
Vrije Universiteit (VU) Amsterdam
Netherlands
Committee Member in Program Committee within the SLE-track
Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Jason Ibrahim
Ibrahim, Jason
DFINITY Foundation
United States
Smarter Contract Upgrades with Orthogonal Persistence
Roberto Ierusalimschy
Ierusalimschy, Roberto
PUC-Rio
Brazil
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Program Committee within the SLE-track
Lef Ioannidis
Ioannidis, Lef
University of Pennsylvania
United States
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Hiromu Ishibe
Ishibe, Hiromu
The University of Tokyo
Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript
Jonas Iskander
Iskander, Jonas
Harvard University
Persimmon: Nested Family Polymorphism with Extensible Variant Types
Kanaru Isoda
Isoda, Kanaru
University of Tsukuba
Type-Safe Code Generation With Algebraic Effects and Handlers
Anastasia Isychev
Isychev, Anastasia
TU Wien
Austria
Committee Member in Program Committee within the SAS -track
Shachar Itzhaky
Itzhaky, Shachar
Technion
Israel
Committee Member in Review Committee within the SPLASH OOPSLA-track
Franjo Ivancic
Ivancic, Franjo
Google
United States
Committee Member in Program Committee within the SAS -track
Joe Izraelevitz
Izraelevitz, Joe
University of Colorodo Boulder
Leroy: Library Learning for Imperative Programming Languages
Reyhaneh Jabbarvand
Jabbarvand, Reyhaneh
University of Illinois at Urbana-Champaign
United States
WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Dejice Jacob
Jacob, Dejice
University of Glasgow
United Kingdom
Committee Member in Organizing Committee within the VMIL-track
PC Chair in Program Committee within the VMIL-track
Jules Jacobs
Jacobs, Jules
Cornell University
Multris: Functional Verification of Multiparty Message Passing in Separation Logic
Suresh Jagannathan
Jagannathan, Suresh
Purdue University
United States
Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models
Joakim Jalden
Jalden, Joakim
KTH Royal Institute of Technology
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Suman Jana
Jana, Suman
Columbia University
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Junyoung Jang
Jang, Junyoung
McGill University
Canada
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 Jangda
Jangda, Abhinav
Microsoft Research
United States
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Nico Jansen
Jansen, Nico
Software Engineering, RWTH Aachen University
Germany
Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries
Session Chair of Analysis and Optimization (part of SLE)
Mohammad Mahdi Javanmard
Javanmard, Mohammad Mahdi
Stony Brook University, NY, USA
Concurrent Collections: An Overview
Thomas P. Jensen
Jensen, Thomas P.
INRIA Rennes
Verification of programs with ADTs using Shallow Horn Clauses
Session Chair of NSAD: Session 2 (part of NSAD)
Committee Member in Program Committee within the NSAD-track
Minseok Jeon
Jeon, Minseok
Korea University
South Korea
Committee Member in Review Committee within the SPLASH OOPSLA-track
Seungmin Jeon
Jeon, Seungmin
KAIST
South Korea
Quantum Probabilistic Model Checking for Time-Bounded Properties
Ranjit Jhala
Jhala, Ranjit
University of California at San Diego
United States
How to Design Talks
Speaker in Speakers & Panelists within the SPLASH PLMW-track
Ranjit Jhala
Jhala, Ranjit
UCSD
Refinement Type Refutations
Kai Ji
Ji, Kai
Nanjing University
China
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Limin Jia
Jia, Limin
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Songlin Jia
Jia, Songlin
Purdue University, USA
United States
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN)
Zhihao Jia
Jia, Zhihao
Carnegie Mellon University
Quarl: A Learning-Based Quantum Circuit Optimizer
Jiajun Jiang
Jiang, Jiajun
Tianjin University
China
Dependency-aware Code Naturalness
Yu Jiang
Jiang, Yu
Tsinghua University
China
PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Kevin Johanson
Johanson, Kevin
VESC:Towards Temporal Verification of Smart Contracts
Keith J.C. Johnson
Johnson, 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 A. Johnson
Johnson, Matthew A.
Azure Research, Microsoft
Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper)
Joost J. Joosten
Joosten, Joost J.
University of Barcelona
Spain
Committee Member in Program Committee within the ProLaLa-track
Dhruti Joshi
Joshi, Dhruti
GoGuard: Efficient Static Blocking Bug Detection for Go
Vojin Jovanovic
Jovanovic, Vojin
Oracle Labs
Switzerland
Yin-Yang: Concealing the Deep Embedding of DSLs
Ralf Jung
Jung, Ralf
ETH Zurich
Switzerland
Rustlantis: Randomized Differential Testing of the Rust Compiler
Michael Jungmair
Jungmair, Michael
Technical University of Munich
HiPy: Extracting High-Level Semantics From Python Code For Data Processing
Anan Kabaha
Kabaha, Anan
Technion, Israel Institute of Technology
Israel
Verification of Neural Networks' Global Robustness
Md Mahir Asef Kabir
Kabir, Md Mahir Asef
Virginia Tech
Committee Member in Artifact Evaluation Committee within the SLE-track
Gail Kaiser
Kaiser, Gail
Columbia University
United States
CYCLE: Learning to Self-Refine the Code Generation
Gowtham Kaki
Kaki, Gowtham
University of Colorado at Boulder
United States
SIGPLAN Track Chair in Organizing Committee for SPLASH 2024
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Christian Gram Kalhauge
Kalhauge, Christian Gram
Technical University of Denmark
Denmark
Input Reduction with Reduction Trees
Committee Member in Program Committee within the JENSFEST-track
Pankaj Kumar Kalita
Kalita, Pankaj Kumar
IIT Kanpur
India
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Synthesizing Abstract Transformers for Reduced-Product Domains
Yukiyoshi Kameyama
Kameyama, Yukiyoshi
University of Tsukuba
Japan
Type-Safe Code Generation With Algebraic Effects and Handlers
Committee Member in Steering Committee within the GPCE-track
Benjamin Lucien Kaminski
Kaminski, Benjamin Lucien
Saarland University; University College London
Germany
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Chan Gu Kang
Kang, Chan Gu
Korea University
South Korea
Quantum Probabilistic Model Checking for Time-Bounded Properties
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
Eunsuk Kang
Kang, Eunsuk
Carnegie Mellon University
United States
tl;dr: Chill, y’all – AI will not devour SE
Jeehoon Kang
Kang, Jeehoon
KAIST
South Korea
Quantum Probabilistic Model Checking for Time-Bounded Properties
Hironori Kasahara
Kasahara, Hironori
Waseda University, Japan
Japan
Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
John Kastner
Kastner, John
Amazon Web Services
United States
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Jun Kato
Kato, 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 Katoen
Katoen, Joost-Pieter
RWTH Aachen University
Germany
Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Martin Kavalar
Kavalar, Martin
Nextjournal
Live Programming a Live Programming Environment: An Experience Report
Ryan Kavanagh
Kavanagh, Ryan
Université du Québec à Montréal (UQAM)
Canada
Message-Observing Sessions
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Tohma Kawasumi
Kawasumi, Tohma
Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
Alan Kay
Kay, Alan
Viewpoints Research Institute
United States
Interview with Alan Kay
Matthew Keenan
Keenan, Matthew
University of Michigan
Learner-Centered Design Criteria for Classroom Proof Assistants
Timo Kehrer
Kehrer, Timo
University of Bern
Switzerland
Automated Generation of Code Contracts - Generative AI to the Rescue?
Stephen Kell
Kell, Stephen
King's College London
United Kingdom
Session Chair of Onward! Papers (part of SPLASH Onward! Papers)
Source-level debugging of compiler-optimised code: ill-posed, but not impossible
Committee Member in Steering Committee within the SPLASH Onward! Papers-track
Session Chair of Onward! Essays (part of SPLASH Onward! Essays)
Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Martin Kellogg
Kellogg, Martin
New Jersey Institute of Technology
United States
Sponsorship Co-Chair in Organizing Committee for SPLASH 2024
Oliwia Kempinski
Kempinski, Oliwia
Using Computation Graphs to Explain Nondeterminism to Students
Visualizing Composed Turing Machines
Philipp Kern
Kern, Philipp
Karlsruhe Institute of Technology (KIT)
Germany
Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations
Özgür Kesim
Kesim, Özgür
Freie Universität Berlin
Lost and Found in the Fog of Trust
Ameya Ketkar
Ketkar, Ameya
Uber
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Steven Keuchel
Keuchel, Steven
Vrije Universiteit Brussel
Belgium
Type Inference Logics
Faezeh Khorram
Khorram, Faezeh
Huawei Technologies
France
Committee Member in Program Committee within the SLE-track
Caleb Kim
Kim, Caleb
Massachusetts Institute of Technology (MIT)
United States
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Jieung Kim
Kim, Jieung
Yonsei University
South Korea
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Jinwoo Kim
Kim, Jinwoo
Seoul National University
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs
June Hyung Kim
Kim, June Hyung
University of Michigan
Statically Contextualizing Large Language Models with Typed Holes
Yoonseung Kim
Kim, Yoonseung
Yale University
United States
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Keiji Kimura
Kimura, Keiji
Waseda University; Japan
Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
Zachary Kincaid
Kincaid, Zachary
Princeton University
United States
Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials
Fredrik Kjolstad
Kjolstad, Fredrik
Stanford University
United States
Compiling Recurrences over Dense and Sparse Arrays
Compilation of Shape Operators on Sparse Arrays
Compiler Support for Sparse Tensor Convolutions
Committee Member in Review Committee within the SPLASH OOPSLA-track
Author in Program Committee within the GPCE-track
Committee Member in Organizing Committee within the VMIL-track
PC Chair in Program Committee within the VMIL-track
Elisabeth Kletsko
Kletsko, Elisabeth
University of Amsterdam
Netherlands
Advanced Game Engine Wizardry for Visual Programming Environments
Vasileios Klimis
Klimis, Vasileios
Queen Mary University of London
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Lutz Klinkenberg
Klinkenberg, Lutz
RWTH Aachen University
Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
David Klopp
Klopp, David
JGU Mainz
Object-Oriented Fixpoint Programming with Datalog
A Typed Multi-Level Datalog IR and its Compiler Framework
Separate Compilation and Partial Linking: Modules for Datalog IR
Kathleen Knobe
Knobe, Kathleen
Rice University
Concurrent Collections: An Overview
Christoph E. Koch
Koch, Christoph E.
EPFL
Yin-Yang: Concealing the Deep Embedding of DSLs
Daniel Kocher
Kocher, Daniel
University of Salzburg
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michalis Kokologiannakis
Kokologiannakis, Michalis
ETH Zurich
Switzerland
Model Checking Distributed Protocols in Must
John C. Kolesar
Kolesar, John C.
Yale University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dimitris Kolovos
Kolovos, Dimitris
University of York
United Kingdom
Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels
Committee Member in Program Committee within the SLE-track
Lingkun Kong
Kong, Lingkun
Rice University
HybridSA: GPU Acceleration of Multi-Pattern Regex Matching using Bit Parallelism
Lee Koon Wen
Koon Wen, Lee
Ahrefs
Concurrent Data Structures Made Easy
Joomy Korkut
Korkut, Joomy
Bloomberg LP
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eric Koskinen
Koskinen, Eric
Stevens Institute of Technology
United States
Scenario-based Proofs for Concurrent Objects
Ankith Kowshik
Kowshik, Ankith
University of Illinois Chicago
Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages
Anastasiya Kravchuk-Kirilyuk
Kravchuk-Kirilyuk, Anastasiya
Harvard University
United States
Persimmon: Nested Family Polymorphism with Extensible Variant Types
Robbert Krebbers
Krebbers, Robbert
Radboud University Nijmegen
Netherlands
Verified Lock-Free Session Channels with Linking
Multris: Functional Verification of Multiparty Message Passing in Separation Logic
Committee Member in Review Committee within the SPLASH OOPSLA-track
Eva Krebs
Krebs, Eva
Hasso Plattner Institute (HPI), University of Potsdam, Germany
Germany
Committee Member in Program Committee within the PAINT-track
V Krishna Nandivada
Krishna Nandivada, V
IIT Madras
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Homeostasis: Design and Implementation of a Self-Stabilizing Compiler (TOPLAS)
Stories of Jens Palsberg for Fun and Profit
Committee Member in Program Committee within the JENSFEST-track
A Few Lessons and Problems For Life; Source@Vivek Sarkar
Reducing Write Barrier Overheads for Orthogonal Persistence
Shriram Krishnamurthi
Krishnamurthi, Shriram
Brown University
United States
Steering Committee Member in Steering Committee for SPLASH 2024
Forge: A Tool and Language for Teaching Formal Methods
Profiling Programming Language Learning
Identifying and Correcting Programming Language Behavior Misconceptions
Committee Member in Review Committee within the SPLASH OOPSLA-track
Paddy Krishnan
Krishnan, Paddy
Oracle Labs, Australia
Committee Member in Program Committee within the SLE-track
Rahul Krishnan
Krishnan, Rahul
University of Wisconsin-Madison
United States
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Johannes Kristan
Kristan, Johannes
Robert Bosch GmbH
Committee Member in Artifact Evaluation Committee within the SLE-track
Sebastián Krynski
Krynski, Sebastián
Czech Technical University in Prague
Czechia
Reducing Feedback Pollution
Burcu Kulahcioglu Ozkan
Kulahcioglu Ozkan, Burcu
Delft University of Technology
Netherlands
Committee Member in Review Committee within the SPLASH OOPSLA-track
Milind Kulkarni
Kulkarni, Milind
Purdue University
United States
SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
Ankit Kumar
Kumar, Ankit
Northeastern University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Prashant Kumar
Kumar, Prashant
AUTOINC: Incrementality for Free
Lindsey Kuper
Kuper, Lindsey
University of California, Santa Cruz
United States
Inductive diagrams for causal reasoning
Thomas Kühn
Kühn, Thomas
Martin-Luther-University Halle-Wittenberg
Germany
Committee Member in Program Committee within the SLE-track
Filip Křikava
Křikava, Filip
Czech Technical University in Prague
Czechia
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)
Organization Co-chair in REBASE within the SPLASH REBASE-track
Reducing Feedback Pollution
Ralf Laemmel
Laemmel, Ralf
University of Koblenz
General Chair in Organizing Committee within the SLE-track
Ori Lahav
Lahav, Ori
Tel Aviv University
Israel
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 Lahlou
Lahlou, Laaziz
Ecole de Technologie Superieure
Committee Member in Artifact Evaluation Committee within the SLE-track
Chun Kit Lam
Lam, Chun Kit
Hong Kong University of Science and Technology
Fast and Optimal Extraction for Sparse Equality Graphs
Kait Lam
Lam, Kait
Lift-offline: Instruction Lifter Generators
Patrick Lam
Lam, Patrick
University of Waterloo
Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Surveying the Rust Verification Landscape
Samuel Lam
Lam, Samuel
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ada Lamba
Lamba, Ada
Ohio State University
Cocoon: Static Information Flow Control in Rust
Julien Lange
Lange, Julien
Royal Holloway, University of London
United Kingdom
Automated Verification of Parametric Channel-Based Process Communication
Sound and partially-complete static analysis of data-races in GPU programs
Hidden assumptions in static verification of data-race free GPU programs
Jens Kanstrup Larsen
Larsen, Jens Kanstrup
DTU
Denmark
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Samuel Larsen
Larsen, Samuel
VESC:Towards Temporal Verification of Smart Contracts
James Larus
Larus, James
EPFL
Committee Member in Review Committee within the SPLASH OOPSLA-track
Julia Lawall
Lawall, Julia
Inria
France
Author in Program Committee within the GPCE-track
Coccinelle: Program transformation in the real world
Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)
Sarah Lawsky
Lawsky, Sarah
Northwestern University
United States
Session Chair of Author Presentations with Discussants (part of ProLaLa)
Alex Le Blanc
Le Blanc, Alex
University of Waterloo
Surveying the Rust Verification Landscape
Alexis Le Glaunec
Le Glaunec, Alexis
Rice University
United States
HybridSA: GPU Acceleration of Multi-Pattern Regex Matching using Bit Parallelism
Callista Le
Le, Callista
Yale-NUS College
Concurrent Data Structures Made Easy
Vu Le
Le, Vu
Microsoft
United States
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Wei Le
Le, Wei
Iowa State University
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Aaron Lee
Lee, Aaron
Committee Member in Program Committee within the ProLaLa-track
Edward Lee
Lee, Edward
University of Waterloo
Canada
Lexical Effect Handlers, Directly
Qualifying System F-sub
Janggun Lee
Lee, Janggun
KAIST
South Korea
Quantum Probabilistic Model Checking for Time-Bounded Properties
Joonghoon Lee
Lee, Joonghoon
Korea University
South Korea
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
Wonyeol Lee
Lee, Wonyeol
Carnegie Mellon University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yunjeong Lee
Lee, Yunjeong
National University of Singapore
Singapore
DSLs in Racket: You Want It How, Now?
Maxime Legoupil
Legoupil, Maxime
Aarhus University
Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly
Owolabi Legunsen
Legunsen, Owolabi
Cornell University
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Daniel Lehmann
Lehmann, Daniel
Google, Germany
Germany
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Yuxiang Lei
Lei, Yuxiang
UNSW Sydney
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Matthieu Lemerre
Lemerre, Matthieu
Université Paris-Saclay - CEA LIST
France
A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Trace Partitioning as an Optimization Problem
WiP: Labeled Union-Find for Constraint Factorization
Caroline Lemieux
Lemieux, Caroline
University of British Columbia
Canada
QuAC: Quick Attribute-Centric Type Inference for Python
David Leopoldseder
Leopoldseder, David
Oracle Labs
Austria
An Analysis of Compiled Code Reusability in Dynamic Compilation
PC Member in Program Committee within the VMIL-track
Mohsen Lesani
Lesani, Mohsen
University of California at Santa Cruz
Committee Member in Program Committee within the JENSFEST-track
Dorian Lesbre
Lesbre, Dorian
Université Paris-Saclay - CEA LIST
France
WiP: Labeled Union-Find for Constraint Factorization
Stefan Lesser
Lesser, Stefan
None
United Kingdom
A New Cognitive Perspective on Simplicity in System and Product Design
Sidney LeVine
LeVine, Sidney
Brown University
Forge: A Tool and Language for Teaching Formal Methods
Nicholas V. Lewchenko
Lewchenko, Nicholas V.
University of Colorado Boulder
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ondřej Lhoták
Lhoták, Ondřej
University of Waterloo
Canada
Qualifying System F-sub
Anqi Li
Li, Anqi
ETH Zurich
Switzerland
Hypra: A Deductive Program Verifier for Hyper Hoare Logic
Haofeng Li
Li, Haofeng
Institute of Computing Technology at Chinese Academy of Sciences
China
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Haonan Li
Li, Haonan
University of California at Riverside, USA
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Kwing Hei Li
Li, Kwing Hei
Aarhus University
Denmark
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Lian Li
Li, Lian
Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences
China
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Liyi Li
Li, Liyi
Iowa State University
United States
Session Chair of Quantum Computing (part of SPLASH OOPSLA)
Committee Member in Review Committee within the SPLASH OOPSLA-track
Ningke Li
Li, Ningke
Huazhong University of Science and Technology
Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Pai Li
Li, Pai
Cornell University, USA
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Paley Li
Li, Paley
Oracle
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Qingwei Li
Li, Qingwei
University of Science and Technology of China
MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Shanshan Li
Li, Shanshan
National University of Defense Technology
China
PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Shaohua Li
Li, Shaohua
The Chinese University of Hong Kong
Hong Kong SAR China
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Tiffany Li
Li, Tiffany
What Programmers and Lawyers Get Wrong About Privacy Policies
Tzu-Mao Li
Li, Tzu-Mao
Massachusetts Institute of Technology; University of California at San Diego
United States
Distributions for Compositionally Differentiating Parametric Discontinuities
Xiang Li
Li, Xiang
University of Michigan, Ann Arbor
United States
Statically Contextualizing Large Language Models with Typed Holes
Xuandong Li
Li, Xuandong
Nanjing University
China
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Understanding and Finding Java Decompiler Bugs
Yi Li
Li, Yi
University of Texas at Dallas
A Learning-Based Approach to Static Program Slicing
Yichuan Li
Li, Yichuan
Nanjing University of Science and Technology
China
VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
Yinying Li
Li, Yinying
Google
Compiler Support for Sparse Tensor Convolutions
Yongjian Li
Li, 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 Li
Li, Yuekang
UNSW
Australia
Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Zikun Li
Li, Zikun
Carnegie Mellon University
Quarl: A Learning-Based Quantum Circuit Optimizer
Kyle Liang
Liang, Kyle
Carnegie Mellon University
United States
TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Dennis Liew
Liew, Dennis
University of Massachusetts Boston
Sound and partially-complete static analysis of data-races in GPU programs
Michael Lill
Lill, Michael
Tokiwa Software GmbH
The Fuzion Intermediate Representation
Christian Yongwhan Lim
Lim, Christian Yongwhan
Columbia University
United States
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Slim Lim
Lim, Slim
UC Berkeley, Notion Labs
United States
Committee Member in Program Committee within the HATRA-track
Sina Lin
Lin, Sina
Microsoft
Quarl: A Learning-Based Quantum Circuit Optimizer
Zhengyao Lin
Lin, Zhengyao
Carnegie Mellon University
United States
FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
Zhiqiang Lin
Lin, Zhiqiang
The Ohio State University
Cocoon: Static Information Flow Control in Rust
Jens Lincke
Lincke, Jens
Hasso Plattner Institute; University of Potsdam
Germany
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Supporting Construction of Domain-Specific Representations in Textual Source Code
Sam Lindley
Lindley, Sam
The University of Edinburgh
United Kingdom
Effect handlers for C via coroutines
Jeff Lindsay
Lindsay, Jeff
None
Manifold: Throwing Together Software Systems
Kirby Linvill
Linvill, Kirby
University of Colorado Boulder
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Geoffrey Litt
Litt, Geoffrey
Ink & Switch
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Program Committee within the PAINT-track
Geoffrey Litt
Litt, Geoffrey
Ink & Switch
Welcome & Opening
Closing & Farewell
Geoffrey Litt
Litt, Geoffrey
Ink & Switch
Committee Member in Organizing Committee within the LIVE-track
Geoffrey Litt
Litt, Geoffrey
Ink & Switch
Committee Member in Program Committee within the LIVE-track
Anrui Liu
Liu, Anrui
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Bozhen Liu
Liu, Bozhen
Texas A&M University - Corpus Christi
Mentor in Mentors within the SPLASH PLMW-track
GoGuard: Efficient Static Blocking Bug Detection for Go
Congyu Liu
Liu, Congyu
Purdue University
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Craig Liu
Liu, Craig
Design of Fractional Permissions for a Gradual Verifier
Cyrus Liu
Liu, Cyrus
Samsung Semiconductor
United States
VESC:Towards Temporal Verification of Smart Contracts
Jiangyi Liu
Liu, Jiangyi
University of Wisconsin - Madison
United States
Synthesizing Formal Semantics from Executable Interpreters
Jiawei Liu
Liu, Jiawei
University of Illinois at Urbana-Champaign
United States
WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Jie Liu
Liu, Jie
Cornell University
UniSparse: An Intermediate Language for General Sparse Format Customization
Peiming Liu
Liu, Peiming
Google Inc
Compilation of Shape Operators on Sparse Arrays
Compiler Support for Sparse Tensor Convolutions
Ruyan Liu
Liu, Ruyan
Department of Computer Science and Technology, Nanjing University
Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Si Liu
Liu, Si
ETH Zurich
Switzerland
Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels
Tianyi Liu
Liu, Tianyi
Nanjing University
China
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Xuwei Liu
Liu, Xuwei
Purdue University, USA
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Yi Liu
Liu, Yi
Nanyang Technological University
Singapore
Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Yu David Liu
Liu, Yu David
SUNY Binghamton
United States
A Runtime System for Interruptible Query Processing -- When Incremental Computing Meets Fine-Grained Parallelism
Yu David Liu
Liu, Yu David
State University of New York (SUNY) Binghamton
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
PC Member in Program Committee within the VMIL-track
Zhengyang Liu
Liu, Zhengyang
University of Utah
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Elisabet Lobo-Vesga
Lobo-Vesga, Elisabet
DPella AB
Sensitivity by Parametricity
Francesco Logozzo
Logozzo, Francesco
Meta
United States
Measuring data lineage: when program analysis meets data science
Théo Losekoot
Losekoot, Théo
Verification of programs with ADTs using Shallow Horn Clauses
Jean-Pierre Lozi
Lozi, Jean-Pierre
Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)
Jie Lu
Lu, Jie
SKLP, Institute of Computing Technology, CAS
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Kuang-Chen Lu
Lu, Kuang-Chen
Brown University, USA
United States
Identifying and Correcting Programming Language Behavior Misconceptions
Runyu Lu
Lu, Runyu
Huazhong University of Science and Technology
WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Yifei Lu
Lu, Yifei
Nanjing University
Understanding and Finding Java Decompiler Bugs
Justin Lubin
Lubin, Justin
University of California at Berkeley
United States
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Program Committee within the HATRA-track
Committee Member in Program Committee within the LIVE-track
Francesca Lucchetti
Lucchetti, Francesca
Northeastern University
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Didrik Lundberg
Lundberg, Didrik
KTH Royal Institute of Technology and Saab AB
HOL4P4: mechanized small-step semantics for P4
Daniel Lundén
Lundén, Daniel
Oracle
Sweden
Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Ralf Lämmel
Lämmel, Ralf
Universität Koblenz
Germany
Session Chair of Panel Discussion and Awards (part of SLE)
AI Effects on Research and Education: A Programming and Software Language Perspective
SLE Welcome
Committee Member in Steering Committee within the SLE-track
Pedro López-García
Ló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
Cong Ma
Ma, Cong
University of Waterloo
Canada
Lexical Effect Handlers, Directly
Pingchuan Ma
Ma, Pingchuan
HKUST
PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Stefan Mada
Mada, Stefan
University of Utah
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Magnus Madsen
Madsen, Magnus
Aarhus University
Denmark
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Daryl Maier
Maier, Daryl
IBM Canada
Canada
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Kenji Maillard
Maillard, Kenji
Inria
France
Committee Member in Review Committee within the SPLASH OOPSLA-track
Rupak Majumdar
Majumdar, Rupak
MPI-SWS
Germany
Model Checking Distributed Protocols in Must
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Anwar Mamat
Mamat, Anwar
University of Maryland
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Konstantinos Mamouras
Mamouras, Konstantinos
Rice University
United States
HybridSA: GPU Acceleration of Multi-Pattern Regex Matching using Bit Parallelism
Ravi Mangal
Mangal, Ravi
Colorado State University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Edoardo Manino
Manino, Edoardo
Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Xiaoguang Mao
Mao, Xiaoguang
National University of Defense Technology
China
FPCC: Detecting Floating-Point Errors via Chain Conditions
Mariana Marasoiu
Marasoiu, Mariana
University of Cambridge
United Kingdom
Committee Member in Program Committee within the PAINT-track
Benjamin Mariano
Mariano, Benjamin
University of Texas at Austin
United States
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Jean-Yves Marion
Marion, Jean-Yves
LORIA
France
Trace Partitioning as an Optimization Problem
Philippa Markovics
Markovics, Philippa
Nextjournal
Austria
Live Programming a Live Programming Environment: An Experience Report
Stefan Marr
Marr, Stefan
University of Kent
United Kingdom
Committee Member in Program Committee within the SLE-track
PC Member in Program Committee within the VMIL-track
Mark Marron
Marron, Mark
University of Kentucky
A Programing Language for Data and Configuration!
An Effectively Ω(c) Language and Runtime
Danielle Marshall
Marshall, Danielle
University of Glasgow
United Kingdom
Functional Ownership through Fractional Uniqueness
Linearity, Uniqueness, Ownership: An Entente Cordiale
Ruben Martins
Martins, Ruben
Carnegie Mellon University
United States
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Salvador Martínez
Martínez, Salvador
IMT Atlantique
France
Committee Member in Artifact Evaluation Committee within the SLE-track
Dave Mason
Mason, Dave
Toronto Metropolitan University (formerly Ryerson University)
Canada
Inlined Code Generation for Smalltalk
Isabella Mastroeni
Mastroeni, Isabella
University of Verona
Italy
Static Analysis of Quantum Programs
Abstracting Entanglement
Hidehiko Masuhara
Masuhara, Hidehiko
Institute of Science Tokyo
Japan
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 Nicolajsen
Mateos Nicolajsen, Sebastian
IT University of Copenhagen
Denmark
Committee Member in Program Commitee within the SPLASH -E-track
Denis Mazzucato
Mazzucato, Denis
INRIA & École Normale Supérieure
Quantitative Static Timing Analysis
Darin McAdams
McAdams, Darin
Amazon Web Services
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Erin McBride
McBride, Erin
University of Wisconsin
Committee Member in Program Committee within the ProLaLa-track
Matt McCutchen
McCutchen, Matt
Unaffiliated
United States
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Paulus Meessen
Meessen, Paulus
Cross-Disciplinarity in Contemporary Code-Driven Legal Informatics
Tobias Meggendorfer
Meggendorfer, Tobias
Lancaster University, UK (Leipzig Campus)
Germany
Quantitative Bounds on Resource Usage of Probabilistic Programs
Meetesh Kalpesh Mehta
Mehta, Meetesh Kalpesh
IIT Bombay
India
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yixuan Mei
Mei, Yixuan
Carnegie Mellon University
Quarl: A Learning-Based Quantum Circuit Optimizer
Erik Meijer
Meijer, Erik
United States
From AI Software Engineers to AI Knowledge Workers
Orestis Melkonian
Melkonian, Orestis
Input Output Global (IOG/IOHK)
United Kingdom
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Charith Mendis
Mendis, Charith
University of Illinois at Urbana-Champaign
United States
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
Lucy Menon
Menon, Lucy
Northeastern University
Gradually Typed Languages Should Be Vigilant!
Kim Mens
Mens, Kim
Université catholique de Louvain, ICTEAM institute, Belgium
Belgium
An Observational Study of Undergraduate Teaching Assistants' use of Subgoal Learning Integrated in an Introductory Programming Course
Mira Mezini
Mezini, Mira
TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
Germany
Steering Committee Member in Steering Committee for SPLASH 2024
Alistair Michael
Michael, Alistair
Lift-offline: Instruction Lifter Generators
Judith Michael
Michael, Judith
RWTH Aachen University
Germany
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 Michel
Michel, Jesse
Massachusetts Institute of Technology
Distributions for Compositionally Differentiating Parametric Discontinuities
Kristopher Micinski
Micinski, Kristopher
Syracuse University
United States
Author in Program Committee within the GPCE-track
Hiroki Mikami
Mikami, Hiroki
Waseda University, Japan
Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
Marco Milanese
Milanese, Marco
Sorbonne University
France
Under-approximating Memory Abstractions
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Ana Milanova
Milanova, Ana
Rensselaer Polytechnic Institute
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Committee within the SAS -track
Luka Miljak
Miljak, Luka
Delft University of Technology
Netherlands
Concrete Syntax Metapatterns
Mark Miller
Miller, Mark
Agoric
United States
Offer-safe Trade of Mutable Objects
Todd Millstein
Millstein, Todd
University of California, Los Angeles
Everything is a Program (even if it's not)
Todd Millstein
Millstein, Todd
University of California at Los Angeles
United States
Welcome from Todd Millstein
Committee Member in Program Committee within the JENSFEST-track
Anders Miltner
Miltner, Anders
Simon Fraser University
Canada
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. Min
Min, Marcus J.
Columbia University
CYCLE: Learning to Self-Refine the Code Generation
Tijana Minic
Minic, Tijana
Seton Hall University
Visualizing Composed Turing Machines
Tijana Minic
Minic, Tijana
Grammar Derivation Visualization in Automata Theory
Antoine Miné
Miné, Antoine
Sorbonne Université
France
Under-approximating Memory Abstractions
Mehdi Mirakhorli
Mirakhorli, Mehdi
Rochester Institute of Technology
United States
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Dimitris Mitropoulos
Mitropoulos, Dimitris
University of Athens
Greece
When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Ragnar Mogk
Mogk, Ragnar
Technische Universität Darmstadt
Germany
Committee Member in Program Committee within the SLE-track
Anshuman Mohan
Mohan, Anshuman
Cornell University
United States
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Raphaël Monat
Monat, Raphaël
Inria and University of Lille
France
CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution
Committee Member in Program Committee within the NSAD-track
Stefan Monnier
Monnier, Stefan
Université de Montréal
Canada
The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
David Moon
Moon, David
University of Michigan
United States
Committee Member in Program Committee within the HATRA-track
Committee Member in Program Committee within the LIVE-track
Benjamin Moosherr
Moosherr, Benjamin
University of Ulm
On the Expressive Power of Languages for Static Variability
José Morales
Morales, José
IMDEA Software Institute
Spain
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 Moser
Moser, Georg
University of Innsbruck
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Peter D. Mosses
Mosses, Peter D.
Delft University of Technology and Swansea University
Netherlands
Towards Verification of a Denotational Semantics of Inheritance
Session Chair of SLE Welcome and Keynote (part of SLE)
SLE Welcome
Program Co-Chair in Organizing Committee within the SLE-track
Julian Mour
Mour, Julian
Robustness Verification of Multi-Label Neural Network Classifiers
Naïm Moussaoui Remil
Moussaoui Remil, Naïm
INRIA & École Normale Supérieure | Université PSL
France
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Kevin Mu
Mu, Kevin
University of Washington
Distributions for Compositionally Differentiating Parametric Discontinuities
Fabian Muehlboeck
Muehlboeck, Fabian
Australian National University
Australia
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 Mukherjee
Mukherjee, Manasij
NVIDIA
Hydra: Generalizing Peephole Optimizations with Program Synthesis
Niek Mulleners
Mulleners, Niek
Utrecht University
Netherlands
Committee Member in Program Committee within the HATRA-track
Guillaume Munch-Maccagnoni
Munch-Maccagnoni, Guillaume
INRIA
France
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Charlie Murphy
Murphy, Charlie
University of Wisconsin–Madison
Synthesizing Formal Semantics from Executable Interpreters
Aniruddha Mysore
Mysore, Aniruddha
Georgia Institute of Technology
On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud
Hanspeter Mössenböck
Mössenböck, Hanspeter
JKU Linz
Austria
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Anders Møller
Møller, Anders
Aarhus University
Denmark
Steering Committee Member in Steering Committee for SPLASH 2024
Committee Member in Steering Committee within the SPLASH Onward! Papers-track
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
Associate Chair in Review Committee within the SPLASH OOPSLA-track
Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Maya Mückenschnabel
Mückenschnabel, Maya
Algebraic effect handlers with bidirectional type-checking
Peter Müller
Müller, Peter
ETH Zurich
Switzerland
Hypra: A Deductive Program Verifier for Hyper Hoare Logic
Kartik Nagar
Nagar, Kartik
IIT Madras
India
Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models
PC Member in Program Committee within the VMIL-track
Santosh Nagarakatte
Nagarakatte, Santosh
Rutgers University
United States
Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Srinidhi Nagendra
Nagendra, Srinidhi
CNRS, Université Paris Cité, IRIF, Chennai Mathematical Institute
France
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Shaan Nagy
Nagy, Shaan
University of Wisconsin-Madison
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs
Aaditya Naik
Naik, Aaditya
University of Pennsylvania
United States
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Mayur Naik
Naik, Mayur
University of Pennsylvania
United States
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
What's Still Missing in Static Analysis? A Decade-Long Journey.
Tomoki Nakamaru
Nakamaru, Tomoki
The University of Tokyo
Japan
Multiverse Notebook: Shifting Data Scientists to Time Travelers
Kedar Namjoshi
Namjoshi, Kedar
Nokia Bell Labs
United States
Committee Member in Program Committee within the SAS -track
Chandrakana Nandi
Nandi, Chandrakana
Certora
United States
Practical Verification Of Smart Contracts Using Memory Splitting
Aleksandar Nanevski
Nanevski, Aleksandar
IMDEA Software Institute
Spain
Committee Member in Review Committee within the SPLASH OOPSLA-track
Srinivas Narayana
Narayana, Srinivas
Rutgers University
Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Jorge A. Navas
Navas, Jorge A.
Certora
United States
Committee Member in Program Committee within the SAS -track
Luca Negrini
Negrini, Luca
Ca’ Foscari University of Venice
Italy
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Committee Member in Program Committee within the NSAD-track
Tim Nelson
Nelson, Tim
Brown University
United States
Forge: A Tool and Language for Teaching Formal Methods
Committee Member in Program Committee within the HATRA-track
ThanhVu Nguyen
Nguyen, ThanhVu
George Mason University
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Tien N. Nguyen
Nguyen, Tien N.
University of Texas at Dallas
United States
A Learning-Based Approach to Static Program Slicing
Committee Member in Review Committee within the SPLASH OOPSLA-track
Oscar Nierstrasz
Nierstrasz, Oscar
feenk.com
Switzerland
Session Chair of Onward! Papers (part of SPLASH Onward! Papers)
Moldable Exceptions
Committee Member in Program Committee within the SPLASH Onward! Papers-track
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
Tobias Nießen
Nießen, Tobias
TU Wien
Austria
Finding ∀∃ Hyperbugs Using Symbolic Execution
Rachit Nigam
Nigam, Rachit
Massachusetts Institute of Technology
United States
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Vladimir Nikolaev
Nikolaev, Vladimir
Yin-Yang: Concealing the Deep Embedding of DSLs
Filip Niksic
Niksic, Filip
Google
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Yuki Nishida
Nishida, Yuki
Tohoku University
Japan
Law and Order for Typestate with Borrowing
Keisuke Nishimura
Nishimura, Keisuke
Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)
James Noble
Noble, James
Independent. Wellington, NZ
New Zealand
Session Chair of Session 2 (part of IWACO)
Committee Member in Program Committee within the IWACO-track
Jonas Norlinder
Norlinder, Jonas
Uppsala University
Sweden
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Mark--Scavenge: Waiting for Trash to Take Itself Out
Aman Nougrahiya
Nougrahiya, Aman
IIT Madras
India
Homeostasis: Design and Implementation of a Self-Stabilizing Compiler (TOPLAS)
Dibri Nsofor
Nsofor, Dibri
University of Utah
Toward a Corpus Study of the Dynamic Gradual Type
Clemens Nylandsted Klokmose
Nylandsted Klokmose, Clemens
Aarhus University
Denmark
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Program Committee within the LIVE-track
Michael F. P. O'Boyle
O'Boyle, Michael F. P.
University of Edinburgh
United Kingdom
Hot Call-Chain Inlining for the Glasgow Haskell Compiler
Peter W. O'Hearn
O'Hearn, Peter W.
Lacework; University College London
United Kingdom
Non-Termination Proving at Scale
Lina Ochoa
Ochoa, Lina
Eindhoven University of Technology
Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced
Martin Odersky
Odersky, Martin
EPFL
Switzerland
Degrees of Separation: A Flexible Type System for Safe Concurrency
Yin-Yang: Concealing the Deep Embedding of DSLs
Hakjoo Oh
Oh, Hakjoo
Korea University
South Korea
Quantum Probabilistic Model Checking for Time-Bounded Properties
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
Manuel Ohrndorf
Ohrndorf, Manuel
University of Bern
Switzerland
Automated Generation of Code Contracts - Generative AI to the Rescue?
Yoshiki Ohshima
Ohshima, Yoshiki
Croquet Corporation, Shizuoka University
Japan
The Act of Programming in Collaborative Spaces
Arthur Oliveira Vale
Oliveira Vale, Arthur
Yale University
Compositionality and Observational Refinement for Linearizability with Crashes
Bruno C. d. S. Oliveira
Oliveira, Bruno C. d. S.
University of Hong Kong
China
Full Iso-recursive Types
Merging Gradual Typing
A Case for First-Class Environments
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
Committee Member in Review Committee within the SPLASH OOPSLA-track
The Inexact Superclass Problem
Committee Member in Steering Committee within the SLE-track
Cyrus Omar
Omar, Cyrus
University of Michigan
United States
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Statically Contextualizing Large Language Models with Typed Holes
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Commitee within the SPLASH -E-track
Research Methods for Designing Next-Generation Programming Systems
Learner-Centered Design Criteria for Classroom Proof Assistants
Publicity Chair in Organizing Committee within the HATRA-track
Committee Member in Program Committee within the LIVE-track
Ken Jin Ooi
Ooi, Ken Jin
Automatically Generating an Abstract Interpretation-based Optimizer from a DSL
Dominic Orchard
Orchard, Dominic
University of Kent; University of Cambridge
United Kingdom
Functional Ownership through Fractional Uniqueness
Programming Languages for the Future of Design Computation
Peter-Michael Osera
Osera, Peter-Michael
Grinnell College
United States
Committee Member in Program Committee within the HATRA-track
Klaus Ostermann
Ostermann, Klaus
University of Tübingen
Germany
Deriving Dependently-Typed OOP from First Principles
André Pacak
Pacak, André
JGU Mainz
Germany
Object-Oriented Fixpoint Programming with Datalog
A Typed Multi-Level Datalog IR and its Compiler Framework
AUTOINC: Incrementality for Free
Separate Compilation and Partial Linking: Modules for Datalog IR
Rohan Padhye
Padhye, Rohan
Carnegie Mellon University
United States
Software Engineering Methods For AI-Driven Deductive Legal Reasoning
Oded Padon
Padon, Oded
VMware Research
United States
Quarl: A Learning-Based Quantum Circuit Optimizer
Committee Member in Program Committee within the SAS -track
Sreepathi Pai
Pai, Sreepathi
University of Rochester
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Richard Paige
Paige, Richard
McMaster University
Canada
Committee Member in Steering Committee within the SLE-track
Shankara Pailoor
Pailoor, Shankara
University of Texas at Austin
United States
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Abhinandan Pal
Pal, Abhinandan
University of Birmingham
United Kingdom
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Anjali Pal
Pal, Anjali
University of Washington
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zachary Palmer
Palmer, Zachary
Swarthmore College
United States
Intensional Functions
Viktor Palmkvist
Palmkvist, Viktor
KTH Royal Institute of Technology
Sweden
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Jens Palsberg
Palsberg, Jens
University of California, Los Angeles (UCLA)
United States
Closing Remarks from Jens
Session Chair of Morning Session (part of VIVEKFEST)
Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg)
Committee Member in Organizing Committee within the VIVEKFEST-track
Minxue Pan
Pan, Minxue
Nanjing University
China
Understanding and Finding Java Decompiler Bugs
Pavel Panchekha
Panchekha, Pavel
University of Utah
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Santosh Pande
Pande, Santosh
Georgia Institute of Technology
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Jun Pang
Pang, Jun
University of Luxembourg
Luxembourg
Mechanizing the CMP Abstraction for Parameterized Verification
Brent Pappas
Pappas, Brent
University of Central Florida
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anouk Paradis
Paradis, Anouk
ETH Zurich
Switzerland
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Jihyeok Park
Park, Jihyeok
Korea University
South Korea
Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Matthew J. Parkinson
Parkinson, Matthew J.
Microsoft Azure Research
United Kingdom
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Committee within the IWACO-track
Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper)
Bryan Parno
Parno, Bryan
Carnegie Mellon University
United States
FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
Committee Member in Program Committee within the HATRA-track
Lionel Parreaux
Parreaux, Lionel
HKUST (The Hong Kong University of Science and Technology)
Hong Kong SAR China
The Ultimate Conditional Syntax
Fast and Optimal Extraction for Sparse Equality Graphs
Session Chair of Session 3 on Code Optimizations (part of GPCE)
Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)
Author in Program Committee within the GPCE-track
On Distributive Subtyping with Finitary and Infinitary Unions and Intersections
Welcome to UNSOUND
Committee Member in Organizing Committee within the UNSOUND-track
Modular Borrowing Without Ownership or Linear Types
Diff-based interactive compiler debugging and testing
Corina S. Pasareanu
Pasareanu, Corina S.
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Committee Member in Review Committee within the SPLASH OOPSLA-track
Michele Pasqua
Pasqua, Michele
University of Verona
Italy
Session Chair of Types, Control-flow and trace partitioning (part of SAS )
Committee Member in Program Committee within the SAS -track
Session Chair of NSAD: Session 1 (part of NSAD)
Opening
Closing
Committee Member in Organizing Committee within the NSAD-track
Andreas Pavlogiannis
Pavlogiannis, Andreas
Aarhus University
Denmark
Committee Member in Review Committee within the SPLASH OOPSLA-track
Mathias Payer
Payer, Mathias
EPFL
Switzerland
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
David J. Pearce
Pearce, David J.
ConsenSys
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Steering Committee within the SLE-track
Hila Peleg
Peleg, Hila
Technion
Israel
Associate Chair in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Committee within the HATRA-track
Artem Pelenitsyn
Pelenitsyn, Artem
Purdue University
United States
SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
Marie Pelleau
Pelleau, Marie
Université Côte d'Azur
France
Committee Member in Program Committee within the NSAD-track
Daniel A. A. Pelsmaeker
Pelsmaeker, Daniel A. A.
Delft University of Technology, Netherlands
Netherlands
Ordering Rejectable Stacks in SGLR Parsing
Jinjun Peng
Peng, Jinjun
Columbia University
Quarl: A Learning-Based Quantum Circuit Optimizer
Fernando Magno Quintão Pereira
Pereira, Fernando Magno Quintão
Federal University of Minas Gerais
Brazil
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 Pesin
Pesin, Basile
Université Grenoble Alpes
France
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tomas Petricek
Petricek, Tomas
Charles University
Czechia
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Committee Member in Steering Committee within the SPLASH Onward! Papers-track
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Don’t Call Us, We’ll Call You
Andrej Pečimúth
Pečimúth, Andrej
Oracle Labs; Charles University
Czechia
An Analysis of Compiled Code Reusability in Dynamic Compilation
Long Pham
Pham, Long
Carnegie Mellon University
United States
Programmable MCMC with Soundly Composed Guide Programs
Simone Piatti
Piatti, Simone
USI Lugano
Switzerland
Judicious: API Documentation for Novices
Christoph Pichler
Pichler, Christoph
Johannes Kepler University Linz
Austria
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Jean Pichon-Pharabod
Pichon-Pharabod, Jean
Aarhus University
Denmark
Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly
John Pickar
Pickar, John
Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
Brigitte Pientka
Pientka, Brigitte
McGill University
Canada
Message-Observing Sessions
Nikhil Pimpalkhare
Pimpalkhare, Nikhil
Princeton University
Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials
Luís Pina
Pina, Luís
University of Illinois at Chicago
United States
Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages
Maria Pinto-Albuquerque
Pinto-Albuquerque, Maria
Instituto Universitário de Lisboa (ISCTE-IUL)
Portugal
Committee Member in Program Commitee within the SPLASH -E-track
Ruzica Piskac
Piskac, Ruzica
Yale University
United States
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Clément Pit-Claudel
Pit-Claudel, Clément
EPFL
Switzerland
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
Committee Member in Program Committee within the HATRA-track
Filip Pizlo
Pizlo, Filip
Apple
United States
Fil-C: memory safety with fanatical C/C++ compatibility
Elizabeth Polgreen
Polgreen, Elizabeth
University of Edinburgh
United Kingdom
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Author in Program Committee within the GPCE-track
Samuel D. Pollard
Pollard, Samuel D.
Sandia National Laboratories
United States
Post-PhD Careers & Life Panel
Panelist in Speakers & Panelists within the SPLASH PLMW-track
A Formal Model for Portable, Heterogeneous Accelerator Programming
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
Josh Pollock
Pollock, Josh
MIT CSAIL
United States
Committee Member in Program Committee within the HATRA-track
James Pontes Miranda
Pontes Miranda, James
IMT Atlantique, LS2N (UMR CNRS 6004)
France
Towards an In-context LLM-based Approach for Automating the Definition of Model Views
Stephen Poole
Poole, Stephen
Scalable Small Message Aggregation on Modern Interconnects
Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
Wendy Poole
Poole, Wendy
Scalable Small Message Aggregation on Modern Interconnects
Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
Sorawee Porncharoenwase
Porncharoenwase, Sorawee
University of Washington
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alex Potanin
Potanin, Alex
Australian National University
Australia
Steering Committee Member in Steering Committee for SPLASH 2024
OOPSLA Review Committee Co-Chair in Organizing Committee for SPLASH 2024
Committee Member in Steering Committee within the SPLASH Onward! Papers-track
Session Chair of Concurrency (part of SPLASH OOPSLA)
Session Chair of Testing Everything, Everywhere, All At Once (part of SPLASH OOPSLA)
Co-chair in Review Committee within the SPLASH OOPSLA-track
Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Committee Member in Program Committee within the IWACO-track
François Pottier
Pottier, François
Inria
France
Type Inference Logics
Louis-Noël Pouchet
Pouchet, Louis-Noël
Colorado State University, USA
Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation
Louis-Noël Pouchet
Pouchet, Louis-Noël
Colorado State University
Concurrent Collections: An Overview
Michael Pradel
Pradel, Michael
University of Stuttgart
Germany
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Siddhartha Prasad
Prasad, Siddhartha
Brown University
Forge: A Tool and Language for Teaching Formal Methods
Sai Praveen Bangaru
Praveen Bangaru, Sai
MIT
Distributions for Compositionally Differentiating Parametric Discontinuities
Sofia Presotto
Presotto, Sofia
Ca’ Foscari University of Venice
Italy
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Jonathan Protzenko
Protzenko, Jonathan
Microsoft Azure Research
United States
StarMalloc: Verifying a Modern, Hardened Memory Allocator
Corina S. Păsăreanu
Păsăreanu, Corina S.
Carnegie Mellon University; NASA Ames
United States
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Shaz Qadeer
Qadeer, Shaz
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Yun Qi
Qi, Yun
Nanjing University
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Bingzhou Qian
Qian, Bingzhou
National University of Defense Technology
PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Kelvin Qian
Qian, Kelvin
Johns Hopkins University
Semantic-Type-Guided Bug Finding
Zhiyun Qian
Qian, Zhiyun
University of California at Riverside, USA
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Longfei Qiu
Qiu, Longfei
Yale University
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Xiaokang Qiu
Qiu, Xiaokang
Purdue University
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Yuxin Qiu
Qiu, Yuxin
University of California at Riverside
United States
Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
(Lightning Talk) Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
Sergio Queiroz de Medeiros
Queiroz de Medeiros, Sergio
Universidade Federal do Rio Grande do Norte
Brazil
Committee Member in Program Committee within the SLE-track
Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Azalea Raad
Raad, Azalea
Imperial College London
United Kingdom
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Non-Termination Proving at Scale
Extending the C/C++ Memory Model with Inline Assembly
Dimi Racordon
Racordon, Dimi
EPFL, LAMP
Switzerland
Use Site Checking Considered Harmful
Method Bundles (New Ideas/Vision paper)
Type Checking with Rewriting Rules
Gabriel Radanne
Radanne, Gabriel
Inria
France
Fulfilling OCaml modules with transparency
Jonathan Ragan-Kelley
Ragan-Kelley, Jonathan
Massachusetts Institute of Technology
United States
Distributions for Compositionally Differentiating Parametric Discontinuities
Mukund Raghothaman
Raghothaman, Mukund
University of Southern California
Local Arrangements Chair in Organizing Committee for SPLASH 2024
Ebrahim Rahimi
Rahimi, Ebrahim
Open University, the Netherlands
Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced
Hridesh Rajan
Rajan, Hridesh
Iowa State University
United States
Steering Committee Member in Steering Committee for SPLASH 2024
Committee Member in Steering Committee within the SPLASH Onward! Papers-track
Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Vineet Rajani
Rajani, Vineet
University of Kent
A modal type-theory of expected cost in higher-order probabilistic programs
Mathangi Ramesh
Ramesh, Mathangi
Amazon Web Services
Automatically Reducing Privilege for Access Control Policies
Caio Raposo
Raposo, Caio
Universidade Federal de Minas Gerais
Brazil
The Essence of the Flyweight Design Pattern
Joseph Raskind
Raskind, Joseph
SUNY Binghamton
A Runtime System for Interruptible Query Processing -- When Incremental Computing Meets Fine-Grained Parallelism
(Lightning Talk) A VM-based Approach For Power Modeling
A VM-based Approach For Power Modeling
Lawrence Rauchwerger
Rauchwerger, Lawrence
University of Illinois at Urbana-Champaign
United States
Learning to harness in-vitro biological neural networks
Savitha Ravi
Ravi, Savitha
UC San Diego
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Binoy Ravindran
Ravindran, Binoy
Virginia Tech
United States
libLISA: Instruction Discovery and Analysis on x86-64
Baishakhi Ray
Ray, Baishakhi
Columbia University, New York; AWS AI Lab
United States
CYCLE: Learning to Self-Refine the Code Generation
Patrick Redmond
Redmond, Patrick
University of California at Santa Cruz
Inductive diagrams for causal reasoning
Orion Reed
Reed, Orion
Unaffiliated
Scoped Propagators
Ivan Reese
Reese, Ivan
Ink & Switch
Canada
Inkling: Sketching Dynamic Systems
John Regehr
Regehr, John
University of Utah
United States
Session Chair of Datalog (part of SPLASH OOPSLA)
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Hydra: Generalizing Peephole Optimizations with Program Synthesis
Christoph Reichenbach
Reichenbach, Christoph
Lund University
Sweden
Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis
Patrick Rein
Rein, Patrick
University of Potsdam; Hasso Plattner Institute
Germany
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Antonin Reitz
Reitz, Antonin
Inria
StarMalloc: Verifying a Modern, Hardened Memory Allocator
Jan Reppien
Reppien, Jan
Hasso Plattner Institute, University of Potsdam
Germany
Supporting Construction of Domain-Specific Representations in Textual Source Code
Thomas Reps
Reps, Thomas
University of Wisconsin-Madison
United States
Synthesizing Formal Semantics from Executable Interpreters
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Weighted Context-Free-Language Ordered Binary Decision Diagrams
Newtonian Program Analysis of Probabilistic Programs
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs
Synthesizing Abstract Transformers for Reduced-Product Domains
Francisco Ribeiro
Ribeiro, Francisco
New York University, Abu Dhabi
Committee Member in Artifact Evaluation Committee within the SLE-track
Márcio Ribeiro
Ribeiro, Márcio
Federal University of Alagoas, Brazil
Brazil
Author in Program Committee within the GPCE-track
Gaspar Ricci
Ricci, Gaspar
University of Chile
Chile
Taming Unsoundness with Gradual Abstract Interpretation
Nathan Richardson
Richardson, Nathan
University of York
United Kingdom
Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels
Félix Ridoux
Ridoux, Félix
Univ Rennes / IMDEA Software Institute
France
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Manuel Rigger
Rigger, Manuel
National University of Singapore
Singapore
Finding Cross-rule Optimization Bugs in Datalog Engines
Filip Riha
Riha, Filip
Czech Technical University
Reducing Feedback Pollution
Noam Rinetzky
Rinetzky, Noam
Tel Aviv University
Israel
Committee Member in Review Committee within the SPLASH OOPSLA-track
Idriss Riouak
Riouak, Idriss
Department of Computer Science, Lund University, Sweden
Sweden
Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis
Xavier Rival
Rival, Xavier
Inria; ENS; CNRS; PSL University
France
Committee Member in Program Committee within the SAS -track
Committee Member in Program Committee within the NSAD-track
Charles Roberts
Roberts, Charles
Worcester Polytechnic Institute
Committee Member in Program Commitee within the SPLASH -E-track
Katja Rogers
Rogers, Katja
University of Amsterdam
Netherlands
Committee Member in Program Committee within the PAINT-track
Tiark Rompf
Rompf, Tiark
Purdue University
United States
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN)
Committee Member in Review Committee within the SPLASH OOPSLA-track
Specializing Data Access in a Distributed File System (Generative Pearl)
Committee Member in Steering Committee within the GPCE-track
Hongbo Rong
Rong, Hongbo
Intel Labs
United States
UniSparse: An Intermediate Language for General Sparse Format Customization
Alexander J Root
Root, Alexander J
Stanford University
United States
Compilation of Shape Operators on Sparse Arrays
Compiler Support for Sparse Tensor Convolutions
Abhishek Rose
Rose, Abhishek
IIT Delhi
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Andrea Rosà
Rosà, Andrea
USI Lugano
Switzerland
Author in Program Committee within the GPCE-track
June Rousseau
Rousseau, June
Aarhus University
Denmark
Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly
Subhajit Roy
Roy, Subhajit
IIT Kanpur
India
Committee Member in Review Committee within the SPLASH OOPSLA-track
Synthesizing Abstract Transformers for Reduced-Product Domains
Grigore Roşu
Roşu, Grigore
University of Illinois at Urbana-Champaign
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Julianne Rudner
Rudner, Julianne
Brown University
Forge: A Tool and Language for Teaching Formal Methods
Bernhard Rumpe
Rumpe, Bernhard
RWTH Aachen University
Germany
Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries
AI Effects on Research and Education: A Programming and Software Language Perspective
Neha Rungta
Rungta, Neha
Amazon Web Services
United States
Trillions of Formally Verified Authorizations a day!
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Automatically Reducing Privilege for Access Control Policies
Neea Rusch
Rusch, Neea
Augusta University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jack Rusher
Rusher, Jack
Nextjournal
Germany
Live Programming a Live Programming Environment: An Experience Report
Alejandro Russo
Russo, Alejandro
Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden
Sweden
Sensitivity by Parametricity
Claudio Russo
Russo, Claudio
Dfinity
Smarter Contract Upgrades with Orthogonal Persistence
Louis Rustenholz
Rustenholz, Louis
Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute
Spain
An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants
Gabriel Ryan
Ryan, Gabriel
Columbia University
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Benjamin Ryjikov
Ryjikov, Benjamin
Brown University
Forge: A Tool and Language for Teaching Formal Methods
Sukyoung Ryu
Ryu, Sukyoung
KAIST
South Korea
Steering Committee Member in Steering Committee for SPLASH 2024
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Committee Member in Review Committee within the SPLASH OOPSLA-track
Didier Rémy
Rémy, Didier
Inria
Fulfilling OCaml modules with transparency
Philipp Rümmer
Rümmer, Philipp
University of Regensburg and Uppsala University
A Constraint Solving Approach to Parikh Images of Regular Languages
Aleksandar S. Dimovski
S. Dimovski, Aleksandar
Mother Teresa University, Skopje
North Macedonia
Author in Program Committee within the GPCE-track
Feras A. Saad
Saad, Feras A.
Carnegie Mellon University
United States
Programmable MCMC with Soundly Composed Guide Programs
Simmo Saan
Saan, Simmo
University of Tartu, Estonia
Estonia
Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Ponnuswamy Sadayappan
Sadayappan, Ponnuswamy
University of Utah
Prof. P. Sadayappan (University of Utah)
Hannes Saffrich
Saffrich, Hannes
University of Freiburg
Law and Order for Typestate with Borrowing
Mooly Sagiv
Sagiv, Mooly
Tel Aviv University
Israel
Practical Verification Of Smart Contracts Using Memory Splitting
Anmol Sahoo
Sahoo, Anmol
Purdue University
Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models
Georgian-Vlad Saioc
Saioc, Georgian-Vlad
Aarhus University
Automated Verification of Parametric Channel-Based Process Communication
Albin Salazar
Salazar, Albin
University of Konstanz
Germany
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Angelina Saliling
Saliling, Angelina
Cornell University
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Guido Salvaneschi
Salvaneschi, Guido
University of St. Gallen
Switzerland
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Committee within the SLE-track
Amit Samanta
Samanta, Amit
University of Utah
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Adrian Sampson
Sampson, Adrian
Cornell University
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
André L. Santos
Santos, André L.
University Institute of Lisbon, Portugal
Committee Member in Program Commitee within the SPLASH -E-track
João Saraiva
Saraiva, João
University of Minho
Portugal
AI Effects on Research and Education: A Programming and Software Language Perspective
Trading Runtime for Energy Efficiency
Committee Member in Steering Committee within the SLE-track
Committee Member in Program Committee within the SLE-track
Yasmin Sarita
Sarita, Yasmin
Cornell University
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
Vivek Sarkar
Sarkar, Vivek
Georgia Institute of Technology
United States
Fully Verified Instruction Scheduling
Vivek Sarkar
Sarkar, Vivek
Rice University, USA
United States
Jens, the Ultimate PL Renaissance man!
Vivek Sarkar
Sarkar, Vivek
Georgia Institute of Technology
United States
Vivek Sarkar (Georgia Tech)
John Sarracino
Sarracino, John
Lawrence Livermore National Laboratory
Mentor in Mentors within the SPLASH PLMW-track
Kavin Satheeskumar
Satheeskumar, Kavin
University of Waterloo
Canada
Qualifying System F-sub
Shigeyuki Sato
Sato, Shigeyuki
The University of Electro-Communications
Japan
Multiverse Notebook: Shifting Data Scientists to Time Travelers
Peter Saxton
Saxton, Peter
Unaffiliated
EYG a predictable, and useful, programming language
Max Schaefer
Schaefer, Max
GitHub
United Kingdom
Committee Member in Review Committee within the SPLASH OOPSLA-track
Roland Schatz
Schatz, Roland
Oracle Labs
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Robert Schenck
Schenck, Robert
DIKU, University of Copenhagen
Denmark
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Maximilian Schiedermeier
Schiedermeier, Maximilian
Université du Québec à Montréal
Canada
Committee Member in Artifact Evaluation Committee within the SLE-track
Ari Schlesinger
Schlesinger, Ari
University of Georgia
A Case for Feminism in Programming Language Design
Claire Schlesinger
Schlesinger, Claire
Northeastern University
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Christophe Scholliers
Scholliers, Christophe
Universiteit Gent, Belgium
Committee Member in Steering Committee within the SPLASH Onward! Papers-track
Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Bernhard Scholz
Scholz, Bernhard
University of Sydney
Australia
Committee Member in Review Committee within the SPLASH OOPSLA-track
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
Tom Schrijvers
Schrijvers, Tom
KU Leuven
Belgium
ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises
Philipp Schröer
Schröer, Philipp
RWTH Aachen University
Germany
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alexander Schultheiß
Schultheiß, Alexander
Paderborn University
Germany
On the Expressive Power of Languages for Static Variability
Ulrik Pagh Schultz
Schultz, Ulrik Pagh
University of Southern Denmark
Denmark
Author in Program Committee within the GPCE-track
Philipp Schuster
Schuster, Philipp
University of Tübingen
Germany
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Committee Member in Program Committee within the GPCE-track
David Schwartz
Schwartz, David
University of Illinois at Chicago
Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages
JMVX: Improving Record-Replay for Managed Languages
(Lightning Talk) JMVX: Improving Record-Replay for Managed Languages
Michael Schwarz
Schwarz, Michael
TU Munich
Germany
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Session Chair of NSAD: Session 3 (part of NSAD)
C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Committee Member in Program Committee within the NSAD-track
Elizabeth Scott
Scott, Elizabeth
Royal Holloway University of London
Committee Member in Program Committee within the SLE-track
Francesca Scozzari
Scozzari, Francesca
University of Chieti-Pescara
Italy
Committee Member in Program Committee within the SAS -track
Helmut Seidl
Seidl, Helmut
TU Munich
Germany
C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Taro Sekiyama
Sekiyama, Taro
National Institute of Informatics; SOKENDAI
Japan
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
Viktor Senderov
Senderov, Viktor
Institut de Biologie de l'École Normale Supérieure
Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Mazyar Seraj
Seraj, Mazyar
Eindhoven University of Technology
Netherlands
Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced
Ilya Sergey
Sergey, Ilya
National University of Singapore
Singapore
Session Chair of Semantics (part of SPLASH OOPSLA)
Concurrent Data Structures Made Easy
DSLs in Racket: You Want It How, Now?
Manuel Serrano
Serrano, Manuel
Inria; Université Côte d’Azur
France
JavaScript virtual machine evolution
Marco Servetto
Servetto, Marco
VUW
Java Method-Local Inner Classes are Unsound
Marco Servetto
Servetto, Marco
Victoria University of Wellington
New Zealand
Committee Member in Organizing Committee within the UNSOUND-track
Matan Shachnai
Shachnai, Matan
Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Amir Shaikhha
Shaikhha, Amir
University of Edinburgh
United Kingdom
Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers
Yin-Yang: Concealing the Deep Embedding of DSLs
Committee Member in Steering Committee within the GPCE-track
Author in Program Committee within the GPCE-track
Zhong Shao
Shao, Zhong
Yale University
United States
Compositionality and Observational Refinement for Linearizability with Crashes
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Ted Shaowang
Shaowang, Ted
University of Chicago
Committee Member in Artifact Evaluation Committee within the SLE-track
Mary Shaw
Shaw, Mary
Carnegie Mellon University
tl;dr: Chill, y’all – AI will not devour SE
Jiasi Shen
Shen, Jiasi
The Hong Kong University of Science and Technology
Student Research Competition Co-Chair in Organizing Committee for SPLASH 2024
Committee Member in Review Committee within the SPLASH OOPSLA-track
Co-chair in Organizing Committee within the SPLASH Posters-track
Co-chair in Organizers within the SPLASH Student Research Competition-track
Chenghang Shi
Shi, Chenghang
SKLP, Institute of Computing Technology, CAS
China
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Ling Shi
Shi, Ling
Nanyang Technological University
Singapore
Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Qingkai Shi
Shi, Qingkai
Nanjing University
China
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Yuanfeng Shi
Shi, Yuanfeng
Peking University
China
Learning Abstraction Selection for Bayesian Program Analysis
Ji-Yong Shin
Shin, Ji-Yong
Northeastern University
United States
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Jun Shirako
Shirako, Jun
Georgia Institute of Technology
United States
Fully Verified Instruction Scheduling
Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism
Ali Shokri
Shokri, Ali
Virginia Tech
United States
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Aviral Shrivastava
Shrivastava, Aviral
Arizona State University
United States
TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Fridtjof Siebert
Siebert, Fridtjof
Tokiwa Software GmbH
The Fuzion Intermediate Representation
Mihaela Sighireanu
Sighireanu, Mihaela
University Paris-Saclay, ENS Paris-Saclay, CNRS, LMF
France
A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Alexandra Silva
Silva, Alexandra
Cornell University
United States
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Luís Silva
Silva, Luís
University of Minho
Trading Runtime for Energy Efficiency
Yusung Sim
Sim, Yusung
KAIST
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Georg Simhandl
Simhandl, Georg
University of Vienna
Austria
Cloud Programming Languages and Infrastructure From Code: An Empirical Study
Robert Simmons
Simmons, Robert
Independent
United States
Committee Member in Program Commitee within the SPLASH -E-track
Julien Simonnet
Simonnet, Julien
CEA LIST
A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Jeremy Singer
Singer, Jeremy
University of Glasgow
United Kingdom
Committee Member in Steering Committee within the SPLASH Onward! Papers-track
Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Committee Member in Program Committee within the SPLASH Onward! Essays-track
PC Member in Program Committee within the VMIL-track
Abhishek Kr Singh
Singh, Abhishek Kr
National University of Singapore
Singapore
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Avaljot Singh
Singh, Avaljot
UIUC
United States
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
Gagandeep Singh
Singh, Gagandeep
University of Illinois at Urbana-Champaign; VMware Research
United States
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
Committee Member in Program Committee within the SAS -track
Shubhendra Singhal
Singhal, Shubhendra
Georgia Institute of Technology
United States
Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
Carsten Sinz
Sinz, Carsten
Karlsruhe Institute of Technology
Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations
David Sirkin
Sirkin, David
Stanford University
United States
Committee Member in Program Committee within the PAINT-track
Meghana Aparna Sistla
Sistla, Meghana Aparna
The University of Texas at Austin
United States
Weighted Context-Free-Language Ordered Binary Decision Diagrams
KC Sivaramakrishnan
Sivaramakrishnan, KC
Tarides; IIT Madras
India
Committee Member in Review Committee within the SPLASH OOPSLA-track
Ingo Skupin
Skupin, Ingo
University of Tübingen
Deriving Dependently-Typed OOP from First Principles
Ian Smith
Smith, Ian
Trail of Bits
United States
BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
Lee Smith
Smith, Lee
Arm
United Kingdom
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Scott F. Smith
Smith, Scott F.
The Johns Hopkins University
Semantic-Type-Guided Bug Finding
A Pure Demand Operational Semantics with Applications to Program Analysis
Jeff Smits
Smits, Jeff
Delft University of Technology
Netherlands
Ordering Rejectable Stacks in SGLR Parsing
Session Chair of Session 4 on Typing and Its Applications (part of GPCE)
Session Chair of Software Language Design and Implementation II (part of SLE)
Gustavo Soares
Soares, Gustavo
Microsoft
United States
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Armando Solar-Lezama
Solar-Lezama, Armando
Massachusetts Institute of Technology
United States
SIGPLAN Milner Award Talk
Thomas Somers
Somers, Thomas
Radboud University Nijmegen
Verified Lock-Free Session Channels with Linking
Wei Song
Song, Wei
Nanjing University of Science and Technology
China
VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
Tyler Sorensen
Sorensen, Tyler
University of California at Santa Cruz
United States
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Thodoris Sotiropoulos
Sotiropoulos, Thodoris
ETH Zurich
Switzerland
When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Marcus Specht
Specht, Marcus
Delft University of Technology
Gender Differences in Story, Game and Visual Adventures in Hedy
Manu Sridharan
Sridharan, Manu
University of California at Riverside
United States
Steering Committee Member in Steering Committee for SPLASH 2024
General Chair in Organizing Committee for SPLASH 2024
Post-PhD Careers & Life Panel
Panelist in Speakers & Panelists within the SPLASH PLMW-track
Session Chair of Compilers and Optimisation 2 (part of SPLASH OOPSLA)
Session Chair of Performance Analysis and Optimisation 1 (part of SPLASH OOPSLA)
Guy L. Steele Jr.
Steele Jr., Guy L.
Oracle Labs
United States
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Friedrich Steimann
Steimann, Friedrich
Fernuniversität in Hagen
Germany
The Linguistic Theory Behind Blockly Languages
Committee Member in Steering Committee within the SLE-track
Adam Stein
Stein, Adam
University of Pennsylvania
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Michal Stepanek
Stepanek, Michal
Czech Technical University
Reducing Feedback Pollution
Michel Steuwer
Steuwer, Michel
Technische Universität Berlin
Germany
Author in Program Committee within the GPCE-track
Committee Member in Program Committee within the SLE-track
J. Ryan Stinnett
Stinnett, J. Ryan
King's College London
United Kingdom
Source-level debugging of compiler-optimised code: ill-posed, but not impossible
Amanda Stjerna
Stjerna, Amanda
Uppsala university
Sweden
PhD Life Panel
Panelist in Speakers & Panelists within the SPLASH PLMW-track
A Constraint Solving Approach to Parikh Images of Regular Languages
The First Six Years in the Development of Polonius, an Improved Borrow Checker
Linnea Stjerna
Stjerna, Linnea
KTH Royal Institute of Technology
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Gareth Stockwell
Stockwell, Gareth
ARM
United Kingdom
Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Ilina Stoilkovska
Stoilkovska, Ilina
Amazon
Committee Member in Program Committee within the SAS -track
Brandon Stride
Stride, Brandon
Johns Hopkins University
Semantic-Type-Guided Bug Finding
Filip Strömbäck
Strömbäck, Filip
Linköping University
Sweden
Active DSU: Dynamic Software Updates for Active Functions
Daniel Strüber
Strüber, Daniel
Chalmers | University of Gothenburg / Radboud University
Sweden
Author in Program Committee within the GPCE-track
Sandro Stucki
Stucki, Sandro
Amazon
Sweden
Yin-Yang: Concealing the Deep Embedding of DSLs
Robin Stunic
Stunic, Robin
Fernuniversität in Hagen
The Linguistic Theory Behind Blockly Languages
Ting Su
Su, Ting
East China Normal University
China
Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Yian Su
Su, Yian
Northwestern University
United States
PROMPT: A Fast and Extensible Memory Profiling Framework
Zhendong Su
Su, Zhendong
ETH Zurich
Switzerland
When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
SMT2Test: From SMT Formulas to Effective Test Cases
Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration
Understanding and Finding Java Decompiler Bugs
The Hidden Program State Hurts Everyone
Yulei Sui
Sui, Yulei
UNSW
Australia
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Committee Member in Review Committee within the SPLASH OOPSLA-track
Zachary Sullivan
Sullivan, Zachary
A Formal Model for Portable, Heterogeneous Accelerator Programming
Alexander J. Summers
Summers, Alexander J.
University of British Columbia
Canada
Doctoral Symposium Chair in Organizing Committee for SPLASH 2024
Committee Member in Review Committee within the SPLASH OOPSLA-track
First announcement of SIGPLAN's John Vlissides award; Closing Remarks
Welcome and Introduction
Doctoral Symposium Chair in Program Committee within the SPLASH Doctoral Symposium-track
Yaozhu Sun
Sun, Yaozhu
University of Hong Kong
China
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
Kirshanthan Sundararajah
Sundararajah, Kirshanthan
Virginia Tech
United States
SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
Vijay Sundaresan
Sundaresan, Vijay
IBM Canada
Canada
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Shiv Sundram
Sundram, Shiv
Stanford University
Compiling Recurrences over Dense and Sparse Arrays
Chungha Sung
Sung, Chungha
Amazon Web Services, USA
United States
Automatically Reducing Privilege for Access Control Policies
Gerson Sunyé
Sunyé, Gerson
Nantes Université, LS2N (UMR CNRS 6004)
France
Towards an In-context LLM-based Approach for Automating the Definition of Model Views
Committee Member in Artifact Evaluation Committee within the SLE-track
Emmanuel Suárez Acevedo
Suárez Acevedo, Emmanuel
Cornell University
Effects and Coeffects in Call-By-Push-Value
Tamás Szabó
Szabó, Tamás
GitHub Next
Austria
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Committee within the SLE-track
Emma Söderberg
Söderberg, Emma
Lund University
Sweden
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Committee Member in Steering Committee within the SLE-track
Tim Süberkrüb
Süberkrüb, Tim
Aleph Alpha
Deriving Dependently-Typed OOP from First Principles
Marco T Morazan
T Morazan, Marco
Seton Hall University
United States
Using Computation Graphs to Explain Nondeterminism to Students
Visualizing Composed Turing Machines
Committee Member in Program Commitee within the SPLASH -E-track
Marcel Taeumel
Taeumel, Marcel
University of Potsdam; Hasso Plattner Institute
Germany
Onward! Essays PC Chair in Organizing Committee for SPLASH 2024
Onward! introduction
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 Steering Committee within the SPLASH Onward! Papers-track
Session Chair of Onward! Essays (part of SPLASH Onward! Essays)
Session Chair of Onward! Essays (part of SPLASH Onward! Essays)
Session Chair of Onward! Essays (part of SPLASH Onward! Essays)
Session Chair of Onward! Essays (part of SPLASH Onward! Essays)
Onward! Conclusion
Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Onward! Essays PC Chair in Program Committee within the SPLASH Onward! Essays-track
Alicia JW Takaoka
Takaoka, Alicia JW
Erasmus University Rotterdam
Netherlands
Committee Member in Artifact Evaluation Committee within the SLE-track
Yoshiki Takashima
Takashima, Yoshiki
Carnegie Mellon University
United States
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Jinhao Tan
Tan, Jinhao
University of Hong Kong
China
A Case for First-Class Environments
Zujun Tan
Tan, Zujun
Princeton University, USA
PROMPT: A Fast and Extensible Memory Profiling Framework
Fugen Tang
Tang, Fugen
University of Science and Technology of China
MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Jian Tang
Tang, Jian
Nanjing University
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Éric Tanter
Tanter, Éric
University of Chile
Chile
Taming Unsoundness with Gradual Abstract Interpretation
Muhammad Usman Tariq
Tariq, Muhammad Usman
Stanford University
Compiling Recurrences over Dense and Sparse Arrays
Joseph Tassarotti
Tassarotti, Joseph
New York University
United States
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Committee Member in Review Committee within the SPLASH OOPSLA-track
Max Taylor
Taylor, Max
Ohio State University
Cocoon: Static Information Flow Control in Rust
Leopoldo Teixeira
Teixeira, Leopoldo
Federal University of Pernambuco
Brazil
On the Expressive Power of Languages for Static Variability
Author in Program Committee within the GPCE-track
Aditya V. Thakur
Thakur, Aditya V.
University of California at Davis
United States
Session Chair of Tracing bugs and flaws (part of SAS )
Committee Member in Program Committee within the SAS -track
Jérémy Thibault
Thibault, Jérémy
MPI-SP
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Christoph Thiede
Thiede, Christoph
Hasso Plattner Institute, University of Potsdam, Germany
Germany
Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory Programming
Peter Thiemann
Thiemann, Peter
University of Freiburg, Germany
Law and Order for Typestate with Borrowing
Ordered Types for Typestate
Dave Thomas
Thomas, Dave
Bedarra Corp
Canada
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Sverrir Thorgeirsson
Thorgeirsson, Sverrir
ETH Zurich
Switzerland
The Hidden Program State Hurts Everyone
Thomas Thüm
Thüm, Thomas
Paderborn University
Germany
On the Expressive Power of Languages for Static Variability
GPCE24 Opening
GPCE24 Closing
Program Chair in Organizing Committee within the GPCE-track
Eli Tilevich
Tilevich, Eli
Virginia Tech
United States
Committee Member in Program Commitee within the SPLASH -E-track
Author in Program Committee within the GPCE-track
Frank Tip
Tip, Frank
Northeastern University
United States
Steering Committee Member in Steering Committee for SPLASH 2024
Session Chair of Static Analysis and Program Verification 3 (part of SPLASH OOPSLA)
Massimo Tisi
Tisi, Massimo
IMT Atlantique, LS2N (UMR CNRS 6004)
France
Towards an In-context LLM-based Approach for Automating the Definition of Model Views
Laura Titolo
Titolo, Laura
AMA/NASA LaRC
United States
Committee Member in Program Committee within the NSAD-track
Ben L. Titzer
Titzer, Ben L.
Carnegie Mellon University
United States
Rebase Co-chair in Organizing Committee for SPLASH 2024
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Committee Member in Review Committee within the SPLASH OOPSLA-track
Session Chair of REBASE (part of SPLASH REBASE)
Session Chair of REBASE (part of SPLASH REBASE)
Session Chair of REBASE (part of SPLASH REBASE)
Organization Co-chair in REBASE within the SPLASH REBASE-track
Unboxing Virgil ADTs For Fun and Profit
Co-chair in Organizing Committee within the JENSFEST-track
Committee Member in Program Committee within the JENSFEST-track
PC Member in Program Committee within the VMIL-track
Ashish Tiwari
Tiwari, Ashish
Microsoft
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Saeid Tizpaz-Niari
Tizpaz-Niari, Saeid
University of Texas at El Paso
United States
Metamorphic Debugging for Accountable Software
Hamish Todd
Todd, Hamish
Girih games
Snappets: a VR animation system based on Projective Geometric Algebra
John Toman
Toman, John
Certora, inc.
Practical Verification Of Smart Contracts Using Memory Splitting
Carlos Tomé Cortiñas
Tomé Cortiñas, Carlos
Chalmers University of Technology
Sweden
Sensitivity by Parametricity
Bernardo Toninho
Toninho, Bernardo
NOVA-LINCS; Nova University of Lisbon
Portugal
Committee Member in Review Committee within the SPLASH OOPSLA-track
Cassia Torczon
Torczon, Cassia
University of Pennsylvania
Effects and Coeffects in Call-By-Push-Value
Emina Torlak
Torlak, Emina
Amazon Web Services, USA
United States
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Matías Toro
Toro, Matías
University of Chile
Chile
Merging Gradual Typing
Taming Unsoundness with Gradual Abstract Interpretation
Jay Torry
Torry, Jay
University of Cambridge
Programming Languages for the Future of Design Computation
Emma Tosch
Tosch, Emma
Northeastern University, USA
Associate Chair in Review Committee within the SPLASH OOPSLA-track
Attendee Bingo and Scavenger Hunt
Committee Member in Program Committee within the ProLaLa-track
Committee Member in Organizing Committee within the ProLaLa-track
Committee Member in Organizing Committee within the ProLaLa-track
Laurence Tratt
Tratt, Laurence
King's College London
United Kingdom
PC Member in Program Committee within the VMIL-track
Sean Treichler
Treichler, Sean
NVIDIA
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Ashutosh Trivedi
Trivedi, Ashutosh
University of Colorado Boulder
United States
Metamorphic Debugging for Accountable Software
Taylor Troesh
Troesh, Taylor
Unaffiliated
United States
Publishable Network Contracts in Scrapscript
ScrapSheets: Async Programs in a Reactive 2D Environment
Christos Tsigkanos
Tsigkanos, Christos
University of Athens, Greece
Greece
Automated Generation of Code Contracts - Generative AI to the Rescue?
Chia-Heng Tu
Tu, Chia-Heng
National Cheng Kung University
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Emily Tucker
Tucker, Emily
Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation
Petr Tuma
Tuma, Petr
Charles University
Czechia
An Analysis of Compiled Code Reusability in Dynamic Compilation
Skander Turki
Turki, Skander
Prince Sultan University, KSA
Saudi Arabia
Committee Member in Artifact Evaluation Committee within the SLE-track
Tomoharu Ugawa
Ugawa, Tomoharu
University of Tokyo
Japan
Reducing Write Barrier Overheads for Orthogonal Persistence
PC Member in Program Committee within the VMIL-track
Hiroshi Unno
Unno, Hiroshi
Tohoku University
Japan
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
Caterina Urban
Urban, Caterina
Inria - École Normale Supérieure
France
Post-PhD Careers & Life Panel
Panelist in Speakers & Panelists within the SPLASH PLMW-track
Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software
Quantitative Static Timing Analysis
Towards a High Level Linter for Data Science
Abstract Domains for Machine Learning Verification
Akshay Utture
Utture, Akshay
Uber Technologies Inc.
Automated Repairs for Resource Leak Warnings
Committee Member in Program Committee within the JENSFEST-track
Viktor Vafeiadis
Vafeiadis, Viktor
MPI-SWS
Germany
Extending the C/C++ Memory Model with Inline Assembly
L. Thomas van Binsbergen
van Binsbergen, L. Thomas
University of Amsterdam
Netherlands
On the Soundness of Auto-Completion Services for Dynamically Typed Languages
Session Chair of Software Language Design and Implementation I (part of SLE)
Cooperative Specification via Composition Control
Committee Member in Program Committee within the SLE-track
Bridging Incremental Programming and Complex Software Development Environments
Maikel van de Lisdonk
van de Lisdonk, Maikel
None
Netherlands
Code flow canvas - a generic visual programming system
Tijs van der Storm
van der Storm, Tijs
CWI & University of Groningen
Netherlands
Steering Committee Member in Steering Committee for SPLASH 2024
Committee Member in Steering Committee within the SPLASH Onward! Papers-track
Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Committee Member in Program Committee within the SLE-track
Committee Member in Program Committee within the PAINT-track
Peter van Hardenberg
van Hardenberg, Peter
Ink & Switch
Canada
Welcome & Opening
Closing & Farewell
Committee Member in Organizing Committee within the LIVE-track
Committee Member in Organizing Committee within the LIVE-track
Committee Member in Program Committee within the LIVE-track
Lucas Van Praet
Van Praet, Lucas
KU Leuven, Belgium
Belgium
ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises
Riemer van Rozen
van Rozen, Riemer
CWI
Netherlands
Committee Member in Program Committee within the SLE-track
Advanced Game Engine Wizardry for Visual Programming Environments
Committee Member in Program Committee within the PAINT-track
Eric Van Wyk
Van Wyk, Eric
Department of Computer Science and Engineering, University of Minnesota
United States
Committee Member in Steering Committee within the GPCE-track
Session Chair of SLE Body of Knowledge (SLEBoK) (part of SLE)
Steering Committee Chair in Steering Committee within the SLE-track
Ryan Vandersmith
Vandersmith, Ryan
DFINITY Foundation
Smarter Contract Upgrades with Orthogonal Persistence
Julien Vanegue
Vanegue, Julien
Imperial College London; Bloomberg
United States
Non-Termination Proving at Scale
Gabriele Vanoni
Vanoni, Gabriele
IRIF, Université Paris Cité
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Julia Vanwijnsberghe-Bolt
Vanwijnsberghe-Bolt, Julia
Vrije Universiteit Amsterdam
Netherlands
Roles of Variables in the Hedy programming language
Alexander Varga
Varga, Alexander
Brown University
Forge: A Tool and Language for Teaching Formal Methods
Daniel Varro
Varro, Daniel
Linköping University / McGill University
Sweden
Active DSU: Dynamic Software Updates for Active Functions
Vasco T. Vasconcelos
Vasconcelos, Vasco T.
LASIGE, University of Lisbon
Portugal
Steering Committee Member in Steering Committee for SPLASH 2024
Martin Vechev
Vechev, Martin
ETH Zurich
Switzerland
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Modular Synthesis of Efficient Quantum Uncomputation
Marcella Veldthuis
Veldthuis, Marcella
VU Amsterdam
Netherlands
A Word About Programming: Applying a Natural Language Vocabulary Acquisition Model to Programming Education
Joey Velez-Ginorio
Velez-Ginorio, Joey
Effects and Coeffects in Call-By-Push-Value
Arnaud Venet
Venet, Arnaud
Committee Member in Program Committee within the SAS -track
Hristo Venev
Venev, Hristo
INSAIT, Sofia University "St. Kliment Ohridski"
Bulgaria
Modular Synthesis of Efficient Quantum Uncomputation
Karthika Venkatesan
Venkatesan, Karthika
Centre for development of advanced computing
Committee Member in Artifact Evaluation Committee within the SLE-track
Mauricio Verano Merino
Verano Merino, Mauricio
Vrije Universiteit Amsterdam
Netherlands
Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced
Block-based Platform for Defining Adaptation Rules for Automotive Systems
Committee Member in Organizing Committee within the PAINT-track
Committee Member in Program Committee within the PAINT-track
Freek Verbeek
Verbeek, Freek
Open Universiteit & Virginia Tech
libLISA: Instruction Discovery and Analysis on x86-64
Gust Verbruggen
Verbruggen, Gust
Microsoft
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Didier Verna
Verna, Didier
EPITA Research Laboratory
France
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jan Liam Verter
Verter, Jan Liam
Faculty of Mathematics and Physics, Charles University
Don’t Call Us, We’ll Call You
Vasudev Vikram
Vikram, Vasudev
Carnegie Mellon University
United States
Large Language Models for Executable Tax Code Generation
Agnes Villanyi
Villanyi, Agnes
MIT CSAIL
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Jurgen Vinju
Vinju, Jurgen
CWI; Eindhoven University of Technology
Netherlands
Committee Member in Steering Committee within the SLE-track
Harishankar Vishwanathan
Vishwanathan, Harishankar
Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
Jan Vitek
Vitek, Jan
Northeastern University
United States
Steering Committee Chair in Steering Committee for SPLASH 2024
Reducing Feedback Pollution
Vesal Vojdani
Vojdani, Vesal
University of Tartu
Estonia
Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Klaus von Gleissenthall
von Gleissenthall, Klaus
Vrije Universiteit Amsterdam
Netherlands
Refinement Type Refutations
Andrew Wagner
Wagner, Andrew
Northeastern University
United States
Realistic Realizability: Specifying ABIs You Can Count On
Forge: A Tool and Language for Teaching Formal Methods
Eric Walkingshaw
Walkingshaw, Eric
Unaffiliated
United States
On the Expressive Power of Languages for Static Variability
Qianyong Wan
Wan, Qianyong
University of Hong Kong
China
Full Iso-recursive Types
Chao Wang
Wang, Chao
University of Southern California
United States
How to Manage Your PhD Research and Your Career
Chengpeng Wang
Wang, Chengpeng
Purdue University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Di Wang
Wang, Di
Peking University
China
Session Chair of Static Analysis and Program Verification 1 (part of SPLASH OOPSLA)
Session Chair of Probabilistic Programming and Analysis 1 (part of SPLASH OOPSLA)
Semantics Lifting for Syntactic Sugar
Newtonian Program Analysis of Probabilistic Programs
Programmable MCMC with Soundly Composed Guide Programs
Committee Member in Review Committee within the SPLASH OOPSLA-track
Committee Member in Program Committee within the SLE-track
Haoyu Wang
Wang, Haoyu
Huazhong University of Science and Technology
China
Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Huaijin Wang
Wang, Huaijin
PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Ji Wang
Wang, Ji
National University of Defense Technology
China
FPCC: Detecting Floating-Point Errors via Chain Conditions
Jingbo Wang
Wang, Jingbo
University of Southern California
United States
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Kailong Wang
Wang, Kailong
Huazhong University of Science and Technology
China
Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Ke Wang
Wang, Ke
United States
Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Linzhang Wang
Wang, Linzhang
Nanjing University
Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Finding Cross-rule Optimization Bugs in Datalog Engines
Qian (Andy) Wang
Wang, Qian (Andy)
ETH Zurich and Imperial College London
United Kingdom
Rustlantis: Randomized Differential Testing of the Rust Compiler
Shaohua Wang
Wang, Shaohua
Central University of Finance and Economics
China
A Learning-Based Approach to Static Program Slicing
Shuai Wang
Wang, Shuai
Hong Kong University of Science and Technology
China
PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Xiaoliang Wang
Wang, Xiaoliang
Nanjing University
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Xinyu Wang
Wang, Xinyu
University of Michigan
United States
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Yu Wang
Wang, Yu
Nanjing University
China
Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Yuepeng Wang
Wang, Yuepeng
Simon Fraser University
Canada
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Committee Member in Review Committee within the SPLASH OOPSLA-track
Yueyang Wang
Wang, Yueyang
Nanjing University
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Zhaoyu Wang
Wang, Zhaoyu
HKUST
PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Zhemin Wang
Wang, Zhemin
Nanjing University of Aeronautics and Astronautics
China
Design and Implementation of an Aspect-Oriented C Programming Language
Zhongye Wang
Wang, Zhongye
Shanghai Jiao Tong University
Compositionality and Observational Refinement for Linearizability with Crashes
Ziheng Wang
Wang, Ziheng
Semantics Lifting for Syntactic Sugar
Ziteng Wang
Wang, Ziteng
University of Texas at Austin
United States
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Alessandro Warth
Warth, Alessandro
Ink & Switch
United States
Committee Member in Program Committee within the SPLASH Onward! Papers-track
Inkling: Sketching Dynamic Systems
Committee Member in Program Committee within the LIVE-track
Anthony I. (Tony) Wasserman
Wasserman, Anthony I. (Tony)
Software Methods and Tools
United States
Design of Software Representation Languages: a Historical Perspective
Robin Webbers
Webbers, Robin
Vrije Universiteit Amsterdam
Refinement Type Refutations
Nick Webster
Webster, Nick
Victoria University of Wellington
Java Method-Local Inner Classes are Unsound
Bradley Wei Jie Teo
Wei Jie Teo, Bradley
Jane Street
Unboxing Virgil ADTs For Fun and Profit
Guannan Wei
Wei, Guannan
Inria/ENS; Tufts University
France
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN)
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Hengfeng Wei
Wei, Hengfeng
State Key Laboratory for Novel Software Technology, Nanjing University
China
Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels
Marcel Weiher
Weiher, Marcel
Hasso Plattner Institute, University of Potsdam, Germany
Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status
Stephanie Weirich
Weirich, Stephanie
University of Pennsylvania
United States
Effects and Coeffects in Call-By-Push-Value
Georg Weissenbacher
Weissenbacher, Georg
TU Wien
Austria
Finding ∀∃ Hyperbugs Using Symbolic Execution
Laurin Weissinger
Weissinger, Laurin
What Programmers and Lawyers Get Wrong About Privacy Policies
Aaron Welch
Welch, Aaron
Scalable Small Message Aggregation on Modern Interconnects
Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
Andrew Wells
Wells, Andrew
Amazon Web Services
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Shiwei Weng
Weng, Shiwei
Johns Hopkins University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Semantic-Type-Guided Bug Finding
Luke West
West, Luke
Brown University
Forge: A Tool and Language for Teaching Formal Methods
John Wickerson
Wickerson, John
Imperial College London
United Kingdom
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Ben Wiedermann
Wiedermann, Ben
Harvey Mudd College
Post-PhD Careers & Life Panel
Panelist in Speakers & Panelists within the SPLASH PLMW-track
Lu Wilson
Wilson, Lu
Tentpole
United Kingdom
Dialogues on Natural Code
Arroost: Unblocking creation with friends
Christian Wimmer
Wimmer, Christian
Amazon Web Services
United States
PC Member in Program Committee within the VMIL-track
Manuel Wimmer
Wimmer, Manuel
JKU Linz
Austria
Committee Member in Program Committee within the SLE-track
Dominik Winterer
Winterer, Dominik
ETH Zurich
Switzerland
Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration
Allen Wirfs-Brock
Wirfs-Brock, Allen
Wirfs-Brock Associates
United States
Session Chair of Onward! Essays (part of SPLASH Onward! Essays)
Discovering Your Software Umwelt
Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jordan Wirfs-Brock
Wirfs-Brock, Jordan
Whitman College
Discovering Your Software Umwelt
Rebecca Wirfs-Brock
Wirfs-Brock, Rebecca
Wirfs-Brock Associates
United States
Discovering Your Software Umwelt
Augustine Wong
Wong, Augustine
University of British Columbia
Canada
Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur
Eric Wong
Wong, Eric
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Kidus Workneh
Workneh, Kidus
University of Colorado, Boulder
Leroy: Library Learning for Imperative Programming Languages
John Wrenn
Wrenn, John
Brown University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tobias Wrigstad
Wrigstad, Tobias
Uppsala University
Sweden
Session Chair of Ownership, Security, and Privacy (part of SPLASH OOPSLA)
Session Chair of Novel Programming Concepts and Paradigms (part of SPLASH OOPSLA)
Mark--Scavenge: Waiting for Trash to Take Itself Out
Associate Chair in Review Committee within the SPLASH OOPSLA-track
Session Chair of Session 4 (part of IWACO)
Welcome and goals of IWACO 2024
Co-chair in Program Committee within the IWACO-track
Committee Member in Organizing Committee within the IWACO-track
Jifeng Wu
Wu, Jifeng
The University of British Columbia
QuAC: Quick Attribute-Centric Type Inference for Python
Jinhua Wu
Wu, Jinhua
Shanghai Jiao Tong University
China
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Ke Wu
Wu, Ke
Johns Hopkins University
Semantic-Type-Guided Bug Finding
Intensional Functions
Nicolas Wu
Wu, Nicolas
Imperial College London
United Kingdom
Sponsorship Co-Chair in Organizing Committee for SPLASH 2024
Tong Wu
Wu, Tong
Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Yi Wu
Wu, Yi
Tsinghua University
Quarl: A Learning-Based Quantum Circuit Optimizer
Yinjun Wu
Wu, Yinjun
University of Pennsylvania
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Zheyuan Wu
Wu, Zheyuan
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Andrzej Wąsowski
Wąsowski, Andrzej
IT University of Copenhagen, Denmark
Denmark
Committee Member in Program Committee within the SLE-track
Anxhelo Xhebraj
Xhebraj, Anxhelo
NVIDIA
United States
Specializing Data Access in a Distributed File System (Generative Pearl)
Shale Xiong
Xiong, Shale
ARM
United Kingdom
Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
Yingfei Xiong
Xiong, Yingfei
Peking University
China
Committee Member in Review Committee within the SPLASH OOPSLA-track
Amanda Xu
Xu, Amanda
University of Wisconsin-Madison
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anlun Xu
Xu, Anlun
Google
Compiler Support for Sparse Tensor Convolutions
Pei Xu
Xu, Pei
University of Technology Sydney / UNSW Sydney
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Runqing Xu
Xu, Runqing
AUTOINC: Incrementality for Free
Xiangzhe Xu
Xu, Xiangzhe
Purdue University
United States
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Xuechun Xu
Xu, Xuechun
KTH Royal Institute of Technology
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Yichen Xu
Xu, Yichen
EPFL
Degrees of Separation: A Flexible Type System for Safe Concurrency
Ziyang Xu
Xu, Ziyang
Princeton / AWS
United States
PROMPT: A Fast and Extensible Memory Profiling Framework
Jingling Xue
Xue, Jingling
UNSW Sydney
Australia
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Xu Xue
Xue, Xu
University of Hong Kong
China
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aashish Yadavally
Yadavally, Aashish
University of Texas at Dallas
United States
A Learning-Based Approach to Static Program Slicing
Tetsuro Yamazaki
Yamazaki, Tetsuro
University of Tokyo
Japan
Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript
Bobby Yan
Yan, Bobby
Stanford University
United States
Compilation of Shape Operators on Sparse Arrays
Zhenyu Yan
Yan, Zhenyu
Peking University
Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks
Chen Yang
Yang, Chen
Tianjin University
China
Dependency-aware Code Naturalness
Chenyuan Yang
Yang, Chenyuan
University of Illinois at Urbana-Champaign
United States
WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Jiawei Yang
Yang, Jiawei
Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
Xuanda Yang
Yang, Xuanda
University of California San Diego
Distributions for Compositionally Differentiating Parametric Discontinuities
Zhaorui Yang
Yang, Zhaorui
University of California, Riverside
Committee Member in Artifact Evaluation Committee within the SLE-track
Ziteng Yang
Yang, Ziteng
Georgia Institute of Technology
United States
Fully Verified Instruction Scheduling
Ziyi Yang
Yang, Ziyi
National University of Singapore
Singapore
DSLs in Racket: You Want It How, Now?
Jiayi Yao
Yao, Jiayi
The Chinese University of Hong Kong, Shenzhen
WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Peisen Yao
Yao, Peisen
Zhejiang University
China
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Qianchuan Ye
Ye, Qianchuan
University at Buffalo, SUNY
United States
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
Wenjia Ye
Ye, Wenjia
National University of Singapore
Singapore
Merging Gradual Typing
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
Kwangkeun Yi
Yi, Kwangkeun
Seoul National University
Static Analysis Sparsity and Modularity
Xin Yi
Yi, Xin
National University of Defense Technology
China
FPCC: Detecting Floating-Point Errors via Chain Conditions
Ayato Yokoyama
Yokoyama, Ayato
University of Tsukuba
Type-Safe Code Generation With Algebraic Effects and Handlers
James You
You, James
University of Waterloo
Canada
Qualifying System F-sub
Peixin You
You, Peixin
Yale University
Compositionality and Observational Refinement for Linearizability with Crashes
Jeffrey Young
Young, Jeffrey
IOHK
United States
On the Expressive Power of Languages for Static Variability
Neringa Young
Young, Neringa
Lithuania
SIGPLAN Conference Manager in Organizing Committee for SPLASH 2024
Women@SPLASH dinner
BoXi Yu
Yu, BoXi
The Chinese University of Hong Kong, Shenzhen
China
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Chenyang Yu
Yu, Chenyang
Department of Computer Science and Technology, Nanjing University
Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Hengbiao Yu
Yu, Hengbiao
National University of Defense Technology
FPCC: Detecting Floating-Point Errors via Chain Conditions
Le Yu
Yu, Le
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Tailai Yu
Yu, Tailai
Tsinghua University
Semantics Lifting for Syntactic Sugar
Charles Yuan
Yuan, Charles
MIT
United States
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Charles Yuan
Yuan, Charles
Massachusetts Institute of Technology
United States
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Enea Zaffanella
Zaffanella, Enea
University of Parma
Italy
Committee Member in Program Committee within the SAS -track
Towards a High Level Linter for Data Science
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Albert Zak
Zak, Albert
UAS Technikum Wien (2020-2024), Independent (2024-)
Austria
Run, Build and Grow Small Systems Without Leaving Your Text Editor
Marco Zanella
Zanella, Marco
University of Padova, Italy
Italy
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Pamela Zave
Zave, Pamela
AT&T Laboratories
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Vadim Zaytsev
Zaytsev, Vadim
University of Twente, Netherlands
Netherlands
Author in Program Committee within the GPCE-track
Uwe Zdun
Zdun, Uwe
University of Vienna
Austria
Cloud Programming Languages and Infrastructure From Code: An Empirical Study
Andreas Zeller
Zeller, Andreas
CISPA Helmholtz Center for Information Security
Germany
Committee Member in Review Committee within the SPLASH OOPSLA-track
Haoyi Zeng
Zeng, Haoyi
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Yizhuo Zhai
Zhai, Yizhuo
University of California at Riverside, USA
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Bohua Zhan
Zhan, Bohua
Institute of Software, Chinese Academy of Sciences
Mechanizing the CMP Abstraction for Parameterized Verification
Charles Zhang
Zhang, Charles
Hong Kong University of Science and Technology
China
Steering Committee Member in Steering Committee for SPLASH 2024
Chengyu Zhang
Zhang, Chengyu
ETH Zurich
Switzerland
SMT2Test: From SMT Formulas to Effective Test Cases
Chi Zhang
Zhang, Chi
Nanjing University
China
Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Finding Cross-rule Optimization Bugs in Datalog Engines
(Lightning Talk) Step-wise Execution of Data-Centric Systems
Step-wise Execution of Data-Centric Systems
Jialu Zhang
Zhang, Jialu
University of Waterloo
Canada
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Committee Member in Reviewers within the SPLASH Student Research Competition-track
Lingming Zhang
Zhang, Lingming
University of Illinois at Urbana-Champaign
United States
WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Lingming Zhang
Zhang, Lingming
University of Illinois at Urbana-Champaign
Associate Chair in Review Committee within the SPLASH OOPSLA-track
Linpeng Zhang
Zhang, Linpeng
University College London
United Kingdom
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Qian Zhang
Zhang, Qian
University of California at Riverside
United States
Publications Chair in Organizing Committee for SPLASH 2024
Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Qirun Zhang
Zhang, Qirun
Georgia Institute of Technology
United States
Workshops Co-Chair in Organizing Committee for SPLASH 2024
Committee Member in Organizing Committee within the SPLASH Workshops-track
The Normalization Barrier Revisited
Retrieving Unknown SMT Formulas via Structural Mutations
Session Chair of Quantum and system level analysis (part of SAS )
Committee Member in Program Committee within the SAS -track
Quan Zhang
Zhang, Quan
Tsinghua University
China
PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Robert Zhang
Zhang, Robert
The University of Texas at Austin, The Johns Hopkins University
United States
A Pure Demand Operational Semantics with Applications to Program Analysis
Wei Zhang
Zhang, Wei
Meta Platforms, Inc.
United States
Committee Member in Review Committee within the SPLASH OOPSLA-track
Xiangyu Zhang
Zhang, Xiangyu
Purdue University
United States
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Xin Zhang
Zhang, Xin
Peking University
China
Session Chair of Probabilistic Programming and Analysis 2 (part of SPLASH OOPSLA)
Learning Abstraction Selection for Bayesian Program Analysis
Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks
Committee Member in Review Committee within the SPLASH OOPSLA-track
Yifan Zhang
Zhang, Yifan
Peking University
China
Learning Abstraction Selection for Bayesian Program Analysis
Yilin Zhang
Zhang, Yilin
University of Tokyo
Reducing Write Barrier Overheads for Orthogonal Persistence
Yiyu Zhang
Zhang, Yiyu
Nanjing University
China
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yizhou Zhang
Zhang, Yizhou
University of Waterloo
Canada
Persimmon: Nested Family Polymorphism with Extensible Variant Types
Lexical Effect Handlers, Directly
Committee Member in Review Committee within the SPLASH OOPSLA-track
Yu Zhang
Zhang, Yu
University of Science and Technology of China
MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Zhiru Zhang
Zhang, Zhiru
Cornell University, USA
UniSparse: An Intermediate Language for General Sparse Format Customization
David Zhao
Zhao, David
RelationalAI
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
Pinhan Zhao
Zhao, Pinhan
University of Michigan
United States
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Tian Zhao
Zhao, Tian
University of Wisconsin-Milwaukee
United States
Committee Member in Program Committee within the JENSFEST-track
Yaoyu Zhao
Zhao, Yaoyu
University of Waterloo
Qualifying System F-sub
Zhongyuan Zhao
Zhao, Zhongyuan
Qualcomm
UniSparse: An Intermediate Language for General Sparse Format Customization
Mingwei Zheng
Zheng, Mingwei
Purdue University
United States
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Ye Zheng
Zheng, Ye
Rochester Institute of Technology (RIT)
United States
Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Heng Zhong
Zhong, Heng
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Youwei Zhong
Zhong, Youwei
Shanghai Jiao Tong University
China
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Chijin Zhou
Zhou, Chijin
Tsinghua University
China
PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Litao Zhou
Zhou, Litao
University of Hong Kong
China
Full Iso-recursive Types
Tong Zhou
Zhou, Tong
Georgia Institute of Technology
Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism
Fengmin Zhu
Zhu, Fengmin
CISPA - Helmholtz Center for Information Security
Germany
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Shaopeng Zhu
Zhu, Shaopeng
Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yuhao Zhu
Zhu, Yuhao
University of Rochester
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
Yunlong Zhu
Zhu, Yunlong
Nanjing University of Aeronautics and Astronautics
China
Design and Implementation of an Aspect-Oriented C Programming Language
Tewfik Ziadi
Ziadi, Tewfik
LIP6, Sorbonne Université
An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
Noam Zilberstein
Zilberstein, Noam
Cornell University
United States
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
(Lightning Talk) Unified Analysis Techniques for Programs with Outcomes
Unified Analysis Techniques for Programs with Outcomes
Philip Zucker
Zucker, Philip
Draper
United States
Scimitar: Functional Programs as Optimization Problems
Damien Zufferey
Zufferey, Damien
SonarSource
Switzerland
Committee Member in Review Committee within the SPLASH OOPSLA-track
Zhiqiang Zuo
Zuo, Zhiqiang
Nanjing University
China
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Committee Member in Review Committee within the SPLASH OOPSLA-track
Jesper Öqvist
Öqvist, Jesper
Cognibotics
Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis
Erik Österlund
Österlund, Erik
Oracle
Sweden
Mark--Scavenge: Waiting for Trash to Take Itself Out
Đorđe Žikelić
Žikelić, Đorđe
Singapore Management University, Singapore
Singapore
Quantitative Bounds on Resource Usage of Probabilistic Programs
Fri 24 Apr 22:15