Write a Blog >>
AI-SEPS 2019
Sun 20 - Fri 25 October 2019
Athens, Greece
co-located with
SPLASH 2019
Toggle navigation
Attending
Venue: Royal Olympic Hotel
Banquet Venue: Aegli
Program
Complete Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
AI-SEPS 2019 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
AI-SEPS 2019
AI-SEPS 2018
SEPS 2017
SEPS 2016
SEPS 2015
SEPS
Sign in
Sign up
SPLASH 2019
(
series
) /
AI-SEPS 2019 (
series
) /
Yuyang Sang
SPLASH 2019 profile
conf.research.org general profile
POPL 2022 profile
Registered user since Mon 8 Jul 2019
Name:
Yuyang Sang
Affiliation:
Yale University
Contributions
2019
SPLASH
DeepSEA: A Language for Certified System Software
DeepSEA: A Language for Certified System Software
Show activities from other conferences
Share
SPLASH 2019-profile
View general profile
x
Wed 14 Aug 22:08