January 2001

Office: Room 3132, 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

Fall 2012 Teaching

CSE 260 Discrete Structures in Computer Science, Fall

Links

Foundations on Software Engineering (FSE 2012)

International Symposium on Software Testing and Analysis (ISSTA 2013)

ACM SIGSOFT

MSU Women in Computing

Anita Borg Institute

ACM-W

CRA-W

NCWIT

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

Presentations