Peter Pirkelbauer

35 papers A 3B 5C 5Misc 2Journal 10Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports. ISC Peter Pirkelbauer, Chunhua Liao
2025	J	`jnl`	CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports. CoRR Peter Pirkelbauer, Chunhua Liao
2025	A	`conf`	FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs. MSR Madhurima Chakraborty, Peter Pirkelbauer, Qing Yi
2025	J	`jnl`	FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs. CoRR Madhurima Chakraborty, Peter Pirkelbauer, Qing Yi
2025	—	`conf`	ROSE LCOM Tools. SIGSOFT FSE Companion Kenneth Lamar, Peter Pirkelbauer, Zachary Painter, Damian Dechev
2023	J	`jnl`	Structured Thoughts Automaton: First Formalized Execution Model for Auto-Regressive Language Models. CoRR Tristan Vanderbruggen, Chunhua Liao, Peter Pirkelbauer, Pei-Hung Lin
2021	—	`conf`	Negative Perceptions About the Applicability of Source-to-Source Compilers in HPC: A Literature Review. ISC Workshops Reed Milewicz, Peter Pirkelbauer, Prema Soundararajan, Hadia Ahmed, Anthony Skjellum
2021	—	`conf`	PMap: A Non-volatile Lock-free Hash Map with Open Addressing. NVMSA Kenneth Lamar, Christina L. Peterson, Damian Dechev, Roger Pearce, Keita Iwabuchi, Peter Pirkelbauer
2021	—	`conf`	Towards Scalable Data Processing in Python with CLIPPy. IA3@SC Peter Pirkelbauer, Seth Bromberger, Keita Iwabuchi, Roger Pearce
2020	—	`conf`	Extending FreeCompilerCamp.org as an Online Self-Learning Platform for Compiler Development. EduHPC@SC Justin Gosselin, Anjia Wang, Peter Pirkelbauer, Chunhua Liao, Yonghong Yan, Damian Dechev
2020	C	`conf`	Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases. SBAC-PAD Christina L. Peterson, Amalee Wilson, Peter Pirkelbauer, Damian Dechev
2020	A	`conf`	XPlacer: Automatic Analysis of Data Access Patterns on Heterogeneous CPU/GPU Systems. IPDPS Peter Pirkelbauer, Pei-Hung Lin, Tristan Vanderbruggen, Chunhua Liao
2019	J	`jnl`	Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks. ACM Trans. Archit. Code Optim. Peter Pirkelbauer, Amalee Wilson, Christina L. Peterson, Damian Dechev
2019	J	`jnl`	Exploring dynamic load imbalance solutions with the CoMD proxy application. Future Gener. Comput. Syst. Olga Pearce, Hadia Ahmed, Rasmus W. Larsen, Peter Pirkelbauer, David F. Richards
2017	A	`conf`	Ariadne: Hybridizing Directed Model Checking and Static Analysis. ICST Reed Milewicz, Peter Pirkelbauer
2017	J	`jnl`	Refinement of structural heuristics for model checking of concurrent programs through data mining. Comput. Lang. Syst. Struct. Reed Milewicz, Peter Pirkelbauer
2017	—	`conf`	Transforming blocking MPI collectives to Non-blocking and persistent operations. EuroMPI/USA Hadia Ahmed, Anthony Skjellum, Purushotham V. Bangalore, Peter Pirkelbauer
2016	C	`conf`	A Portable Lock-Free Bounded Queue. ICA3PP Peter Pirkelbauer, Reed Milewicz, Juan Felipe Gonzalez
2016	J	`jnl`	Lightweight runtime checking of C programs with RTC. Comput. Lang. Syst. Struct. Reed Milewicz, Rajeshwar Vanka, James Tuck, Daniel J. Quinlan, Peter Pirkelbauer
2015	—	`conf`	Petal Tool for Analyzing and Transforming Legacy MPI Applications. LCPC Hadia Ahmed, Anthony Skjellum, Peter Pirkelbauer
2015	Misc	`conf`	Runtime checking C programs. SAC Reed Milewicz, Rajeshwar Vanka, James Tuck, Daniel J. Quinlan, Peter Pirkelbauer
2014	J	`jnl`	SimpleConcepts: A lightweight extension to C++ to support constraints on generic types. Comput. Sci. Inf. Syst. Reed Milewicz, Marjan Mernik, Peter Pirkelbauer
2013	C	`conf`	SimpleConcepts: Support for Constraints on Generic Types in C++. FedCSIS Reed Milewicz, Marjan Mernik, Peter Pirkelbauer
2010	J	`jnl`	Design and evaluation of C++ open multi-methods. Sci. Comput. Program. Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup
2010	J	`jnl`	Dynamic algorithm selection for runtime concepts. Sci. Comput. Program. Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup
2010	—	`ch.`	Programming and Validation Techniques for Reliable Goal-driven Autonomic Software. Autonomic Communication Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup
2010	B	`conf`	Source Code Rejuvenation Is Not Refactoring. SOFSEM Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup
2010	B	`conf`	Support for the Evolution of C++ Generic Functions. SLE Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup
2010	C	`conf`	Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs. ISORC Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup
2009	—	`conf`	Semantically Enhanced Containers for Concurrent Real-Time Systems. ECBS Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup
2008	Misc	`conf`	Runtime concepts for the C SAC Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup
2008	—	`conf`	Verification and semantic parallelization of goal-driven autonomous software. Autonomics Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup
2007	B	`conf`	Open multi-methods for c++. GPCE Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup
2006	B	`conf`	Lock-Free Dynamically Resizable Arrays. OPODIS Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup
1997	B	`conf`	Zero-Overhead Exeption Handling Using Metaprogramming. SOFSEM Markus Hof, Hanspeter Mössenböck, Peter Pirkelbauer