Programming languages and software engineering
Publication
Rule-based Design of Computational DNA Devices
Microsoft Research Blog
ACM announces creation of Chuck Thacker Breakthrough in Computing Award
ACM – the Association for Computing Machinery – has created a new major award to honor 2009 A.M. Turing Laureate Charles P. “Chuck” Thacker. The award honors Thacker’s pioneering contributions to computing, considered by the…
Microsoft Research Blog
Building a global AI supercomputer – The 2018 Microsoft Research Faculty Summit
We live in the age of the intelligent edge and intelligent cloud. Data is collected at the edge using billions of small devices. The data is pre-processed at the edge and shipped in a filtered…
Publication
Execution-Guided Neural Program Decoding
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…
