Programming languages and software engineering
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
Monadic Decomposition
Publication