Junrui Liu

I am a second-year PhD student studying computer science at UC Santa Barbara, advised by Professor Yu Feng. I am interested in program verification and synthesis.

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

Email  /  GitHub  /  LinkedIn

profile photo


(⁺ means equal contribution)

Certifying Zero-Knowledge Circuits with Refinement Types

Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
To appear at S&P 2024

Conflict-Driven Synthesis for Layout Engines

Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodik
PLDI 2023

Learning Contract Invariants Using Reinforcement Learning

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

Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation

Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodik



  • Outstanding Teaching Assistant in Computer Science (link)
  • Solver-Aided Chorale Composition (poster)

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