Reed Milewicz
Title
Cited by
Cited by
Year
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
652019
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
142019
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
82015
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
62019
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
62017
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
62016
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
32018
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
22020
Comparing Artificial Neural Network and Cohort-Component Models for Population Forecasts
V Riiman, A Wilson, R Milewicz, P Pirkelbauer
Population Review 58 (2), 2019
22019
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
22017
A portable lock-free bounded queue
P Pirkelbauer, R Milewicz, JF Gonzalez
International Conference on Algorithms and Architectures for Parallel …, 2016
22016
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
12019
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
12019
Scalable Parallel Model Checking via Monte-Carlo Tree Search
RM Milewicz, S Poulding
ACM SIGSOFT Software Engineering Notes 42 (4), 1-5, 2018
12018
Ariadne: Hybridizing directed model checking and static analysis
R Milewicz, P Pirkelbauer
2017 IEEE International Conference on Software Testing, Verification and …, 2017
12017
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
12016
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
12013
ICD-9
AK Gupta
1
Research, Develop, Deploy: Building a Full Spectrum Software Engineering and Research Department
R Milewicz, J Willenbring, D Vigil
arXiv preprint arXiv:2010.04660, 2020
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
2020
The system can't perform the operation now. Try again later.
Articles 1–20