Jacob Burnim

14 papers A* 6A 2B 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Scalable Spatiotemporal Prediction with Bayesian Neural Fields.
CoRR
Feras Saad, Jacob Burnim, Colin Carroll, Brian Patton, Urs Köster, Rif A. Saurous, Matthew Hoffman
2013 A* conf
CONCURRIT: a domain specific language for reproducing concurrency bugs.
PLDI
Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen
2012 — conf
CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration.
HotPar
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2012 B conf
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.
PPoPP
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2011 A* conf
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.
PLDI
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2011 A conf
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.
TACAS
Jacob Burnim, Koushik Sen, Christos Stergiou
2011 A* conf
Specifying and checking semantic atomicity for multithreaded programs.
ASPLOS
Jacob Burnim, George C. Necula, Koushik Sen
2011 A conf
Testing concurrent programs on relaxed memory models.
ISSTA
Jacob Burnim, Koushik Sen, Christos Stergiou
2010 J jnl
Asserting and checking determinism for multithreaded programs.
Commun. ACM
Jacob Burnim, Koushik Sen
2010 — conf
DETERMIN: inferring likely deterministic specifications of multithreaded programs.
ICSE (1)
Jacob Burnim, Koushik Sen
2009 — conf
Asserting and checking determinism for multithreaded programs.
ESEC/SIGSOFT FSE
Jacob Burnim, Koushik Sen
2009 A* conf
Looper: Lightweight Detection of Infinite Loops at Runtime.
ASE
Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen
2009 A* conf
WISE: Automated test generation for worst-case complexity.
ICSE
Jacob Burnim, Sudeep Juvekar, Koushik Sen
2008 A* conf
Heuristics for Scalable Dynamic Test Generation.
ASE
Jacob Burnim, Koushik Sen