Concurrency Checking with CHESS: Learning from Experience Tom Ball, Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Shaz Qadeer.
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection Santosh Nagarakatte, Sebastian Burckhardt, Milo Martin, Madan Musuvathi.
Verifying Safety of a Token Coherence Implementation by Compositional Parametric Refinement Sebastian Burckhardt Rajeev Alur Milo M.K. Martin University.
Touch develop a mobile IDE in the cloud Michał Moskal, Nikolai Tillmann, Peli de Halleux, Tom Ball, Sebastian Burckhardt, Manuel Fähndrich* Microsoft Research.
Two for the Price of One: A Model for Parallel and Incremental Computation
Z3: A Decision Engine for Software
touch develop a mobile IDE in the cloud
TouchDevelop Tips and Types for Programming via Touch