Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Junrui Liu
conf.researchr.org general profile
ASE 2022 profile
ASE 2024 profile
PLDI 2022 profile
PLDI 2023 profile
Registered user since Tue 17 May 2022
Name:
Junrui Liu
Country:
United States
Affiliation:
University of California, Santa Barbara
Contributions
2024
ASE
Author of Refinement Types for Visualization within the Research Papers-track
2023
PLDI
Author of Conflict-Driven Synthesis for Layout Engines within the PLDI Research Papers-track
2022
ASE
Author of Learning Contract Invariants Using Reinforcement Learning within the Research Papers-track
PLDI
Author of Visualization with Refinement Types within the SRC-track
Share
x
Mon 19 May 08:19
