|
|
Eric Kerfoot
| Eric Kerfoot
Doctoral Student
Student,
St Catherine's College
eric.kerfoot[at]comlab.ox.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD
|
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
- 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, Oxford University Computing Laboratory (2005-)
links
Tesla Language
CoJava
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) |
|
Maintaining Invariants Through Object Coupling Mechanisms
Eric Kerfoot, Steve McKeever
In Tobias Wrigstad, editor, 3rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2007 July 2007.
Details
|
BibTeX
| Download (pdf) |
info
|
|
|
|
