| 2021 | SIGCSE | Virtual Outreach: Lessons from a Coding Club's Response to COVID-19. | Andrew McDonald, Laura K. Dillon |
| 2017 | SIGCSE | Increasing Diversity in the Face of Enrollment Increases. | Wendy M. DuBow, Ignatios Vakalis, Laura K. Dillon, Helen H. Hu |
| 2016 | MOMM | Dancing Computer: Computer Literacy though Dance. | Charles B. Owen, Laura K. Dillon, Alison Dobbins, Noah Keppers, Madeline Levinson, Matthew Rhodes |
| 2014 | ICSE | Toward tractable instantiation of conceptual data models using non-semantics-preserving model transformations. | Matthew Nizol, Laura K. Dillon, R. E. Kurt Stirewalt |
| 2011 | ISSTA | Scalable analysis of conceptual data models. | Matthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt |
| 2009 | ICSE | The inference validity problem in legal discovery. | R. E. Kurt Stirewalt, Laura K. Dillon, Eileen T. Kraemer |
| 2008 | ICSE | Using formal models to objectively judge quality of multi-threaded programs in empirical studies. | Laura K. Dillon, R. E. Kurt Stirewalt, Eileen T. Kraemer, Shaohua Xie, Scott D. Fleming |
| 2008 | ICSE | A study of student strategies for the corrective maintenance of concurrent software. | Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Shaohua Xie, Laura K. Dillon |
| 2007 | ICSE | Contracts and Middleware for Safe SOA Applications. | Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon |
| 2006 | SEKE | A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications. | Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon |
| 2006 | SEW | Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. | R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends |
| 2005 | SEW | Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. | R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon |
| 2001 | ICSE | Leightweight Analysis of Operational Specifications Using Inference Graphs. | Laura K. Dillon, Kurt Stirewalt |
| 2001 | ICSE | A Component-Based Approach to Building Formal Analysis Tools. | Kurt Stirewalt, Laura K. Dillon |
| 1999 | ICSE | Analysis of a Scheduler for a CAD Framework. | David S. Keyes, Laura K. Dillon, Moon-Jung Chung |
| 1997 | CIKM | Pharos: A Scalable Distributed Architecture for Locating Heterogeneous Information Sources. | Ron Dolin, Divyakant Agrawal, Amr El Abbadi, Laura K. Dillon |
| 1997 | ICSE | Analyzing Partially-Implemented Real-Time Systems. | George S. Avrunin, James C. Corbett, Laura K. Dillon |
| 1996 | CAV | The Real-Time Graphical Interval Logic Toolset. | Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon |
| 1993 | CAV | A Graphical Interval Logic Toolset for Verifying Concurrent Systems. | George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith |
| 1993 | RTSS | Really visual temporal reasoning. | Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty |
| 1992 | ICSE | Graphical Specifications for Concurrent Software Systems. | Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna |
| 1991 | ISSTA | Experiments with an Improved Constrained Expression Toolset. | George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
| 1989 | ISSTA | Experiments in Automated Analysis of Concurrent Software Systems. | George S. Avrunin, Jack C. Wileden, Laura K. Dillon |