|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 4 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen |
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.  |
PPOPP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen |
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, Koushik Sen, Christos Stergiou |
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, Koushik Sen, Christos Stergiou |
Testing concurrent programs on relaxed memory models. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, George C. Necula, Koushik Sen |
Specifying and checking semantic atomicity for multithreaded programs. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, Koushik Sen |
Asserting and checking determinism for multithreaded programs. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, Koushik Sen |
DETERMIN: inferring likely deterministic specifications of multithreaded programs. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
parallel programs, determinism, specification inference |
| 1 | Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen |
Looper: Lightweight Detection of Infinite Loops at Runtime. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, Sudeep Juvekar, Koushik Sen |
WISE: Automated test generation for worst-case complexity. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, Koushik Sen |
Asserting and checking determinism for multithreaded programs. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
parallel programs, determinism, assertions |
| 1 | Jacob Burnim, Koushik Sen |
Heuristics for Scalable Dynamic Test Generation. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")