OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Jocelyn Qiaochu Chen
Assistant Professor, University of Alberta
Postdoc, New York University
Joined
October 2020
Names
Jocelyn Qiaochu Chen
(Preferred)
,
Qiaochu Chen
Emails
****@cs.utexas.edu
(Confirmed)
,
****@gmail.com
(Confirmed)
,
****@cs.nyu.edu
(Confirmed)
,
****@ualberta.ca
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
ORCID
Career & Education History
Assistant Professor
University of Alberta
(ualberta.ca)
2026
–
Present
Postdoc
New York University
(nyu.edu)
2024
–
2026
PhD student
The University of Texas at Austin
(utexas.edu)
2018
–
2024
Undergrad student
University of Wisconsin - Madison
(wisc.edu)
2014
–
2018
Advisors, Relations & Conflicts
PhD Advisor
Isil Dillig
2018
–
2024
PhD Advisor
Greg Durrett
2018
–
2024
Expertise
program synthesis
2018
–
Present
Publications
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
Anirudh Khatry
,
Robert Zhang
,
Jia Pan
,
Ziteng Wang
,
Qiaochu Chen
,
Greg Durrett
,
Isil Dillig
COLM 2025
Readers:
Everyone
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
Xi Ye
,
Qiaochu Chen
,
Isil Dillig
,
Greg Durrett
MATH-AI 23 Poster
Readers:
Everyone
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
Xi Ye
,
Qiaochu Chen
,
Isil Dillig
,
Greg Durrett
NeurIPS 2023 poster
Readers:
Everyone
Co-Authors
Anirudh Khatry
Greg Durrett
Isil Dillig
Jia Pan
Robert Zhang
Xi Ye
Ziteng Wang