Programming languages and software engineering
Publication
Guarded impredicative polymorphism
Microsoft Research Blog
Microsoft Research Dissertation Grants: Broadening the PhD pipeline to increase innovation
Research shows that diverse teams are more productive teams. Diversity, particularly in the area of computing research, means including unique perspectives that otherwise might not have a voice, fueling innovation. These are some of the…
Video
Symbolic Automata for Static Specification Mining
In a world where programming is largely based on using APIs, semantic code search emerges as a way to effectively learn how such APIs should be used. Towards this end, we present a formal framework…
Event
Microsoft @ SIGMOD 2018
Microsoft is proud to be a Platinum sponsor of the 2018 ACM SIGMOD/PODS Conference June 10-15 in Houston, Texas. The annual ACM SIGMOD/PODS Conference is a leading international forum for database researchers, practitioners, developers, and…
Podcast
The democratization of data science with Dr. Chris White
Episode 27, June 6, 2018 – Dr. White talks about his “problem-first” approach to research, explains the vital importance of making data understandable for everyone, and shares the story of how a one-week detour from…
Project
Managed runtime scheduling for single-ISA asymmetric multicore processor
Static and dynamic power constraints are steering chip manufacturers to build single-ISA Asymmetric Multicore Processors (AMPs) with big and small cores. To deliver on their energy efficiency potential, schedulers must consider core sensitivity, load balance,…
Project
Hybrid memory management in Java Virtual Machine
Hybrid memory, which leverages the benefits of traditional DRAM and emerging memory technologies, is a promising alternative for future main memory design. However popular management policies through memory-access recording and page migration may invoke non-trivial…
Publication
Active learning of points-to specifications
Tool
Z3 automated theorem prover
Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license (opens in new tab). Z3 can be built using Visual Studio, a Makefile or using CMake. It provides bindings for…