×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [sebastian burckhardt]
Concurrency Checking with CHESS: Learning from Experience Tom Ball, Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Shaz Qadeer
222 views
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection Santosh Nagarakatte, Sebastian Burckhardt, Milo Martin, Madan Musuvathi
216 views
Verifying Safety of a Token Coherence Implementation by Compositional Parametric Refinement Sebastian Burckhardt Rajeev Alur Milo M.K. Martin University
215 views
Touch develop a mobile IDE in the cloud Michał Moskal, Nikolai Tillmann, Peli de Halleux, Tom Ball, Sebastian Burckhardt, Manuel Fähndrich* Microsoft Research
215 views
Two for the Price of One: A Model for Parallel and Incremental Computation
13 views
Z3: A Decision Engine for Software
72 views
touch develop a mobile IDE in the cloud
47 views
TouchDevelop Tips and Types for Programming via Touch
77 views