Classes Typically Taught: |
- COSC 065 Hardware Systems
- COSC 125 Operating Systems
- COSC 152 Programming Languages
- COSC 170 Compiler Construction
- COSC 198 Embedded Systems
|
Research Interests: |
- Real-time, embedded, and interrupt-driven systems; software engineering;
computer science education
|
Recent Publications: |
- An Experimental Laboratory Environment for Teaching Embedded Hardware Systems,
in Proceedings of WCAE 2007: Workshop on Computer Architecture Education, pages 44-51, San Diego, California, June 2007.
- Deadline Analysis of Interrupt Driven Software(with J. Palsberg),
IEEE Transaction on Software Engineering, vol.30, number 10, pp.634-655, October 2004.
- Deadline Analysis of Interrupt Driver Software, preliminary version
Proceedings of FSE 03: 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Helsinki,
Finland, September 2003.
- Static Checking of Interrupt-Driven Software(with N. Damgaard and J.Palsberg),
Proceedings of ICSE 01: 23rd International Conference on Software Engineering,
Toronto, Canada, pages 47-56, June 2001.
|
|
Office: 
