Zero-Overhead Exeption Handling Using Metaprogramming. - Markus Hof; Hanspeter Mössenböck; Peter Pirkelbauer (SOFSEM, 1997)

Lock-Free Dynamically Resizable Arrays. - Damian Dechev; Peter Pirkelbauer; Bjarne Stroustrup (OPODIS, 2006)

Open multi-methods for c++. - Peter Pirkelbauer; Yuriy Solodkyy; Bjarne Stroustrup (GPCE, 2007)

Verification and semantic parallelization of goal-driven autonomous software. - Damian Dechev; Nicolas Rouquette; Peter Pirkelbauer; Bjarne Stroustrup (Autonomics, 2008)

Runtime concepts for the C++ standard template library. - Peter Pirkelbauer; Sean Parent; Mat Marcus; Bjarne Stroustrup (SAC, 2008)

Semantically Enhanced Containers for Concurrent Real-Time Systems. - Damian Dechev; Peter Pirkelbauer; Nicolas Rouquette; Bjarne Stroustrup (ECBS, 2009)

Programming and Validation Techniques for Reliable Goal-driven Autonomic Software. - Damian Dechev; Nicolas Rouquette; Peter Pirkelbauer; Bjarne Stroustrup (Autonomic Communication, 2010)

Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs. - Damian Dechev; Peter Pirkelbauer; Bjarne Stroustrup (ISORC, 2010)

Support for the Evolution of C++ Generic Functions. - Peter Pirkelbauer; Damian Dechev; Bjarne Stroustrup (SLE, 2010)

Source Code Rejuvenation Is Not Refactoring. - Peter Pirkelbauer; Damian Dechev; Bjarne Stroustrup (SOFSEM, 2010)

Dynamic algorithm selection for runtime concepts. - Peter Pirkelbauer; Sean Parent; Mat Marcus; Bjarne Stroustrup (Sci. Comput. Program., 2010)

Design and evaluation of C++ open multi-methods. - Peter Pirkelbauer; Yuriy Solodkyy; Bjarne Stroustrup (Sci. Comput. Program., 2010)

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)

Petal Tool for Analyzing and Transforming Legacy MPI Applications. - Hadia Ahmed; Anthony Skjellum; Peter Pirkelbauer (LCPC, 2015)

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)

Transforming blocking MPI collectives to Non-blocking and persistent operations. - Hadia Ahmed; Anthony Skjellum; Purushotham V. Bangalore; Peter Pirkelbauer (EuroMPI/USA, 2017)

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

Exploring dynamic load imbalance solutions with the CoMD proxy application. - Olga Pearce; Hadia Ahmed; Rasmus W. Larsen; Peter Pirkelbauer; David F. Richards (Future Gener. Comput. Syst., 2019)

Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks. - Peter Pirkelbauer; Amalee Wilson; Christina L. Peterson; Damian Dechev (ACM Trans. Archit. Code Optim., 2019)

XPlacer: Automatic Analysis of Data Access Patterns on Heterogeneous CPU/GPU Systems. - Peter Pirkelbauer; Pei-Hung Lin; Tristan Vanderbruggen; Chunhua Liao (IPDPS, 2020)

Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases. - Christina L. Peterson; Amalee Wilson; Peter Pirkelbauer; Damian Dechev (SBAC-PAD, 2020)

Extending FreeCompilerCamp.org as an Online Self-Learning Platform for Compiler Development. - Justin Gosselin; Anjia Wang; Peter Pirkelbauer; Chunhua Liao; Yonghong Yan 001; Damian Dechev (EduHPC@SC, 2020)

PMap: A Non-volatile Lock-free Hash Map with Open Addressing. - Kenneth Lamar; Christina L. Peterson; Damian Dechev; Roger Pearce; Keita Iwabuchi; Peter Pirkelbauer (NVMSA, 2021)

Towards Scalable Data Processing in Python with CLIPPy. - Peter Pirkelbauer; Seth Bromberger; Keita Iwabuchi; Roger Pearce (IA3@SC, 2021)

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)

Structured Thoughts Automaton: First Formalized Execution Model for Auto-Regressive Language Models. - Tristan Vanderbruggen; Chunhua Liao; Peter Pirkelbauer; Pei-Hung Lin (CoRR, 2023)

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs. - Madhurima Chakraborty; Peter Pirkelbauer; Qing Yi (MSR, 2025)

ROSE LCOM Tools. - Kenneth Lamar; Peter Pirkelbauer; Zachary Painter; Damian Dechev (SIGSOFT FSE Companion, 2025)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports. - Peter Pirkelbauer; Chunhua Liao (CoRR, 2025)