Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Leonid Ryzhyk" ( http://dblp.L3S.de/Authors/Leonid_Ryzhyk )

  Author page on DBLP  Author page in RDF  Community of Leonid Ryzhyk in ASPL-2

Publication years (Num. hits)
2009 (2) 2010 (1) 2011 (2)
Publication types (Num. hits)
inproceedings(5)
Venues (Conferences, Journals, ...)
ApSys(2) ASPLOS(1) EuroSys(1) SOSP(1)
Authors
Gernot Heiser(5) Leonid Ryzhyk(5) Ihor Kuz(2) Peter Chubb(2) Yanjin Zhu(2) Alastair F. Donaldson(1) Alexander Legg(1) Arun Raghunath(1) Balachandra Mirla(1) Etienne Le Sueur(1) John Keys(1) Mona Vij(1) Sidney Amani(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 8 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser Improved device driver reliability through hardware verification reuse. Search on Bibsonomy ASPLOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu Static analysis of device drivers: we can do better! Search on Bibsonomy APSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser The case for active device drivers. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF stack ripping, concurrency, device drivers
1Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser Automatic device driver synthesis with termite. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF domain-specific languages, device drivers, software synthesis, two-player games
1Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser Dingo: taming device drivers. Search on Bibsonomy EuroSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.