Jacob Burnim

According to our database, Jacob Burnim authored at least 14 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scalable Spatiotemporal Prediction with Bayesian Neural Fields.

Feras Saad, Jacob Burnim, Colin Carroll, Brian Patton, Urs Köster, Rif A. Saurous, Matthew Hoffman

CoRR, 2024

2013

CONCURRIT: a domain specific language for reproducing concurrency bugs.

Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Lightweight Specifications for Parallel Correctness.

Jacob Samuels Burnim

PhD thesis, 2012

NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.

Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration.

Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen

Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

2011

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.

Jacob Burnim, Koushik Sen, Christos Stergiou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.

Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Testing concurrent programs on relaxed memory models.

Jacob Burnim, Koushik Sen, Christos Stergiou

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Specifying and checking semantic atomicity for multithreaded programs.

Jacob Burnim, George C. Necula, Koushik Sen

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Asserting and checking determinism for multithreaded programs.

Jacob Burnim, Koushik Sen

Commun. ACM, 2010

DETERMIN: inferring likely deterministic specifications of multithreaded programs.

Jacob Burnim, Koushik Sen

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Looper: Lightweight Detection of Infinite Loops at Runtime.

Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen

Proceedings of the ASE 2009, 2009

WISE: Automated test generation for worst-case complexity.

Jacob Burnim, Sudeep Juvekar, Koushik Sen

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Heuristics for Scalable Dynamic Test Generation.

Jacob Burnim, Koushik Sen

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008