Junrui Liu | 刘均锐

I am a first-year Computer Science PhD student at UC Santa Barbara, studying program verification and synthesis. I am fortunate to be advised by Prof. Yu Feng.

I received my undergraduate degree from Vassar College, and my M.S. from Yale University.

Email  /  GitHub  /  LinkedIn

profile photo

Research

(⁺ means equal contribution)

Learning Contract Invariants Using Reinforcement Learning


Junrui Liu⁺, Yanju Chen⁺, Bryan Tan, Isil Dillig, Yu Feng
To appear at ASE 2022

Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation


Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodik
ASPLOS 2022


TA


Stuff

  • Solver-aided chorale composition (poster)



Design and source code from [1] and [2]