![[photo of me skiing with Phoebe]](Pictures/skiing2.jpg)
January 2001
January 2001
Office: Room 3112, Engineering Building
Mail address:
Department of Computer Science
Michigan State University
East Lansing, MI 48824
Internet: ldillon (at) cse (dot) msu (dot) edu
Telephone: +1-517-353-4387
Facsimile: +1-517-432-1061
Research interests: Formal methods for specification and validation of concurrent software systems; software engineering; programming languages
CSE 814 (Website under construction - check back later this summer)
International Symposium on Software Testing and Analysis (ISSTA 2011)
Synchronization Units Model (Szumo)
COPSE: Understanding how developers maintain concurrent
software
Synchronization Adorned Unified Modeling Language (saUML)
Meridian: An Integrated Toolkit for Developing Interactive
Distributed Applications
Automated Suport for Testing and Debugging of Real-Time
Programs Using Oracles
An Integrated Toolset for Specifying, Testing and Debugging
Complex Software-Intensive Systems