Jacob Burnim

I am a software engineer at Sift Science, fighting fraud with machine learning.

I recently finished my Ph.D. in Computer Science at the University of California, Berkeley, where I worked on software testing and program analysis with Koushik Sen.

Contact

jburnim AT gmail.com

(415) 971-8004

Publications

Determinism and Correctness for Parallel Programs

Correctness of Parallel Programs under Relaxed Memory Consistency

Symbolic Execution and Automated Test Generation

Other Work

Service

I was Local Organization Co-Chair for RV 2011.

I have been an external reviewer or sub-reviewer for:

Software

I maintain CREST, a test generation tool for C. CREST is a C++ platform for building strategies for exploring the path space of a C program using concolic execution.

Previously

Before starting at Berkeley, I worked for a year as a software engineer at Google on the (Web) Search Quality team. I also interned on the Gmail Ads team.

I received my B.S. in Computer Science and Mathematics at the California Institute of Technology. I remain a proud Darb.

I spent three summers in the MITRE Nanosystems Group, working with Dr. James Ellenbogen on quantum capacitances and designs for nanoscale memory.