Heuristics for Scalable Dynamic Test Generation. - Jacob Burnim; Koushik Sen (ASE, 2008)

WISE: Automated test generation for worst-case complexity. - Jacob Burnim; Sudeep Juvekar; Koushik Sen (ICSE, 2009)

Looper: Lightweight Detection of Infinite Loops at Runtime. - Jacob Burnim; Nicholas Jalbert; Christos Stergiou 001; Koushik Sen (ASE, 2009)

DETERMIN: inferring likely deterministic specifications of multithreaded programs. - Jacob Burnim; Koushik Sen (ICSE (1), 2010)

Asserting and checking determinism for multithreaded programs. - Jacob Burnim; Koushik Sen (Commun. ACM, 2010)

Specifying and checking semantic atomicity for multithreaded programs. - Jacob Burnim; George C. Necula; Koushik Sen (ASPLOS, 2011)

Testing concurrent programs on relaxed memory models. - Jacob Burnim; Koushik Sen; Christos Stergiou 001 (ISSTA, 2011)

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. - Jacob Burnim; Tayfun Elmas; George C. Necula; Koushik Sen (PLDI, 2011)

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. - Jacob Burnim; Koushik Sen; Christos Stergiou 001 (TACAS, 2011)

CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. - Jacob Burnim; Tayfun Elmas; George C. Necula; Koushik Sen (HotPar, 2012)

NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. - Jacob Burnim; Tayfun Elmas; George C. Necula; Koushik Sen (PPoPP, 2012)

Lightweight Specifications for Parallel Correctness. - Jacob Samuels Burnim (2012)

CONCURRIT: a domain specific language for reproducing concurrency bugs. - Tayfun Elmas; Jacob Burnim; George C. Necula; Koushik Sen (PLDI, 2013)

Scalable Spatiotemporal Prediction with Bayesian Neural Fields. - Feras Saad; Jacob Burnim; Colin Carroll; Brian Patton; Urs Köster; Rif A. Saurous; Matthew Hoffman 001 (CoRR, 2024)