Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Video
Argosy: Verifying Layered Storage Systems With Recovery Refinement
Storage systems make persistence guarantees even if the system crashes at any time, which they achieve using recovery procedures that run after a crash. Realistic storage systems are built using layered abstractions, built on top…
Publication
The Case for Learning-and-System Co-design
Publication
Low-Cost Aerial Imaging for Small Holder Farmers
Podcast
The brave new world of cloud-scale systems and networking with Dr. Lidong Zhou
If you’re like me, you’re no longer amazed by how all your technologies can work for you. Rather, you’ve begun to take for granted that they simply should work for you. Instantly. All together. All…
