×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [sebastian burckhardt]
Documents
Concurrency Checking with CHESS: Learning from Experience Tom Ball, Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Shaz Qadeer
222 views
Documents
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection Santosh Nagarakatte, Sebastian Burckhardt, Milo Martin, Madan Musuvathi
217 views
Documents
Verifying Safety of a Token Coherence Implementation by Compositional Parametric Refinement Sebastian Burckhardt Rajeev Alur Milo M.K. Martin University
215 views
Documents
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
Documents
Two for the Price of One: A Model for Parallel and Incremental Computation
14 views
Documents
Z3: A Decision Engine for Software
72 views
Documents
touch develop a mobile IDE in the cloud
47 views
Documents
TouchDevelop Tips and Types for Programming via Touch
77 views