SPLASH/ISSTA 2026
Sat 3 - Fri 9 October 2026 Oakland, California, United States
  • Attending
    • Hotel: Oakland Marriott City Center
    • Visa Letter
  • Tracks
      • SPLASH/ISSTA 2026
      • Doctoral symposium
      • PLMW @ SPLASH/ISSTA'26
      • Posters
      • Social Events
      • Student Research Competition
      • Student Volunteers
      • Summer School
      • Tool Demonstrations
      • REBASE industry track
      • Workshops
      • Sponsorship
      • Co-hosted Conferences
      • ISSTA
        • ISSTA
        • ISSTA Research papers
        • ISSTA Artifact evaluation
        • ISSTA Keynotes
      • SPLASH
        • SPLASH
        • SPLASH OOPSLA
        • SPLASH Onward! Essays
        • SPLASH Onward! Papers
        • SPLASH Onward! Steering Committee
        • SPLASH SIGPLAN track
        • SPLASH Keynotes
        • SPLASH /OOPSLA @ 40 Panel
        • SPLASH -E
        • SPLASH Artifact evaluation
      • Workshops
      • EXPRESS Expression of software system DevOps
      • FTA
      • HATRA
      • IWACO
      • LMPL
      • NSAD
      • PAINT Programming Abstractions and Interactions
      • PLSS PL Standardization and Specification
      • SpecOps Specification-Driven Development Life Cycle
      • SSNL
      • VMIL
      • Co-hosted Symposia
      • SAS Static Analysis Symposium
        • SAS
        • SAS Artifact
  • Organization
      • SPLASH/ISSTA 2026 Committees
      • Organizing Committee
      • Track Committees
      • Doctoral symposium
      • PLMW @ SPLASH/ISSTA'26
      • Student Research Competition
      • Student Volunteers
      • Summer School
        • Speakers
        • Organizers
      • Tool Demonstrations
      • REBASE industry track
      • Workshops
      • Sponsorship
      • Contributors
      • People Index
      • Co-hosted Conferences
      • ISSTA
        • Research papers
        • Artifact evaluation
      • SPLASH
        • OOPSLA
        • Onward! Essays
        • Onward! Papers
        • Onward! Steering Committee
        • SIGPLAN track
        • SPLASH/OOPSLA @ 40 Panel
        • SPLASH-E
        • Artifact evaluation
      • Workshops
      • EXPRESS Expression of software system DevOps
        • Organizing Committee
        • Steering Committee
        • Program Committee
      • FTA
        • Organizing Committee
        • Program Committee
      • HATRA
        • Organizing Committee
        • Program Committee
      • IWACO
        • Organizing Committee
      • LMPL
        • Keynote Speaker
        • Organizing Committee
        • Program 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
      • VMIL
        • Program Committee
      • Co-hosted Symposia
      • SAS Static Analysis Symposium
        • SAS 2026 Program Committee
        • SAS 2026 Steering Committee
        • SAS Artifact
  • Search
  • Series
  • Sign in
  • Sign up
SPLASH/ISSTA 2026 (series) / Summer School /

Speakers SPLASH/ISSTA Summer School

Steven Holtzen

Steven Holtzen

Northeastern University

United States

Leonidas Lampropoulos

Leonidas Lampropoulos

University of Maryland at College Park

United States

K. Rustan M. Leino

K. Rustan M. Leino

Amazon

United States

Mae Milano

Mae Milano

Princeton University

United States

Jens Palsberg

Jens Palsberg

University of California at Los Angeles

United States

Nadia Polikarpova

Nadia Polikarpova

University of California at San Diego

United States

xTue 9 Jun 13:47

SPLASH/ISSTA 2026

contact form

using conf.researchr.org (v1.73.2)
Support page

Tracks

Doctoral symposium
PLMW @ SPLASH/ISSTA'26
Posters
Social Events
Student Research Competition
Student Volunteers
Summer School
Tool Demonstrations
REBASE industry track
Workshops
Sponsorship

Co-hosted Conferences

ISSTA 2026
SPLASH 2026

Workshops

EXPRESS 2026
FTA 2026
HATRA 2026
IWACO 2026
LMPL 2026
NSAD 2026
PAINT 2026
PLSS 2026
SpecOps 2026
SSNL 2026
VMIL 2026

Co-hosted Symposia

SAS 2026

Attending

Hotel: Oakland Marriott City Center
Visa Letter
Sign Up