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

Contributions

2019

SPLASH

Author of Relational Verification using Reinforcement Learning within the OOPSLA-track

2018

ESEC/FSE

Author of Singularity: Pattern Fuzzing for Worst Case Complexity within the Research Papers-track