Welcome to MSDN Blogs Sign in | Join | Help

Browse by Tags

Building Scalable Failure-proneness Models Using Complexity Metrics for Large Scale Software Systems

Posted Thursday, December 28, 2006 9:04 PM by CSE Web
Thirumalesh Bhat and Nachiappan Nagappan. Thirumalesh Bhat and Nachiappan Nagappan Asia-Pacific Software Engineering Conference (APSEC), 2006. Read More...
(Comments Off)
Filed under:

Attachment(s): APSECVer4.doc

Mojo: A dynamic optimization system.

Posted Tuesday, November 14, 2006 10:46 PM by CSE Web
Wen-Ke Chen, Sorin Lerner, Ronnie Chaiken, and David Gillies. ACM Workshop on Feedback-Directed and Dynamic Optimization , 2000. Portable Document Format. Read More...
(Comments Off)

Attachment(s): mojo_fddo_2000.pdf

Symbolic Path Simulation in Path-Sensitive Dataflow Analysis.

Posted Tuesday, November 14, 2006 9:16 PM by CSE Web
Hari Hampapuram, Yue Yang, and Manuvir Das. Appeared in PASTE '05 , 2005. Portable Document Format. Read More...
(Comments Off)

Attachment(s): ssm_paste_2005.pdf

PSE: Explaining Program Failures via Postmortem Static Analysis.

Posted Tuesday, November 14, 2006 9:14 PM by CSE Web
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. Read More...
(Comments Off)

Attachment(s): pse_fse_2005.pdf

Perracotta: Mining Temporal API Rules From Imperfect Traces.

Posted Tuesday, November 14, 2006 9:12 PM by CSE Web
Jinlin Yang (U of Virginia), David Evans (U of Virginia), Deepali Bhardwaj, Thirumalesh Bhat, and Manuvir Das. To appear in ICSE , 2006. Portable Document Format. Read More...
(Comments Off)

Attachment(s): Perracotta_ICSE06.pdf

Path-Sensitive Dataflow Analysis with Iterative Refinement.

Posted Tuesday, November 14, 2006 9:09 PM by CSE Web
Dinakar Dhurjati1, Manuvir Das, and Yue Yang. SAS'06: The 13th International Static Analysis Symposium , Seoul, August 2006. Portable Document Format. Read More...
(Comments Off)

Attachment(s): path_sensitive_dataflow.pdf

Evaluating the Efficacy of Test-Driven Development: Industrial Case Studies.

Posted Tuesday, November 14, 2006 9:08 PM by CSE Web
Thirumalesh Bhat and Nachiappan Nagappan. To appear in ISESE , 2006. Portable Document Format. Read More...
(Comments Off)

Attachment(s): isese-fp17288-Bhat.pdf

Framework for Instruction-level Tracing and Analysis of Program Executions.

Posted Tuesday, November 14, 2006 9:07 PM by CSE Web
Sanjay Bhansali, Wen-Ke Chen, Stuart de Jong, Andrew Edwards, Ron Murray, Milenko Drinic, Darek Mihocka, and Joe Chau. To appear in Virtual Execution Environments Conference , 2006. Portable Document Format. Read More...
(Comments Off)

Attachment(s): instruction_level_tracing_VEE06.pdf

Software Validation via Scalable Path-Sensitive Value Flow Analysis.

Posted Tuesday, November 14, 2006 9:05 PM by CSE Web
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. Read More...
(Comments Off)

Attachment(s): value_flow_issta_2004.pdf

Profile-guided Proactive Garbage Collection for Locality Optimization.

Posted Tuesday, November 14, 2006 8:47 PM by CSE Web
Chen Wen-ke, Sanjay Bhansali, Trishul Chilimbi (Microsoft), Xiaofeng Gao, and Weihaw Chuang (UC San Diego). To appear in PLDI '06 . Portable Document Format. Read More...
(Comments Off)

Attachment(s): aha-pldi2006.pdf

Research Papers from CSE

Posted Monday, November 13, 2006 5:46 PM by CSE Web
A Static Analyzer for Finding Dynamic Programming Errors. (appears in Software - Practice and Experience Vol. 30 No. 7, 2000) BMAT – A Binary Matching Tool. (Microsoft Research Technical Report MSR-TR-99-83) Building Scalable Failure-proneness Models Read More...
(Comments Off)
Filed under:

Welcome

Posted Thursday, November 09, 2006 9:47 PM by CSE Web
At the Center for Software Excellence , we strive to radically improve the software development processes at Microsoft. CSE makes "big bets" on innovative technologies and tools that transform how software is produced. The small, agile teams of CSE attack Read More...
(Comments Off)
 
Page view tracker