I am third-year Ph.D. student in Computer Science at the University of California, Berkeley. I work on software testing and program analysis with Koushik Sen.
jburnim AT cs.berkeley.edu
(415) 971-8004
EECS Department, UC Berkeley
584 Soda Hall, #1776
Berkeley, CA 94720-1776
Asserting and Checking Determinism for Multithreaded Programs
Jacob Burnim,
Koushik Sen
In the 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2009
ACM SIGSOFT Distinguished Paper Award
[paper]
[src]
WISE: Automated Test Generation for Worst-Case Complexity
Jacob Burnim,
Sudeep Juvekar,
Koushik Sen
In the 31st IEEE/ACM International Conference on Software Engineering (ICSE), 2009
[paper]
[slides]
Looper: Lightweight Detection of Infinite Loops at Runtime
Jacob Burnim,
Nicholas Jalbert,
Christos Stergiou,
Koushik Sen
In the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2009
[paper]
Path Slicing per Object for Better Testing, Debugging, and Usage Discovery
Jacob Burnim,
Sudeep Juvekar,
Koushik Sen
Technical Report No. UCB/EECS-2009-132, 2009.
[tech report]
Heuristics for Dynamic Test Generation (short paper)
Jacob Burnim, Koushik Sen
In the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2008
[paper]
[poster]
[tech report]
Classical scaling of the quantum capacitances for molecular wires
James C. Ellenbogen,
Carl A. Picconatto,
Jacob S. Burnim
Physical Review A, 2007
[paper]
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.
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 recieved 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.