Concepedia

Mike Dodds

MD

12

Publications

552

Citations

12

H-Index

2010

Active since

Affiliations

University of Cambridge(Current)

University of York

Purdue University West Lafayette

Microsoft Research (United Kingdom)

University of Salzburg

Mike Dodds is an author at University of Cambridge specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceParallel ComputingParallel ProgrammingFormal VerificationSystem SoftwareProgram AnalysisSoftware AnalysisComputer Architecture

Publications per year

2010–2020

12

Publications

12

Concurrent abstract predicates

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner et al. · European Conference on Object-Oriented Programming · 2010 · 195 citations

Engineering, Automated Reasoning, Concurrency Theory +6

Library abstraction for C/C++ concurrency

Mark Batty, Mike Dodds, Alexey Gotsman · 2013 · 93 citations

Concurrent Libraries, Engineering, Computer Architecture +18

A Scalable, Correct Time-Stamped Stack

Mike Dodds, Andreas Haas, Christoph Kirsch · 2014 · 59 citations · Full text

Correct Time-stamped Stack, Engineering, Timing Analysis +15

A dual-targeting PDGFRβ/VEGF-A molecule assembled from stable antibody fragments demonstrates anti-angiogenic activity in vitro and in vivo

Robert L. Mabry, Debra G. Gilbertson, Amanda Frank et al. · mAbs · 2010 · 55 citations · Full text

Modular reasoning for deterministic parallelism

Mike Dodds, Suresh Jagannathan, Matthew Parkinson · ACM SIGPLAN Notices · 2011 · 26 citations

Engineering, Verification, Concurrent System +18

Rows per page

1–5 of 12