Skip to content
cs-conference-ranking.org

Jacob Burnim

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

6

Active years

2009–2013

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2013PLDICONCURRIT: a domain specific language for reproducing concurrency bugs.Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen
2012PPoPPNDetermin: inferring nondeterministic sequential specifications for parallelism correctness.Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2011ASPLOSSpecifying and checking semantic atomicity for multithreaded programs.Jacob Burnim, George C. Necula, Koushik Sen
2011ISSTATesting concurrent programs on relaxed memory models.Jacob Burnim, Koushik Sen, Christos Stergiou
2011PLDINDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2011TACASSound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.Jacob Burnim, Koushik Sen, Christos Stergiou
2010ICSEDETERMIN: inferring likely deterministic specifications of multithreaded programs.Jacob Burnim, Koushik Sen
2009ICSEWISE: Automated test generation for worst-case complexity.Jacob Burnim, Sudeep Juvekar, Koushik Sen