Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Jia Chen

Registered user since Fri 10 Aug 2018

Name: Jia Chen

Affiliation: University of Texas at Austin

Research interests: Programming Language, Software Verification, Software Security


SPLASH 2019Author of Relational Verification using Reinforcement Learning within the OOPSLA-track
Show activities from other conferences

SPLASH 2019-profile
View general profile