News
At the 2005 PLDI conference, ATOM: a system for building customized program analysis tools (external site), co-written by Amitabh Srivastava (now the Corporate VP in the Windows Core OS Division and head of CSE) was
selected as the most influential paper from PLDI '94 for its impact on research into compilers and related areas over the last ten years.
Research Papers and Technical Reports2006| • |
Patrice Godefroid (MSR), Michael Y. Levin (CSE), and David Molnar (UC Berkley).
Microsoft Research Technical Report MSR-TR-2007-58, 2007.
Portable Document Format.
|
2006| • |
Thirumalesh Bhat and Nachiappan Nagappan.
Appeared In APSEC, 2006.
Word document.
|
| • |
Thirumalesh Bhat and Nachiappan Nagappan.
Appeared In ISESE, 2006.
Portable Document Format.
|
| • |
Dipanwita Sarkar, Muthu Jagannathan, Jay Thiagarajan, and Ramanathan Venkatapathy.
Microsoft Research Technical Report MSR-TR-2006-44.
Portable Document Format.
|
| • |
Sanjay Bhansali, Wen-Ke Chen, Stuart de Jong, Andrew Edwards, Ron Murray, Milenko Drinic, Darek Mihocka, and Joe Chau.
Appeared In Virtual Execution Environments Conference, 2006.
Portable Document Format.
|
| • |
Brian Hackett, Manuvir Das, Daniel Wang, and Zhe Yang.
Appeared In ICSE, 2006.
Also available as Microsoft Research Technical Report MSR-TR-2005-139.
Portable Document Format.
|
| • |
Dinakar Dhurjati1, Manuvir Das, and Yue Yang.
Appeared In SAS'06: The 13th International Static Analysis Symposium, Seoul, August 2006.
Portable Document Format.
|
| • |
Jinlin Yang (U of Virginia), David Evans (U of Virginia), Deepali Bhardwaj, Thirumalesh Bhat, and Manuvir Das.
Appeared In ICSE, 2006.
Portable Document Format.
|
| • |
Chen Wen-ke, Sanjay Bhansali, Trishul Chilimbi (Microsoft), Xiaofeng Gao, and Weihaw Chuang (UC San Diego).
Appeared In PLDI '06.
Portable Document Format.
|
2005| • |
Amitabh Srivastava, Jay Thiagarajan, and Craig Schertz.
Microsoft Research Technical Report MSR-TR-2005-94, 2005.
Portable Document Format.
|
| • |
Hari Hampapuram, Yue Yang, and Manuvir Das.
Appeared in PASTE '05, 2005.
Portable Document Format.
|
2004| • |
Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, and Zhe Yang.
Appeared in FSE '04: Twelfth International Symposium on the Foundations of Software Engineering, Newport Beach, November 2004.
Portable Document Format.
|
| • |
Jim Larus, Tom Ball, Manuvir Das, Rob DeLine, Manuel Fahndrich, Jon Pincus, Sriram Rajamani, and Ramanathan Venkatapathy.
IEEE Software, Vol. 21 No. 3, May/June 2004.
Portable Document Format.
|
| • |
Nurit Dor, Stephen Adams, Manuvir Das, and Zhe Yang.
Appeared in ISSTA '04: International Symposium on Software Testing and Analysis, Boston, July 2004.
Portable Data Format.
|
2003| • |
Milenko Drinic, Darko Kirovski, and Hoi Vo.
CGO '03: Proceedings of the International Symposium on Code Generation and Optimization, pages 315–324. IEEE Computer Society, 2003.
Portable Document Format.
|
2002| • |
Amitabh Srivastava and Jay Thiagarajan.
International Symposium on Software Testing and Analysis, 2002.
Also available as Microsoft Research Technical Report MSR-TR-2002-15.
Portable Document Format.
|
| • |
Manuvir Das, Sorin Lerner, and Mark Seigle.
PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, Berlin, June 2002.
Portable Document Format.
|
| • |
Stephen Adams, Thomas Ball, Manuvir Das,Sorin Lerner, Sriram Rajamani, Mark Seigle, and Wes Weimer.
SAS '02: The 9th International Static Analysis Symposium, Madrid, September 2002.
Also available as Microsoft Research Technical Report MSR-TR-2001-20.
Portable Document Format.
|
2001| • |
William R. Bush, John D. Pincus, and David J. Sielaff.
Software - Practice and Experience, Vol. 30 No. 7, 2000.
Abstract.
|
| • |
Markus Mock, Manuvir Das, Craig Chambers, and Susan Eggers.
PASTE '01: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Snowbird, June 2001.
Also available as Microsoft Research Technical Report MSR-TR-2001-38.
Portable Document Format.
|
| • |
Manuvir Das, Ben Liblit, Manuel Fahndrich, and Jakob Rehof.
SAS '01: The 8th International Static Analysis Symposium, Paris, July 2001.
Also available as Microsoft Research Technical Report MSR-TR-2001-20.
Portable Document Format, PostScript.
|
| • |
Amitabh Srivastava, Andrew Edwards, and Hoi Vo.
Microsoft Research Technical Report, MSR-TR-2001-50, April 2001.
Portable Document Format.
|
2000| • |
Wen-Ke Chen, Sorin Lerner, Ronnie Chaiken, and David Gillies.
ACM Workshop on Feedback-Directed and Dynamic Optimization, 2000.
Portable Document Format.
|
| • |
Manuel Fahndrich, Jakob Rehof, and Manuvir Das.
PLDI '00: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, Vancouver, June 2000.
PostScript.
|
| • |
Manuvir Das.
PLDI '00: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, Vancouver, June 2000.
PostScript.
|
1999| • |
Zheng Wang, Ken Pierce, and Scott McFarling.
Feedback-Directed Optimization (FDO2), Haifa, Israel, November 1999.
Also available as Microsoft Research Technical Report MSR-TR-99-83.
PostScript.
|
| |
