Julian Kranz

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 1

Top Topics

Relational Structures

Specification Language

Quantitative Analysis

Denotational Semantics

Top Venues

Electron. Notes Theor. Comput. Sci.

Technical University of Munich, Germany (PHD)

Education History

Technical University of Munich, Germany

PHD

Publications

Julian Kranz, Axel Simon
Modular Analysis of Executables Using On-Demand Heyting Completion. VMCAI (2018)
Axel Simon, Julian Kranz
The GDSL toolkit: Generating Frontends for the Analysis of Machine Code. PPREW@POPL (2014)
Julian Kranz, Axel Simon
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. PPDP (2014)
Julian Kranz, Alexander Sepp, Axel Simon
GDSL: A Universal Toolkit for Giving Semantics to Machine Language. APLAS (2013)
Alexander Sepp, Julian Kranz, Axel Simon
GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. Electron. Notes Theor. Comput. Sci. 289 (2012)