Papers Co-Authored by Microsoft Research

Principles of Programming Languages 2012
January 25–27, 2012 | Philadelphia, PA, United States

Pre Conference

  • Automating Induction with an SMT Solver
    Rustan LeinoVMCAI 2012
    Monday, January 23, 3:00–3:30 P.M.
  • Verifying Concurrent Programs using Locally Checked Invariants
    Ernie Cohen – LADA 2012
    Tuesday, January 24, 9:15–9:30 A.M.

Main Conference

Post Conference

  • Giving Haskell a Promotion
    Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton-Jones, Dimitrios Vytiniotis, and Jose Pedro Magalhaes – TLDI 2012
    Saturday, January 28, Session 4
  • Verifying Implementations of Security Protocols by Refinement
    Nadia Polikarpova and Michał MoskalVSTTE 2012
    Saturday, January 28, Session 1
  • Verification of TLB Virtualization Implemented in C
    Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, and Wolfgang J. Paul – VSTTE 2012
    Sunday, January 29, Session 3
Event Website
Related Microsoft Groups and Labs