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)

Certificates and Training ✅

• (In progress) Certificate in College and University Teaching (CCUT)
• (In progress) Summer Teaching Institute for Associates (STIA)
• (In progress) GRAD 210 - College and University Teaching: From Theory to Practice

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. I occasionally post my progress videos here. Previously, I studied organ with Gail Archer. Random stuff: Solver-Aided Chorale Composition (poster).

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

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