Junrui Liu

I am a fourth-year PhD student studying computer science at UC Santa Barbara, advised by Professor Yu Feng. I am interested in all things related to programming languages, especially in verification and synthesis.

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

Email  /  GitHub  /  LinkedIn

profile photo

Publications & Manuscripts

(+ means equal contribution)

Refinement Types for Visualization


Jingtao Xia + Junrui Liu, Nicholas Brown, Yanju Chen, Yu Feng
ASE'24

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
S&P'24

Conflict-Driven Synthesis for Layout Engines


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

Learning Contract Invariants Using Reinforcement Learning


Junrui Liu + Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng
ASE'22

Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation


Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodik
ASPLOS'22

A Study of HTTP/2's Server Push Performance Potential


Rui Meireles, Junrui Liu, Peter Steenkiste
arXiv manuscript


Teaching

Awards

Co-instructor

2024 Spring
CS 292C: Computer-Aided Reasoning for Software

Teaching assistant

2024 Spring
CS 190J: Blockchain Technologies and Security
2024 Winter
CS 162: Programming Languages
2023 Spring
CS 160: Compilers
2023 Winter
CS 162: Programming Languages
2022 Winter
CS 162: Programming Languages
2021 Fall
CS 160: Compilers
2018 Spring
PHIL 125: Logic (Vassar)


Talks & Tutorials

  • Polymorphism, Curry-Howard, and Program Verification (guest lecture for CS162 @ UCSB)
  • Formal Verification for Zero-Knowledge Proofs (Applied ZK Workshop @ SBC'22)
  • Introduction to Interactive Theorem Proving in Coq (0xPARC Summer Residency 2022)
  • Refinement Types and Program Verification (guest lecture for CS162 @ UCSB)

Personal

I enjoy playing music. I'm studying carillon with Wesley Arai. As an undergrad at Vassar College, I studied organ with Gail Archer.

Random stuff: Solver-Aided Chorale Composition (poster)



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