Microsoft Research

file

Visible to the public Taming JavaScript with F*

Presented as part of the 2013 HCSS conference.

ABSTRACT:

file

Visible to the public Automatic Theorem Proving and SMT

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Visible to the public Tech Transfer of Software Tools

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

Presented as part of the 2002 HCSS conference.

file

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

Presented as part of the 2004 HCSS conference.