[skiing with Phoebe] January 2001

Laura K. Dillon
Professor

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

Fall 2008 Teaching

CSE 891 (was CSE 914): Formal Methods in Software Development: Reliable Computing with Threads

CSE 452: Still links to old website. New one is under construction

Links

International Symposium on Software Testing and Analysis (ISSTA 2008)

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

Synchronization Units Model (Szumo)

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

CSE Department home page.