DNA Assembly for Nanopore Data Storage Readout
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…
Socrates: The New SQL Server in the Cloud
Higher Fidelity Systems for Online Discussion
My group develops systems to help people manage information and share it with others. We study both text (online discussion tools) and structured data (information visualization and management applications). Our guiding principle is that humans…
Pravega, a new storage abstraction data streams
Streaming Analytics has become an indispensable tool for any agile organization. While the rapid evolution of streaming tools has provided the ability to react to incoming data instantly, it has also introduced several engineering challenges.…