Yanjin Zhu - Thesis Student
Trustworthy Embedded Systems Project
Research Interests
Yanjin's research interests include microkernel-based operating systems,
reliability, device drivers and software architectures.
NICTA Projects
* Dingo2::Runtime Support for Event-Based Programming in the Linux Kernel
* Thesis Topic: Transaction-level modelling of I/O devices for automatic device-driver synthesis
Qualifications
Yanjin is a 5th year Computer Engineering/Science student at the University of New South Wales.
Contact Details
| Phone: | +61 2 83060593 |
|---|---|
| Email: | yanjin.zhu@nicta.com.au |
More contact information is available at the ERTOS Contacts page.
Publications
NICTA Papers
2010
|
 |
Leonid Ryzhyk, Yanjin Zhu and Gernot Heiser The case for active device drivers Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010 |