In the news | ACM SIGPLAN
For the 2006 paper, 'Simple unification-based type inference for GADTs.
Awards | International Committee for Information Technology Standards
Gary J. Sullivan received the Merit Award of the International Committee for Information Technology Standards (INCITS) in 2015. This is an award presented to no more than four participants per year who have demonstrated continuous support for the work of…
Big data—that buzzword seems to dominate information technology discussions these days. But big data is so much more than a clever catchphrase: it’s a reality that holds enormous potential. We now have the largest and most diversified volume of data…
In the news | ACM
For contributions to algorithms and interfaces for interactive information retrieval.
Posted by George Thomas Jr. Addressing one of the core problems in statistics and machine learning, Microsoft researchers have developed a new, more efficient algorithm that enables exact sampling. Daniel Tarlow and Tom Minka Researchers Daniel Tarlow, Tom Minka, and…
Posted by Microsoft Research Our most popular blog posts of 2014 reflect the breadth of our research and our collaborative efforts across multiple product groups as well as with external organizations worldwide. Also see the top feature stories of 2014.…
| Hanna Wallach
Posted by Microsoft Research Machine learning and big data are certainly hot topics that emerged within the tech community in 2014. But what are the real-world implications for how we interpret what happens inside the data centers that churn through…
Halloween 2013 brought real terror to an Austin, Texas, neighborhood, when a flash flood killed four residents and damaged roughly 1,200 homes. Following torrential rains, Onion Creek swept over its banks and inundated the surrounding community. At its peak, the…
| Eugene Bobukh
Introduction While fuzzing, you may need to extrapolate or describe analytically a "fuzzing curve", which is the dependency between the number of bugs found and the count of fuzzing inputs. Here I will share my approach to deriving an analytical…