(1 - 17 from 21
)
CS Talk - Leonid Ryzhyk | Computer Science - Yale University
cpsc.yale.edu
· Bio: Leonid Ryzhyk is a postdoctoral researcher in the Carnegie Mellon University School of Computer Science. Leonid’s research focuses on operating systems and in particular using formal methods to build better operating systems. He received his PhD from the University of New South Wales in
DBLife: Leonid Ryzhyk News Archive
dblife.cs.wisc.edu
Return to Leonid Ryzhyk's Superhomepage. No news available. DBlife. Developed by the Database Group at the University of Wisconsin and Yahoo! Research.
Galois tech talk: Automatic Device Driver Synthesis »...
calagator.org
bio: Leonid Ryzhyk is a postdoctoral fellow at the University of Toronto and a researcher at NICTA. He received his PhD from the University of ...
HotDep '10 Workshop Sessions
www.usenix.org
Leonid Ryzhyk, NICTA and University of New South Wales; John Keys, Intel Corporation; Balachandra Mirla, NICTA and University of New ...
sorted by relevance / date