Joel Galenson
I am a computer science Ph.D. student at UC Berkeley.
I am advised by Ras Bodik and Koushik Sen.

My CV is available here. My research statement is here.
Contact me at "my first name"


I expect to receive my Ph.D. from UC Berkeley in Summer 2014.
I received a B.S. (with honors and distinction) from Stanford University in 2008.

Research interests

Program synthesis, static and dynamic program analysis, testing, compilers, language design

Current research projects

Past research projects


Professional activities

External reviewer: ASPLOS 2013, OOPSLA 2013, VMCAI 2013, PLDI 2014, CAV 2014.