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