On the (In)security of Fischlin’s Paradigm
Human-Powered Data Management
Fully automated algorithms are inadequate for a number of data analysis tasks, especially those involving images, video, or text. Thus, there is a need to combine “human computation” (or crowdsourcing), together with traditional computation, in…
SQLVM: Performance Isolation in Multi-Tenant Relational Database-as-a-Service
Multi-tenancy and resource sharing are essential to make a Database-as-a-Service (DaaS). However, resource sharing usually results in the performance of one tenant’s workload to be affected by other co-located tenants. In the SQLVM project, our…
Web Data Extraction and Search
The goal of this project is to extract structured data on the web (like html tables, lists, spreadsheets etc.) and make it accessible/searchable on Bing and Office 365. Some of the technical challenges: Table classification and…
Hyder, a transactional indexed-record manager for shared flash
Hyder is a transactional indexed-record manager for shared flash. That is, it supports operations on indexed records and transaction operations that bracket the record operations. It is designed to run on a cluster of servers…
Performance of Serializable Snapshot Isolation on Multicore Servers
Snapshot isolation (SI) is a widely studied concurrency control approach, with great impact in practice within platforms such as Oracle DB. Berenson et al showed though that SI does not guarantee serializable execution; in certain…