Eric Kerfoot : Publications
Conference papers
|
[1] |
Checking Concurrent Contracts with Aspects Eric Kerfoot and Steve McKeever In Proceedings of the 25th Annual Symposium On Applied Computing. March, 2010. |
|
[2] |
Automated Model-based Verification of Object-Oriented Code J. S. Ostroff, C. Wang, E. Kerfoot and F. A. Torshizi In Verified Software: Theories, Tools, Experiments (VSTTE Workshop, Floc 2006). Microsoft Research MSR-TR-2006-117. 2006. |
|
[3] |
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. |
|
[4] |
Maintaining Invariants Through Object Coupling Mechanisms Eric Kerfoot and 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. |