Bernd Burgstaller

Orcid: 0000-0002-0374-8853

According to our database1, Bernd Burgstaller authored at least 56 papers between 1996 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Correction: Scalable NUMA-aware persistent B<sup>+</sup>-tree for non-volatile memory devices.
Clust. Comput., April, 2024

BEC: Bit-Level Static Analysis for Reliability against Soft Errors.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023
Scalable NUMA-aware persistent B<sup>+</sup>-tree for non-volatile memory devices.
Clust. Comput., October, 2023

EVMTracer: Dynamic Analysis of the Parallelization and Redundancy Potential in the Ethereum Virtual Machine.
IEEE Access, 2023

Julia Cloud Matrix Machine: Dynamic Matrix Language Acceleration on Multicore Clusters in the Cloud.
Proceedings of the 14th International Workshop on Programming Models and Applications for Multicores and Manycores, 2023

2022
Cloudprofiler: TSC-based inter-node profiling and high-throughput data ingestion for cloud streaming workloads.
CoRR, 2022

Cloud Matrix Machine for Julia and Implicit Parallelization for Matrix Languages.
CoRR, 2022

Trace-and-brace (TAB): bespoke software countermeasures against soft errors.
Proceedings of the LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, 2022

2021
An Off-The-Chain Execution Environment for Scalable Testing and Profiling of Smart Contracts.
Proceedings of the 2021 USENIX Annual Technical Conference, 2021

GLocal-K: Global and Local Kernels for Recommender Systems.
Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2020
Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics.
J. Syst. Archit., 2020

Algorithm-Switching-Based Last-Level Cache Structure with Hybrid Main Memory Architecture.
Comput. J., 2020

2019
Self-learnable Cluster-based Prefetching Method for DRAM-Flash Hybrid Main Memory Architecture.
ACM J. Emerg. Technol. Comput. Syst., 2019

The Economics of Smart Contracts.
CoRR, 2019

2018
Safe Non-blocking Synchronization in Ada 202x.
CoRR, 2018

Regression Prefetcher with Preprocessing for DRAM-PCM Hybrid Main Memory.
IEEE Comput. Archit. Lett., 2018

Safe Non-blocking Synchronization in Ada2x.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017
Dynamically Selective Performance Optimization Method for Mobile 3D Graphics Application with N-Screen Service.
Wirel. Pers. Commun., 2017

JParEnt: Parallel entropy decoding for JPEG decompression on heterogeneous multicore architectures.
Concurr. Comput. Pract. Exp., 2017

Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-Memory Multicores.
Proceedings of the 46th International Conference on Parallel Processing, 2017

Scalability and State: A Critical Assessment of Throughput Obtainable on Big Data Streaming Frameworks for Applications With and Without State Information.
Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores.
Proceedings of the Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28, 2017

Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
Dynamic partitioning-based JPEG decompression on heterogeneous multicore architectures.
Concurr. Comput. Pract. Exp., 2016

2015
Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints.
CoRR, 2015

LaminarIR: compile-time queues for structured streams.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments.
Int. J. Parallel Program., 2014

An Adaptive LOD Setting Methodology with OpenGL ES Library on Mobile Devices.
Proceedings of the 2014 International Conference on IT Convergence and Security, 2014

Improved Branch Prediction for Just-in-Time Decompression of Canonical Huffman Bytecode Streams.
Proceedings of the Frontier and Innovation in Future Computing and Communications, 2014

Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects.
Proceedings of the Reliable Software Technologies, 2014

2013
Parallel from the beginning: the case for multicore programming in thecomputer science undergraduate curriculum.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2012
StreamPI: a stream-parallel programming extension for object-oriented programming languages.
J. Supercomput., 2012

TinyVM: an energy-efficient execution infrastructure for sensor networks.
Softw. Pract. Exp., 2012

A symbolic analysis framework for static analysis of imperative programming languages.
J. Syst. Softw., 2012

Profile-guided deployment of stream programs on multicores.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

2011
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture.
IEEE Trans. Parallel Distributed Syst., 2011

Treegraph-based Instruction Scheduling for Stack-based Virtual Machines.
Proceedings of the Sixth Workshop on Bytecode Semantics, 2011

Fast Fourier Transformation Algorithm for Single-Chip Cloud Computers Using RCCE.
Proceedings of the 3rd Many-core Applications Research Community (MARC) Symposium. Proceedings of the 3rd MARC Symposium, 2011

Orchestration by approximation: mapping stream programs onto multicore architectures.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005.
Proceedings of the Reliable Software Technologiey, 2010

2009
TinyVM, an efficient virtual machine infrastructure for sensor networks.
Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

An Efficient Mixed-Mode Execution Environment for C on Mobile Phone Platforms.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008
Program Assemblers.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Minimal placement of bank selection instructions for partitioned memory architectures.
ACM Trans. Embed. Comput. Syst., 2008

2007
Static Detection of Livelocks in Ada Multitasking Programs.
Proceedings of the Reliable Software Technologies, 2007

2006
Symbolic Analysis of Imperative Programming Languages.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

An Embedded Systems Programming Environment for C.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

Minimizing bank selection instructions for partitioned memory architecture.
Proceedings of the 2006 International Conference on Compilers, 2006

Static Detection of Access Anomalies in Ada95.
Proceedings of the Reliable Software Technologies, 2006

2004
On the Tree Width of Ada Programs.
Proceedings of the Reliable Software Technologies, 2004

2003
Busy Wait Analysis.
Proceedings of the Reliable Software Technologies, 2003

Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.
Proceedings of the Reliable Software Technologies, 2003

2000
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.
Proceedings of the Reliable Software Technologies, 2000

1999
Interprocedural Symbolic Evaluation of Ada Programs with Aliases.
Proceedings of the Reliable Software Technologies, 1999

1998
Symbolic Reaching Definitions Analysis of Ada Programs.
Proceedings of the Reliable Software Technologies, 1998

1996
Augmenting Ada 95 with Additional Real-Time Features.
Proceedings of the Reliable Software Technologies, 1996


  Loading...