Junrui Liu
I 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.
Email
/
GitHub
/
LinkedIn
|
|
Research
|
(⁺ means equal contribution)
|
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
S&P'24
|
Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodik
PLDI'23
|
Junrui Liu⁺, Yanju Chen⁺, Bryan Tan, Isil Dillig, Yu Feng
ASE'22
|
Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodik
ASPLOS'22
|
- Solver-Aided Chorale Composition (poster)
Design and source code from
[1]
and
[2]
|
|