Skip to content

Frederik Haxel

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2022–2025

Best venue rank

A

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2025ICCADTensor Program Optimization for the RISC-V Vector Extension Using Probabilistic Programs.Federico Nicols Peccia, Frederik Haxel, Oliver Bringmann
2022MODELSWARDUniversal Safety Format: Automated Safety Software Generation.Frederik Haxel, Alexander Viehl, Michael Benkel, Bjoern Beyreuther, Klaus Birken, Rolf Schmedes, Kim Grttner, Daniel Mueller-Gritschneder