Peter Pirkelbauer

Orcid: 0000-0003-4185-5008

According to our database1, Peter Pirkelbauer authored at least 30 papers between 1997 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Structured Thoughts Automaton: First Formalized Execution Model for Auto-Regressive Language Models.
CoRR, 2023

2021
Negative Perceptions About the Applicability of Source-to-Source Compilers in HPC: A Literature Review.
Proceedings of the High Performance Computing - ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24, 2021

Towards Scalable Data Processing in Python with CLIPPy.
Proceedings of the 11th IEEE/ACM Workshop on Irregular Applications: Architectures and Algorithms, 2021

PMap: A Non-volatile Lock-free Hash Map with Open Addressing.
Proceedings of the 10th IEEE Non-Volatile Memory Systems and Applications Symposium, 2021

2020
Extending FreeCompilerCamp.org as an Online Self-Learning Platform for Compiler Development.
Proceedings of the IEEE/ACM Workshop on Education for High-Performance Computing, 2020

Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases.
Proceedings of the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, 2020

XPlacer: Automatic Analysis of Data Access Patterns on Heterogeneous CPU/GPU Systems.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

2019
Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks.
ACM Trans. Archit. Code Optim., 2019

Exploring dynamic load imbalance solutions with the CoMD proxy application.
Future Gener. Comput. Syst., 2019

2017
Refinement of structural heuristics for model checking of concurrent programs through data mining.
Comput. Lang. Syst. Struct., 2017

Transforming blocking MPI collectives to Non-blocking and persistent operations.
Proceedings of the 24th European MPI Users' Group Meeting, 2017

Ariadne: Hybridizing Directed Model Checking and Static Analysis.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Lightweight runtime checking of C programs with RTC.
Comput. Lang. Syst. Struct., 2016

A Portable Lock-Free Bounded Queue.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

2015
Runtime checking C programs.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Petal Tool for Analyzing and Transforming Legacy MPI Applications.
Proceedings of the Languages and Compilers for Parallel Computing, 2015

2014
SimpleConcepts: A lightweight extension to C++ to support constraints on generic types.
Comput. Sci. Inf. Syst., 2014

2013
SimpleConcepts: Support for Constraints on Generic Types in C++.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2010
Design and evaluation of C++ open multi-methods.
Sci. Comput. Program., 2010

Dynamic algorithm selection for runtime concepts.
Sci. Comput. Program., 2010

Source Code Rejuvenation Is Not Refactoring.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Support for the Evolution of C++ Generic Functions.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Programming and Validation Techniques for Reliable Goal-driven Autonomic Software.
Proceedings of the Autonomic Communication, 2010

2009
Semantically Enhanced Containers for Concurrent Real-Time Systems.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008
Runtime concepts for the C<sub>++</sub> standard template library.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Verification and semantic parallelization of goal-driven autonomous software.
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2007
Open multi-methods for c++.
Proceedings of the Generative Programming and Component Engineering, 2007

2006
Lock-Free Dynamically Resizable Arrays.
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

1997
Zero-Overhead Exeption Handling Using Metaprogramming.
Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997


  Loading...