Mike Dodds

Accepting PhD Students

PhD projects

I am happy to supervise PhD students in any of my areas of interest. These include: multicore data-structures; verification and correctness; program logic; concurrency semantics.

17 Conference contribution
4 Article
1 Software

4 results

Filter

2016

Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic
Dodds, M. D., Jagannathan, S., Parkinson, M. J., Svendsen, K. & Birkedal, L., Jan 2016, In: Acm transactions on programming languages and systems. 38, 2, 72 p., 4.
Research output: Contribution to journal › Article › peer-review
2014

C/C++ Cycles Confound Compositionality
Dodds, M., Batty, M. & Gotsman, A., 2014, In: Tiny Transactions on Computer Science. 2
Research output: Contribution to journal › Article › peer-review

Open Access
File
2013

Proof-Directed Parallelization Synthesis by Separation Logic
Botincan, M., Dodds, M. & Jagannathan, S., Jul 2013, In: Acm transactions on programming languages and systems. 35, 2, 8.
Research output: Contribution to journal › Article › peer-review
2009

From Hyperedge Replacement to Separation Logic and Back
Plump, D. & Dodds, M., 2009, In: Electronic Communications of the EASST. 16, 18 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

Mike Dodds

Research output

Search results

Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic

C/C++ Cycles Confound Compositionality

Proof-Directed Parallelization Synthesis by Separation Logic

From Hyperedge Replacement to Separation Logic and Back