Travelled to:1 × Germany
1 × Italy
1 × New Zealand
1 × South Africa
1 × The Netherlands
2 × Canada
4 × USA
Collaborated with:K.Sen G.C.Necula C.Stergiou T.Elmas S.Juvekar N.Jalbert
Talks about:program (4) specif (4) multithread (3) sequenti (3) determin (3) check (3) test (3) nondeterminist (2) parallel (2) generat (2)
Person: Jacob Burnim
DBLP: Burnim:Jacob
Contributed to:
2013
2012
2011
20112011
2011
2010
2009
200920092008Wrote 11 papers:
- PLDI-2013-ElmasBNS #concurrent #debugging #domain-specific language #named
- CONCURRIT: a domain specific language for reproducing concurrency bugs (TE, JB, GCN, KS), pp. 153–164.
- PPoPP-2012-BurnimENS #correctness #named #nondeterminism #parallel #specification
- NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (JB, TE, GCN, KS), pp. 329–330.
- ASPLOS-2011-BurnimNS #parallel #semantics #source code #specification #thread
- Specifying and checking semantic atomicity for multithreaded programs (JB, GCN, KS), pp. 79–90.
- ISSTA-2011-BurnimSS #concurrent #memory management #modelling #source code #testing
- Testing concurrent programs on relaxed memory models (JB, KS, CS), pp. 122–132.
- PLDI-2011-BurnimENS #correctness #named #nondeterminism #parallel #runtime #specification
- NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness (JB, TE, GCN, KS), pp. 401–414.
- TACAS-2011-BurnimSS #consistency #memory management #modelling #monitoring
- Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.
- ICSE-2010-BurnimS #named #parallel #source code #specification #thread
- DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.
- ASE-2009-BurnimJSS #detection #infinity #lightweight #named #runtime
- Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.
- ESEC-FSE-2009-BurnimS #parallel #source code #thread
- Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.
- ICSE-2009-BurnimJS #automation #complexity #generative #named #testing #worst-case
- WISE: Automated test generation for worst-case complexity (JB, SJ, KS), pp. 463–473.
- ASE-2008-BurnimS #generative #heuristic #scalability #testing
- Heuristics for Scalable Dynamic Test Generation (JB, KS), pp. 443–446.