Data platforms and analytics
Project
Rethinking Eventual Consistency
The past five years has seen a resurgence of work on replicated, distributed database systems, to meet the demands of intermittently-connected clients and disaster-tolerant database systems that span data centers. Each product or prototype uses…
Publication
Cloud Scheduling with Setup Cost
Publication
A Machine-Checked Proof of the Odd Order Theorem
Video
From Data Science to Data Intelligence
Today, we live in a data-driven world and new directions in data-driven research have already revolutionized big data applications such as gaming, Internet vision, machine translation, and spell checking by bringing machine learning to the…
Video
Research Bits: Emerson Murphy-Hill and Dean Mohamedally
“Research Bits” provide a glimpse into the research being conducted around the world through brief interviews with researchers. First, Emerson Murphy-Hill, North Carolina State University, talks about his research on how human computer interaction intersects…
Video
Research Bits: Robert Amor
“Research Bits” provide a glimpse into the research being conducted around the world through brief interviews with researchers. In this interview, Robert Amor, University of Auckland, New Zealand talks about his research in construction informatics.…
Video
Making Data Useful: User-centric Approaches to Data
We are swimming in data. Every minute, YouTube sees two days’ worth of video uploaded, Tumblr sees about 25,000 blog posts, and there are 2,000 check-ins to Foursquare. Yet most uses of data—big or small,…
