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
Conference contribution

Search results

  • 2017

    Proving Linearizability Using Partial Orders

    Khyzha, A., Dodds, M. D., Gotsman, A. & Parkinson, M. J., 2017, Proceedings of the European Symposium on Programming.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Starling: Lightweight Concurrency Verification With Views

    Windsor, M. B., Dodds, M. D., Parkinson, M. J. & Simner, B., 2017, Computer aided verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings. Majumdar, R. & Kuncak, V. (eds.). Vol. 1. p. 544-569 (Lecture Notes in Computer Science; vol. 10426).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2015

    A Scalable, Correct Time-stamped Stack

    Dodds, M., Haas, A. & Kirsch, C. M., 2015, Proceedings of the 42th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.. ACM, 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2014

    Towards Rigorously Faking Bidirectional Model Transformations

    Poskitt, C., Dodds, M., Paige, R. F. & Rensink, A., 2014, AMT 2014 - Analysis of Model Transformations Workshop Proceedings. Dingel, J., de Lara, J., Lucio, L. & Vangheluwe, H. (eds.). CEUR Workshop Proceedings, Vol. 1277. p. 70-75 (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2013

    Library abstraction for C/C++ concurrency

    Batty, M., Dodds, M. & Gotsman, A., 2013, POPL '13 : Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York: ACM, p. 235-248 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Ribbon proofs for separation logic

    Wickerson, J., Dodds, M. & Parkinson, M. J., 16 Mar 2013, Programming Languages and Systems: ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems. ACM, Vol. 7792 LNCS. p. 189-208 10 p. (Lecture Notes in Computer Science; vol. 7792).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2012

    Resource-sensitive synchronization inference by abduction

    Botincan, M., Dodds, M. D. & Jagannathan, S., 2012, POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . New York: ACM, p. 309-322 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2011

    A simple abstraction for complex concurrent indexes

    Pinto, P. D. R., Dinsdale-Young, T., Dodds, M. D., Gardner, P. & Wheelhouse, M. J., 2011, OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems language and applications . New York: ACM, p. 845-864 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • jStar-eclipse: an IDE for automated verification of Java programs

    Naudziuniene, D., Botincan, M., Distefano, D., Dodds, M., Grigore, R. & Parkinson, M. J., 5 Sept 2011, ESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. ACM, p. 428-431 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Modular reasoning for deterministic parallelism

    Dodds, M., Jagannathan, S. & Parkinson, M. J., 26 Jan 2011, POPL '11 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, p. 259-270 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Safe asynchronous multicore memory operations

    Bontincan, M., Dodds, M., Donaldson, A. F. & Parkinson, M. J., 2011, Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on. IEEE, p. 153-162 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2010

    Concurrent abstract predicates

    Dinsdale-Young, T., Dodds, M. D., Gardner, P., Parkinson, M. J. & Vafeiadis, V., 2010, ECOOP 2010 – Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. Springer, p. 504-528 25 p. (Lecture Notes in Computer Science; vol. 6183).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Explicit Stabilisation for Modular Rely-Guarantee Reasoning

    Wickerson, J., Dodds, M. & Parkinson, M. J., 2010, Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer, Vol. 6012 LNCS. p. 610-629 20 p. (Lecture Notes in Computer Science; vol. 6012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2009

    Deny-Guarantee Reasoning

    Dodds, M. D., Feng, X., Parkinson, M. J. & Vafeiadis, V., 2009, Programming Languages and Systems, 18th European Symposium on Programming: ESOP 2009. Springer New York: Springer, Vol. 5502. p. 363-377 15 p. (Lecture Notes in Computer Science; vol. 5502).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2008

    From Separation Logic to Hyperedge Replacement and Back

    Dodds, M., 2008, Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Springer, Vol. 5214 LNCS. p. 484-486 3 p. (Lecture Notes in Computer Science; vol. 5214).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2006

    Extending C for Checking Shape Safety

    Plump, D. & Dodds, M., 2006, Proc. Graph Transformation for Verification and Concurrency (GT-VC 2005). Elsevier, p. 95-112 (Electronic Notes in Theoretical Computer Science; vol. 154, no. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Graph Transformation in Constant Time

    Dodds, M. & Plump, D., 2006, Proceedings 3rd International Conference on Graph Transformation (ICGT 2006). Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L. & Rozenberg, G. (eds.). Berlin: Springer, p. 367-382 16 p. (Lecture Notes in Computer Science; vol. 4178).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution