SimpleConcepts: Support for Constraints on Generic Types in C++. - Reed Milewicz; Marjan Mernik; Peter Pirkelbauer (FedCSIS, 2013)

SimpleConcepts: A lightweight extension to C++ to support constraints on generic types. - Reed Milewicz; Marjan Mernik; Peter Pirkelbauer (Comput. Sci. Inf. Syst., 2014)

Runtime checking C programs. - Reed Milewicz; Rajeshwar Vanka; James Tuck 001; Daniel J. Quinlan; Peter Pirkelbauer (SAC, 2015)

A Portable Lock-Free Bounded Queue. - Peter Pirkelbauer; Reed Milewicz; Juan Felipe Gonzalez (ICA3PP, 2016)

Lightweight runtime checking of C programs with RTC. - Reed Milewicz; Rajeshwar Vanka; James Tuck 001; Daniel J. Quinlan; Peter Pirkelbauer (Comput. Lang. Syst. Struct., 2016)

Ariadne: Hybridizing Directed Model Checking and Static Analysis. - Reed Milewicz; Peter Pirkelbauer (ICST, 2017)

Refinement of structural heuristics for model checking of concurrent programs through data mining. - Reed Milewicz; Peter Pirkelbauer (Comput. Lang. Syst. Struct., 2017)

Scalable Parallel Model Checking via Monte-Carlo Tree Search. - Reed M. Milewicz; Simon M. Poulding (ACM SIGSOFT Softw. Eng. Notes, 2017)

Talk to Me: A Case Study on Coordinating Expertise in Large-Scale Scientific Software Projects. - Reed Milewicz; Elaine M. Raybourn (eScience, 2018)

How remote work can foster a more inclusive environment for transgender developers. - Denae Ford; Reed Milewicz; Alexander Serebrenik (GE@ICSE, 2019)

Towards usability as a first-class quality of HPC scientific software: position paper. - Reed Milewicz; Paige Rodeghero (SE4Science@ICSE, 2019)

Characterizing the roles of contributors in open-source scientific software projects. - Reed Milewicz; Gustavo Pinto 001; Paige Rodeghero (MSR, 2019)

Lightweight Software Process Improvement Using Productivity and Sustainability Improvement Planning (PSIP). - Michael A. Heroux; Elsa Gonsiorowski; Rinku Gupta; Reed Milewicz; J. David Moulton; Gregory R. Watson; James M. Willenbring; Richard J. Zamora; Elaine M. Raybourn (HUST/SE-HER/WIHPC@SC, 2019)

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. - Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo 001; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; et al. (Int. J. Softw. Tools Technol. Transf., 2019)

Research, Develop, Deploy: Building a Full Spectrum Software Engineering and Research Department. - Reed Milewicz; James M. Willenbring; Dena Vigil (CoRR, 2020)

Negative Perceptions About the Applicability of Source-to-Source Compilers in HPC: A Literature Review. - Reed Milewicz; Peter Pirkelbauer; Prema Soundararajan; Hadia Ahmed; Anthony Skjellum (ISC Workshops, 2021)

An Exploration of the Mentorship Needs of Research Software Engineers. - Reed Milewicz; Miranda Mundt (CoRR, 2021)

Half-Precision Scalar Support in Kokkos and Kokkos Kernels: An Engineering Study and Experience Report. - Evan Harvey; Reed Milewicz; Christian Trott; Luc Berger-Vergiat; Siva Rajamanickam (e-Science, 2022)

Real-World Experiences Adopting Workflows at Exascale on the ExaAM Project. - Addi Malviya-Thakur; Reed Milewicz; Samuel Grayson; Philip W. Fackler; James F. Belak; John A. Turner (e-Science, 2022)

Enabling Catalyst Adoption in SPARC. - V. Gregory Weirs; Elaine M. Raybourn; Reed Milewicz; Killian Muollo; Jeffrey A. Mauldin; Thomas J. Otahal (ISAV@SC, 2022)

Building Bridges: Establishing a Dialogue Between Software Engineering Research and Computational Science. - Reed Milewicz; Miranda Mundt (CoRR, 2022)

Working in Harmony: Towards Integrating RSEs into Multi-Disciplinary CSE Teams. - Miranda Mundt; Reed Milewicz (CoRR, 2022)

A Secure Future for Open-Source Computational Science and Engineering. - Reed Milewicz; Jeffrey C. Carver; Samuel Grayson; Travis Atkison (Comput. Sci. Eng., 2022)

For the Public Good: Connecting, Retaining, and Recognizing Current and Future RSEs at U.S. National Research Laboratories and Agencies. - Miranda Mundt; Keith Beattie; Jonathan Bisila; Charles R. Ferenbaugh; William F. Godoy; Rinku Gupta; Jonathan E. Guyer; Miriam Kiran; Addi Malviya-Thakur; Reed Milewicz; Benjamin H. Sims; Vanessa V. Sochat; et al. (Comput. Sci. Eng., 2022)

In Their Shoes: Persona-Based Approaches to Software Quality Practice Incentivization. - Miranda Mundt; Reed M. Milewicz; Elaine M. Raybourn (Comput. Sci. Eng., 2022)

Automatic Reproduction of Workflows in the Snakemake Workflow Catalog and nf-core Registries. - Samuel Grayson; Darko Marinov; Daniel S. Katz; Reed Milewicz (ACM-REP, 2023)

Towards Evidence-Based Software Quality Practices for Reproducibility: Preliminary Results and Research Directions. - Reed Milewicz; Miranda Mundt (ACM-REP, 2023)

Wanted: standards for automatic reproducibility of computational experiments. - Samuel Grayson; Reed Milewicz; Joshua B. Teves; Daniel S. Katz; Darko Marinov (CoRR, 2023)

A cast of thousands: How the IDEAS Productivity project has advanced software productivity and sustainability. - Lois Curfman McInnes; Michael A. Heroux; David E. Bernholdt; Anshu Dubey; Elsa Gonsiorowski; Rinku Gupta; Osni Marques; J. David Moulton; Hai Ah Nam; Boyana Norris; Elaine M. Raybourn; James M. Willenbring; et al. (CoRR, 2023)

SciCat: A Curated Dataset of Scientific Software Repositories. - Addi Malviya-Thakur; Reed Milewicz; Lavínia Paganini; Ahmed Samir Imam Mahmoud; Audris Mockus (CoRR, 2023)

Workflow Registry Tester. - Samuel Grayson; Darko Marinov; Daniel S. Katz; Reed Milewicz (Zenodo, 2023)

Mentorship of Women in OSS Projects: A Cross-Disciplinary, Integrative Review. - Mariska Jacobs; Reed Milewicz; Alexander Serebrenik (Equity, Diversity, and Inclusion in Software Engineering, 2024)

Towards Evidence-Based Software Quality Practices for Reproducibility: Practices and Aligned Software Qualities. - Christian Gilbertson; Miranda Mundt; Joshua B. Teves; Simone Toribio; Reed Milewicz (ACM-REP, 2024)

A benchmark suite and performance analysis of user-space provenance collectors. - Samuel Grayson; Faustino Aguilar; Reed Milewicz; Daniel S. Katz; Darko Marinov (ACM-REP, 2024)

Towards Long-Term Scientific Model Sustainment at Sandia National Laboratories. - Christian Gilbertson; Reed Milewicz; Eric Berquist; Aaron Brundage; John Engelmann; Brian Evans; Nicholas Francis; Ernest Friedman-Hill; Samuel Grayson; Evan Harvey; Eric Ho; Edward Hoffman; et al. (ASE, 2024)

Seeking Enlightenment: Incorporating Evidence-Based Practice Techniques in a Research Software Engineering Team. - Reed Milewicz; Jonathan Bisila; Miranda Mundt; Joshua B. Teves (CoRR, 2024)

A Cast of Thousands: How the IDEAS Productivity Project Has Advanced Software Productivity and Sustainability. - Lois Curfman McInnes; Michael A. Heroux; David E. Bernholdt; Anshu Dubey; Elsa Gonsiorowski; Rinku Gupta; Osni Marques; J. David Moulton; Hai Ah Nam; Boyana Norris; Elaine M. Raybourn; James M. Willenbring; et al. (Comput. Sci. Eng., 2024)

The Multifaceted Nature of Mentoring in OSS: Strategies, Qualities, and Ideal Outcomes. - Zixuan Feng; Igor Steinmacher; Marco Aurélio Gerosa; Tyler Menezes; Alexander Serebrenik; Reed Milewicz; Anita Sarma (Zenodo, 2024)

The Multifaceted Nature of Mentoring in OSS: Strategies, Qualities, and Ideal Outcomes. - Zixuan Feng; Igor Steinmacher; Marco Aurélio Gerosa; Tyler Menezes; Alexander Serebrenik; Reed Milewicz; Anita Sarma (CHASE@ICSE, 2025)

Scientific Open-Source Software Is Less Likely to Become Abandoned Than One Might Think! Lessons from Curating a Catalog of Maintained Scientific Software. - Addi Malviya-Thakur; Reed Milewicz; Mahmoud Jahanshahi; Lavínia Paganini; Bogdan Vasilescu; Audris Mockus (Proc. ACM Softw. Eng., 2025)

Charting Uncertain Waters: A Socio-Technical Framework for Navigating GenAI's Impact on Open Source Communities. - Zixuan Feng; Reed Milewicz; Emerson R. Murphy-Hill; Tyler Menezes; Alexander Serebrenik; Igor Steinmacher; Anita Sarma (CoRR, 2025)