|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 11 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 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 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: a race-aware Java runtime. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran |
Simplifying Linearizability Proofs with Reduction and Abstraction. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayfun Elmas |
QED: a proof system based on reduction and abstraction for the static verification of concurrent software. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
| 1 | Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer |
An annotation assistant for interactive debugging of programs with common synchronization idioms. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
synchronization idioms, concurrent programs, atomicity |
| 1 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
A calculus of atomic actions. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
| 1 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: a race and transaction-aware java runtime. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
Java runtime, software transactions, runtime monitoring, data-race detection |
| 1 | Serdar Tasiran, Tayfun Elmas |
Rollback Atomicity. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayfun Elmas, Serdar Tasiran |
VyrdMC: Driving Runtime Refinement Checking with Model Checkers. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas |
A classification of concurrency bugs in java benchmarks by developer intent. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
concurrency errors, verification, refinement, atomicity, race condition |
| 1 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayfun Elmas, Serdar Tasiran, Shaz Qadeer |
VYRD: verifYing concurrent programs by runtime refinement-violation detection. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
refinement, runtime verification, concurrent data structures |
| 1 | Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu |
A Novel Test Coverage Metric for Concurrently-Accessed Software Components. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayfun Elmas, Öznur Özkasap |
Distributed Document Sharing with Text Classification over Content-Addressable Network. |
AWCC |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")