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., Parkinson, M. J., Dodds, M., Grigore, R., Petersen, R., Botincan, M., Gabi, D., Turk, T., Naudziuniene, D., van Staden, S. & Wright, A., 2011

    Research output: Non-textual form › Software