Mike Dodds

Mike Dodds

Dr

Former affiliations
 https://orcid.org/0000-0002-4439-0130

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. 

Filter
Software

Search results

  • 2011

    jStar: Bringing separation logic to Java

    Distefano, D. (Developer), Parkinson, M. J. (Developer), Dodds, M. (Developer), Grigore, R. (Developer), Petersen, R. (Developer), Botincan, M. (Developer), Gabi, D. (Developer), Turk, T. (Developer), Naudziuniene, D. (Developer), van Staden, S. (Developer) & Wright, A. (Developer), 2011

    Research output: Non-textual form › Software