Microsoft Research Projects of Interest – Types

Microsoft has a number of great groups at the MSR and a lot of interesting projects. I am nearly done with my PhD and am looking for possible opportunities at various research labs and groups. In this series of posts, I am going to briefly summarize interesting projects select for MSR researcher and post-doc positions.

Types

Dminor is a first-order functional language based on refinement type and type-tests. It is purported to handle many dynamic tests statically.

Typed Assembly Language for Object-Oriented Compilers project uses typed intermediate languages and Typed Assembly Languages (TAL) (type annotated native code) to guarantee safety properties of native code.