Reed Milewicz
Cited by
Cited by
First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014
E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ...
International journal on software tools for technology transfer 21 (1), 31-70, 2019
How remote work can foster a more inclusive environment for transgender developers
D Ford, R Milewicz, A Serebrenik
2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software …, 2019
Runtime checking C programs
R Milewicz, R Vanka, J Tuck, D Quinlan, P Pirkelbauer
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2107-2114, 2015
Characterizing the roles of contributors in open-source scientific software projects
R Milewicz, G Pinto, P Rodeghero
2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019
Refinement of structural heuristics for model checking of concurrent programs through data mining
R Milewicz, P Pirkelbauer
Computer Languages, Systems & Structures 47, 170-188, 2017
Lightweight runtime checking of C programs with RTC
R Milewicz, R Vanka, J Tuck, D Quinlan, P Pirkelbauer
Computer Languages, Systems & Structures 45, 191-203, 2016
Talk to me: A case study on coordinating expertise in large-scale scientific software projects
R Milewicz, E Raybourn
2018 IEEE 14th International Conference on e-Science (e-Science), 9-18, 2018
Advancing Scientific Productivity through Better Scientific Software: Developer Productivity and Software Sustainability Report
MA Heroux, L McInnes, D Bernholdt, A Dubey, E Gonsiorowski, ...
Oak Ridge National Lab.(ORNL), Oak Ridge, TN (United States), 2020
Comparing Artificial Neural Network and Cohort-Component Models for Population Forecasts
V Riiman, A Wilson, R Milewicz, P Pirkelbauer
Population Review 58 (2), 2019
Memory management for concurrent data structures on hardware transactional memory
P Pirkelbauer, A Wilson, H Ahmed, R Milewicz
Proceedings of the 12th ACM SIGPLAN Workshop on Transactional Computing …, 2017
A portable lock-free bounded queue
P Pirkelbauer, R Milewicz, JF Gonzalez
International Conference on Algorithms and Architectures for Parallel …, 2016
Lightweight Software Process Improvement Using Productivity and Sustainability Improvement Planning (PSIP)
MA Heroux, E Gonsiorowski, R Gupta, R Milewicz, JD Moulton, ...
Tools and Techniques for High Performance Computing, 98-110, 2019
Position Paper: Towards Usability as a First-Class Quality of HPC Scientific Software
R Milewicz, P Rodeghero
2019 IEEE/ACM 14th International Workshop on Software Engineering for …, 2019
Scalable Parallel Model Checking via Monte-Carlo Tree Search
RM Milewicz, S Poulding
ACM SIGSOFT Software Engineering Notes 42 (4), 1-5, 2018
Ariadne: Hybridizing directed model checking and static analysis
R Milewicz, P Pirkelbauer
2017 IEEE International Conference on Software Testing, Verification and …, 2017
Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis
RM Milewicz
The University of Alabama at Birmingham, 2016
Simpleconcepts: Support for constraints on generic types in c++
R Milewicz, M Mernik, P Pirkelbauer
2013 Federated Conference on Computer Science and Information Systems, 1535-1540, 2013
AK Gupta
Research, Develop, Deploy: Building a Full Spectrum Software Engineering and Research Department
R Milewicz, J Willenbring, D Vigil
arXiv preprint arXiv:2010.04660, 2020
Lightweight Software Quality Practice PSIP: Productivity Sustainability Improvement Planning.
EM Raybourn, R Milewicz, W Greg, G Elsa, JM Willenbring
Sandia National Lab.(SNL-NM), Albuquerque, NM (United States), 2020
The system can't perform the operation now. Try again later.
Articles 1–20