Yuyan Bao -

Registered user since Fri 16 Apr 2021

Name:Yuyan Bao

Country:United States

Affiliation:Computer and Cyber Sciences, Augusta University, Georgia, USA

Personal website: https://yuyanbao.github.io/

Research interests:Specification and Verification Languages, Programming Languages, Software Security

Contributions

2023

APSEC

Committee Member in Program Committee within the ERA - Early Research Achievements-track
Committee Member in Program Committee within the SRC - Student Research Competition-track

SPLASH

Author of Graph IRs for Impure Higher-Order Languages - Making Aggressive Optimizations Affordable with Precise Effect Dependencies within the OOPSLA-track

2022

FTfJP

Committee Member in Program Committee within the FTfJP-track

2021

SPLASH

2019

FTfJP

Committee Member in Program Committee within the FTfJP 2019-track

2015

FTfJP

Author of Conditional Effects in Fine-grained Region Logic within the FTfJP-track