Jiayi Wei -

Registered user since Fri 10 Aug 2018

Name:Jiayi Wei

Country:United States

Affiliation:University of Texas at Austin

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

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