Torsten Hoefler
where else to find them
what they talk about
all 8 in the filters
where they keep going back
- OOPSLA2 editions2020–2021
all 8 in the filters
on a stage with
all 47 in the filters
who talks about the same things
- Thomas Häner2 talks
- Tobias Grosser14 talks
- Arjun Pitchanathan3 talks
- Theodoros Theodoridis5 talks
- Jens Palsberg17 talks
- Michael Carbin14 talks
| title | conference | date |
|---|---|---|
| CrossPipe: Towards Optimal Pipeline Schedules for Cross-Datacenter Training | USENIX ATC '25 | 2025-07-07 |
CrossPipe explicitly models cross-datacenter latency and bandwidth with an alpha–beta cost model and produces solver-based optimal or greedy near-optimal… | ||
| OSMOSIS: Enabling Multi-Tenancy in Datacenter SmartNICs | USENIX ATC 2024 | 2024-07-10 |
OSMOSIS provides a hardware resource manager that enforces fair multi-tenancy on an open-source RISC‑V 400Gb/s SmartNIC by adding lightweight schedulers for… | ||
| A High-Performance Design, Implementation, Deployment, and Evaluation of The Slim Fly... | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
Builds and validates the first real-world Slim Fly cluster: a 200-server, 50-router installation with practical cabling patterns and an InfiniBand routing… | ||
| Swing: Short-cutting Rings for Higher Bandwidth Allreduce | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
New algorithm Swing shortens allreduce paths by short-cutting rings and swinging between torus directions, splitting each message so every node uses all local… | ||
| SAGE: Software-based Attestation for GPU Execution | USENIX ATC '23 | 2023-07-10 |
Software-only attestation that runs on NVIDIA A100 (Ampere) GPUs and pairs with a CPU SGX verifier to prove code and data integrity and secrecy. Implements a… | ||
| FPL: Fast Presburger Arithmetic through Transprecision | OOPSLA 2021 | 2021-10-17 |
A new C++ Presburger library lives inside MLIR and targets real polyhedral workloads: a benchmark of over 1,000,000 extracted Presburger cases shows… | ||
| Naos: Serialization-free RDMA networking in Java | USENIX ATC '21 | 2021-07-14 |
Naos implements a serialization-free Java networking layer that uses RDMA write to remote heap to copy on-heap objects verbatim, then runs a DFS-based… | ||
| MigrOS: Transparent Live-Migration Support for Containerised RDMA Applications | USENIX ATC '21 | 2021-07-14 |
MigrOS provides transparent live migration for containerised RDMA applications by making minimal changes to the RoCE v2 protocol and kernel RDMA stack so user… | ||
| Fast Linear Programming through Transprecision Computing on Small and Sparse Data | OOPSLA 2020 | 2020-11-15 |
Analyzes ~500,000 simplex tableaux from Polly PPCG and HayStack and finds >99% of coefficients <9 bits, medians of 18 columns and 84% sparsity, with rare… | ||
| Assertion-Based Optimization of Quantum Programs | OOPSLA 2020 | 2020-11-15 |
An assertion-based optimizer that uses Z-basis, probability-1 pre/postconditions and triviality rules removes redundant gates and qubits by proving operations… | ||
| sRDMA -- Efficient NIC-based Authentication and Encryption for Remote Direct Memory | USENIX ATC '20 | 2020-07-15 |
Proposes sRDMA: symmetric‑crypto RDMA with cryptographic work moved onto the NIC, implemented on a Broadcom Stingray ePS225 smartNIC (8‑core ARM, 8 GB DRAM)… | ||
| The Cell Processor | 22C3: Private Investigations | 2005-12-27 |
Computing of Tomorrow or Yesterday
The x86 architecture has been the de facto standard for many years. Attempts to take the turn, like Intel tried with the… | ||
| nothing matches | ||