The Institute for Scientific Computing works on various aspects of computational sciences, with a focus on high-performance computing, performance engineering, and algorithmic differentiation. Our research includes tools and methodologies to support domain scientists in developing correct and efficient applications.
Scientific Computing was installed as part of the Department of Computer Science when Professor Dr. Bischof was called to the Technical University of Darmstadt. As part of this chair we offer teaching activities on parallel computers, parallel programming, and computer science foundations of simulation technology.
You find us in the Karl Plagge-Haus at campus Stadtmitte, building S1I22, Alexanderstraße 2, 64283 Darmstadt.
A talk by Christian Iwainsky (TU Darmstadt) is available at the NHR PerfLab Seminar.
Our conference presentation of MPI-CorrBench from this year's HPDC is now available on youtube.
Our paper “Automatic partitioning of MPI operations in MPI+OpenMP applications” was accepted at the C3PO Workshop, held in conjunction with ISC 2021.
Our paper “Automatic low-overhead load-imbalance detection in MPI applications” was accepted at EuroPar 2021.
Our paper “MPI-CorrBench: Towards an MPI Correctness Benchmark Suite” was accepted at the ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC).
The video recording of our FOSDEM 2021talk is now available here.
Our paper “MetaCG: Annotated call-graphs to facilitate whole-program analysis” was accepted at the Workshop on Tools for Automatic Program Analysis (TAPAS).
Our paper “Developing Models for the Runtime of Programs With Exponential Runtime Behavior” was accepted at the International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS’20).
Our paper “Leveraging Hybrid Cloud HPC in Multitier Reactive Programming” was accepted at the SuperCompCloud Workshop of Supercomputing. This is a collaboration with the group of Prof. Dr. Guido Salvaneschi.
Version 0.2 of the automatic instrumentation refinement tool PIRA is now available on our github
Implementations of a quantum-attack resistant signature scheme are now available on our github
The performance modeling tool SimAnMo is now available on our github!
The recordings of our presentations at the C3PO workshop are now available on YouTube.
Our papers “Automatic detection of MPI assertions” and “Compiler-assisted type-safe checkpointing” are accepted as full papers at the C3PO workshop.
Our paper “A Comparison of the Scalability of OpenMP Implementations” is accepted as full paper at the EuroPar conference.
The Institute for Scientific Computing now maintains a public repository of the software tools developed in our group. You can find it at github.com/tudasc
The video explains how high-performance computing at TU Darmstadt helps researchers not only at TU Darmstadt but within Hesse in general.
Torsten Höfler from ETH Zürich gave an interesting talk on proper benchmarking. The recording of this talk can be downloaded here.