Products

Software

The Blaze Concurrent Library

 

Peer Reviewed Journal Articles

Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker,Klaus Havelund,Yogi Joshi,Felix Klaedtke,Reed Milewicz,Giles Reger,Grigore Rosu,Julien Signoles,Daniel Thoma,Eugen Zalinescu,Yi Zhang: First international Competition on Runtime Verification: rules,benchmarks, tools, and final results of CRV 2014, Int. Journal on Software Tools and Technology Transfer, Spring 2017. doi: 10.1007/s10009-017-0454-5

Reed Milewicz, Peter Pirkelbauer: Refinement of structural heuristics for model checking of concurrent programs through data mining. In Journal of Computer Languages, Systems & Structures, Volume 47, January 2017., Pages 170-188, Elsevier 2017. doi:10.1016/j.cl.2016.06.001

Reed Milewicz, Rajesh Vanka, James Tuck, Daniel Quinlan, Peter Pirkelbauer: Lightweight Runtime Checking of C Programs with RTC. In Journal of Computer Languages, Systems & Structures, Volume 45, April 2016, Pages 191-203, Elsevier, 2016. doi:10.1016/j.cl.2016.01.001

Reed Milewicz, Marjan Mernik, Peter Pirkelbauer: SimpleConcepts: A Lightweight Extension to C++ to Support Constraints on Generic Types. In Computer Science and Information Systems, ComSIS, Online First Issue, 2014. doi:10.2298/CSIS131209053M

 

Peer Reviewed Conference, Symposium, and Workshop Papers

Hadia Ahmed, Anthony Skjellum, Purushotham Bangalore, Peter Pirkelbauer. Transforming Blocking MPI Collectives to Nonblocking and Persistent Operations, EuroMPI, 2017, to appear.

Viktoria Riiman, Amalee Wilson, Reed Milewicz, Peter Pirkelbauer: Comparing Artificial Neural Network and Cohort-Component Models for Population Forecasts. Population Association of America, Annual Meeting 2017.

Reed Milewicz, Peter Pirkelbauer: Ariadne: Hybridizing Directed Model Checking and Static Analysis. In 10th IEEE International Conference on Software Testing, Verification and Validation, (ICST ’17), 2017.

Peter Pirkelbauer, Amalee Wilson, Hadia Ahmed, Reed Milewicz: Memory Management for Concurrent Data Structures on Hardware Transactional Memory. In 12th ACM SIGPLAN Workshop on Transactional Computing (Transact’17), workshop at the Symposium on Principles and Practice of Parallel Programming, 2017.

Peter Pirkelbauer, Reed Milewicz, Juan Felipe Gonzalez: A Portable Lock-free Bounded Queue. In 16th International Conference on Algorithms and Architectures for Parallel Processing, LNCS 10048, Pages 55-73, Springer 2016.

Hadia Ahmed, Anthony Skjellum, Peter Pirkelbauer: Petal Tool for Analyzing and Transforming Legacy MPI Applications. In 28th International Workshop on Languages and Compilers for Parallel Computing, LNCS 9519, Pages 156-179, Springer 2015.

Reed Milewicz, Rajesh Vanka, James Tuck, Daniel Quinlan, Peter Pirkelbauer: Runtime Error Checking of C Programs. In ACM Symposium on Applied Computing, Track on Programming Languages, 2015.

Hadia Ahmed, Peter Pirkelbauer, Anthony Skjellum: An Automatic Transformation and Analysis Tool for Improving Legacy MPI Applications, In 28th IEEE International Parallel & Distributed Processing Symposium. PhD symposium, 2014.

Brendan Lynch, Peter Pirkelbauer, Damian Dechev: Building Fast Concurrent Data Structures through Data Structure Families. In Many-core Applications Research Community Symposium (MARC) at SPLASH’13, 2013.

Reed Milewicz, Marjan Mernik, Peter Pirkelbauer: SimpleConcepts: Support for Constraints on Generic Types in C++. In 4th Workshop on Advances in Programming Languages, 2013.

 

Posters and Presentations

Peter Pirkelbauer: Concurrent Object Design on Systems with Hardware Transactional Memory. University of Central Florida, August 2017.

Peter Pirkelbauer: Runtime Checking of C programs, Alabama Cyber Research Consortium, July 2017.

Peter Pirkelbauer: Hardware Transactional Memory and Concurrent Data Structures. Texas A&M University, Invited Talk. February 2017.

Viktoria Riiman, Reed Milewicz, Amalee Wilson, Peter Pirkelbauer: Using Machine Learning for Population Projections, Presentation at the The Federal-State Cooperative for Population Projections Meeting, U.S. Census Bureau, 2016.

Anthony Skjellum, Hadia Ahmed and Peter Pirkelbauer: Petal Tool: From Blocking Collectives to Non-Blocking Collectives MPI, Poster at EuroMPI, 2017.

Amalee Wilson: Compiling MATLAB to C++, Grace Hopper Celebration, 2016.

Samuel Collie: The Instrumentation of Unsafe to Safe Functions Using the RTC Runtime Checking Tool, ACM Mid-Southeast Conference, 2015.

Amalee Wilson: Conversion of MATLAB to C++ to Improve Performance and Efficiency, ACM Mid-Southeast Conference, 2015.

Hadia Ahmed, Anthony Skjellum, Peter Pirkelbauer: Analyzing and Transforming Legacy MPI Applications. Poster at Languages and Compilers for Parallel Computing, 2015.

Peter Pirkelbauer: Runtime Checking C Programs, Auburn University, Invited Talk, March 2015.

Braden Groom: Improving Authorship Attribution Methods Using Compiler Information, ACM Mid-Southeast Conference, 2014.

Peter Pirkelbauer: Non-blocking Programming Techniques, University of Innsbruck, Invited Talk. July 2013.

Peter Pirkelbauer: Portable Non-blocking Data Structures, University of Alabama, Invited Talk. IEEE Alabama Computer Society talk of the month, March 2013.