Eric Kerfoot
Interests
- Object-oriented specification
- Design-by-Contract
- JML
- Compiler and code generator design
- Static analysis
- Formal specification of cooperative object relationships
- Object-oriented Concurrency (Active Objects)
- Aspect-oriented programming
- Aspect-based runtime assertion checking
Biography
- DPhil (PhD) in Computer Science, University of Oxford (2010)
- Research Officer, Computational Biology, University of Oxford (2010)
- Honours BSc Computer Science with Software Engineering Specialization, University of Western Ontario (2005)
- Research Assistant, York University, Toronto, Canada (2005)
- Teaching Assistant, Software Engineering Programme, Department of Computer Science, University of Oxford (2005-)
Selected Publications
-
Checking Concurrent Contracts with Aspects
Eric Kerfoot and Steve McKeever
In Proceedings of the 25th Annual Symposium On Applied Computing. March, 2010.
Details about Checking Concurrent Contracts with Aspects | BibTeX data for Checking Concurrent Contracts with Aspects | Download (pdf) of Checking Concurrent Contracts with Aspects
-
Formal Relationships in Sequential Object Systems
Eric Kerfoot
PhD Thesis 2010.
Details about Formal Relationships in Sequential Object Systems | BibTeX data for Formal Relationships in Sequential Object Systems | Download (pdf) of Formal Relationships in Sequential Object Systems
-
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 about Deadlock Freedom Through Object Ownership | BibTeX data for Deadlock Freedom Through Object Ownership | Download (pdf) of Deadlock Freedom Through Object Ownership