Videos

Automating and Testing Program Transformations using Program Synthesis

1 month ago
Automatic program transformation tools can be valuable for programmers to help them with refactoring tasks, and for Computer Science students in the form of tutoring systems that suggest repairs to programming assignments. However, manually implementing and testing catalogs of transformations is complex and time-consuming. In this talk, I will present two program synthesis-based techniques for […]

Seeing Experience from Many Angles: Educational Game Design as a Data-Informed Craft

1 month ago
Increasingly, educational games have become an established part of the instructional landscape, however designing a compelling and effective instructional game remains a challenge. One of the reasons for this challenge is that game players are afforded some agency to craft their own experiences, making it difficult to anticipate the kinds of experiences they might have. […]

Streaming Lower Bounds for Approximating MAX-CUT

1 month ago
We consider the problem of estimating the value of MAX-CUT in a graph in the streaming model of computation. We show that there exists a constant $e_* > 0$ such that any randomized streaming algorithm that computes a $(1+e_*)$-approximation to MAX-CUT requires $Omega(n)$ space on an $n$ vertex graph. By contrast, there are algorithms that […]

Artificial Intelligence to Ease Parents’ Pain in Summer Camp Planning

1 month ago
Today, one can Lyft a ride and AirBnb home away from home all in minutes. However, when comes to planning for our children’s enrichment activities, it takes us poor parents hours and days. Now 6crickets.com is going to change all that. 6crickets offers one easy stop for parents to discover, schedule, book and share children’s […]

Information-Performance Tradeoffs in Control

1 month ago
Consider a flying drone controlled from the ground by an observer who communicates with it via wireless. We are interested in how well the drone can be controlled via a channel that accepts r bits/sec. Formally, the controller of a linear stochastic system aims to minimize a quadratic cost function in the state variables and […]

Combining Algorithms and Humans for Large-Scale Data Integration

1 month ago
Modern enterprises collect data from their operations and the web, and strongly depend on the collected data to make important decisions. To analyze the collected data, enterprises need to first perform data integration, i.e., combine the data from the multiple sources to create a unified set. Data integration involves some tasks that are still very […]

Pelican Cold-storage System Demo

2 months ago
Pelican is a disk-based rack-scale cold data store. It has a converged rack-scale design in which resources, such as power and cooling are provisioned just for the requirements of the workload. Thanks to that, Pelican has a low total cost of ownership comparable to tape and has a much lower latency than tape. Achieving that […]

Data Science Education at the Heart of the 21st Century University

2 months ago
The Research University, rooted in the Land-Grant College Act at the outset of industrialization and transformed post-war with “Science the Endless Frontier” and GI Bill participation, is experiencing a third transformation with the broad emergence of Data Science. The transition of almost every field of discovery to becoming data-rich mirrors changes occurring in almost every […]

Thumb + Pen Interaction on Tablets

2 months ago
Thumb + Pen Interaction on Tablets addresses the simultaneous, and complementary, use of pen & touch modalities for interaction in laptop scenarios, such as when using a Surface tablet on the couch, where the nonpreferred hand must often hold the device itself. In this case, the thumb is available and sufficiently mobile to manipulate many […]

WritLarge: Ink Unleashed by Unified Scope, Action, & Zoom

2 months ago
WritLarge is a prototype system from Microsoft Research for the 84″ Microsoft Surface Hub, a large electronic whiteboard supporting both pen and multi-touch input. WritLarge allows creators to unleash the latent expressive power of ink in a compelling manner. Using multitouch, the user can simply frame a portion of their “whiteboard” session between thumb and forefinger, […]

SPARCS

2 months ago
Video about SPARCS See more on this video at www.microsoft.com/en-us/research/video/sparcs-video/

Sparse Haptic Proxy: touch feedback in virtual environments

2 months ago
Microsoft Research researchers—Eyal Ofek, Christian Holz, Hrvoje Benko, and Andy Wilson, along with Lung-Pan Chen, a visiting intern from HPI, Germany—has proposed a solution that can help us feel our environment while in VR. The authors built a system that tricks your senses by redirecting your hands, such that whenever you see yourself touching a […]