Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
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,…
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…
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…
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.
