Folgen
Mike Dodds
Mike Dodds
Galois Inc.
Bestätigte E-Mail-Adresse bei galois.com
Titel
Zitiert von
Zitiert von
Jahr
Concurrent abstract predicates
T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis
European Conference on Object-Oriented Programming, 504-528, 2010
3022010
Deny-guarantee reasoning
M Dodds, X Feng, M Parkinson, V Vafeiadis
European Symposium on Programming, 363-377, 2009
1532009
Library abstraction for C/C++ concurrency
M Batty, M Dodds, A Gotsman
ACM SIGPLAN Notices 48 (1), 235-248, 2013
1032013
A scalable, correct time-stamped stack
M Dodds, A Haas, CM Kirsch
ACM SIGPLAN Notices 50 (1), 233-246, 2015
602015
Modular reasoning for deterministic parallelism
M Dodds, S Jagannathan, MJ Parkinson
ACM SIGPLAN Notices 46 (1), 259-270, 2011
432011
coreStar: The core of jStar
M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ...
Boogie 2011, 65-77, 2011
332011
A simple abstraction for complex concurrent indexes
P da Rocha Pinto, T Dinsdale-Young, M Dodds, P Gardner, ...
ACM SIGPLAN Notices 46 (10), 845-864, 2011
302011
Explicit stabilisation for modular rely-guarantee reasoning
J Wickerson, M Dodds, M Parkinson
European Symposium on Programming, 610-629, 2010
292010
Proving linearizability using partial orders
A Khyzha, M Dodds, A Gotsman, M Parkinson
European Symposium on Programming, 639-667, 2017
252017
From hyperedge replacement to separation logic and back
M Dodds, D Plump
Electronic Communications of the EASST 16, 2009
20*2009
Extending C for checking shape safety
M Dodds, D Plump
Electronic Notes in Theoretical Computer Science 154 (2), 95-112, 2006
192006
Verifying custom synchronization constructs using higher-order separation logic
M Dodds, S Jagannathan, MJ Parkinson, K Svendsen, L Birkedal
ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (2), 1-72, 2016
182016
Graph transformation and pointer structures
M Dodds
University of York, 2008
182008
Graph transformation in constant time
M Dodds, D Plump
International Conference on Graph Transformation, 367-382, 2006
172006
Compositional verification of compiler optimisations on relaxed memory
M Dodds, M Batty, A Gotsman
European Symposium on Programming, 1027-1055, 2018
15*2018
Towards rigorously faking bidirectional model transformations
CM Poskitt, M Dodds, RF Paige, A Rensink
AMT 2014-Analysis of Model Transformations Workshop Proceedings 1277, 70-75, 2014
152014
Proof-directed parallelization synthesis by separation logic
M Botinčan, M Dodds, S Jagannathan
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (2), 1-60, 2013
142013
Starling: lightweight concurrency verification with views
M Windsor, M Dodds, B Simner, MJ Parkinson
International Conference on Computer Aided Verification, 544-569, 2017
132017
Ribbon proofs for separation logic
J Wickerson, M Dodds, M Parkinson
European Symposium on Programming, 189-208, 2013
132013
Resource-sensitive synchronization inference by abduction
M Botincan, M Dodds, S Jagannathan
ACM SIGPLAN Notices 47 (1), 309-322, 2012
132012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20