Junrui LiuI am a third-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. |
|
Research |
|
(⁺ means equal contribution) |
Certifying Zero-Knowledge Circuits with Refinement TypesJunrui 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 EnginesJunrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodik PLDI'23 |
Learning Contract Invariants Using Reinforcement LearningJunrui Liu⁺, Yanju Chen⁺, Bryan Tan, Isil Dillig, Yu Feng ASE'22 |
Tree Traversal Synthesis Using Domain-Specific Symbolic CompilationYanju Chen, Junrui Liu, Yu Feng, Rastislav Bodik ASPLOS'22 |
Teaching |
- College of Engineering Outstanding Teaching Assistant in Computer Science
- Co-instructor: CS292C - Computer-Aided Reasoning for Software (Spring'24)
- Teaching assistant: CS162 - Programming Languages (Winter'24, Winter'22, Winter'23)
- Teaching assistant: CS160 - Translation of Computer Programs (Spring'23, Fall'21)
- Teaching assistant: CS190J - Blockchain Technologies and Security (Spring'24)
Stuff |
- Solver-Aided Chorale Composition (poster)
|
|