Steve McKeever

Dr Steve McKeever

University Lecturer
Governing Body Fellow, Kellogg College

Room 464, OeRC, Parks Road, Oxford OX1 3QD

interests

The unifying theme of my research is to explore semantics-based methods for developing languages, systems and tools. I have used such methods for the design and implementation of:

provably-correct compiler generators
hardware development tools based on imperative and declarative languages
biological modelling languages to enable simulations at both the cell and atomistic levels.

selected publications (View all)

Checking Concurrent Contracts with Aspects

Eric Kerfoot, Steve McKeever

In Proceedings of the 25th Annual Symposium On Applied Computing March 2010.

Details | BibTeX | Download (pdf)

Deadlock Freedom Through Object Ownership

Eric Kerfoot, Steve McKeever and Faraz Torshizi

In Tobias Wrigstad, editor, 5rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2009 July 2009.

Details | BibTeX | Download (pdf)

A model-driven approach to automatic conversion of physical units

Jonathan Cooper, Steve McKeever

Softw. Pract. Exper. Vol. 38, No. 4, pages 337-359. 2008.

Details | BibTeX | DOI (10.1002/spe.828)

info

themes	Software Engineering \| Computational Biology
activities	Computational Biology group \| Information Modelling
projects	Integrative Biology \| Integrating Biological Simulations
students	Jonathan Cooper \| Eric Kerfoot