January 2001

Room 3115, Engineering Building
Department of Computer Science
Michigan State University
East Lansing, MI 48824

Internet: ldillon (at) cse (dot) msu (dot) edu
Telephone: 517-353-4387
Facsimile: 517-432-1061

Software Engineering and Network Systems Laboratory

Spring 2009 Teaching

CSE 231

Links

Computer Professionals for Social Responsibility (CPSR)

Research interests

Formal methods for specification and validation of concurrent systems; software engineering; programming languages

Research Projects

COPSE: Understanding how developers maintain concurrent software

Synchronization Adorned Unified Modeling Language (saUML)

RAPIDware

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

Selected Publications