Sebastian Hack
where else to find them
no profile links on file
what they talk about
where they keep going back
all 5 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Julian Rosemann3 talks
- Sebastian Erdweg13 talks
- Deepak Garg18 talks
- John Regehr13 talks
- Michael Sammler16 talks
- Albert Cohen2 talks
| title | conference | date |
|---|---|---|
| Augmenting Rewrite Rule Sets via Knuth-Bendix Completion | EGRAPHS 2026 | 2026-06-15 |
Pipeline runs Knuth-Bendix completion (via a tree equational theorem prover) to generate extra oriented rewrite rules, stops after N ≈ 100-rule sweet spot… | ||
| Associativity and Commutativity in Equality Saturation | EGRAPHS 2026 | 2026-06-15 |
Extends relational e-matching to handle associative‑commutative operators by storing AC arguments as multisets and adapting tries with a try‑cursor that… | ||
| Non-interference Preserving Optimising Compilation | OOPSLA 2025 | 2025-10-16 |
Introduces hyperproperty simulations as a new secure-compilation framework that models preservation of arbitrary k‑hyperproperties and proves a generic… | ||
| Non-Interference Preserving and Optimising Compilation with Hyperproperty Simulations | PriSC 2025 (with POPL 2025) | 2025-01-20 |
Presents a formal framework that generalizes compiler simulation proofs to arbitrary k‑trace hyperproperties and claims preservation of… | ||
| MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age | POPL 2025 | 2025-01-19 |
MimIR is an extensible, higher-order IR whose core is a pure type system based on the calculus of constructions and that lets developers add domain ops as… | ||
| PMEvo:portable inference of port mappings for out-of-order processors by evolutionary optimiz | SPLASH 2022 | 2022-12-05 |
PMEvo infers processor port mappings from timed short microbenchmarks rather than platform-specific performance counters, using an evolutionary algorithm that… | ||
| AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers | OOPSLA 2022 | 2022-12-05 |
AnICA applies differential testing plus an abstract basic block generalization algorithm to compare llvm-mca, uiCA, Ithemal and similar predictors on 10,000… | ||
| An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs | POPL 2021 | 2021-01-17 |
Presents an abstract interpretation for uniformity that handles reducible CFGs, with a largely Coq mechanized proof of correctness and an LLVM prototype… | ||
| nothing matches | ||