Jacob Burnim
Jacob Burnim
Google Research
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Heuristics for scalable dynamic test generation
J Burnim, K Sen
Proceedings of the 2008 23rd IEEE/ACM international conference on automated …, 2008
4922008
WISE: Automated test generation for worst-case complexity
J Burnim, S Juvekar, K Sen
Proceedings of the 31st International Conference on Software Engineering …, 2009
1222009
Asserting and checking determinism for multithreaded programs
J Burnim, K Sen
Proceedings of the the 7th joint meeting of the European software …, 2009
882009
Testing concurrent programs on relaxed memory models
J Burnim, K Sen, C Stergiou
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
692011
Sound and complete monitoring of sequential consistency for relaxed memory models
J Burnim, K Sen, C Stergiou
International Conference on Tools and Algorithms for the Construction and …, 2011
692011
Looper: Lightweight detection of infinite loops at runtime
J Burnim, N Jalbert, C Stergiou, K Sen
Proceedings of the 2009 IEEE/ACM International Conference on Automated …, 2009
592009
System and method for targeting information items based on popularities of the information items
U Mahadevan, JS Burnim
US Patent 8,601,004, 2013
382013
CONCURRIT: a domain specific language for reproducing concurrency bugs.
T Elmas, J Burnim, GC Necula, K Sen
Proceedings of the 34th ACM SIGPLAN Symposium on Programming Language Design …, 2013
322013
System and method for targeting advertisements or other information using user geographical information
JS Burnim
US Patent 7,949,714, 2011
322011
Specifying and checking semantic atomicity for multithreaded programs
J Burnim, G Necula, K Sen
Proceedings of the sixteenth international conference on Architectural …, 2011
252011
DETERMIN: inferring likely deterministic specifications of multithreaded programs
J Burnim, K Sen
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
232010
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness
J Burnim, T Elmas, G Necula, K Sen
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
212011
CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration
J Burnim, T Elmas, G Necula, K Sen
Proceedings of the 2nd USENIX conference on Hot topics in Parallelism, 2012
162012
Classical scaling of the quantum capacitances for molecular wires
JC Ellenbogen, CA Picconatto, JS Burnim
Physical Review A 75 (4), 042102, 2007
142007
NDetermin: Inferring nondeterministic sequential specifications for parallelism correctness
J Burnim, T Elmas, G Necula, K Sen
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of …, 2012
62012
Separating functional and parallel correctness using nondeterministic sequential specifications
J Burnim, G Necula, K Sen
Proceedings of the 2nd USENIX conference on Hot topics in parallelism, 6-6, 2010
52010
Path Slicing per Object for Better Testing, Debugging, and Usage Discovery
S Juvekar, J Burnim, K Sen
University of California, Berkeley, 2009
42009
On the Scaling of Electronic Charge-Storing Memory Down to the Size of Molecules
JS Burnim
The MITRE Corporation, 2001
22001
Concurrent assertion
JS Burnim, M Musuvathi, S Qadeer
US Patent 9,053,227, 2015
2015
Lightweight Specifications for Parallel Correctness
J Burnim
University of California, Berkeley, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20