| 2022 | COMPSAC | Algorithmic Input Generation for More Effective Software Testing. | Laura Epifanovskaya, Reginald Meeson, Christopher McCormack, Jinseo R. Lee, Robert C. Armstrong, Jackson R. Mayo |
| 2020 | ECSA | Formal Verification of Run-to-Completion Style Statecharts Using Event-B. | Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler |
| 2020 | SC | Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony. | Hemanth Kolla, Jackson R. Mayo, Keita Teranishi, Robert C. Armstrong |
| 2019 | EuroPar | Physics-Based Checksums for Silent-Error Detection in PDE Solvers. | Maher Salloum, Jackson R. Mayo, Robert C. Armstrong |
| 2016 | HPDC | In-Situ Mitigation of Silent Data Corruption in PDE Solvers. | Maher Salloum, Jackson R. Mayo, Robert C. Armstrong |
| 2016 | ICCS | A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults. | Peter E. Strazdins, Brendan Harding, Chung Lee, Jackson R. Mayo, Jaideep Ray, Robert C. Armstrong |
| 1999 | DAIS | The Lilith framework for the rapid development of secure scalable tools for distributed computing (short paper). | David A. Evensky, Ann C. Gentile, Pete Wyckoff, Robert C. Armstrong |
| 1999 | HPDC | Toward a Common Component Architecture for High-Performance Scientific Computing. | Robert C. Armstrong, Dennis Gannon, Al Geist, Katarzyna Keahey, Scott R. Kohn, Lois C. McInnes, Steven G. Parker, Brent A. Smolinski |
| 1998 | HPDC | Lilith: A Software Framework for the Rapid Development of Scalable Tools for Distributed Computing. | Ann C. Gentile, David A. Evensky, Robert C. Armstrong |
| 1997 | DAC | Developing a Concurrent Methodology for Standard-Cell Library Generation. | Donald G. Baltus, Thomas Varga, Robert C. Armstrong, John Duh, T. G. Matheson |
| 1997 | HPDC | Frame-Based Components for Generalized Particle Methods. | Robert C. Armstrong, Pete Wyckoff, Clement Yam, Mary Bui-Pham, Nancy Brown |
| 1997 | HPDC | Lilith: Scalable Execution of User Code for Distributed Computing. | David A. Evensky, Ann C. Gentile, L. Jean Camp, Robert C. Armstrong |
| 1994 | HPDC | The Use of Frameworks for Scientific Computation in a Parallel Distributed Environment. | Robert C. Armstrong, Jane MacFarlane |
| 1992 | ICCAD | FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases. | Robert C. Armstrong, Jonathan Allen |