SPLASH 2026 Contributors - SPLASH 2026

SPLASH 2026 Contributors - SPLASH 2026
SPLASH 2026
Sat 3 - Fri 9 October 2026
Oakland, California, United States
co-located with
SPLASH/ISSTA 2026
Attending
Hotel: Oakland Marriott City Center
SPLASH/ISSTA 2026
Visa Letter
Tracks
SPLASH 2026
OOPSLA
Onward! Essays
Onward! Papers
SPLASH Keynotes
SPLASH/OOPSLA @ 40 Panel
SPLASH-E
Artifact evaluation
SPLASH/ISSTA 2026
Doctoral symposium
PLMW @ SPLASH/ISSTA'26
Posters
Social Events
Student Research Competition
Student Volunteers
Tool Demonstrations
REBASE industry track
Workshops
Sponsorship
Co-hosted Conferences
ISSTA
ISSTA
ISSTA
Research papers
ISSTA
Artifact evaluation
ISSTA
Keynotes
Workshops
EXPRESS
Expression of software system DevOps
HATRA
IWACO
LMPL
NSAD
PAINT
Programming Abstractions and Interactions
PLSS
PL Standardization and Specification
SpecOps
Specification-Driven Development Life Cycle
SSNL
Co-hosted Symposia
SAS
Static Analysis Symposium
SAS
SAS
Artifact
Organization
SPLASH 2026 Committees
Track Committees
OOPSLA
Onward! Essays
Onward! Papers
SPLASH/OOPSLA @ 40 Panel
SPLASH-E
Artifact evaluation
SPLASH/ISSTA
Doctoral symposium
PLMW @ SPLASH/ISSTA'26
Student Research Competition
Student Volunteers
Tool Demonstrations
REBASE industry track
Workshops
Sponsorship
Contributors
People Index
Co-hosted Conferences
ISSTA
Research papers
Artifact evaluation
Workshops
EXPRESS
Expression of software system DevOps
Organizing Committee
Steering Committee
Program Committee
HATRA
Organizing Committee
IWACO
Organizing Committee
LMPL
Organizing Committee
NSAD
Organizing Committee
Program Committee
Steering Committee
PAINT
Organizing Committee
Program Committee
PLSS
PL Standardization and Specification
Organizers
SpecOps
Specification-Driven Development Life Cycle
Program Committee
SSNL
N/A - check homepage
Co-hosted Symposia
SAS
Static Analysis Symposium
SAS 2026
Program Committee
SAS 2026
Steering Committee
SAS Artifact
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 2026 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Results
528
Michael D. Adams
Adams, Michael D.
National University of Singapore
United States
Class-Dictionary Specialization With Rank-2 Polymorphic Functions
Eddie Aftandilian
Aftandilian, Eddie
GitHub Next
United States
Co-chair in REBASE industry track within the SPLASH/ISSTA REBASE industry track-track
Chaitanya Agarwal
Agarwal, Chaitanya
New York University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Willow Ahrens
Ahrens, Willow
Massachusetts Institute of Technology
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Alex Aiken
Aiken, Alex
Stanford University
United States
Fully-Automatic Type Inference for Borrows with Lifetimes
Jonathan Aldrich
Aldrich, Jonathan
Carnegie Mellon University
United States
Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Saba Alimadadi
Alimadadi, Saba
Simon Fraser University
Canada
Co-chair in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Co-chair in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Aditya Anand
Anand, Aditya
Indian Institute of Technology Bombay
India
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Greg Anderson
Anderson, Greg
University of Texas at Austin, USA
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Dominik Arnold
Arnold, Dominik
University of Zurich
Metamorphic Testing for Infrastructure-as-Code Engines
Eric Atkinson
Atkinson, Eric
Binghamton University
Co-chair in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Martin Avanzini
Avanzini, Martin
Inria
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Thomas Ball
Ball, Thomas
Microsoft Research
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yuyan Bao
Bao, Yuyan
Augusta University
United States
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sara Baradaran
Baradaran, Sara
University of Southern California
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Shraddha Barke
Barke, Shraddha
Microsoft Research, Redmond
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Gilles Barthe
Barthe, Gilles
MPI-SP; IMDEA Software Institute
Germany
Decompiling for Constant-Time Analysis
(Dis)Proving Spectre Security with Speculation-Passing Style
Osbert Bastani
Bastani, Osbert
University of Pennsylvania
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kent Beck
Beck, Kent
Gusto, Inc.
United States
The Augmented Forest
Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Jonathan Bell
Bell, Jonathan
Northeastern University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Aaron Bembenek
Bembenek, Aaron
University of Melbourne
Australia
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Matteo Biagiola
Biagiola, Matteo
University of St. Gallen and Università della Svizzera italiana
Switzerland
Metamorphic Testing for Infrastructure-as-Code Engines
David Binder
Binder, David
University of Kent, UK
United Kingdom
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lars Birkedal
Birkedal, Lars
Aarhus University
Denmark
Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
Swarnendu Biswas
Biswas, Swarnendu
IIT Kanpur
India
Designing GPU Data Structures for Efficient Memory Oversubscription
Mo Bitar
Bitar, Mo
KIT
Differential Execution with Lexical Tracing
Lionel Blatter
Blatter, Lionel
Max Planck Institute for Security and Privacy
Decompiling for Constant-Time Analysis
(Dis)Proving Spectre Security with Speculation-Passing Style
Laura Bocchi
Bocchi, Laura
University of Kent
United Kingdom
Mixed Choice in Asynchronous Multiparty Session Types
Daniele Bonetta
Bonetta, Daniele
VU Amsterdam
Netherlands
Co-chair in Sponsorship Committee within the SPLASH/ISSTA Sponsorship-track
Youcef Bouzid
Bouzid, Youcef
ENS Paris-Saclay
Decompiling for Constant-Time Analysis
Jonathan Immanuel Brachthäuser
Brachthäuser, Jonathan Immanuel
University of Tübingen
Germany
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
William Brandon
Brandon, William
MIT
Fully-Automatic Type Inference for Borrows with Lifetimes
Oliver Bračevac
Bračevac, Oliver
EPFL, LAMP
Switzerland
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Markus Böck
Böck, Markus
TU Wien
Austria
Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
Timon Böhler
Böhler, Timon
Technical University of Darmstadt
Germany
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
José Pablo Cambronero
Cambronero, José Pablo
Google, USA
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Eric Hayden Campbell
Campbell, Eric Hayden
University of Texas at Austin
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Hongchen Cao
Cao, Hongchen
ShanghaiTech University
China
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Zong Cao
Cao, Zong
Imperial Global Singapore
Singapore
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Michael Carbin
Carbin, Michael
Massachusetts Institute of Technology
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Denis Carnier
Carnier, Denis
KU Leuven
Belgium
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Ethan Cecchetti
Cecchetti, Ethan
University of Wisconsin-Madison
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jonathan Chan
Chan, Jonathan
University of Pennsylvania
Canada
Commuting Conversions and Join Points for Call-By-Push-Value
Vincent Chan
Chan, Vincent
University at Buffalo
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Satish Chandra
Chandra, Satish
Meta Platforms, Inc.
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Bor-Yuh Evan Chang
Chang, Bor-Yuh Evan
University of Colorado Boulder & Amazon
United States
Effectively Propositional Higher-Order Functional Programming
Jiaxin Chang
Chang, Jiaxin
Shanghai Jiao Tong University
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Sarah E. Chasins
Chasins, Sarah E.
University of California at Berkeley
United States
Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Bodhisatwa Chatterjee
Chatterjee, Bodhisatwa
Georgia Institute of Technology
United States
Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Mainak Chaudhuri
Chaudhuri, Mainak
Indian Institute of Technology Kanpur
Designing GPU Data Structures for Efficient Memory Oversubscription
Dong Chen
Chen, Dong
Huawei Technologies Co., Ltd
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Jiawei Chen
Chen, Jiawei
University of Michigan at Ann Arbor
United States
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Jocelyn Qiaochu Chen
Chen, Jocelyn Qiaochu
New York University, University of Alberta
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mingshuai Chen
Chen, Mingshuai
Zhejiang University
China
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mingyi Chen
Chen, Mingyi
University of California, Irvine
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Ping Chen
Chen, Ping
Fudan University
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Wenyao Chen
Chen, Wenyao
UNSW Sydney
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Yang Chen
Chen, Yang
University of Illinois at Urbana-Champaign
United States
Process-Centric Analysis of Agentic Software Systems
Yuanliang Chen
Chen, Yuanliang
Tsinghua University
VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Zengxu Chen
Chen, Zengxu
Nanjing University
Peeling off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Zhenbang Chen
Chen, Zhenbang
College of Computer, National University of Defense Technology
China
Online Input Grammar Synthesis Aided Symbolic Execution
Zhenyu Chen
Chen, Zhenyu
Nanjing University
China
Peeling off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Zhicheng Chen
Chen, Zhicheng
Texas A&M University
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Luyu Cheng
Cheng, Luyu
Hong Kong University of Science and Technology
Hong Kong SAR China
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Chun Yong Chong
Chong, Chun Yong
School of Information Technology, Monash University Malaysia
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models
Maria Christakis
Christakis, Maria
TU Wien
Austria
Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ethan Chu
Chu, Ethan
Carnegie Mellon University
Handling Exceptions and Effects with Automatic Resource Analysis
Jürgen Cito
Cito, Jürgen
TU Wien
Austria
Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
Andreea Costea
Costea, Andreea
TU Delft
Netherlands
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Will Crichton
Crichton, Will
Brown University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Leyi (Angel) Cui
Cui, Leyi (Angel)
Carnegie Mellon University
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Joseph W. Cutler
Cutler, Joseph W.
University of Pennsylvania
Fail Faster: Staging and Fast Randomness for High-Performance PBT
Emanuele D'Osualdo
D'Osualdo, Emanuele
University of Konstanz
Germany
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Frank Dai
Dai, Frank
Fully-Automatic Type Inference for Borrows with Lifetimes
Mila Dalla Preda
Dalla Preda, Mila
University of Verona
Italy
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Thibault Dardinier
Dardinier, Thibault
EPFL
Switzerland
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Eva Darulova
Darulova, Eva
Uppsala University
Floating-Point Usage on GitHub: a Large-Scale Study of Statically Typed Languages
Charles de Haro
de Haro, Charles
École Normale Supérieure | Université PSL
France
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Markus de Medeiros
de Medeiros, Markus
New York University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Shuiguang Deng
Deng, Shuiguang
Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies
China
InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Ankush Desai
Desai, Ankush
Snowflake
Specy: Learning Specifications for Distributed Systems from Event Traces
Işıl Dillig
Dillig, Işıl
University of Texas at Austin
United States
Co-chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Elizabeth Dinella
Dinella, Elizabeth
Bryn Mawr College
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Cheng Ding
Ding, Cheng
The University of Texas at Austin
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Understanding and Finding JIT Compiler Performance Bugs
Jenna DiVincenzo (Wise)
DiVincenzo (Wise), Jenna
Purdue University
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Oyendrila Dobe
Dobe, Oyendrila
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Pierre Donat-Bouillud
Donat-Bouillud, Pierre
Czech Technical University in Prague
Czechia
Co-chair in Program Committee within the SPLASH -E-track
Jin Song Dong
Dong, Jin Song
National University of Singapore
Singapore
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Wei Dong
Dong, Wei
National University of Defense Technology
China
Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Brijesh Dongol
Dongol, Brijesh
University of Surrey
United Kingdom
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Dana Drachsler Cohen
Drachsler Cohen, Dana
Technion
Israel
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Benjamin Driscoll
Driscoll, Benjamin
Stanford University
Fully-Automatic Type Inference for Borrows with Lifetimes
Lucas Du
Du, Lucas
UC Davis
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Pengbo Du
Du, Pengbo
Beijing University of Posts and Telecommunications
Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
Mehmet Emre
Emre, Mehmet
University of San Francisco
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Co-chair in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Co-chair in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Sebastian Erdweg
Erdweg, Sebastian
KIT
Germany
Differential Execution with Lexical Tracing
Zafer Esen
Esen, Zafer
Uppsala University
Sweden
Sound and Complete Invariant-Based Heap Encodings
Tae Eun Kim
Eun Kim, Tae
KAIST
South Korea
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Chunrong Fang
Fang, Chunrong
Nanjing University
China
Peeling off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Justus Fasse
Fasse, Justus
Université Grenoble-Alpes; KU Leuven
Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Grigory Fedyukovich
Fedyukovich, Grigory
Florida State University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ruitao Feng
Feng, Ruitao
Southern Cross University
Australia
Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Wenbu Feng
Feng, Wenbu
Tianjin University
Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Alessio Ferrarini
Ferrarini, Alessio
IMDEA Software Institute and Universidad Politécnica de Madrid
PLEX: Normalization for Refinement Types
Simon Fowler
Fowler, Simon
University of Glasgow
United Kingdom
Speak Now: Safe Actor Programming with Multiparty Session Types
Guy Frankel
Frankel, Guy
University of Edinburgh
United Kingdom
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Steven D. Fraser
Fraser, Steven D.
Innoxec
United States
Chair in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Elisa Frohlich
Frohlich, Elisa
Universidade Federal de Minas Gerais
Brazil
Automatic Propagation of Profile Information through the Optimization Pipeline
Aymeric Fromherz
Fromherz, Aymeric
Inria
France
Scylla: Translating an Applicative Subset of C to Safe Rust
Hongfei Fu
Fu, Hongfei
Shanghai Jiao Tong University
China
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jingzhou Fu
Fu, Jingzhou
School of Software, Tsinghua University
Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Xiaopeng Fu
Fu, Xiaopeng
Zhongguancun Laboratory
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Yeqi Fu
Fu, Yeqi
National University of Singapore
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Youxin Fu
Fu, Youxin
Nanjing University
Peeling off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Rohan Gangaraju
Gangaraju, Rohan
Purdue University
United States
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Jatin Ganhotra
Ganhotra, Jatin
IBM Research
United States
Process-Centric Analysis of Agentic Software Systems
Ying Gao
Gao, Ying
School of Cyber Science and Technology, Beihang University; Zhongguancun Laboratory
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Anirudh Garg
Garg, Anirudh
IIT Bombay
IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
Deepak Garg
Garg, Deepak
MPI-SWS
Germany
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Harshit Garg
Garg, Harshit
Northeastern University - Khoury College of Computer Sciences
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Paola Giannini
Giannini, Paola
University of Eastern Piedmont
Italy
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Andrea Gilot
Gilot, Andrea
Uppsala University
Sweden
Floating-Point Usage on GitHub: a Large-Scale Study of Statically Typed Languages
Milos Gligoric
Gligoric, Milos
The University of Texas at Austin
United States
Understanding and Finding JIT Compiler Performance Bugs
Block Tests
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Satyajit Gokhale
Gokhale, Satyajit
Amazon
United States
Co-chair in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Harrison Goldstein
Goldstein, Harrison
SUNY Buffalo
United States
Fail Faster: Staging and Fast Randomness for High-Performance PBT
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kiran Gopinathan
Gopinathan, Kiran
Basis
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Simon Oddershede Gregersen
Gregersen, Simon Oddershede
CISPA Helmholtz Center for Information Security
Germany
Co-chair in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Dan Grossman
Grossman, Dan
University of Washington
United States
Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jan Grünke
Grünke, Jan
TU Braunschweig
Germany
RAT-CAT-SAT: Model Checking Memory Consistency Models
Bin Gu
Gu, Bin
Beijing Institute of Control Engineering
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Kevin Guan
Guan, Kevin
Cornell University
United States
Block Tests
Zhichao Guan
Guan, Zhichao
Peking University
China
Localizing Type Errors for Syntactic Sugar by Lifting
Roberto Guanciale
Guanciale, Roberto
KTH Royal Institute of Technology
Sweden
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Madi Gudin
Gudin, Madi
Amherst College
Commuting Conversions and Join Points for Call-By-Push-Value
Ege Berkay Gulcan
Gulcan, Ege Berkay
Delft University of Technology
Netherlands
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Haonan Guo
Guo, Haonan
National University of Defense Technology
Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Yiyang Guo
Guo, Yiyang
Carnegie Mellon University
Handling Exceptions and Effects with Automatic Resource Analysis
Aarti Gupta
Gupta, Aarti
Princeton University
Specy: Learning Specifications for Distributed Systems from Event Traces
Tobias Gürtler
Gürtler, Tobias
Saarland University, Saarland Informatics Campus
Germany
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
Thomas Haas
Haas, Thomas
TU Braunschweig
Germany
RAT-CAT-SAT: Model Checking Memory Consistency Models
Haotian Han
Han, Haotian
School of Computer Science, Wuhan University
CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Muhammad Hassan
Hassan, Muhammad
Virginia Tech
United States
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Fei He
He, Fei
Tsinghua University
China
Learning Symmetric Invariants from Symmetric Samples
Mengting He
He, Mengting
The Pennsylvania State University
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Mike He
He, Mike
Princeton University
United States
Specy: Learning Specifications for Distributed Systems from Event Traces
Ningyu He
He, Ningyu
Hong Kong Polytechnic University
Hong Kong SAR China
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Siyuan He
He, Siyuan
Purdue University
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Yuxuan He
He, Yuxuan
School of Informatics, Xiamen University
Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Troels Henriksen
Henriksen, Troels
University of Copenhagen
Denmark
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Martin Henz
Henz, Martin
National University of Singapore
Singapore
Co-chair in Program Committee within the SPLASH -E-track
Yann Herklotz
Herklotz, Yann
EPFL
Switzerland
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Felienne Hermans
Hermans, Felienne
Vrije Universiteit Amsterdam
Netherlands
Chair in Program Committee within the SPLASH Onward! Essays-track
Michael Hicks
Hicks, Michael
University of Pennsylvania and AWS
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Keara Hill
Hill, Keara
Binghamton University
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Daniel Hillerström
Hillerström, Daniel
Category Labs and The University of Edinburgh
United Kingdom
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jonas Kastberg Hinrichsen
Hinrichsen, Jonas Kastberg
Aalborg University
Denmark
Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
Jan Hoffmann
Hoffmann, Jan
Carnegie Mellon University
United States
Handling Exceptions and Effects with Automatic Resource Analysis
Steven Holtzen
Holtzen, Steven
Northeastern University
United States
Workshops Co-Chair in Workshops within the SPLASH/ISSTA Workshops-track
Weijiang Hong
Hong, Weijiang
National University of Defense Technology, Changsha, China
Online Input Grammar Synthesis Aided Symbolic Execution
Jon Howell
Howell, Jon
VMware Research
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chiao Hsieh
Hsieh, Chiao
Kyoto University
Japan
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Raymond Hu
Hu, Raymond
Queen Mary University of London
United Kingdom
Speak Now: Safe Actor Programming with Multiparty Session Types
Mixed Choice in Asynchronous Multiparty Session Types
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Zhenjiang Hu
Hu, Zhenjiang
Peking University
China
Localizing Type Errors for Syntactic Sugar by Lifting
Fei Huang
Huang, Fei
Tongyi Lab, Alibaba, China
InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Huaxun Huang
Huang, Huaxun
School of Informatics, Xiamen University
Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Jeff Huang
Huang, Jeff
Texas A&M University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Xiangdong Huang
Huang, Xiangdong
Tsinghua University
Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Zhiyong Huang
Huang, Zhiyong
National University of Singapore
Singapore
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Soha Hussein
Hussein, Soha
Ain Shams University, Egypt
Egypt
Co-chair in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Co-chair in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Sander Huyghebaert
Huyghebaert, Sander
Vrije Universiteit Brussel
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Anastasia Isychev
Isychev, Anastasia
TU Wien
Austria
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Reyhaneh Jabbarvand
Jabbarvand, Reyhaneh
University of Illinois at Urbana-Champaign
United States
Process-Centric Analysis of Agentic Software Systems
Bart Jacobs
Jacobs, Bart
DistriNet, Dept. CS, KU Leuven
Belgium
Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Jules Jacobs
Jacobs, Jules
Jane Street
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Neeraj Jadhav
Jadhav, Neeraj
Georgia Institute of Technology
Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Aishwarya Jagarapu
Jagarapu, Aishwarya
Amazon Web Services
Specy: Learning Specifications for Distributed Systems from Event Traces
Devansh Jain
Jain, Devansh
University of Illinois at Urbana-Champaign
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Nagendra Kumar Jamadagni
Jamadagni, Nagendra Kumar
UC San Diego
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Kasra Jamshidi
Jamshidi, Kasra
Simon Fraser University
Geo: A Query Rewrite Framework for Graph Pattern Mining
Abhinav Jangda
Jangda, Abhinav
Microsoft Research
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nutdranai Jaruthikorn
Jaruthikorn, Nutdranai
The Chinese University of Hong Kong
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Jean-Baptiste Jeannin
Jeannin, Jean-Baptiste
University of Michigan at Ann Arbor
United States
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Aaron Jeyaraj
Jeyaraj, Aaron
Fluidstack
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Songlin Jia
Jia, Songlin
Purdue University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Bo Jiang
Jiang, Bo
Bytedance Network Technology
China
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Jinan Jiang
Jiang, Jinan
The Hong Kong Polytechnic University
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Pengyue Jiang
Jiang, Pengyue
Cornell University
Block Tests
Ruilin Jiang
Jiang, Ruilin
School of Informatics, Xiamen University
Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Shan Jiang
Jiang, Shan
UT Austin
United States
OBsmith: LLM-powered JavaScript Obfuscator Testing
Yu Jiang
Jiang, Yu
Tsinghua University
China
Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yuxuan Jiang
Jiang, Yuxuan
SambaNova Systems
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Aditi Kabra
Kabra, Aditi
Carnegie Mellon University
Hybrid Game Control Envelope Synthesis
Gowtham Kaki
Kaki, Gowtham
University of Colorado at Boulder
United States
Effectively Propositional Higher-Order Functional Programming
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Benjamin Lucien Kaminski
Kaminski, Benjamin Lucien
Saarland University; University College London
Germany
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
Piyus Kedia
Kedia, Piyus
IIIT Delhi
India
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Stephen Kell
Kell, Stephen
King's College London
Debugging Debugging Information Using Dynamic Call Trees
Stephen Kell
Kell, Stephen
King's College London
United Kingdom
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Divij Khaitan
Khaitan, Divij
Microsoft
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Sarfraz Khurshid
Khurshid, Sarfraz
University of Texas at Austin
United States
OBsmith: LLM-powered JavaScript Obfuscator Testing
Jieung Kim
Kim, Jieung
Yonsei University
South Korea
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kunha Kim
Kim, Kunha
University of Colorado Boulder
Effectively Propositional Higher-Order Functional Programming
Minsu Kim
Kim, Minsu
Korea University
Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
Fredrik Kjolstad
Kjolstad, Fredrik
Stanford University
Deegen: A JIT-Capable VM Generator for Dynamic Languages
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Michalis Kokologiannakis
Kokologiannakis, Michalis
ETH Zurich
Switzerland
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ziqiao Kong
Kong, Ziqiao
Nanyang Technological University
Singapore
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Christos Kozyrakis
Kozyrakis, Christos
Stanford University, USA
Hunting CUDA Bugs at Scale with cuFuzz
Maite Kramarz
Kramarz, Maite
University of Toronto
Canada
Mechanised Semantics of Multi-Stage Programming
Rahul Krishna
Krishna, Rahul
IBM Research
United States
Process-Centric Analysis of Agentic Software Systems
Burcu Kulahcioglu Ozkan
Kulahcioglu Ozkan, Burcu
Delft University of Technology
Netherlands
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Milind Kulkarni
Kulkarni, Milind
Purdue University
United States
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Filip Křikava
Křikava, Filip
Czech Technical University in Prague
Czechia
Co-chair in REBASE industry track within the SPLASH/ISSTA REBASE industry track-track
Mahesh Lakshminarasimhan
Lakshminarasimhan, Mahesh
AMD USA
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Leonidas Lampropoulos
Lampropoulos, Leonidas
University of Maryland at College Park
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Julien Lange
Lange, Julien
Royal Holloway, University of London
United Kingdom
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chris Lattner
Lattner, Chris
SiFive
TBA
Andrea Lattuada
Lattuada, Andrea
VMware Research
Switzerland
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jacob Laurel
Laurel, Jacob
University of Illinois at Urbana-Champaign
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jonathan Laurent
Laurent, Jonathan
Karlsruhe Institute of Technology
Hybrid Game Control Envelope Synthesis
Mickaël Laurent
Laurent, Mickaël
Charles University
France
Type inference for functional and imperative dynamic languages
Yunjeong Lee
Lee, Yunjeong
National University of Singapore
Singapore
Grammar Repair with Examples and Tree Automata
Owolabi Legunsen
Legunsen, Owolabi
Cornell University
United States
Block Tests
Daniel Lehmann
Lehmann, Daniel
Google, Germany
Germany
Co-chair in REBASE industry track within the SPLASH/ISSTA REBASE industry track-track
Caroline Lemieux
Lemieux, Caroline
University of British Columbia
Canada
Chair in Doctoral Symposium within the SPLASH/ISSTA Doctoral symposium-track
Mohsen Lesani
Lesani, Mohsen
University of California at Santa Cruz
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Annabel Levy
Levy, Annabel
University of Maryland, Baltimore County
Commuting Conversions and Join Points for Call-By-Push-Value
Alexander K. Lew
Lew, Alexander K.
Yale University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nicholas V. Lewchenko
Lewchenko, Nicholas V.
University of Colorado Boulder
United States
Effectively Propositional Higher-Order Functional Programming
Ondřej Lhoták
Lhoták, Ondřej
University of Waterloo
Canada
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Binhua Li
Li, Binhua
Tongyi Lab, Alibaba, China
InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Guochang Li
Li, Guochang
zhejiang university
InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Haofeng Li
Li, Haofeng
SKLP, Institute of Computing Technology, CAS
China
Context-Free Language Reachability via Efficient Relation Chaining
Haokun Li
Li, Haokun
Peking University
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Haonan Li
Li, Haonan
MBZUAI
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Ka Wing Li
Li, Ka Wing
University of Cambridge
Mechanised Semantics of Multi-Stage Programming
Kaixuan Li
Li, Kaixuan
Nanyang Technological University
Singapore
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Lian Li
Li, Lian
Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences
China
Context-Free Language Reachability via Efficient Relation Chaining
Qingan Li
Li, Qingan
Wuhan University, China
China
CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Shaohua Li
Li, Shaohua
The Chinese University of Hong Kong
Hong Kong SAR China
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Wei Li
Li, Wei
UNSW Sydney
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Xiaofeng Li
Li, Xiaofeng
Beijing Institute of Control Engineering
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Xiaohong Li
Li, Xiaohong
Tianjin University
China
Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Yanqi Li
Li, Yanqi
Beijing University of Posts and Telecommunications
China
LARTS: Language Abstractions for Real-Time and Secure Systems
Yongbin Li
Li, Yongbin
Tongyi Lab, Alibaba, China
InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Yue Li
Li, Yue
Nanjing University
China
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yuekang Li
Li, Yuekang
UNSW
Australia
Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Yuqing Li
Li, Yuqing
Tianjin University
Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Zhen Li
Li, Zhen
Beijing University of Posts and Telecommunications
Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
Qihao Lian
Lian, Qihao
Peking University
China
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Hongliang Liang
Liang, Hongliang
Beijing University of Posts ad Telecommunications
China
Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
LARTS: Language Abstractions for Real-Time and Secure Systems
Jie Liang
Liang, Jie
Beihang University
Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Haoran Lin
Lin, Haoran
Peking University
Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
Jiefang Lin
Lin, Jiefang
The University of Texas at Austin
Detecting Flaky Tests by Controlling Nondeterministic API Behavior
Tengjie Lin
Lin, Tengjie
Zhejiang University
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Yuanyi Lin
Lin, Yuanyi
Huawei Technologies
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Yun Lin
Lin, Yun
Shanghai Jiao Tong University
China
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Sam Lindley
Lindley, Sam
University of Edinburgh
United Kingdom
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chenyan Liu
Liu, Chenyan
Shanghai Jiao Tong University; National University of Singapore
China
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Dong Liu
Liu, Dong
Beijing University of Posts and Telecommunications
LARTS: Language Abstractions for Real-Time and Secure Systems
Jiawei Liu
Liu, Jiawei
Shanghai Jiao Tong University
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Liangxin Liu
Liu, Liangxin
Beihang University
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Shenghan Liu
Liu, Shenghan
Beijing University of Posts and Telecommunications
Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
Shuyang Liu
Liu, Shuyang
Process-Centric Analysis of Agentic Software Systems
Sirui Liu
Liu, Sirui
National University of Defense Technology
Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Yang Liu
Liu, Yang
Nanyang Technological University
Singapore
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Yu Liu
Liu, Yu
Fudan University
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Crista Lopes
Lopes, Crista
University of California Irvine
United States
Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Jie Lu
Lu, Jie
SKLP, Institute of Computing Technology, CAS, China
Context-Free Language Reachability via Efficient Relation Chaining
Kangjie Lu
Lu, Kangjie
University of Minnesota
United States
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Liqiang Lu
Lu, Liqiang
Zhejiang University
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Zeyu Lu
Lu, Zeyu
State Key Laboratory for Novel Software Technology, Nanjing University
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models
Yixing Luo
Luo, Yixing
Beijing Institute of Control Engineering
China
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Yunlai Luo
Luo, Yunlai
National University of Defense Technology
China
Online Input Grammar Synthesis Aided Symbolic Execution
Zhongdi Luo
Luo, Zhongdi
National University of Defense Technology
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
luojiushenzi
luojiushenzi
Zhongguancun Laboratory
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Matthew Lutze
Lutze, Matthew
Aarhus University
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Fuchen Ma
Ma, Fuchen
Tsinghua University
China
VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Jie Ma
Ma, Jie
Beihang University; Zhongguancun Laboratory
China
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Ke Ma
Ma, Ke
College of Computer, National University of Defense Technology, Changsha, China
Online Input Grammar Synthesis Aided Symbolic Execution
Zhongkui Ma
Ma, Zhongkui
The University of Queensland
Australia
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Enrico Magnago
Magnago, Enrico
Amazon Web Services
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Sharad Malik
Malik, Sharad
Princeton University
Specy: Learning Specifications for Distributed Systems from Event Traces
Konstantinos Mamouras
Mamouras, Konstantinos
Rice University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Dennis Mancl
Mancl, Dennis
MSWX Software Experts
United States
Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Ravi Mangal
Mangal, Ravi
Colorado State University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Bing Mao
Mao, Bing
Nanjing University
China
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Petros Markopoulos
Markopoulos, Petros
UC San Diego
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Meetesh Kalpesh Mehta
Mehta, Meetesh Kalpesh
IIT Bombay
India
IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
Roland Meier
Meier, Roland
armasuisse
Metamorphic Testing for Infrastructure-as-Code Engines
Charith Mendis
Mendis, Charith
University of Illinois at Urbana-Champaign
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ruijie Meng
Meng, Ruijie
National University of Singapore, Singapore
Singapore
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
YUAN Mengting
Mengting, YUAN
School of Computer Science, Wuhan University, Wuhan, China
China
CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Roland Meyer
Meyer, Roland
TU Braunschweig
Germany
RAT-CAT-SAT: Model Checking Memory Consistency Models
Mira Mezini
Mezini, Mira
TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
Germany
Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Kristopher Micinski
Micinski, Kristopher
Syracuse University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mae Milano
Milano, Mae
Princeton University
United States
Fully-Automatic Type Inference for Borrows with Lifetimes
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Todd Millstein
Millstein, Todd
University of California at Los Angeles
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Anders Miltner
Miltner, Anders
Simon Fraser University
Canada
Geo: A Query Rewrite Framework for Graph Pattern Mining
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Alexandra Mirrlees-Black
Mirrlees-Black, Alexandra
Australian National University
Type-Safe Monotonic Object Evolution
Sasa Misailovic
Misailovic, Sasa
University of Illinois Urbana-Champaign
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ashish Mishra
Mishra, Ashish
IIT Hyderabad
India
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Dimitris Mitropoulos
Mitropoulos, Dimitris
University of Athens
Greece
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Stefan Mitsch
Mitsch, Stefan
DePaul University
Hybrid Game Control Envelope Synthesis
Abtin Molavi
Molavi, Abtin
University of Wisconsin-Madison
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
David Monniaux
Monniaux, David
Université Grenoble Alpes - CNRS - Grenoble INP - Verimag
France
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Angelica Moreira
Moreira, Angelica
Microsoft Research
Canada
Automatic Propagation of Profile Information through the Optimization Pipeline
Cameron Moy
Moy, Cameron
Northeastern University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Fabian Muehlboeck
Muehlboeck, Fabian
Australian National University
Australia
Type-Safe Monotonic Object Evolution
Aniruddha Mysore
Mysore, Aniruddha
Amazon
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Anders Møller
Møller, Anders
Aarhus University
Denmark
Co-chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Peter Müller
Müller, Peter
ETH Zurich
Switzerland
Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Egor Namakonov
Namakonov, Egor
Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Chandrakana Nandi
Nandi, Chandrakana
Certora
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Amirmohammad Nazari
Nazari, Amirmohammad
University of Southern California
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yuge Nie
Nie, Yuge
State Key Laboratory for Novel Software Technology, Nanjing University
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models
Hakjoo Oh
Oh, Hakjoo
Korea University
South Korea
Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
Santiago Arranz Olmos
Olmos, Santiago Arranz
Max Planck Institute for Security and Privacy
Decompiling for Constant-Time Analysis
(Dis)Proving Spectre Security with Speculation-Passing Style
Alessandro Orso
Orso, Alessandro
University of Georgia, USA
United States
Co-chair in Sponsorship Committee within the SPLASH/ISSTA Sponsorship-track
Rohan Padhye
Padhye, Rohan
Carnegie Mellon University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Workshops Co-Chair in Workshops within the SPLASH/ISSTA Workshops-track
Shankara Pailoor
Pailoor, Shankara
University of Texas at Austin
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Santosh Pande
Pande, Santosh
Georgia Institute of Technology
United States
Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Vipin Patel
Patel, Vipin
Indian Institute of Technology Kanpur
India
Designing GPU Data Structures for Efficient Memory Oversubscription
Daniel Patterson
Patterson, Daniel
Northeastern University
United States
Co-chair in Program Committee within the SPLASH -E-track
Mathias Payer
Payer, Mathias
EPFL
Switzerland
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Hila Peleg
Peleg, Hila
Technion
Israel
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yiteng Peng
Peng, Yiteng
Hong Kong University of Science and Technology
China
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
Zongrui Peng
Peng, Zongrui
Tsinghua University
Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Fernando Magno Quintão Pereira
Pereira, Fernando Magno Quintão
Federal University of Minas Gerais
Brazil
Automatic Propagation of Profile Information through the Optimization Pipeline
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Gustavo Petri
Petri, Gustavo
Amazon Web Services
United Kingdom
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lauren Pick
Pick, Lauren
The Chinese University of Hong Kong
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Benjamin C. Pierce
Pierce, Benjamin C.
University of Pennsylvania
United States
Fail Faster: Staging and Fast Randomness for High-Performance PBT
Ruzica Piskac
Piskac, Ruzica
Yale University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
André Platzer
Platzer, André
KIT
Germany
Hybrid Game Control Envelope Synthesis
Gabriel Poesia
Poesia, Gabriel
Stanford University
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Elizabeth Polgreen
Polgreen, Elizabeth
University of Edinburgh
United Kingdom
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nadia Polikarpova
Polikarpova, Nadia
University of California at San Diego
United States
Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Hernán Ponce de León
Ponce de León, Hernán
Huawei Dresden Research Center
Germany
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Michael Pradel
Pradel, Michael
CISPA Helmholtz Center for Information Security
Germany
Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Matija Pretnar
Pretnar, Matija
University of Ljubljana
Slovenia
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Christopher Priebe
Priebe, Christopher
UC San Diego
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Jonathan Protzenko
Protzenko, Jonathan
Microsoft Azure Research
United States
Scylla: Translating an Applicative Subset of C to Safe Rust
Yong Qi Foo
Qi Foo, Yong
National University of Singapore
Singapore
Class-Dictionary Specialization With Rank-2 Polymorphic Functions
Binhang Qi
Qi, Binhang
National University of Singapore
Singapore
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Ruixiang Qian
Qian, Ruixiang
Nanjing University
Peeling off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Shengchao Qin
Qin, Shengchao
Xidian University
China
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Hon Kwan Shun Quinson
Quinson, Hon Kwan Shun
The Chinese University of Hong Kong
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Iwan Quémerais
Quémerais, Iwan
ENS-Lyon
Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
Jonathan Ragan-Kelley
Ragan-Kelley, Jonathan
MIT CSAIL
Fully-Automatic Type Inference for Borrows with Lifetimes
Mukund Raghothaman
Raghothaman, Mukund
University of Southern California
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kia Rahmani
Rahmani, Kia
Durable AI
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Gokul Rajiv
Rajiv, Gokul
National University of Singapore, Singapore
Singapore
Grammar Repair with Examples and Tree Automata
Joseph Raskind
Raskind, Joseph
SUNY Binghamton
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
John Regehr
Regehr, John
University of Utah
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Baber Rehman
Rehman, Baber
University of Hong Kong
Hong Kong SAR China
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Tobias Reinhard
Reinhard, Tobias
TU Darmstadt
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Gregor Richards
Richards, Gregor
University of Waterloo
Canada
Type-Safe Monotonic Object Evolution
Cynthia Richey
Richey, Cynthia
University of Pennsylvania
Fail Faster: Staging and Fast Randomness for High-Performance PBT
David Richter
Richter, David
TU Darmstadt
Germany
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Tiark Rompf
Rompf, Tiark
Purdue University
United States
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Marcus Rossel
Rossel, Marcus
Technische Universität Darmstadt
Germany
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Joseph Rotella
Rotella, Joseph
Northeastern University
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Philipp Ruemmer
Ruemmer, Philipp
University of Regensburg and Uppsala University
Germany
Sound and Complete Invariant-Based Heap Encodings
Neea Rusch
Rusch, Neea
Uppsala University
Sweden
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Guido Salvaneschi
Salvaneschi, Guido
University of St. Gallen
Switzerland
Metamorphic Testing for Infrastructure-as-Code Engines
Mark Santolucito
Santolucito, Mark
Barnard College, Columbia University, USA
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Srinjoy Sarkar
Sarkar, Srinjoy
Indian Institute of Technology Kanpur
India
Designing GPU Data Structures for Efficient Memory Oversubscription
Charitha Saumya
Saumya, Charitha
Intel
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Douglas C. Schmidt
Schmidt, Douglas C.
William & Mary
United States
Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Tom Schrijvers
Schrijvers, Tom
KU Leuven
Belgium
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Matthew Schwennesen
Schwennesen, Matthew
University of Wisconsin - Madison
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Elan Semenova
Semenova, Elan
Northeastern University
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Ilya Sergey
Sergey, Ilya
National University of Singapore
Singapore
Grammar Repair with Examples and Tree Automata
Amir Shaikhha
Shaikhha, Amir
University of Edinburgh
United Kingdom
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Shuai Shao
Shao, Shuai
University of Connecticut
United States
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Upamanyu Sharma
Sharma, Upamanyu
Massachusetts Institute of Technology
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Dongdong She
She, Dongdong
HKUST (The Hong Kong University of Science and Technology)
Hong Kong SAR China
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Elena Sherman
Sherman, Elena
Boise State University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
August Shi
Shi, August
The University of Texas at Austin
United States
Detecting Flaky Tests by Controlling Nondeterministic API Behavior
Understanding and Finding JIT Compiler Performance Bugs
Chenghang Shi
Shi, Chenghang
SKLP, Institute of Computing Technology, CAS
China
Context-Free Language Reachability via Efficient Relation Chaining
Dalong Shi
Shi, Dalong
AVIC International Digital Network Technology Co., Ltd.
Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Qingkai Shi
Shi, Qingkai
Nanjing University
China
Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ji-Yong Shin
Shin, Ji-Yong
Northeastern University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Florian Sihler
Sihler, Florian
Ulm University
Germany
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Abhishek Kr Singh
Singh, Abhishek Kr
IIIT Hyderabad
India
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Vidush Singhal
Singhal, Vidush
Purdue University
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Akshat Sinha
Sinha, Akshat
Rubrik, Inc
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Saurabh Sinha
Sinha, Saurabh
IBM Research
United States
Process-Centric Analysis of Agentic Software Systems
Sunbeom So
So, Sunbeom
Korea University
Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
Linhai Song
Song, Linhai
Pennsylvania State University
United States
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Thodoris Sotiropoulos
Sotiropoulos, Thodoris
ETH Zurich
Switzerland
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
David Spielmann
Spielmann, David
University of St. Gallen
Switzerland
Metamorphic Testing for Infrastructure-as-Code Engines
Guy L. Steele Jr.
Steele Jr., Guy L.
Oracle Labs
United States
Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Michel Steuwer
Steuwer, Michel
TU Berlin
Germany
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
J. Ryan Stinnett
Stinnett, J. Ryan
King's College London
United Kingdom
Debugging Debugging Information Using Dynamic Call Trees
Yulei Sui
Sui, Yulei
University of New South Wales
Australia
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chengnian Sun
Sun, Chengnian
University of Waterloo
Canada
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jun Sun
Sun, Jun
Singapore Management University
Singapore
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sipeng Sun
Sun, Sipeng
The Chinese University of Hong Kong
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yuqiang Sun
Sun, Yuqiang
Nanyang Technological University
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Kirshanthan Sundararajah
Sundararajah, Kirshanthan
Virginia Tech
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Wouter Swierstra
Swierstra, Wouter
Utrecht University, Netherlands
Netherlands
PLEX: Normalization for Refinement Types
Yazhou Tang
Tang, Yazhou
Zhejiang University
China
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yutian Tang
Tang, Yutian
University of Glasgow, United Kingdom
United Kingdom
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models
Yichen Tao
Tao, Yichen
University of Michigan
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Mohamed Tarek Ibn Ziad
Tarek Ibn Ziad, Mohamed
NVIDIA
United States
Hunting CUDA Bugs at Scale with cuFuzz
Doug Terry
Terry, Doug
Specy: Learning Specifications for Distributed Systems from Event Traces
Aalok Thakkar
Thakkar, Aalok
Ashoka University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Manas Thakur
Thakur, Manas
IIT Bombay
India
IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Shriya Thakur
Thakur, Shriya
University of Massachusetts, Lowell
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Michelle Thalakottur
Thalakottur, Michelle
Northeastern University
United States
Co-chair in Student Volunteer Committee within the SPLASH/ISSTA Student Volunteers-track
Peter Thiemann
Thiemann, Peter
University of Freiburg
Germany
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Simon Thompson
Thompson, Simon
University of Kent (UK)
United Kingdom
Mixed Choice in Asynchronous Multiparty Session Types
Sverrir Thorgeirsson
Thorgeirsson, Sverrir
ETH Zurich
Switzerland
Chair in Program Committee within the SPLASH Onward! Papers-track
Amin Timany
Timany, Amin
Aarhus University
Denmark
Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Ashish Tiwari
Tiwari, Ashish
Microsoft
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Alexi Turcotte
Turcotte, Alexi
CISPA
Germany
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Caterina Urban
Urban, Caterina
Inria - École Normale Supérieure
France
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Simcha van Collem
van Collem, Simcha
Radboud University Nijmegen
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Sören van der Wall
van der Wall, Sören
TU Braunschweig
Germany
Decompiling for Constant-Time Analysis
Niki Vazou
Vazou, Niki
IMDEA Software Institute
PLEX: Normalization for Refinement Types
Jan Vitek
Vitek, Jan
Northeastern University
United States
Type inference for functional and imperative dynamic languages
Adriana Laura Voinea
Voinea, Adriana Laura
University of Glasgow, UK
United Kingdom
Mixed Choice in Asynchronous Multiparty Session Types
Klaus von Gleissenthall
von Gleissenthall, Klaus
Vrije Universiteit Amsterdam
Netherlands
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Keval Vora
Vora, Keval
Simon Fraser University
Geo: A Query Rewrite Framework for Graph Pattern Mining
Chao Wang
Wang, Chao
University of Southern California
United States
Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chenglong Wang
Wang, Chenglong
University of Washington, USA
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Di Wang
Wang, Di
Peking University
China
Localizing Type Errors for Syntactic Sugar by Lifting
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Haoyu Wang
Wang, Haoyu
Huazhong University of Science and Technology
China
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Ji Wang
Wang, Ji
National University of Defense Technology
China
Online Input Grammar Synthesis Aided Symbolic Execution
Jingbo Wang
Wang, Jingbo
Purdue University
Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ke Wang
Wang, Ke
Nanjing University
China
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lei Wang
Wang, Lei
Beijing University of Posts and Telecommunications
LARTS: Language Abstractions for Real-Time and Secure Systems
Peixin Wang
Wang, Peixin
East China Normal University
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Renxi Wang
Wang, Renxi
MBZUAI
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Shaohua Wang
Wang, Shaohua
Central University of Finance and Economics
China
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Shuai Wang
Wang, Shuai
Hong Kong University of Science and Technology
China
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yunkun Wang
Wang, Yunkun
Zhejiang University
InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Yunqian Wang
Wang, Yunqian
Tianjin University
Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Zhongyi Wang
Wang, Zhongyi
Zhejiang University
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Ziteng Wang
Wang, Ziteng
University of Texas at Austin
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Conrad Watt
Watt, Conrad
Nanyang Technological University
Singapore
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Tjark Weber
Weber, Tjark
Uppsala University
Sweden
Sound and Complete Invariant-Based Heap Encodings
Stephanie Weirich
Weirich, Stephanie
University of Pennsylvania
United States
Commuting Conversions and Join Points for Call-By-Push-Value
Max Willsey
Willsey, Max
University of California at Berkeley
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Tobias Wrigstad
Wrigstad, Tobias
Uppsala University
Sweden
Floating-Point Usage on GitHub: a Large-Scale Study of Statically Typed Languages
Chiachih Wu
Wu, Chiachih
Amber Group
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Daoyuan Wu
Wu, Daoyuan
Lingnan University
Hong Kong SAR China
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Haoyu Wu
Wu, Haoyu
Australian National University
Type-Safe Monotonic Object Evolution
Jielun Wu
Wu, Jielun
Nanjing University
China
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Rihui Wu
Wu, Rihui
University of New South Wales
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Rongxin Wu
Wu, Rongxin
Xiamen University
China
Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Zhiyong Wu
Wu, Zhiyong
Tsinghua University, China
China
Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Jinwen Xi
Xi, Jinwen
Zhongguancun Laboratory
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Shihao Xia
Xia, Shihao
The Pennsylvania State University
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Dongwei Xiao
Xiao, Dongwei
Hong Kong University of Science and Technology
Hong Kong SAR China
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Ningning Xie
Xie, Ningning
University of Toronto
Canada
Mechanised Semantics of Multi-Stage Programming
Xingyu Xie
Xie, Xingyu
MPI-SP
China
(Dis)Proving Spectre Security with Speculation-Passing Style
Yuchong Xie
Xie, Yuchong
Hong Kong University of Science and Technology
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Mingzhe Xing
Xing, Mingzhe
Zhongguancun Laboratory
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Yingfei Xiong
Xiong, Yingfei
Peking University
China
Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Gengyang Xu
Xu, Gengyang
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
Hong Kong SAR China
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
Haoran Xu
Xu, Haoran
Stanford University
United States
Deegen: A JIT-Capable VM Generator for Dynamic Languages
Jianhao Xu
Xu, Jianhao
Southeast University
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Qiyuan Xu
Xu, Qiyuan
Nangyang Technology University
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Runqing Xu
Xu, Runqing
KIT
Germany
Differential Execution with Lexical Tracing
Tongtong Xu
Xu, Tongtong
Huawei
China
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Zhengzi Xu
Xu, Zhengzi
Imperial Global Singapore
Singapore
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Zhijie Xu
Xu, Zhijie
Tsinghua University
China
Learning Symmetric Invariants from Symmetric Samples
Jingling Xue
Xue, Jingling
UNSW
Australia
CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Xu Xue
Xue, Xu
University of Hong Kong
China
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Aneeket Yadav
Yadav, Aneeket
IIT Delhi
IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
Jeremy Yallop
Yallop, Jeremy
University of Cambridge
United Kingdom
Mechanised Semantics of Multi-Stage Programming
Lidong Yan
Yan, Lidong
Nanjing University, Department of Computer Science and Technology, SSCT Lab
China
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Zhen Yan
Yan, Zhen
Tsinghua University
VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Zhenyu Yan
Yan, Zhenyu
Peking University
China
Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
Jinqiu Yang
Yang, Jinqiu
Concordia University
Canada
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mingqi Yang
Yang, Mingqi
Zhejiang University
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Rundong Yang
Yang, Rundong
Fudan University
China
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Sen Yang
Yang, Sen
Yale University
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yibiao Yang
Yang, Yibiao
Nanjing University
China
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models
Andrey Yao
Yao, Andrey
University of Wisconsin-Madison
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Rui Yao
Yao, Rui
Beijing Institute of Computer Technology and Application
LARTS: Language Abstractions for Real-Time and Secure Systems
Leiqi Ye
Ye, Leiqi
University of Edinburgh
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Qianchuan Ye
Ye, Qianchuan
University at Buffalo, SUNY
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Qiuping Yi
Yi, Qiuping
Beijing University of Posts and Telecommunications
China
Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
LARTS: Language Abstractions for Real-Time and Secure Systems
Xiao Yi
Yi, Xiao
The Chinese University of Hong Kong
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Zijian Yi
Yi, Zijian
The University of Texas at Austin
Understanding and Finding JIT Compiler Performance Bugs
Jianwei Yin
Yin, Jianwei
Zhejiang University
China
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Nobuko Yoshida
Yoshida, Nobuko
University of Oxford
United Kingdom
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Nazanin Yousefian
Yousefian, Nazanin
Simon Fraser University
Geo: A Query Rewrite Framework for Graph Pattern Mining
Nengkun Yu
Yu, Nengkun
Stony Brook University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Tailai Yu
Yu, Tailai
Peking University
China
Localizing Type Errors for Syntactic Sugar by Lifting
Tingting Yu
Yu, Tingting
University of Connecticut
United States
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Zehong Yu
Yu, Zehong
KLISS, BNRist, School of Software, Tsinghua University
VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Hengchen Yuan
Yuan, Hengchen
The University of Texas at Austin
United States
Detecting Flaky Tests by Controlling Nondeterministic API Behavior
Yinliang Yue
Yue, Yinliang
Zhongguancun Laboratory
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
George Zakhour
Zakhour, George
University of St. Gallen
Switzerland
Metamorphic Testing for Infrastructure-as-Code Engines
Giacomo Zanatta
Zanatta, Giacomo
Ca’ Foscari University of Venice
Italy
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Steve Zdancewic
Zdancewic, Steve
University of Pennsylvania
United States
Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Charles Zhang
Zhang, Charles
Hong Kong University of Science and Technology
China
Diatom: Polylithic Binary Lifting with Data-flow Summaries and Type-aware IR Linking
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Danfeng Zhang
Zhang, Danfeng
Duke University
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Guoqiang Zhang
Zhang, Guoqiang
Meta Platforms, Inc
United States
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
He Zhang
Zhang, He
School of Informatics, Xiamen University
Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Kaikai Zhang
Zhang, Kaikai
Hong Kong University of Science and Technology
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Kunbo Zhang
Zhang, Kunbo
Nanjing University
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Kunpeng Zhang
Zhang, Kunpeng
The Hong Kong University of Science and Technology
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Michael Zhang
Zhang, Michael
Northeastern University
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Peng Zhang
Zhang, Peng
State Key Laboratory for Novel Software Technology, Nanjing University
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models
Robert Zhang
Zhang, Robert
University of Texas at Austin
United States
Co-chair in Student Volunteer Committee within the SPLASH/ISSTA Student Volunteers-track
Xin Zhang
Zhang, Xin
Peking University
China
Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yang Zhang
Zhang, Yang
Beijing Institute of Computer Technology and Application
LARTS: Language Abstractions for Real-Time and Secure Systems
Yao Zhang
Zhang, Yao
Tianjin University
China
Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Yiran Zhang
Zhang, Yiran
Nanyang Technological University
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Yiying Zhang
Zhang, Yiying
University of California San Diego
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Yue Zhang
Zhang, Yue
Tongyi Lab, Alibaba, China
InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Yufeng Zhang
Zhang, Yufeng
Hunan University
China
Online Input Grammar Synthesis Aided Symbolic Execution
Zhiyuan Zhang
Zhang, Zhiyuan
MPI-SP
Decompiling for Constant-Time Analysis
(Dis)Proving Spectre Security with Speculation-Passing Style
Jiali Zhao
Zhao, Jiali
Huawei
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Pinhan Zhao
Zhao, Pinhan
University of Michigan
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yijie Zheng
Zheng, Yijie
National University of Defense Technology
Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Chen Zhi
Zhi, Chen
Zhejiang University
China
InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Zihang Zhong
Zhong, Zihang
School of Computer Science, Wuhan University
CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Anshunkang Zhou
Zhou, Anshunkang
Hong Kong University of Science and Technology
China
Diatom: Polylithic Binary Lifting with Data-flow Summaries and Type-aware IR Linking
Chenyu Zhou
Zhou, Chenyu
University of Southern California
United States
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis
Ruiyu Zhou
Zhou, Ruiyu
Nanjing University
Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yuming Zhou
Zhou, Yuming
Nanjing University
China
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models
Zhiping Zhou
Zhou, Zhiping
Tianjin University
Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Chenguang Zhu
Zhu, Chenguang
Meta AI
United States
OBsmith: LLM-powered JavaScript Obfuscator Testing
Hao-Nan Zhu
Zhu, Hao-Nan
University of California, Davis
Co-chair in Student Volunteer Committee within the SPLASH/ISSTA Student Volunteers-track
Fri 24 Apr 15:32