Microsoft Research Lab – Redmond

San Francisco, CA, USA | February 2017

The AAAI-17 Workshop Program will be February 4-5 at the Hilton San Francisco Union Square and include 17 workshops covering various topics in artificial intelligence.

MSR Redmond, Building 99 | January 2017

The Theory Seminar hosts talks in mathematics, theoretical computer science, and related areas.

Seattle, WA, USA | January 2017

QIP 2017 will be hosted in Seattle, Washington by the QuArC group at Microsoft Research in Redmond and the University of Washington January 14-20, 2017.

Hanoi, Vietnam | December 2016

Microsoft is a sponsor of the 22nd Annual International Conference on the Theory and Applications of Cryptology and Information Security (ASIACRYPT) in Hanoi, Vietnam, on December 4-8, 2016.

Seattle, WA, USA | November 2016

Venue: Motif Hotel Seattle CHESE 2016 is a workshop of FSE 2016 Submission Deadline: August 1, 2016 Author Notification: August 15, 2016 Submit your papers via the EasyChair CHESE 2016 submission website

Seattle, WA, USA | November 2016

Microsoft is excited to have been part of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) in Seattle, WA, on November 13-18, 2016.

Microsoft Research 99/1919 | November 2016

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Austin, Texas, USA | November 2016

This year's EMNLP 2016 Conference on Empirical Methods in Natural Language Processing was held November 1–5, 2016 in Austin, Texas, USA.

University of Texas at Austin | October 2016

Azure for Research data science-focused, one-day training ​​​centered on Big Data Storage, Machine Learning and Advanced Analytics, Cognitive Intelligence and Azure Compute.

University of Chicago | October 2016

Azure for Research data science-focused, one-day training ​​​centered on Big Data Storage, Machine Learning and Advanced Analytics, Cognitive Intelligence and Azure Compute.

Heidelberg, Germany | September 2016

It was our pleasure to be part of the ACM International Joint Conference on Pervasive and Ubiquitous Computing (UBICOMP) in Heidelberg, Germany, on September 12-16, 2016. Microsoft was a Silver sponsor and proud to have several researchers attend and present at UBICOMP.

Kazan, Russia | July 2016

The Microsoft Summer School on the Internet of Things took place in Kazan, Russia, from July 17 to 23, 2016. Our summer schools provide a unique opportunity for students to learn about fundamental and state-of-the-art results and to mingle with world leaders in the field.

Redmond, WA, USA | July 2016

The workshop highlighted recent advances in quantum algorithms, quantum devices, control systems, and quantum error correction.

Redmond, WA, USA | July 2016

This workshop brought together experts in the areas of machine learning, vision, planning, programming languages and verification to discuss the latest advances with the aim of catalyzing a joint effort between academia and industry with the goal of advancing Safety in Autonomous Cyber Physical Systems. The daylong workshop consisted of invited talks, discussions, and demos as part of the Microsoft Faculty Summit 2016.

Redmond, WA, USA | July 2016

The 17th annual Microsoft Research Faculty Summit once again proved its unique place at the nexus of industry and academic research as more than 500 participants from around the world gathered in Redmond. This year’s theme focused on where and how computing can contribute to increasing productivity in our professional and personal activities. Attendees from academia and Microsoft participated in sessions ranging from virtual reality, optical networks, streaming analytics and big data infrastructure to the future of work and crowdsourced problem solving.

Redmond, WA | April 2016

Registration: Registration is now closed.  

Vienna, Austria | April 2016

Contact: For questions about the competition, please email [email protected] Sponsors    

Redmond, WA, USA | July 2015

This workshop will consider reliable, scalable interactive applications for the cloud. There will be talks and discussion of other mature and proposes systems, and of how open source can be utilized to advance and improve tools.

Redmond, WA, USA | July 2015

The Microsoft Research Faculty Summit brings together Microsoft researchers and world leading academics to explore how technological innovation can solve some of the world’s most difficult problems. Rapid advances across all areas of computing are giving rise to new solutions in health, education, commerce and other endeavors, highlighting the importance of fostering closer collaboration among the academic research community. The 2015 Faculty Summit held at Microsoft Research Redmond featured talks and workshops discussing the advances being made in Machine Learning, Quantum Algorithms, and Software Engineering.

Bellevue, WA, USA | July 2015

Software Engineering Mix provides a forum for our colleagues from academia to interact directly with Microsoft engineers. The program will feature talks from academics: highlights of published research that is highly relevant for Microsoft and blue sky talks summarizing emerging research areas. In addition, practitioners will give presentations about theoretical and pragmatic engineering challenges they face, perhaps soliciting help from academia. A coffee round table setting will be used to facilitate discussions. This session builds on the success of SEIF Days, which provided a discussion forum about the future of software engineering.

Portland, OR, United States | October 2014

A Workshop of: SPLASH/OOPSLA, October 20–24, 2014 Venue: Portland Marriott Downtown Waterfront Hotel Salon G PROMOTO 2013: The 1st PROMOTO Workshop was held at SPLASH in October 2013. Download papers

Guarujá, Brazil | October 2014

Related Events eScience Workshop 2005 eScience Workshop 2006 eScience Workshop 2007 eScience Workshop 2008 eScience Workshop 2009 eScience Workshop 2010 eScience Workshop 2011 eScience Workshop 2011-Transforming Scholarly Communication eScience Workshop 2012 eScience Workshop 2013

Redmond, WA, US | July 2014

Venue: Microsoft Conference Center Building 33 16070 NE 36th Way, Redmond, WA 98052 Previous Workshop: SEIF Day 2012

Redmond, WA, United States | July 2014

Today’s data-driven research and development is stymied by an inability for scientists and their collaborators to easily reproduce and augment one another’s experiments. CodaLab addresses this problem by providing a cloud-based virtual “workbench” where computer scientists can conduct data-driven experiments quickly and easily. These experiments can then be easily copied, re-worked, and edited by other collaborators in order to advance the state of the art in data-driven research and machine learning.

Redmond, WA, USA | July 2014

Leading academic researchers and educators joined Microsoft researchers and engineers to explore future technology trends that will define the twenty-first century at the fifteenth annual Microsoft Research Faculty Summit. Topics included computing devices and the Internet of Things, hardware-software co-design, data visualization, crowdsourcing applications, machine learning, and the algorithms that underlie emerging fields, such as computational neuroscience.

Indian Institute of Science, Bangalore, INDIA | June 2014

Program Committee: Rajesh Sundaresan, Indian Institute of Science Ramachandran Ramjee, Microsoft Research Krishna Chintalapudi, Microsoft Research

Redmond, WA, U.S. | April 2014

Venue: Microsoft Research Building 99 Redmond, Washington Workshop co-chairs: Dennis Gannon and Kristin Tolle Microsoft Research Connections Related Events eScience Workshop 2014 IEEE International Conference on eScience 2014 eScience Workshop 2013 Microsoft Azure Microsoft Azure for Research Microsoft Azure home…

Microsoft Research, Redmond | February 2014

Secure multi-party computation (MPC) allows a set of parties to compute a function of their inputs while preserving input privacy and correctness. MPC has been an active area of research of cryptography for over 30 years. The last decade has witnessed significant interest and advances in the applied aspects of MPC. This workshop will bring together researchers in security and cryptography to discuss recent advances, challenges and research directions related to applied secure computation.

Beijing, China | October 2013

Related Events eScience Workshop 2005 eScience Workshop 2006 eScience Workshop 2007 eScience Workshop 2008 eScience Workshop 2009 eScience Workshop 2010 eScience Workshop 2011 eScience Workshop 2011-Transforming Scholarly Communication eScience Workshop 2012 eScience Workshop 2014

Redmond, WA, US | July 2013

Related Links PhD Scholarship Programme Faculty Summit 2013 Microsoft Research Cambridge Design Expo 2012 Organisers Richard Banks, Microsoft Research Cambridge Tim Regan, Microsoft Research Cambridge Scarlet Schwiderski-Grosche, Microsoft Research Connections Stewart Tansley, Microsoft Research Connections

Redmond, WA, USA | July 2013

July 15, 2013, marked the start of Microsoft Research’s fourteenth annual Faculty Summit at the Microsoft Conference Center in Redmond, Washington. More than 400 academic researchers from 200 institutions and 29 countries joined Microsoft Research to assess and explore today’s computing opportunities. This year, Bill Gates joined us to set the tone of the summit in a conversation on the topic of “Innovation and Opportunity—the Contribution of Computing to Improving Our World.”

Redmond, WA | May 2013

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

San Francisco, CA, USA | May 2013

Tuesday, May 21, 2013 Hyatt Regency San Francisco 5 Embarcadero Center (Map) San Francisco, California, USA 94111 Workshop in conjunction with the ICSE 2013 conference. Important Dates Workshop paper submissions due February 7, 2013 (archival papers) Notification of authors February 28, 2013…

Redmond, WA | October 2012

The goal of this informal event is to create stronger ties between Microsoft’s technical community leaders and some of the top systems researchers in academia, and to learn about the next big ideas these researchers are working on.

Microsoft Research, Redmond | October 2012

This meeting is an opportunity for researchers to exchange experiences with others and the developers of Z3.

Chicago, IL, U.S. | October 2012

Related Events eScience Workshop 2005 eScience Workshop 2006 eScience Workshop 2007 eScience Workshop 2008 eScience Workshop 2009 eScience Workshop 2010 eScience Workshop 2011 eScience Workshop 2011-Transforming Scholarly Communication eScience Workshop 2013 eScience Workshop 2014

Redmond, WA, US | July 2012

Software Engineering Innovation Foundation (SEIF) was formed in 2009 with a mission to foster research in software engineering tools, applications, and education. Over the past three years, SEIF has provided funding for research in seminal software engineering areas, data-driven software engineering,…

Redmond, WA, USA | July 2012

Technological advancement has always been driven by the need to solve real-world problems, whether social or scientific. Today, computing research and technology continue to provide novel approaches to meeting such challenges. From using analysis to assist with development and algorithms for handling elections and detecting malware, to the potential of the digital home and natural user interfaces, software is experiencing rapid change, and being at the heart of that change is tremendously exciting. With the expansion of the Internet and increased use of social media; malware detection, crowdsourcing, and social search are major topics that are coming to the fore.

Redmond, WA, U.S. | March 2012

Each winter, TechFest exposes Microsoft employees and guests to compelling research projects from Microsoft Research’s labs around the world. Researchers demonstrate their most recent achievements—and the technologies those efforts have produced. TechFest enables product teams and researchers to interact, often leading to the transfer of groundbreaking technologies into Microsoft products.

Stockholm, Sweden | December 2011

Related Events eScience Workshop 2005 eScience Workshop 2006 eScience Workshop 2007 eScience Workshop 2008 eScience Workshop 2009 eScience Workshop 2010 eScience Workshop 2011-Transforming Scholarly Communication eScience Workshop 2012 eScience Workshop 2013 eScience Workshop 2014

Cambridge, Massachusetts, US | October 2011

Related Events eScience Workshop 2005 eScience Workshop 2006 eScience Workshop 2007 eScience Workshop 2008 eScience Workshop 2009 eScience Workshop 2010 eScience Workshop 2011 eScience Workshop 2012 eScience Workshop 2013 eScience Workshop 2014

Redmond, WA, USA | July 2011

The twelfth Microsoft Research Faculty Summit provided a forum for lively debate of the development, application, and funding of technologies in the environmental, medical, and educational spheres over a long period of time. The program consisted of a variety of keynotes, talks, panels, workshops, and demonstrations. Participants came away with a much better idea of the integral part that industrial research plays in society, education, and technology transfer, and how they can contribute to this thriving community in the future. View videos of the summit presentations on the Videos tab.

Cartagena, Colombia | May 2011

Microsoft Research hosted its seventh annual Latin American Faculty Summit in Cartagena, Colombia, May 18 to 20, 2011. This event was organized in partnership with Colciencias. The theme of the 2011 summit was Advancing Computing; Advancing Science. View videos of the presentations from the summit on the Videos tab.

Paris, France | April 2011

Microsoft Research hosted this event to bring together thought leaders from academia, research labs, funding agencies, and Microsoft to discuss the state of software research and development. More than 200 leading European computer scientists attended to experience a vibrant program of talks, panels, workshops, and demonstrations.

Redmond, WA, U.S. | March 2011

TechFest is an annual event, for Microsoft employees and guests, that showcases the most exciting research from Microsoft Research's locations around the world. Researchers share their latest work—and the technologies emerging from those efforts. The event provides a forum in which product teams and researchers can interact, fostering the transfer of groundbreaking technologies into Microsoft products.

Washington, DC, U.S. | November 2010

Mobile technologies are transforming global healthcare on many fronts. To foster research and innovation in the field, Microsoft Research with the National Institutes of Health founded the mHealth Summit in 2009. This year, Microsoft Research year was a partnering sponsor for the event.

Cambridge, MA, U.S. | November 2010

F# in Education was a one-day workshop for educators and industrialists, held in Cambridge, Massachusetts, U.S., on November 5, 2010. The workshop investigated F# as a possible teaching language, as well as its use in industry. Developments in cross-platform issues were highlighted. The venue was Microsoft’s vibrant New England Research and Development Centre on the scenic Charles River within reach of MIT, Harvard, and Boston Universities.

Redmond, WA, U.S. | October 2010

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Berkeley, California, US | October 2010

Related Events eScience Workshop 2005 eScience Workshop 2006 eScience Workshop 2007 eScience Workshop 2008 eScience Workshop 2009 eScience Workshop 2011 eScience Workshop 2011-Transforming Scholarly Communication eScience Workshop 2012 eScience Workshop 2013 eScience Workshop 2014

Redmond, WA, USA | July 2010

The eleventh annual Microsoft Research Faculty Summit brought together more than 400 thought leaders from academia, government, and Microsoft to reflect on how current computing disciplines open new opportunities for research and development. Faculty Summit 2010 investigated compelling research topics such as Architectures of the Future, Natural User Interaction, Future Web / Web 4.0, and Accelerating Science.

Bellevue, WA | June 2010

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Guarujá, Brazil | May 2010

Microsoft Research hosted the sixth annual Latin American Faculty Summit in Guarujá, Brasil, on May 12–14. The event was organized in collaboration with FAPESP. The theme of the 2010 event was Computing: Making the Difference.

Redmond, WA, U.S. | March 2010

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Washington, DC, U.S. | October 2009

mHealth Summit explores the use of mobile technologies to improve public health, with a specific focus on the health of underserved populations; health research, training, and education; and healthcare delivery systems throughout the world.

Pittsburgh, PA, US | October 2009

Related Events eScience Workshop 2005 eScience Workshop 2006 eScience Workshop 2007 eScience Workshop 2008 eScience Workshop 2010 eScience Workshop 2011 eScience Workshop 2011-Transforming Scholarly Communication eScience Workshop 2012 eScience Workshop 2013 eScience Workshop 2014

Chicago, IL | July 2009

Holiday Inn Chicago Mart Plaza 350 West Mart Center Drive (map) Chicago, IL 60654, USA Co-located with ISSTA 2009.

Redmond, WA, USA | July 2009

On July 13–14, 2009, the tenth Microsoft Research Faculty Summit brought together more than 400 thought leaders from academia, government, and Microsoft to reflect on how current computing disciplines open new opportunities for research and development.

Redmond, WA, U.S. | February 2009

TechFest is an annual event that brings researchers from Microsoft Research’s labs around the world to Redmond to share their latest work with Microsoft product teams. Attendees experience some of the freshest, most innovative technologies emerging from Microsoft’s research efforts. The event provides a forum in which product teams and researchers can discuss the novel work occurring in the labs, thereby encouraging effective technology transfer into Microsoft products.

Indianapolis, Indiana, US | December 2008

The eScience Workshop 2008, held December 7-8, 2008, brought together scientists from diverse research disciplines to share their research and discuss how computing is shaping their work and facilitating scientific discovery. The 2008 event focused on computing technologies that enable scalable solutions in order to address scientific grand challenges.

Redmond, WA | November 2008

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Snoqualmie, WA | June 2008

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Redmond, WA, U.S. | March 2008

At TechFest 2008, the company’s annual showcase of emerging technologies, unveiling more than 100 innovations. Researchers worked hard to get a chance to display their latest research wares—in a mind-boggling variety of disciplines.

Chapel Hill, North Carolina, US | October 2007

The use of computers creates many challenges as it expands the realm of the possible in scientific research and many of these challenges are common to researchers in different areas. The insights gained in one area may catalyze change and accelerate discovery in many others.

Redmond, WA, U.S. | March 2007

In the News Microsoft Links Technology, Common Tools Searching for Michael Jordan? Microsoft Wants a Better Way (Registration Required) Microsoft TechFest provides glimpse of future Microsoft TechFest goes glam Sociology at Microsoft Where are the programmers? Microsoft's gadgets of the future…

February 2007

Meeting Location: Microsoft Campus Building 113, Conference room 1021, 14870 NE 31st Way Redmond, WA 98052 Overhead view 3D image Organizers: Jitu Padhye, Deepak Bansal and Murari Sridharan

Baltimore, Maryland, US | October 2006

Microsoft Research hosted a three-day eScience workshop on October 13-15, 2006 in the Bloomberg Center of the The Johns Hopkins University in Baltimore, Maryland.

Snoqualmie, WA, US | June 2006

Venue: Salish Lodge & Spa Organizers: Victor Bahl, David A. Maltz, Ming Zhang

Redmond, WA, US | October 2005

Related Events eScience Workshop 2006 eScience Workshop 2007 eScience Workshop 2008 eScience Workshop 2009 eScience Workshop 2010 eScience Workshop 2011 eScience Workshop 2011-Transforming Scholarly Communication eScience Workshop 2012 eScience Workshop 2013 eScience Workshop 2014

Kirkland, WA, US | June 2005

Venue: http://www.thewoodmark.com/ Woodmark Hotel on Lake Washington Kirkland, Washington Sponsored by Microsoft Research

Redmond, WA, U.S. | August 2004

Design Expo Links: About Design Expo Design Expo 2017 Design Expo 2016 Design Expo 2015 Design Expo 2014 Design Expo 2013 Design Expo 2012 Design Expo 2011 Design Expo 2010

Snoqualmie, WA, US | June 2004

Venue: http://www.salishlodge.com Salish Lodge & Spa Snoqualmie, Washington

Portland, Oregon, USA | August 1996

UAI '96 was the Twelfth Conference on Uncertainty in Artificial Intelligence.

Established: August 9, 2003

Mission Statement Exploit multi-sensory information to improve user experience in  •  Speech-centric human computer interaction •  Computer-mediated human inter-communication Goals Understand end-users' requirements Identify sensor(s) requirement Prototype new hardware Develop robust technologies Publications Publication 1: Air-and-Bone Conductive Integrated Microphones for…

Established: October 2, 2004

Visual Echo Cancellation for Seamless Integration of Remote Sites About In a typical remote collaboration setup, two or more projector-camera pairs are "cross-wired" to form a full-duplex system for two-way communication. A whiteboard can be used as the projector screen,…

Established: August 20, 2006

Speaker verification is the process of verifying the claimed identity of a speaker based on the speech signal from the speaker (voiceprint). There are two types of speaker verification systems: Text-Independent Speaker Verification (TI-SV) and Text-Dependent Speaker Verification (TD-SV). TD-SV…

Established: May 31, 2008

Enhancing Stereophonic Conferencing with Microphone Arrays Through Sound Field Warping and Audio Spatialization Audio samples mono.wma: Traditional mono output from a microphone array. speaker.wma: Array audio spatialized over a pair of loudspeakers. headphone.wma: Array audio spatialized over headphones.

Established: August 9, 2008

About the System In multiparty conferencing, one hears voices of more than one remote participants. Current commercial systems mix them into a single mono audio stream, and thus all voices of remote participants will sound like coming from the same…

Established: August 9, 2001

Expandable Data-Driven Graphical Modeling of Human Actions Based on Salient Postures. This paper presents a graphical model for learning and recognizing human actions. Specifically, we propose to encode actions in a weighted directed graph, referred to as action graph, where…

Established: January 1, 2015

Project Springfield is Microsoft's unique fuzz testing service for finding security critical bugs in software. Project Springfield helps customers quickly adopt practices and technology battle-tested over the last 15 years at Microsoft.

Established: June 1, 2001

We present a framework for view-dependent rendering from arbitrary viewpoints and relighting under novel illumination conditions of a real object from a sparse set of images and a pre-acquired geometric model of the object. Using a 3D model and a…

Established: May 1, 2002

The lack of eye contact in desktop video teleconferencing substantially reduces the effectiveness of video contents. While expensive and bulky hardware is available on the market to correct eye gaze, researchers have been trying to provide a practical software-based solution…

Established: December 2, 1999

We propose a flexible new technique to easily calibrate a camera. It is well suited for use without specialized knowledge of 3D geometry or computer vision. The technique only requires the camera to observe a planar pattern shown at a…

Established: June 1, 2016

FoodFutures is a triad of Art, Science, and Technology that speculates on the future of our food production, consumption, and distribution models by 2050. This exhibition was inspired by the notion that humans and plants could communicate to one another through…

Established: January 1, 2015

Angelic verification (AV) is a project for bringing the benefits of static assertion checking to production software without inundating users with false alarms and not burdening them with upfront modeling. In other words, the goal of AV is to democratize static…

Established: July 13, 2009

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Established: August 10, 2015

Project Natick seeks to understand the benefits and difficulties in deploying subsea datacenters worldwide. We did so by designing, building, and deploying our own subsea datacenter in the ocean, all in about a year. See the full details on our…

Established: March 1, 2011

This project aims to develop new tools for phonetics research on large speech corpora without requiring traditional phonetic annotations by humans.  The idea is to adapt tools from speech recognition to replace the costly and time-consuming annotations usually required for phonetics…

Established: November 26, 2015

Keeping communication private has become increasingly important in an era of mass surveillance and state-sponsored attacks. While hiding the contents of a conversation has well-known solutions, hiding the associated metadata (participants, duration, etc.) remains a challenge, especially if one cannot…

Established: January 1, 2016

Service availability, which is arguably the single most import KPI for cloud computing, can be brought down by various incidents. The state-of-the-art of incident troubleshooting, however, is still an (exhausting) effort of human experts. Our ongoing project, CloudBrain, aims…

Established: May 1, 2013

In this project, we have introduced a series of technologies, including DCQCN congestion control and DSCP-based PFC, and addressed a set of challenges including PFC deadlock, RDMA transport livelock, PFC pause frame storm, slow-receiver symptom, to make RDMA scalable and…

Established: July 1, 2015

Publications Hrvoje Benko, Christian Holz, Mike Sinclair, and Eyal Ofek NormalTouch and TextureTouch: High-fidelity 3D Haptic Shape Rendering on Handheld Virtual Reality Controllers. In Proc. of ACM UIST 2016. PDF Video     Mahdi Azmandian, Mark Hancock, Hrvoje Benko, Eyal…

Patients’ basic understanding of clinical events has been shown to dramatically improve patient care. Unfortunately, patients are frequently under-informed and unclear about our own hospital/clinical courses. The recent emergence of Electronic Medical Records (EMRs) and Personal Health Records (PHRs) makes…

Established: September 2, 2014

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

The Intelligent Editing Project seeks to apply neural networks and other modern machine learning techniques to furnish editorial assistance.  We look beyond traditional grammatical error checking to focus on facilitating writers by providing them with fluent, meaningful text editing support that…

Established: July 1, 2015

Emotion Recognition takes an image with faces as an input, and returns the confidence across a set of emotions for each face in the image, as well as bounding box for the face (using MS Face API). The algorithm infers emotions from appearance…

Established: May 1, 2010

Field Programmable Gate Arrays (FPGAs) are used in wide range of applications from small devices to big data centers. Verilog HDL is one of the most common languages used by FPGA designers to implement a design. Then, different CAD tool…

Established: June 2, 2014

We explored the social acceptability and user experience of wearable form factors as a portable option for Bright Light Therapy (BLT). BLT remains the predominant therapy for Seasonal Affective Disorder despite a non-compliance rate of ~70% commonly attributed to the…

Established: August 3, 2015

Nature has its own language; specifically, plants use electro-chemical signals to communicate their needs. Project Florence is a speculative glimpse into our Future where both our Natural and Digital worlds could co-exist in harmony through enhanced communication. Combining Natural Language…

Established: June 1, 2015

DuoSkin is a fabrication process that enables anyone to create customized functional devices that can be attached directly on their skin. Using gold metal leaf, a material that is cheap, skin-friendly, and robust for everyday wear, we demonstrate three types…

Established: February 1, 2015

1st Code Hunt Workshop, Redmond February, 15-16, 2015 Slides and Videos Deep Dive into Pex for Code Hunt Nikolai Tillmann [Slides] [Video] Code Hunt Contest Analytics Judith Bishop [Slides] [Video] Model Counting for Test Coverage in Code Hunt  Willem Visser…

Established: January 1, 2014

A Microsoft Research innovation, TrueText takes the literal text and transforms it to more closely reflect user intent. It achieves this by removing speech disfluencies, such as “um”s and “ah”s, as well as stutters and repetitions. The text is also…

Established: November 1, 2015

github.com/AutomataDotNet

Established: June 3, 2014

The best available forecasts in the United States—from the federal government’s Winds Aloft program—have been based largely on data from instrumented weather balloons released twice a day, providing forecasts for 176 stations across the United States. Wind Aloft is often…

Established: June 6, 2016

Our goal is to build generalized vehicle-agnostic system that can provide safety guarantees in face of uncertain world. Our works starts from defining what we precisely mean by "safe" and then build theoretical framework that treats uncertainty in perception and…

Established: July 5, 2016

The Microsoft Research Enable team is not recruiting new study participants at the current time; however, we will post study participation opportunities here in the future, so do check back! If you live in the Seattle metro area and have…

Sequence-to-sequence deep learning has recently emerged as a new paradigm in supervised learning for spoken language understanding. However, most of the previous studies explored this framework for building single domain models for each task, such as slot filling or domain…

Wide-area backbone networks (WAN) of Internet service providers and cloud providers are the workhorses of Internet traffic delivery. The providers spend millions of dollars toward building access points across the world and interconnecting them using optical links. Improving the availability…

ProjecToR is a novel, free-space optics based approach for building data center interconnects. It uses a digital micromirror device (DMD) and mirror assembly combination as a transmitter and a photodetector on top of the rack as a receiver. Our approach…

Established: February 23, 2016

MSR Image Recognition Challenge (IRC) @ IEEE ICME 2016 (past) ICME 2016 Image Recognition Grand Challenge Session: Time: 10:00-11:40, Wednesday, July 13, 2016  Room: Grand III Deep Multi-Context Network for Fine-Grained Visual Recognition Xinyu Ou1,2,3, Zhen Wei2,4, Hefei Ling1,…

Established: January 9, 2012

In the last 25 years, Elliptic Curve Cryptography (ECC) has become a mainstream primitive for cryptographic protocols and applications. ECC has been standardized for use in key exchange and digital signatures. This project focuses on efficient generation of parameters and…

Established: June 29, 2016

MSR Image Recognition Challenge (IRC) @ACM Multimedia 2016 Latest Updates: Participants information disclosed in "Team Information" section below 6/21/2016: Evaluation Result Announced in "Evaluation Result " section below. 6/17/2016: Evaluation finished. 14 teams finished the grand challenge! 6/13/2016: Evaluation started. 6/13/2016: Dry…

Established: October 31, 2000

We have developed an efficient entropy coder for integer value data. We refer to this compression algorithm as a Run-Length Golomb-Rice (RLGR) coder. The RLGR coder is very simple to implement, and uses backward adaptation of just a few parameters,…

Established: September 30, 1999

The still image compression format now known as JPEG XR has its roots at Microsoft Research. It started as the Progressive Transform Codec (PTC), which we designed back in 1999 as an alternative to JPEG 2000. The goal for PTC was…

We are pleased to share an update on our research in 3D capture and algorithms. We took the technology out of the studio and into a car - making Holoportation truly mobile.  To accomplish this, we reduced the bandwidth requirements by 97%, while still maintaining quality.…

Established: March 27, 2016

Homomorphic encryption (HE) refers to a special type of encryption technique that allows for computations to be done on encrypted data, without requiring access to a decryption key. While traditional encryption schemes can be used to privately outsource data storage…

Established: April 19, 2016

LatticeCrypto is a high-performance and portable software library that implements lattice-based cryptographic algorithms. The first release of the library provides an implementation of lattice-based key exchange with security based on the Ring Learning With Errors (R-LWE) problem using new algorithms…

Established: April 16, 2016

SIDH Library is a fast and portable software library that implements a new suite of algorithms for supersingular isogeny Diffie-Hellman key exchange [1]. The chosen parameters aim to provide 128 bits of security against attackers running a large-scale quantum computer, and 192…

Established: May 1, 2016

We consider various scheduling problems that arise in large clusters.

Established: April 26, 2016

OPAL is a programming language and environment for designing intelligent assistants based on natural language. Tasks in OPAL can explore multiple hypothetical worlds to resolve the ambiguity in users' intent by exploring its potential implications on the real world. Weightings…

Established: May 27, 2016

Historically, mobile apps didn’t have links equivalent to web deep links. Mobile deep links, introduced in recent years, don’t provide the same user experience of web URLs because they’re defined statically to navigate to a page for a given link,…

Established: May 14, 2015

Several studies have demonstrated the need to double the world’s food production by 2050. However, there is limited amount of additional arable land, and water levels have also been receding. Although technology could help the farmer, its adoption is limited…

Established: March 15, 2016

We are designing programming languages for building safe and reliable asynchronous systems. The languages are based on the programming idiom of communicating state machines. They offer first-class support for writing safety and liveness specifications as well as building abstract models of…

Established: June 1, 2012

We are developing a system for the acquisition, transmission and display of real-time 3D digital content. Our goal is to enable live, immersive 3D communications and entertainment experiences. Our strategy is to acquire the 3D signal within a cubical volume.…

Established: March 8, 2016

We are inundated with data. Resources to analyze the data are finite and expensive. Approximate answers allow us to explore much larger amounts of data than otherwise possible given available resources. Reducing the cost, if doable for a large fraction…

Established: March 2, 2016

Room2Room is a life-size telepresence system that leverages projected augmented reality to enable co-present interaction between two remote participants. We enable a face-to-face conversation by performing 3D capture of the local user with color + depth cameras and projecting their…

Established: February 19, 2016

We are developing new techniques to efficiently deliver content and services over large-scale cloud infrastructure.

Established: February 17, 2016

PACORA (Performance-Aware Convex Optimization for Research Allocation) is a resource allocation framework for general-purpose operating and cloud systems, which is designed to provide responsiveness guarantees to a simultaneous mix of high-throughput parallel, interactive, and real-time applications in an efficient, scalable…

Established: March 14, 2016

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness. It also provides a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and…

Established: June 3, 2016

We are investigating how Cloud Computing can enable next-generation Virtual Reality experiences. In The News Check out what the press has to say about our work. ProxyIBR:  Neowin FlashBack: Yahoo, Network World, Neowin, Phone Arena, WinBeta, MS Power User, SlashGear, ...…

Established: May 31, 2016

Summary Project Everest aims to build and deploy a verified HTTPS stack. The HTTPS ecosystem (HTTPS and TLS protocols, X.509 public key infrastructure, crypto algorithms) is the foundation on which Internet security is built. Unfortunately, this ecosystem is extremely brittle,…

HIV is one of the world's primary health concerns.  Researchers at Microsoft are collaborating with leading HIV scientific centers to bring together research expertise and cutting-edge computing technology in to the fight against the virus.  Computational tools are available here.…

Established: March 2, 2015

Interested in evaluating Project Premonition technologies and data? Sign up here Project Premonition aims to detect pathogens before they cause outbreaks Emerging infectious diseases such as Zika, Ebola, Chikungunya and MERS are dangerous and unpredictable. Public health organizations need data…

Established: January 21, 2016

The Dual Embedding Space Model (DESM) is an information retrieval model that uses two word embeddings, one for query words and one for document words. It takes into account the vector similarity between each query word vector and…

Established: January 8, 2016

This project is focused on creating a low-overhead Time-Traveling Debugger in the Chakra JavaScript engine (and Node.js). This debugger supports reverse variations of the step forward operations in a debugger to enable a developer to easily reverse program execution time…

Established: January 5, 2016

Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those computations. See our recorded Research In Focus talk from the Microsoft Faculty Summit this past year for more information. Uncertain…

Established: December 6, 2015

News Stories Network World, Microsoft Researcher: Why Micro Datacenters Really Matter to Mobile's Future, September 3, 2015 (also Computer World, IT World, Info World) Shepherd's PI, Why a Cloudlet Beats the Cloud for Mobile Apps, by Lewis Sheppherd, December 13,…

Established: December 1, 2015

Spatial Audio is a project about creating a 3D audio experience using headphones. Spatial audio is also known as 3D stereo sound, or simply 3D audio. The applications are augmented and virtual reality, but this technology also affects a trivial…

Established: October 12, 2015

Understanding Techniques and Tools for More Effective Telemetry and Log Data Analysis. Increasingly, business processes require data-driven real-time feedback based on large quantities of log data and customer telemetry from multiple sources. The Logan Project takes a…

Established: October 5, 2015

We propose a method that extends a given depth image into regions in 3D that are not visible from the point of view of the camera. The algorithm detects repeated 3D structures in the visible scene and suggests a set…

Established: September 22, 2015

NUIgraph is a prototype Windows 10 app for visually exploring data in order to discover and share insight. The app has been designed for touch interaction, however a mouse can also be used. Data can be loaded from .csv files…

Established: August 31, 2015

The Trusted Cloud project at Microsoft Research aims to provide customers of cloud computing complete control over their data: no one should be able to access the data without the customer’s permission. Even if there are malicious employees…

Established: August 26, 2015

FourQlib is an efficient and portable math library that provides functions for computing essential elliptic curve operations on a new, high-performance curve called "FourQ". This curve targets the 128-bit security level and supports computations that are significantly faster than any…

Established: August 25, 2015

Stress is considered to be a modern day “global epidemic"; so given the widespread nature of this problem, it would be beneficial if solutions that help people to learn how to cope better with stress were scalable beyond what individual…

Established: August 11, 2015

DCQCN is a congestion control protocol for large scale RDMA networks, developed jointly by Microsoft and Mellanox.

Established: July 7, 2015

Instructions This web page provides detailed instructions and examples to aid you in successfully completing our Mechanical Turk task for labeling images that have been embedded in public tweets. Note that we have randomly selected these images from public…

Established: June 29, 2015

We present a new interactive approach to 3D scene understanding. Our system, SemanticPaint, allows users to simultaneously scan their environment, whilst interactively segmenting the scene simply by reaching out and touching any desired object or surface. Our system continuously learns…

Established: June 2, 2015

File System for Approximate Storage Approximate storage allows tradeoffs between data storage precision and other desirable characteristics such as energy savings, higher performance or higher density. It consists of placing different sets of data in memories or…

Established: June 1, 2015

The Distributed Social Analytics Platform (DSoAP) project is focused on the “Huge Data” problem in social policy research caused by the breadth of data involved. Using aggregate social media data to investigate and validate social issues such as employment, health…

Established: May 28, 2015

Try our Block/JavaScript editor! The BBC and partners, including Microsoft, announce the BBC micro:bit – a pocket-sized, codeable computer that allows children to get creative with technology. Up to 1 million micro:bits will be given to every 11 or 12…

Established: May 28, 2015

The PinDrop project focuses on building the substrate for supporting high-quality real-time streaming over wired and wireless networks. Context Real-time streaming across the wide-area network (WAN) is key to several existing and anticipated services, including voice and video conferencing (e.g.,…

Established: June 5, 2015

The Microsoft Academic Graph is a heterogeneous graph containing scientific publication records, citation relationships between those publications, as well as authors, institutions, journals, conferences, and fields of study. This graph is used to power experiences in Bing, Cortana, Word, and…

Established: May 12, 2015

Our goal is to let normal users tell computers what to do using normal language. This problem space is strongly related to natural language understanding, program synthesis, and many other areas. The data release associated with the following ACL…

Established: October 1, 2014

The RoomAlive Toolkit is an open source SDK that enables developers to calibrate a network of multiple Kinect sensors and video projectors. The toolkit also provides a simple projection mapping sample that can be used as a basis to develop…

Established: May 7, 2015

Depth estimation algorithms from Time-of-Flight

Established: May 6, 2015

Logic flaws are prevalent in multiparty cloud services, which cause serious consequences, e.g., an attacker can make purchases without paying, or gets into other people’s accounts without password. For decades, researchers have been advocating formal verification as a solution, but…

Established: April 28, 2015

Quick interaction between a human teacher and a learning machine presents numerous benefits and challenges when working with web-scale data. The human teacher guides the machine towards accomplishing the task of interest. The system leverages big data to find examples…

Established: April 17, 2015

The proliferation of connected devices can in theory enable a range of applications that make rich inferences about users and their environment. But in practice developing such applications today is arduous because they are constructed as monolithic silos, tightly coupled…

Established: April 17, 2015

The Kamino project explores ways in which systems should adopt new memory technologies including SSDs (NAND-Flash), battery-backed DRAM and emerging non-volatile memory technologies (phase change memory, memristors, spin-torque transfer memory, etc.) for increased performance and efficiency. The project explores how…

Established: April 9, 2015

We introduce a novel approach for automatically generating image descriptions. Visual detectors, language models, and deep multimodal similarity models are learned directly from a dataset of image captions. Our system is state-of-the-art on the official Microsoft COCO benchmark, producing a…

Established: April 2, 2015

Academic Research Request for Proposals Microsoft Research and Microsoft are committed to pushing the boundaries of technology to improve and positively influence all parts of society. New devices and form factors are creating opportunities for transforming…

Established: April 1, 2015

Presenter Camera is a desktop application designed to improve the quality of video seen by remote attendees of a presentation. The Problem Remote meetings are becoming more prolific in the modern workplace.  A common scenario is to broadcast…

Established: March 25, 2015

We envision a future Internet of Things where every human-created artifact in the world that uses electricity will be connected to the internet. We are creating new experiences and technologies for the coming convergence of digital and physical systems enabled…

Established: June 1, 2014

This project aims to enable people to converse with their devices. We are trying to teach devices to engage with humans using human language in ways that appear seamless and natural to humans. Our research focuses on statistical methods by…

Established: March 17, 2015

The Logical Form analysis produced by the NLPwin parser is very close in spirit to the level of semantic representation defined in AMR, Abstract Meaning Representation. The "NLPwin parses AMR" project is a conversion from LF to AMR in order…

Established: July 17, 2015

Code Hunt is a serious educational game. The Code Hunt community is interested in all aspects of research and development around the game, including analysis of the data and development of the platform. Join the Community Get updates. Tell us…

Established: February 4, 2015

Code Hunt is a serious gaming platform for coding contests and practicing programming skills. It is based on the symbolic white box execution engine, Pex. Code Hunt is unique as an online coding platform in that each puzzle is presented…

Established: June 1, 2011

Project Catapult is the technology behind Microsoft’s hyperscale acceleration fabric, and is at the center of a comprehensive set of investments Microsoft is making to build a supercomputing substrate that can accelerate our efforts in networking, security, cloud services and…

Established: January 30, 2015

Deep Structured Semantic Model / Deep Semantic Similarity Model   What is DSSM? DSSM stands for Deep Structured Semantic Model, or more general, Deep Semantic Similarity Model. DSSM, developed by the MSR Deep Learning Technology Center(DLTC), is…

Established: January 1, 2015

The amount of digital data produced has long been outpacing the amount of storage available. This project enables molecular-level data storage into DNA molecules by leveraging biotechnology advances in synthesizing, manipulating and sequencing DNA to develop archival storage. Microsoft and…

Established: November 10, 2014

Given a concept name, and seed entities, return entities and tables in this concept. Sway Presentation

Established: October 17, 2014

Parasail is a novel approach to parallelizing a large class of seemingly sequential applications wherein dependencies are, at runtime, treated as symbolic values. The efficiency of parallelization, then, depends on the efficiency of the symbolic computation, an…

Established: October 3, 2014

An introduction by Lucy Vanderwende* * on behalf of everyone who contributed to the development of NLPwin NLPwin is a software project at Microsoft Research that aims to provide Natural Language Processing tools for Windows (hence, NLPwin). The project was started…

Established: October 3, 2014

We explore grip and motion sensing to afford new techniques that leverage how users naturally manipulate tablet and stylus devices during pen-and-touch interaction. We can detect whether the user holds the pen in a writing grip or tucked between his…

Established: October 3, 2014

Mano-a-Mano is a unique spatial augmented reality system that combines dynamic projection mapping, multiple perspective views and device-less interaction to support face-to-face, or dyadic, interaction with 3D virtual objects. Its main advantage over more traditional AR approaches is users are…

Established: October 2, 2014

An Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app's behavior. This does more than eliminate implementation…

Established: October 2, 2014

We want to use eye gaze and face pose to understand what users are looking at, to what they are attending, and use this information to improve speech recognition. Any sort of language constraint makes speech recognition and understanding easier…

Established: October 1, 2014

RoomAlive is a proof-of-concept prototype that transforms any room into an immersive, augmented, magical entertainment experience. RoomAlive presents a unified, scalable approach for interactive projection mapping that dynamically adapts content to any room. Users can touch, shoot, stomp, dodge and…

Established: September 16, 2014

Zero-Effort Payments (ZEP) is a seamless mobile computing system designed to accept payments with no effort on the customer’s part beyond a one-time opt-in. With ZEP, customers need not present cards nor operate smartphones to convey their identities. ZEP uses…

Established: September 13, 2014

EmotoCouch is a prototype exploring how furniture could be augmented as part of a smart home. It uses lights, patterns, and haptics to explore possibilities for interactive furniture. Specifically, EmotoCouch was designed to explore how effectively furniture could convey a…

Established: August 25, 2014

Quick interaction between a human teacher and a learning machine presents numerous benefits and challenges when working with web-scale data. The human teacher guides the machine towards accomplishing the task of interest. The system leverages big data to find examples…

Established: August 13, 2014

Interspeech 2014 Tutorial Web Page State-of-the-art statistical spoken language processing typically requires significant manual effort to construct domain-specific schemas (ontologies) as well as manual effort to annotate training data against these schemas. At the same time, a…

Established: July 15, 2014

Animated computer graphics are projected onto the base of a fiber optic tree to create a sparse 3D display within the tree. This was done as an entry into Microsoft Research's MakeFest and demonstrated on 1/10/2014 to the MSRMakeFest community.

Established: July 14, 2014

We present a machine learning technique for estimating absolute, per-pixel depth using any conventional monocular 2D camera, with minor hardware modifications. Our approach targets close-range human capture and interaction where dense 3D estimation of hands and faces is desired. We…

Established: April 4, 2014

Website for the CIKM2014 tutorial on Deep Learning for Natural Language Processing: Theory and Practice

Established: June 27, 2014

MSR ECCLib is an efficient cryptography library that provides functions for computing essential elliptic curve operations on a new set of high-security curves.  All computations on secret data exhibit regular, constant-time execution, providing protection against timing and cache attacks.  The…

Established: June 17, 2014

JavaScript cryptographic algorithm implementations suitable for use in all cloud services The MSR JavaScript Cryptography Library has been developed for use with cloud services in an HTML5 compliant and forward-looking manner. The algorithms are exposed via the W3C WebCrypto interface, and…

Established: June 16, 2014

Data compression is essential to large-scale data centers to save both storage and network bandwidth. Current software based method suffers from high computational cost with limited performance. In this project, we are migrating the fundamental workload of the computer system…

Established: May 14, 2014

An experimental protocol for evaluating autonomous navigation systems in indoor environments. Introduction Robot navigation is one of the most studied problems in robotics and the key capability for robot autonomy. Navigation techniques have become more and more…

Established: April 25, 2014

Discussion Graph Tool (DGT) is an easy-to-use analysis tool that provides a domain-specific language extracting co-occurrence relationships from social media and automates the tasks of tracking the context of relationships and other best practices. DGT provides a single-machine implementation, and…

Established: April 12, 2014

We develop novel eye-gaze tracking technologies in order to make eye-gaze tracking technology ubiquitously available for improved natural user interaction (NUI).   In particular, we investigate two approaches: Active IR lighting: We investigate the possibility of using multiple IR lights…

Established: April 11, 2014

ViiBoard uses vision techniques to significantly enhance the user experience on large touch displays (e.g. Microsoft Perceptive Pixel) in two areas: human computer interaction and immersive remote collaboration. Simple Setup ViiBoard uses only an RGBD camera (Microsoft Kinect), mounted on…

Established: April 9, 2014

If search and Twitter data are to be treated as a survey, they would follow a very peculiar methodology: participation is a time-varying, demographically biased sample of the population, participants are effectively continuously answering different “survey” questions, and, finally, participants…

Established: April 3, 2014

Eventful helps produce news reports using hybrid crowds (online and offline). Eventful automatically recruits and guides crowd workers who attend events in person to perform information collection missions. Eventful explores and hopes to problematize the concept of "journalism as a…

Established: March 24, 2014

Microsoft Research is happy to continue hosting this series of Image Recognition (Retrieval) Grand Challenges. Do you have what it takes to build the best image recognition system? Enter these MSR Image Recognition Challenges in ACM Multimedia and/or IEEE ICME…

Established: March 21, 2014

CodaLab is an open-source web-based platform that enables researchers, developers, and data scientists to collaborate, with the goal of advancing research fields where machine learning and advanced computation is used. CodaLab helps solve many common problems in the arena of…

Established: March 14, 2014

Conversational systems interact with people through language to assist, enable, or entertain. Research at Microsoft spans dialogs that use language exclusively, or in conjunctions with additional modalities like gesture; where language is spoken or in text; and in a variety…

Established: March 11, 2014

A Large-Scale Real-World Image Dataset We argue that the massive amount of click data from commercial search engines provides a data set that is unique in the bridging of the semantic and intent gap. Search engines generate millions of click…

Established: February 5, 2014

This project re-imagines and re-engineers wide area networks, to more than double their efficiency and allow flexible sharing of resources.

Established: January 30, 2014

Crowd-sourcing is increasingly being used for providing answers to online polls and surveys. However, existing systems, while taking care of the mechanics of attracting crowd workers, poll building, and payment, provide little that would help the survey-maker or pollster to…

Established: January 28, 2014

We are studying how we can get regular people to do simple tasks at specific locations. An example task is to take a picture of a sign at a certain location. We are interested in who to ask and how…

Established: November 11, 2013

Office Remote turns your Windows Phone into a smart remote for Microsoft Office, providing convenient touch-based control of Word, Excel, and PowerPoint documents projected from your PC. It lets you show what you want, when you want, with all the…

We study algorithmic issues for combining the intelligence of human and the computing power of machine to solve the problems that are difficult to solve by either human or machine alone.

Established: September 19, 2013

Trill is a high-performance in-memory incremental analytics engine. It can handle both real-time and offline data, and is based on a temporal data and query model. Trill can be used as a streaming engine, a lightweight in-memory relational engine, and…

Established: September 12, 2013

Tempe is a web service for exploratory data analysis. Below are images of the notebook pages mentioned in our submission to ICSE 2014.

Established: July 31, 2013

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 a weakened definition of replica-consistency…

Established: July 30, 2013

In most organizations, staff spend many hours in meetings. This project addresses all levels of analysis and understanding, from speaker tracking and robust speech transcription to meaning extraction and summarization, with the goal of increasing productivity both during the meeting…

Established: June 6, 2013

Pex4Fun is a browser-based teaching and learning environment targeting teachers and students for introductory to advanced programming or software engineering courses. At the core of the platform is an automated grading engine based on symbolic execution. In Pex4Fun, teachers can…

Established: May 9, 2013

Corral is a whole-program analysis tool for Boogie programs. Corral uses goal-directed symbolic search techniques to find assertion violations. It leverages the powerful theorem prover Z3. It is available open source on GitHub. Corral, by default, does a bounded search up to a recursion depth…

Established: May 1, 2013

Spoken language understanding (SLU) is an emerging field in between the areas of speech processing and natural language processing. The term spoken language understanding has largely been coined for targeted understanding of human speech directed at machines. This project covers…

Established: February 27, 2013

Since its inception, the Computational Science group has undertaken research and development into new modelling platforms for computational science. The CEESDM project detailed here evolved from the Computational Science Studio project (mentioned in this article) and then evolved into the…

Established: February 25, 2013

Intelligent Tutoring Systems (ITS) can significantly enhance the educational experience, both in the classroom and online. A key aspect of ITS is the ability to automatically generate problems of a certain difficulty level and that exercise use of certain concepts.…

Established: February 20, 2013

How can we communicate one's biometric info, in non-verbal ways, to others, ourselves, places and across time? Under the assumptions that one's face is a sound window to somebody’s emotion, we constructed different art pieces and interactive prototypes that comprise…