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) / HATRA 2026 (series) / Human Aspects of Types and Reasoning Assistants (HATRA 2026) /

Program Committee HATRA

Shraddha Barke

Shraddha Barke

Microsoft Research, Redmond

United States

Andrew Blinn

Andrew Blinn

University of Michigan

United States

Ravi Chugh

Ravi Chugh

University of Chicago

Molly Q Feldman

Molly Q Feldman

Oberlin College

United States

Harrison Goldstein

Harrison Goldstein

SUNY Buffalo

United States

Ben Greenman

Ben Greenman

University of Utah, USA

small-avatar

Andrew Head

University of Pennsylvania

Slim Lim

Slim Lim

UC Berkeley, Notion Labs

United States

Justin Lubin

Justin Lubin

University of California at Berkeley

United States

David Moon

David Moon

University of Michigan

United States

Tim Nelson

Tim Nelson

Brown University

United States

Cyrus Omar

Cyrus Omar

University of Michigan

United States

Peter-Michael Osera

Peter-Michael Osera

Grinnell College

United States

Hila Peleg

Hila Peleg

Technion

Israel

Tomas Petricek

Tomas Petricek

Charles University

Czechia

Benjamin C. Pierce

Benjamin C. Pierce

University of Pennsylvania

United States

Clément Pit-Claudel

Clément Pit-Claudel

EPFL

Switzerland

xTue 9 Jun 14:28

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