Registered user since Tue 17 May 2022

Name:Junrui Liu
Country:United States
Affiliation:University of California, Santa Barbara

Contributions

ASE 2022 Author of Learning Contract Invariants Using Reinforcement Learning within the Research Papers-track
PLDI 2022 Author of Visualization with Refinement Types within the SRC-track