Peter Pirkelbauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
12
Active years
1997–2025
Best venue rank
Multiconference
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MSR | FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs. | Madhurima Chakraborty, Peter Pirkelbauer, Qing Yi |
| 2020 | SC | Extending FreeCompilerCamp.org as an Online Self-Learning Platform for Compiler Development. | Justin Gosselin, Anjia Wang, Peter Pirkelbauer, Chunhua Liao, Yonghong Yan, Damian Dechev |
| 2020 | SBAC-PAD | Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases. | Christina L. Peterson, Amalee Wilson, Peter Pirkelbauer, Damian Dechev |
| 2017 | ICST | Ariadne: Hybridizing Directed Model Checking and Static Analysis. | Reed Milewicz, Peter Pirkelbauer |
| 2016 | ICA3PP | A Portable Lock-Free Bounded Queue. | Peter Pirkelbauer, Reed Milewicz, Juan Felipe Gonzalez |
| 2015 | SAC | Runtime checking C programs. | Reed Milewicz, Rajeshwar Vanka, James Tuck, Daniel J. Quinlan, Peter Pirkelbauer |
| 2013 | FedCSIS | SimpleConcepts: Support for Constraints on Generic Types in C++. | Reed Milewicz, Marjan Mernik, Peter Pirkelbauer |
| 2010 | ISORC | Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs. | Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup |
| 2010 | SLE | Support for the Evolution of C++ Generic Functions. | Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup |
| 2010 | SOFSEM | Source Code Rejuvenation Is Not Refactoring. | Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup |
| 2008 | SAC | Runtime concepts for the C | Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup |
| 2007 | GPCE | Open multi-methods for c++. | Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup |
| 2006 | OPODIS | Lock-Free Dynamically Resizable Arrays. | Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup |
| 1997 | SOFSEM | Zero-Overhead Exeption Handling Using Metaprogramming. | Markus Hof, Hanspeter Mssenbck, Peter Pirkelbauer |