High-Performance Big Data Analytics (HPDA) applications are characterized by huge
volumes of distributed and heterogeneous data that require efficient computation for …

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs Page 1 ConDRust:
Scalable Deterministic Concurrency from Verifiable Rust Programs Felix Suchert TU Dresden …

Modern big data workflows are characterized by computationally intensive kernels. The
simulated results are often combined with knowledge extracted from AI models to ultimately …

Processor architectures have reached a physical boundary that prevents scaling
performance with the number of transistors. Effectively, this means that the sequential …

With increasing complexity, programs become more prone to bugs and security
vulnerabilities. This is particularly true of kernels. For example, the original feature set of the …

The adoption of database technology is still increasing, predominantly in areas such as, for
instance, DBMS backed websites and Big Data. With the increase in adoption comes a more …

This manuscript gives a category-theoretic foundation to the composition of State Threads as
a Foundation for Monadic Dataflow Parallelism. It serves as a supplementary formalization …

Inhalt dieses Papiers ist die Vorstellung eines Hardware/Software Co-Designs für
Rechnerknoten im Internet der Dinge. Als Grundlage dient das M 3-Mikrokernsystem …

User Defined Functions (UDF) are an important and powerful extension point for database
queries. Systems using incremental materialized views largely do not support UDFs …