Personal information

Emails & domains

Verified email domains

Websites & social links

Sebastian Hack

Activities

Collapse all

Employment (4)

Saarland University: Saarbrücken, DE

2010-12 to present | Professor (Computer Science)
Employment
Source: Self-asserted source
Sebastian Hack

Saarland University: Saarbrücken, DE

2008-03-01 to 2010-12 | Assistant Professor (Computer Science)
Employment
Source: Self-asserted source
Sebastian Hack

EPFL: Lausanne, CH

2007-12-01 to 2008-02-29 | Post-Doc (LAMP)
Employment
Source: Self-asserted source
Sebastian Hack

ENS Lyon: Lyon, FR

2006-11-01 to 2007-11-01 | Post-Doc (COMPSYS)
Employment
Source: Self-asserted source
Sebastian Hack

Education and qualifications (2)

Karlsruhe Institute of Technology: Karlsruhe, DE

2004-03-01 to 2006-10-31 | Dr. rer. nat. (Fakultät für Informatik)
Education
Source: Self-asserted source
Sebastian Hack

Karlsruhe Institute of Technology: Karlsruhe, DE

1998-10-01 to 2004-02-29 | Dipl.-Inform. (Fakultät für Informatik)
Education
Source: Self-asserted source
Sebastian Hack

Works (8)

Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees

2025-03 | Conference paper
DOI: 10.1145/3696443.3708926
Contributors: Tina Jung; Fabian Ritter; Sebastian Hack
Source: check_circle
Crossref

Synthesis of Sorting Kernels

2025-03 | Conference paper
DOI: 10.1145/3696443.3708954
Contributors: Marcel Ullrich; Sebastian Hack
Source: check_circle
Crossref

MimIrADe: Automatic Differentiation in MimIR

2025-02-25 | Conference paper
DOI: 10.1145/3708493.3712685
Contributors: Marcel Ullrich; Sebastian Hack; Roland Leißa
Source: check_circle
Crossref

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age

Proceedings of the ACM on Programming Languages
2025-01-07 | Journal article
DOI: 10.1145/3704840
Contributors: Roland Leißa; Marcel Ullrich; Joachim Meyer; Sebastian Hack
Source: check_circle
Crossref

Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures

2024-04-27 | Conference paper
DOI: 10.1145/3620666.3651363
Contributors: Fabian Ritter; Sebastian Hack
Source: check_circle
Crossref

CUDA-accelerated protein electrostatics in linear space

Journal of Computational Science
2023-06 | Journal article
DOI: 10.1016/j.jocs.2023.102022
Contributors: Thomas Kemmer; Sebastian Hack; Bertil Schmidt; Andreas Hildebrandt
Source: check_circle
Crossref

Implementation Techniques for SPMD Kernels on CPUs

2023-04-18 | Conference paper
DOI: 10.1145/3585341.3585342
Contributors: Joachim Meyer; Aksel Alpay; Sebastian Hack; Holger Fröning; Vincent Heuveline
Source: check_circle
Crossref

AnICA: analyzing inconsistencies in microarchitectural code analyzers

Proceedings of the ACM on Programming Languages
2022-10-31 | Journal article
DOI: 10.1145/3563288
Contributors: Fabian Ritter; Sebastian Hack
Source: check_circle
Crossref
How many people are using ORCID?