Publication A Colorful Approach to Text Processing by Example Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai UIST ’13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013 Projet
Publication Taking Off the Gloves with Reference Counting Immix Rifat Shahriyar, Stephen M. Blackburn, Xi Yang, Kathryn S McKinley October 2013
Publication MINTFormer: A Spatially Aware Channel Equalizer Felicia Lim, Mark Thomas, Patrick A. Naylor Proc. IEEE Workshop on Applications of Signal Processing to Audio and Acoustics | October 2013
Publication Semantics Sensitive Sampling for Probabilistic Programs Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel MSR-TR-2013-109 | October 2013 Projet
Publication May/Must Abstraction-Based Software Model Checking For Sound Verification and Falsification Patrice Godefroid MSR-TR-2013-104 | October 2013
Publication A Community College Blended Learning Classroom Experience through Artificial Intelligence in Games Titus Barik, Michael Everett, Rogelio E. Cardona-Rivera, David L. Roberts, Edward F. Gehringer IEEE Frontiers in Education Conference (FIE) | October 2013
Publication On the Hyperbolicity of Small-world and Tree-like Random Graphs Wei Chen, Wenjie Fang, Guangda Hu, Michael W. Mahoney Internet Mathematics | September 2013, Vol 9(4) Extended abstract published in Proceedings of the 23rd International Symposium on Algorithms and Computation (ISAAC'2012), Taipei, December 2012.
Publication Program Boosting or Crowd-Sourcing for Correctness Robert Cochran, Ben Livshits MSR-TR-2013-94 | September 2013
Publication Exploiting vector instructions with generalized stream fusion Simon Peyton Jones, Geoff Mainland, Simon Marlow, Roman Leshchinskiy ACM SIGPLAN International Conference on Functional Programming (ICFP ’13) | September 2013