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-6484
Facsimile: 517-432-1061

Software Engineering and Network Systems Laboratory

Links

European Software Engineering Conference/Foundations of Software Engineering (ESEC/FSE 2008)

International Conference on Software Engineering (ICSE 2008)

Fundamental Approaches to Software Engineering (FASE 2008)

Michigan Celebration of Women in Computing (MICWIC 2007)

Grace Hopper Celebration of Women in Computing (GHC 2007)

ACM Lectureship Information for L. Dillon

Computer Professionals for Social Responsibility (CPSR)

Research interests

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

Research Projects

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

Presentations