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
AI-SEPS 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
) /
Shengyi Wang
SPLASH 2019 profile
conf.research.org general profile
APLAS 2019 profile
ICFP/SPLASH 2025 profile
PLDI 2018 profile
PLDI 2024 profile
POPL 2024 profile
Registered user since Mon 15 Jan 2024
Name:
Shengyi Wang
Affiliation:
National University of Singapore
Contributions
2019
SPLASH
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Show activities from other conferences
Share
SPLASH 2019-profile
View general profile
x
Thu 19 Dec 11:35