论文与出版物 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 项目
论文与出版物 Taking Off the Gloves with Reference Counting Immix Rifat Shahriyar, Stephen M. Blackburn, Xi Yang, Kathryn S McKinley October 2013
论文与出版物 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
论文与出版物 Semantics Sensitive Sampling for Probabilistic Programs Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel MSR-TR-2013-109 | October 2013 项目
论文与出版物 May/Must Abstraction-Based Software Model Checking For Sound Verification and Falsification Patrice Godefroid MSR-TR-2013-104 | October 2013
论文与出版物 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
论文与出版物 On the Hyperbolicity of Small-world and Tree-like Random Graphs Wei Chen, Wenjie Fang, Guangda Hu, Michael W. Mahoney Internet Mathematics | September 2013, 第 9 卷(4) Extended abstract published in Proceedings of the 23rd International Symposium on Algorithms and Computation (ISAAC'2012), Taipei, December 2012.
论文与出版物 Program Boosting or Crowd-Sourcing for Correctness Robert Cochran, Ben Livshits MSR-TR-2013-94 | September 2013
论文与出版物 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