SAS 2024 - SPLASH 2024

SAS 2024 - SPLASH 2024
SPLASH 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
Attending
Venue: Hilton Pasadena
Students
Registration
Visa Support Letters
Sponsoring
Code of conduct
Instructions for Presenters
Chair's Welcome
How to SPLASH (Quick Attendee Guide)
Mt. Baldy Bicycle Trip
Attractions Around Pasadena
Live Stream
Program
SPLASH Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Tracks
SPLASH 2024
DEI Activities
Doctoral Symposium
Keynotes
OOPSLA 2024
OOPSLA Artifacts
Onward! Essays
Onward! Papers
PLMW
Posters
REBASE
SPLASH-E
Student Research Competition
Volunteers
Workshops
Co-hosted Conferences
GPCE
SLE
Workshops
HATRA
IWACO
JENSFEST
LIVE
NSAD
PAINT
ProLaLa
UNSOUND
VIVEKFEST
VMIL
VMIL
- A tour of CPython's runtime
Co-hosted Symposia
SAS
SAS
SAS
Artifacts
Organization
SPLASH 2024 Committees
Organizing Committee
Steering Committee
Track Committees
Doctoral Symposium
OOPSLA 2024
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
REBASE
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers
Volunteers
Workshops
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
SLE
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
HATRA
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
JENSFEST
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
NSAD
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
ProLaLa
Organizing Committee
Program Committee
UNSOUND
Organizing Committee
VIVEKFEST
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
Co-hosted Symposia
SAS
SAS 2024
Organizing Committee
SAS 2024
Program Committee
SAS Artifacts
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 2024
series
) /
SAS 2024 (
series
) /
SAS 2024
About
Program
Accepted Papers
Sponsoring SAS24
Call for Papers
Welcome to the website of the 31st Static Analysis Symposium (SAS 2024). Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of
Static Analysis Symposia
has served for more than 30 years as the primary venue for the presentation of theoretical, practical, and application advances in the area.
SAS’24 will take place from Sunday, October 20th to Tuesday, October 22nd, 2024.
The SAS 2024 Proceedings are published by Springer in the LNCS ARCoSS series, Vol. 14995.
This year, at SAS’24, the
Radhia Cousot Award has bend announced at the conference
! The award is in memory of Radhia Cousot and her fundamental contributions to static analysis. All young researchers (students and post-doc) authors of papers accepted at SAS’24 are invited to join SAS and register at the conference.
The winner of 2024 Radhia Cousot Award is:
Denis Mazzucato
for the paper
Quantitative Static Timing Analysis
Keynote Speakers
What's Still Missing in Static Analysis? A Decade-Long Journey.
Mayur Naik
Measuring data lineage: when program analysis meets data science
Francesco Logozzo
Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software
Caterina Urban
A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Emina Torlak
Static Analysis Sparsity and Modularity
Kwangkeun Yi
Supporters
Gold
Silver
Silver
Bronze
Bronze
Dates
Plenary
Program Display Configuration
Close
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Modularity and Memory Analysis
SAS
at
San Gabriel
Chair(s):
Roberto Giacobazzi
University of Arizona
09:00
60m
Keynote
Static Analysis Sparsity and Modularity
SAS
Kwangkeun Yi
Seoul National University
10:00
30m
Under-approximating Memory Abstractions
SAS
Marco Milanese
Sorbonne University
Antoine Miné
Sorbonne Université
Pre-print
10:30 - 11:00
Coffee Break
Catering
at
Foyer
10:30
30m
Coffee break
Break
Catering
11:00 - 12:30
Types, Control-flow and trace partitioning
SAS
at
San Gabriel
Chair(s):
Michele Pasqua
University of Verona
11:00
30m
Full-paper
BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
SAS
Ian Smith
Trail of Bits
Pre-print
11:30
30m
Full-paper
Full Control-Flow Sensitivity for Definitional Interpreters
SAS
Kimball Germane
Brigham Young University
Pre-print
12:00
30m
Full-paper
Trace Partitioning as an Optimization Problem
SAS
Charles Babu M
CEA-List
Matthieu Lemerre
Université Paris-Saclay - CEA LIST
Sébastien Bardin
CEA LIST, University Paris-Saclay
Jean-Yves Marion
LORIA
Pre-print
12:30 - 14:00
Lunch
Catering
at
California
12:30
90m
Lunch
Lunch
Catering
14:00 - 15:30
Machine learning and Neural networks
SAS
at
San Gabriel
Chair(s):
Marco Campion
INRIA & École Normale Supérieure | Université PSL
14:00
60m
Tutorial
Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software
SAS
Caterina Urban
Inria - École Normale Supérieure
15:00
30m
Full-paper
Robustness Verification of Multi-Label Neural Network Classifiers
SAS
Julian Mour
Dana Drachsler Cohen
Technion
Pre-print
15:30 - 16:00
Coffee Break
Catering
at
Foyer
15:30
30m
Coffee break
Break
Catering
16:00 - 17:30
Machine Learning and Neural networks
SAS
at
San Gabriel
Chair(s):
Marco Campion
INRIA & École Normale Supérieure | Université PSL
16:00
30m
Full-paper
Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations
SAS
Philipp Kern
Karlsruhe Institute of Technology (KIT)
Carsten Sinz
Karlsruhe Institute of Technology
Pre-print
16:30
30m
Short-paper
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
SAS
Avaljot Singh
UIUC
Yasmin Sarita
Cornell University
Charith Mendis
University of Illinois at Urbana-Champaign
Gagandeep Singh
University of Illinois at Urbana-Champaign; VMware Research
Pre-print
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Authorisation and responsibility
SAS
at
San Gabriel
Chair(s):
Patrick Cousot
09:00
60m
Tutorial
A New Language for Expressive, Fast, Safe, and Analyzable Authorization
SAS
Emina Torlak
Amazon Web Services, USA
10:00
30m
Full-paper
On the Role of Cognizance in Responsibility
SAS
Laura Canaia
Mila Dalla Preda
University of Verona
Pre-print
10:30 - 11:00
Coffee Break
Catering
at
Foyer
10:30
30m
Coffee break
Break
Catering
11:00 - 12:30
Verification cost and quantitative analysis
SAS
at
San Gabriel
Chair(s):
Sébastien Bardin
CEA LIST, University Paris-Saclay
11:00
30m
Full-paper
Verification of programs with ADTs using Shallow Horn Clauses
SAS
Théo Losekoot
Thomas Genet
IRISA, Univ Rennes
Thomas P. Jensen
INRIA Rennes
Pre-print
11:30
30m
Full-paper
An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants
SAS
Louis Rustenholz
Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute
Pedro López-García
IMDEA Software Institute
José Morales
IMDEA Software Institute
Manuel Hermenegildo
Technical University of Madrid (UPM) and IMDEA Software Institute
Link to publication
Pre-print
File Attached
12:00
30m
Full-paper
Quantitative Static Timing Analysis
SAS
Denis Mazzucato
INRIA & École Normale Supérieure
Marco Campion
INRIA & École Normale Supérieure | Université PSL
Caterina Urban
Inria - École Normale Supérieure
Pre-print
12:30 - 14:00
Lunch
Catering
at
California
12:30
90m
Lunch
Lunch
Catering
14:00 - 15:30
Quantum and system level analysis
SAS
at
San Gabriel
Chair(s):
Qirun Zhang
Georgia Institute of Technology
14:00
30m
Short-paper
Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
SAS
Matan Shachnai
Harishankar Vishwanathan
Srinivas Narayana
Rutgers University
Santosh Nagarakatte
Rutgers University
Pre-print
14:30
30m
Full-paper
Static Analysis of Quantum Programs
SAS
Nicola Assolini
University of Verona
Alessandra Di Pierro
University of Verona
Isabella Mastroeni
University of Verona
Pre-print
15:00
30m
Short-paper
Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
SAS
Tong Wu
Shale Xiong
ARM
Edoardo Manino
Gareth Stockwell
ARM
Lucas C. Cordeiro
University of Manchester, UK and Federal University of Amazonas, Brazil
Pre-print
15:30 - 16:00
Coffee Break
Catering
at
Foyer
15:30
30m
Coffee break
Break
Catering
16:00 - 17:30
Radhia Cousot Award and SAS24 Business Meeting
SAS
at
San Gabriel
Chair(s):
Marco Campion
INRIA & École Normale Supérieure | Université PSL
Roberto Giacobazzi
University of Arizona
Alessandra Gorla
IMDEA Software Institute
16:00
60m
Meeting
Radhia Cousot Award and Business Meeting
SAS
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Automatising Program Analysis
SAS
at
San Gabriel
Chair(s):
Manuel Hermenegildo
Technical University of Madrid (UPM) and IMDEA Software Institute
09:00
60m
Keynote
What's Still Missing in Static Analysis? A Decade-Long Journey.
SAS
Mayur Naik
University of Pennsylvania
10:00
30m
Full-paper
Synthesizing Abstract Transformers for Reduced-Product Domains
SAS
Pankaj Kumar Kalita
IIT Kanpur
Thomas Reps
University of Wisconsin-Madison
Subhajit Roy
IIT Kanpur
Pre-print
10:30 - 11:00
Coffee Break
Catering
at
Foyer
10:30
30m
Coffee break
Break
Catering
11:00 - 12:30
Tracing bugs and flaws
SAS
at
San Gabriel
Chair(s):
Aditya V. Thakur
University of California at Davis
11:00
60m
Keynote
Measuring data lineage: when program analysis meets data science
SAS
Francesco Logozzo
Meta
12:00
30m
Full-paper
Lift-offline: Instruction Lifter Generators
SAS
Nicholas Coughlin
Defence Science and Technology Group, Australia
Alistair Michael
Kait Lam
Pre-print
12:30 - 14:00
Lunch
Catering
at
California
12:30
90m
Lunch
Lunch
Catering
14:00 - 15:30
System level analysis
SAS
at
San Gabriel
Chair(s):
Roberto Giacobazzi
University of Arizona
14:00
30m
Full-paper
GoGuard: Efficient Static Blocking Bug Detection for Go
SAS
Dhruti Joshi
Bozhen Liu
Texas A&M University - Corpus Christi
Pre-print
14:30
30m
Short-paper
Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)
SAS
Julia Lawall
Inria
Keisuke Nishimura
Jean-Pierre Lozi
Pre-print
File Attached
15:30 - 16:00
Coffee Break
Catering
at
Foyer
15:30
30m
Coffee break
Break
Catering
Accepted Papers
Title
Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations
SAS
Philipp Kern
Carsten Sinz
Pre-print
An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants
SAS
Louis Rustenholz
Pedro López-García
José Morales
Manuel Hermenegildo
Link to publication
Pre-print
File Attached
BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
SAS
Ian Smith
Pre-print
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
SAS
Avaljot Singh
Yasmin Sarita
Charith Mendis
Gagandeep Singh
Pre-print
Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper)
SAS
Matan Shachnai
Harishankar Vishwanathan
Srinivas Narayana
Santosh Nagarakatte
Pre-print
Full Control-Flow Sensitivity for Definitional Interpreters
SAS
Kimball Germane
Pre-print
GoGuard: Efficient Static Blocking Bug Detection for Go
SAS
Dhruti Joshi
Bozhen Liu
Pre-print
Lift-offline: Instruction Lifter Generators
SAS
Nicholas Coughlin
Alistair Michael
Kait Lam
Pre-print
On the Role of Cognizance in Responsibility
SAS
Laura Canaia
Mila Dalla Preda
Pre-print
Quantitative Static Timing Analysis
SAS
Denis Mazzucato
Marco Campion
Caterina Urban
Pre-print
Robustness Verification of Multi-Label Neural Network Classifiers
SAS
Julian Mour
Dana Drachsler Cohen
Pre-print
Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)
SAS
Julia Lawall
Keisuke Nishimura
Jean-Pierre Lozi
Pre-print
File Attached
Static Analysis of Quantum Programs
SAS
Nicola Assolini
Alessandra Di Pierro
Isabella Mastroeni
Pre-print
Synthesizing Abstract Transformers for Reduced-Product Domains
SAS
Pankaj Kumar Kalita
Thomas Reps
Subhajit Roy
Pre-print
Trace Partitioning as an Optimization Problem
SAS
Charles Babu M
Matthieu Lemerre
Sébastien Bardin
Jean-Yves Marion
Pre-print
Under-approximating Memory Abstractions
SAS
Marco Milanese
Antoine Miné
Pre-print
Verification of programs with ADTs using Shallow Horn Clauses
SAS
Théo Losekoot
Thomas Genet
Thomas P. Jensen
Pre-print
Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper)
SAS
Tong Wu
Shale Xiong
Edoardo Manino
Gareth Stockwell
Lucas C. Cordeiro
Pre-print
Call for Papers
Deadlines extended! Check out the new dates!
Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served for over 30 years as the primary venue for the presentation of theoretical, practical, and application advances in the area.
Important Dates
(All deadlines are AoE (Anywhere on Earth))
Paper submission:
Sunday, May 5th
Sunday May 19th, 2024 (Extended Deadline)
Artifact submission:
Sunday, May 12th
Wednesday May 22nd, 2024 (Extended Deadline)
Author response:
Monday, June 17th - Wednesday, June 19th,
Thursday, June 27th - Sunday, June 30th, 2024
Notification:
Sunday, July 7th,
Tuesday, July 16th, 2024
Camera ready:
Monday, August 5th,
Monday, August 12th, 2024
Topics
The technical program for SAS 2024 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of program analysis analysis, including, but not limited to:
Abstract interpretation
Automated deduction
Data flow analysis
Debugging techniques
Deductive methods
Emerging applications
Model-checking
Data science
Program optimizations and transformations
Program synthesis
Program verification
Machine learning and verification
Security analysis
Tool environments and architectures
Theoretical frameworks
Type checking
Distributed or networked systems
All paper submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity.
Submission link:
We welcome regular papers as well as papers focusing on any of the following in the NEAT (New questions/areas, Experience, Announcement, Tool) category:
Well-motivated discussion of new questions or new areas.
Experience with static analysis tools, Industrial Reports, and Case Studies
Brief announcements of work in progress
Tool papers
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of NEAT papers, all papers will follow a lightweight double-blind reviewing process. The identity of the authors for the NEAT papers will be therefore known to the reviewers.
Papers must be written and presented in English. A submitted paper must describe original work and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings.
All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. The review process will include a rebuttal period where authors have the opportunity to respond to preliminary reviews on the paper.
Radhia Cousot Award
The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences.
Artifacts
As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review. For more details, please visit the
SAS 2024 Artifacts
page.
Submission Details
Lightweight Double-Blind Requirement
All regular papers will follow a double-blind process, where author names and affiliations are hidden for initial review. Author names will be revealed to a reviewer only after their review has been submitted.

To facilitate this process, submitted regular papers must adhere to the following:

(1) Author names and affiliations must be omitted and (2) References to the authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”).

The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should not be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. Authors should feel free to disseminate their ideas or draft versions of their papers as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.
NEAT Papers Content
New problems papers are an opportunity to discuss visions, challenges, experiences, problems, and impactful solutions in the field of static analysis from both a research and applications perspective. Such papers are encouraged to take assertive positions and be forward-looking and aim for lively and insightful discussions that are influential to future research directions in static analysis. NEAT papers will be handled in singe-blind way.

User experience & Industrial reports & Case studies papers describe the use of static analysis in industrial settings or in any chosen application domains. Papers in this category do not necessarily need to present original research results but are expected to contain applications of static analysis as well as a comprehensive evaluation in the chosen application domain. Such papers are encouraged to discuss the unique challenges of transferring research ideas to a real-world setting, reflect on any lessons learned from this technology transfer experience, and compare experiences with different analyzers highlighting their strengths and weaknesses.

Brief announcements of work in progress papers may describe work in progress. A submission that is not selected for regular presentation may be invited for a brief announcement.
Submission Guidelines
The SAS 2024 proceedings will be published by Springer in their LNCS series. Authors should consult
Springer’s authors’ guidelines
and use their proceedings templates, for LaTeX, Overleaf, or Word, for the preparation of their papers.

The corresponding author of each accepted paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.
Sponsoring SAS24
The series of Static Analysis Symposia has served for more than 30 years as the primary venue for the presentation of theoretical, practical, and application advances in static program analysis. By becoming a SAS24 supporter, your organisation can reach a highly qualified technical audience of academics, industrial researchers, engineers, and students active in this fundamental area. You will be able to increase your visibility and product awareness among the people who are the most knowledgeable and passionate about your products.
All supporters will receive recognition of their level of contribution in print, on the web, in registration brochures, in the conference program, and during opening and closing of the conference.
You can support SAS24 at the following sponsorship levels:
Gold ($2.5k and up)
Company-provided banner during the conference;
Exhibit space at the conference;
May supply giveaways or swags;
Logo or name visibility (web, print, email, on-site);
2 conference registrations included;
Acknowledgement during opening and closing remarks
Silver ($2k)
Logo or name visibility (web, print, email, on-site)
May supply giveaways or swags
1 conference registrations included
Acknowledgement during opening and closing remarks
Bronze ($1k)
Logo or name visibility (web, print, email, on-site)
May supply giveaways or swags
Acknowledgement during opening and closing remarks
In addition to the four sponsorship levels and their benefits above, sponsors can support student travel award: $2K each!
Questions? Use the
SAS contact form
Important Dates
AoE (UTC-12h)
Sun 20 - Tue 22 Oct 2024
Conference
Mon 12 Aug 2024
Camera Ready
Tue 16 Jul 2024
Notification
Thu 27 - Sun 30 Jun 2024
Author Response
Sun 19 May 2024
Paper Submission
Submission Link
Organizing Committee
Roberto Giacobazzi
Program Chair
University of Arizona
United States
Alessandra Gorla
Program Co-Chair
IMDEA Software Institute
Spain
Marco Campion
Artifact Evaluation Chair
INRIA & École Normale Supérieure | Université PSL
France
Program Committee
Roberto Giacobazzi
PC Chair
University of Arizona
United States
Alessandra Gorla
Co-chair
IMDEA Software Institute
Spain
Matthew Amy
Committee Member
Simon Fraser University
Canada
Steven Arzt
Committee Member
Fraunhofer SIT; ATHENE
Germany
Paolo Baldan
Committee Member
University of Padova
Italy
Sébastien Bardin
Committee Member
CEA LIST, University Paris-Saclay
France
Roberto Bruni
Committee Member
University of Pisa
Italy
Liqian Chen
Committee Member
National University of Defense Technology
China
David Delmas
Committee Member
Airbus
France
Elizabeth Dinella
Committee Member
Bryn Mawr College
Antonio Filieri
Committee Member
AWS and Imperial College London
United States
Kihong Heo
Committee Member
KAIST
South Korea
Anastasia Isychev
Committee Member
TU Wien
Austria
Franjo Ivancic
Committee Member
Google
United States
Ana Milanova
Committee Member
Rensselaer Polytechnic Institute
José Morales
Committee Member
IMDEA Software Institute
Spain
Kedar Namjoshi
Committee Member
Nokia Bell Labs
United States
Jorge A.
Navas
Committee Member
Certora
United States
Oded Padon
Committee Member
VMware Research
United States
Michele Pasqua
Committee Member
University of Verona
Italy
Xavier Rival
Committee Member
Inria; ENS; CNRS; PSL University
France
Francesca Scozzari
Committee Member
University of Chieti-Pescara
Italy
Gagandeep Singh
Committee Member
University of Illinois at Urbana-Champaign; VMware Research
United States
Ilina Stoilkovska
Committee Member
Amazon
Aditya V.
Thakur
Committee Member
University of California at Davis
United States
Arnaud Venet
Committee Member
Enea Zaffanella
Committee Member
University of Parma
Italy
Qirun Zhang
Committee Member
Georgia Institute of Technology
United States
Fri 24 Apr 20:46