| 2016 |
| - Unified Interference-free Parallel, Concurrent and Distributed Programming. Mischael Schill, PhD thesis, ETH Zurich, 2016.
[bib]
|
| - Simple Concurrency for Robotics. Andrey Rusakov, PhD thesis, ETH Zurich, 2016. [pdf]
[bib]
|
| - Seamless Heterogeneous Computing: Combining GPGPU and Task Parallelism. Alexey Kolesnichenko, PhD thesis, ETH Zurich, 2016. [pdf]
[bib]
|
| 2013 |
| - Verification of Graph Programs. Christopher M. Poskitt, PhD thesis, University of York, 2013. [pdf]
[bib]
|
| 2009 |
| - Proofs and Proof Transformations for Object-Oriented Programs. Martin Nordio, PhD thesis, ETH Zurich, Switzerland, 2009. [pdf]
[bib]
|
| 2008 |
| - Strategies for random-contract based testing. Ilinca Ciupa, PhD thesis, ETH Zurich, Switzerland, 2008. [pdf]
[bib]
|