![]() |
![]() |
![]() |
||||
Projects |
||||||
![]() |
![]() |
![]() |
||||
![]() |
Projects |
|||
Current ProjectsLinux Scalability and MosbenchA set of application benchmarks designed to measure scalability of operating systems DProf Statistical profiler that helps programmers understand cache miss costs ![]() Simple naming and global connectivity for mobile devices System Security |
Selected former projects![]() Chord ![]() P2Psim ![]() Click ![]() SFS ![]() Pastwatch ![]() ![]() Decentralized Information Flow Control for Linux ![]() Exokernel ![]() Grid ![]() `C and tcc ![]() Prolac ![]() Rover |