Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
Microsoft Research @ SPLASH 2017
We are excited to be participating in SPLASH 2017, the ACM SIGPLAN conference that embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and…
Asynchronous Reactive Models – Event-based Analysis of Networks of Actors
Rebeca is designed for modeling and formal verification of asynchronous and reactive systems in 2001, and is supported by a model-checking tool, Afra. Followed by that, an actor-based family of languages are introduced to enable…
The Tensor Algebra Compiler
Linear algebra is a work-horse of numerical computing. Tensor algebra is a generalization of linear algebra with applications in scientific computing, machine learning, and data analytics. Tensors are often sparse and compound operations must frequently…
Oracle-Efficient Learning and Auction Design
Developing Bug-Free Machine Learning Systems Using Formal Mathematics
Noisy data, non-convex objectives, model misspecification, and numerical instability can all cause undesired behaviors in machine learning systems. As a result, detecting actual implementation errors can be extremely difficult. We demonstrate a methodology in which…
Opportunities abound in the creative and collaborative culture of STEM
The explosion of data available today everywhere from biomedicine to the arts is opening new opportunities for researchers with backgrounds in science, technology, engineering and math to pursue creative and collaborative endeavors that have deep…
