GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. - Alexander Sepp; Julian Kranz; Axel Simon (TAPAS@SAS, 2012)

GDSL: A Universal Toolkit for Giving Semantics to Machine Language. - Julian Kranz; Alexander Sepp; Axel Simon (APLAS, 2013)

The GDSL toolkit: Generating Frontends for the Analysis of Machine Code. - Axel Simon; Julian Kranz (PPREW@POPL, 2014)

Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. - Julian Kranz; Axel Simon (PPDP, 2014)

Modular Analysis of Executables Using On-Demand Heyting Completion. - Julian Kranz; Axel Simon (VMCAI, 2018)

Binary Analysis using On-Demand Tabulation of Function Summaries. - Julian Kranz (2019)

SAD Neural Networks: Divergent Gradient Flows and Asymptotic Optimality via o-minimal Structures. - Julian Kranz; Davide Gallon; Steffen Dereich; Arnulf Jentzen (CoRR, 2025)

PADAM: Parallel averaged Adam reduces the error for stochastic optimization in scientific machine learning. - Arnulf Jentzen; Julian Kranz; Adrian Riekert (CoRR, 2025)