January 2001

Room 3212, 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

Fall 2009 Teaching

CSE 260: Discrete Structures in Computer Science

Links

ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2010)

International Symposium on Software Testing and Analysis (ISSTA 2010)

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

ACM Guide Author Page