MSR offers internships all year round. If you are interested in compilers and/or verification and would like to intern with us, please drop me an email.
Complete Publications List (DBLP, Scholar)
Alive: Automatic Verification of Peephole Optimizations
CORK: Compiler Optimization Correctness Checking
DAHL: Distributed Systems in Prolog
HSF: A Software Verifier based on Horn Clauses
PSyCO: Precondition Synthesis for Compiler Optimizations
Misc Patches for open-source software