Jacob Burnim - RankMe

14 papers A* 6A 2B 1Journal 2Unranked 3

Year	Rank	Type	Title / 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