Julian Kranz

According to our database, Julian Kranz authored at least 6 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Binary Analysis using On-Demand Tabulation of Function Summaries.

Julian Kranz

PhD thesis, 2019

2018

Modular Analysis of Executables Using On-Demand Heyting Completion.

Julian Kranz, Axel Simon

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2014

Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems.

Julian Kranz, Axel Simon

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

The GDSL toolkit: Generating Frontends for the Analysis of Machine Code.

Axel Simon, Julian Kranz

Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, 2014

2013

GDSL: A Universal Toolkit for Giving Semantics to Machine Language.

Julian Kranz, Alexander Sepp, Axel Simon

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

GDSL: A Generic Decoder Specification Language for Interpreting Machine Language.

Alexander Sepp, Julian Kranz, Axel Simon

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012