Programming languages and software engineering
Event
ICSE 2017 and Microsoft Research
The 39th International Conference on Software Engineering (ICSE 2017) will run May 20-28, in Buenos Aires, Argentina. Top minds in software engineering research, practice and education will discuss the most recent innovations, trends, and experiences.
Microsoft Research Blog
P: A programming language designed for asynchrony, fault-tolerance and uncertainty
By Shaz Qadeer, Principal Researcher The complexity of emerging software applications requires new approaches to understanding and then efficiently building, testing and debugging these systems. Today’s software uses cloud resources, is often embedded in devices…
Video
Composition and Inheritance in Declarative Configuration Languages
Configuring large computing installations is a difficult problem — there are many different subsystems involved, all with their own language, and many different people with an interest in overlapping aspects of the overall configuration. Deploying…
Event
SIGMOD/PODS 2017 and Microsoft Research
We are excited to be a Platinum sponsor of the ACM SIGMOD 2017, a leading international forum for database researchers, practitioners, developers, and users to explore cutting-edge ideas and results, and to exchange techniques, tools,…
Tool
Cluster Map visual
Cluster Map displays clusters of related documents in an expressive image mosaic. Clusters can be arranged in a symmetric “spiral” layout or a more freeform “relational” layout, with cluster proximity in the latter case determined…
Video
Progress in Error-Correction: A Survey
Error-correcting codes play a crucial role in safeguarding data against the adverse effects of noise during communication and storage. They are also powerful tools that in the arsenal of theoretical computer science and combinatorics. The…
Project
Deep Program Understanding
The Deep Program Understanding project aims to teach machines to understand complex algorithms, combining methods from the programming languages, software engineering and the machine learning communities.
Publication