Microsoft Research

file

Visible to the public Taming JavaScript with F*

Submitted by TimTh on Tue, 05/28/2013 - 11:47am. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT:

file

Visible to the public Automatic Theorem Proving and SMT

Submitted by TimTh on Mon, 05/13/2013 - 3:24pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Visible to the public Tech Transfer of Software Tools

Submitted by TimTh on Tue, 05/01/2012 - 4:34pm. Contributor:

Presented as part of the 2012 HCSS conference.

Abstract:

"Invent a better mousetrap and the world will beat a path to your door? Not!"

file

Visible to the public The SLAM Project: Debugging System Software via Static Analysis

Submitted by brad_martin on Tue, 09/13/2011 - 4:32pm. Contributors:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Static Driver Verifier: Finding Device Driver Bugs at Compile-time

Submitted by Byron Cook on Wed, 08/24/2011 - 5:50pm. Contributor:

Presented as part of the 2004 HCSS conference.