Jacob Burnim

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 1

Top Topics

Biologically Plausible

Liquid State Machine

Prediction Accuracy

Top Venues

Publications

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