Junrui Liu

I am a fourth-year Computer Science PhD student 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

Publications & Manuscripts

(+ means equal contribution)

Refinement Types for Visualization

Certifying Zero-Knowledge Circuits with Refinement Types

Conflict-Driven Synthesis for Layout Engines

Learning Contract Invariants Using Reinforcement Learning

Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation

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

Teaching

Awards

• Outstanding Teaching Assistant in Computer Science (2024)
• Outstanding Teaching Assistant in Computer Science (2023)

Co-instructor

Teaching assistant

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, and am currently studying the carillon with Wesley Arai. Previously, I studied organ with Gail Archer.

Random stuff: Solver-Aided Chorale Composition (poster)

I'm a moderate weeb and speak Japanese (not jyozu). I enjoy watching owarai and anime, listening to radio, and reading Murakami.

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