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
      • 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 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
      • 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
      • Tool Demonstrations
      • REBASE industry track
      • Workshops
      • Sponsorship
      • Contributors
      • People Index
      • Co-hosted Conferences
      • ISSTA
        • Research papers
        • Artifact evaluation
      • SPLASH
        • OOPSLA
        • Onward! Essays
        • Onward! Papers
        • 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
        • 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
  • Search
  • Series
  • Sign in
  • Sign up
SPLASH/ISSTA 2026 (series) / SpecOps 2026 (series) / SpecOps 2026 /

Program Committee SpecOps

Rajdeep Mukherjee

Rajdeep Mukherjee Co-chair

Amazon, USA

United States

Anastasia Mavridou

Anastasia Mavridou Co-chair

KBR / NASA Ames Research Center

United States

Saikat Dutta

Saikat Dutta Co-chair

Cornell University

United States

Yangtian Zi

Yangtian Zi Web Chair

Northeastern University

José Pablo Cambronero

José Pablo Cambronero Programme Committee

Google, USA

United States

Cristina David

Cristina David Programme Committee

University of Bristol

United Kingdom

Ferhat Erata

Ferhat Erata Programme Committee

Amazon Web Services, USA

United States

Marie Farrell

Marie Farrell Programme Committee

The University of Manchester

United Kingdom

Alessio Ferrari

Alessio Ferrari Programme Committee

CNR-ISTI

Italy

Divya Gopinath

Divya Gopinath Programme Committee

KBR; NASA Ames

United States

Eunsuk Kang

Eunsuk Kang Programme Committee

Carnegie Mellon University

United States

Andreas Katis

Andreas Katis Programme Committee

KBR / NASA Ames Research Center

Martin Kellogg

Martin Kellogg Programme Committee

New Jersey Institute of Technology

United States

small-avatar

Pascal Kesseli Programme Committee

Meta

Pardis Pashakhanloo

Pardis Pashakhanloo Programme Committee

Amazon Web Services

United States

Brandon Paulsen

Brandon Paulsen Programme Committee

Amazon

United States

Chao Peng

Chao Peng Programme Committee

ByteDance

China

Corina S. Păsăreanu

Corina S. Păsăreanu Programme Committee

Carnegie Mellon University

United States

Ajitha Rajan

Ajitha Rajan Programme Committee

The University of Edinburgh

United Kingdom

Baishakhi Ray

Baishakhi Ray Programme Committee

Columbia University

United States

Marcelo Sousa

Marcelo Sousa Programme Committee

University of Oxford

Michele Tufano

Michele Tufano Programme Committee

Google

United States

He Ye

He Ye Programme Committee

University College London (UCL)

United Kingdom

xSat 9 May 16:38

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
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

Co-hosted Symposia

SAS 2026

Attending

Hotel: Oakland Marriott City Center
Visa Letter
Sign Up