SAS 2023
Sun 22 - Tue 24 October 2023
Cascais, Portugal
co-located with
SPLASH 2023
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Registration
Instructions for presenters
Instructions for session chairs
Info
Information on SAS series
Sponsoring
Program
Complete Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Tracks
SAS 2023
SAS 2023
SAS 2023 Artifacts
Organization
SAS 2023 Committees
Invited Speakers
Organizing Committee
Track Committees
SAS 2023
SAS 2023 Artifacts
Contributors
People Index
Search
Series
Series
SAS 2024
SAS 2023
SAS 2022
SAS 2021
SAS 2020
Sign in
Sign up
SPLASH 2023
(
series
) /
SAS 2023
(
series
) /
SAS 2023
/
Program Committee
SAS
Gogul Balakrishnan
PC Member
Google
United States
Liqian Chen
PC Member
National University of Defense Technology, China
China
Yu-Fang Chen
PC Member
Academia Sinica
Taiwan
Patrick Cousot
PC Member
Michael Emmi
PC Member
Amazon Web Services
United States
Pietro Ferrara
PC Member
Università Ca' Foscari, Venezia, Italy
Italy
Roberto Giacobazzi
PC Member
University of Arizona
United States
Roberta Gori
PC Member
University of Pisa
Italy
Manuel Hermenegildo
PC Chair
Technical University of Madrid (UPM) and IMDEA Software Institute
Spain
Francesco Logozzo
PC Member
Facebook
United States
Isabella Mastroeni
PC Member
University of Verona, Italy
Italy
Antoine Miné
PC Member
Sorbonne Université
France
José Morales
PC Chair
IMDEA Software Institute
Spain
Kedar Namjoshi
PC Member
Nokia Bell Labs
United States
Jorge A. Navas
PC Member
Certora
United States
Martin C. Rinard
PC Member
Massachusetts Institute of Technology
United States
Daniel Schoepe
PC Member
Amazon
United Kingdom
Helmut Seidl
PC Member
Technische Universität München
Germany
Mihaela Sighireanu
PC Member
IRIF, Université Paris Diderot, France
France
Gagandeep Singh
PC Member
University of Illinois at Urbana-Champaign; VMware Research
United States
Fu Song
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China
China
Yulei Sui
PC Member
UNSW
Australia
Laura Titolo
PC Member
NIA/NASA LaRC
United States
Jingling Xue
PC Member
UNSW
Australia
Xin Zhang
PC Member
Peking University
China
x
Mon 7 Oct 06:41