论文与出版物 Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains (Extended) Markus N. Rabe, Hillel Kugler, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger MSR-TR-2014-74 | May 2014 项目
论文与出版物 Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations Aseem Rastogi, Matthew A. Hammer, Michael Hicks SP ’14 Proceedings of the 2014 IEEE Symposium on Security and Privacy | May 2014 ISBN: 978-1-4799-4686-0
论文与出版物 Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Jonathan "Peli" de Halleux, Thomas Ball MSR-TR-2014-63 | May 2014
论文与出版物 Orleans Best Practices Sergey Bykov, Gabriel Kliot, Jorgen Thelin, Justine Stephenson May 2014 作者:Microsoft Research, May 2014 项目
论文与出版物 Debugging Mixed-Environment Programs with Blink Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S McKinley Software – Practice and Experience | 2014
论文与出版物 Debugging Mixed-Environment Programs with Blink Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S McKinley Software – Practice & Experience, pp. 1-30 | May 2014 Software — Practice & Experience, pp. 1-30
论文与出版物 How to Make a Semantic Network Probabilistic Zhongyuan Wang, Haixun Wang, Yanghua Xiao, Ji-Rong Wen MSR-TR-2014-59 | May 2014
论文与出版物 Formalizing and Verifying a Modern Build Language Maria Christakis, Rustan Leino, Wolfram Schulte FM 2014: Formal Methods – 19th International Symposium, Singapore, May 12-16, 2014. Proceedings | May 2014 ISBN: 978-3-319-06409-3 项目
论文与出版物 Factored Adaptation of Speaker and Environment Using Orthogonal Subspace Transforms Hyunson Seo, Hong-Goo Kang, Mike Seltzer IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) | May 2014