OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Sarah Chasins
Assistant Professor, EECS, University of California, Berkeley
Joined
July 2019
Names
Sarah Chasins
,
Sarah E. Chasins
,
S. E. Chasins
Emails
****@cs.berkeley.edu
(Confirmed)
,
****@berkeley.edu
(Confirmed)
,
****@eecs.berkeley.edu
(Confirmed)
,
****@gmail.com
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
ORCID
Semantic Scholar
Career & Education History
Assistant Professor
EECS,
University of California, Berkeley
(berkeley.edu)
2020
–
Present
Advisors, Relations & Conflicts
PhD Advisor
Ras Bodik
Present
Expertise
Program Synthesis
Present
Publications
Unspoken Logic: Understanding and bridging the gap between free-form and LLM-interpretable natural language mathematical proofs
Chenjun Guo
,
Manooshree Patel
,
Bjoern Hartmann
,
J.D. Zamfirescu-Pereira
,
Sarah Chasins
,
Gireeja Ranade
MATH-AI 2025 Poster
Readers:
Everyone
Browser Record and Replay as a Building Block for End-User Web Automation Tools
Sarah Chasins
,
Shaon Barman
,
Rastislav Bodík
,
Sumit Gulwani
2015 (modified: 12 Nov 2022)
WWW (Companion Volume) 2015
Readers:
Everyone
Dicer: A Framework for Controlled, Large-Scale Web Experiments
Sarah Chasins
,
Phitchaya Mangpo Phothilimthana
2015 (modified: 12 Nov 2022)
WWW (Companion Volume) 2015
Readers:
Everyone
Co-Authors
Bjoern Hartmann
Chenjun Guo
Gireeja Ranade
J.D. Zamfirescu-Pereira
Manooshree Patel
Phitchaya Mangpo Phothilimthana
Rastislav Bodík
Shaon Barman
Sumit Gulwani