Julian Kranz

Name:	Julian Kranz
Raum:	02.07.057
Tel:	+49 89 289 18180
eMail:	juliankranz@gmail.com
Visitenkarte:

Kontakt

Publications of Julian Kranz

Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

J. Kranz and A. Simon. Modular Analysis of Executables Using On-Demand Heyting Completion. VMCAI 2018: Verification, Model Checking, and Abstract Interpretation, Los Angeles, California, USA, 2018. Springer.
Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
J. Kranz and A. Simon. Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. Principles and Practice of Declarative Programming, September 2014. ACM.
Detail: Abstract Download: PDF Reference: Bibtex
A. Simon and J. Kranz. The GDSL toolkit: Generating Frontends for the Analysis of Machine Code. Program Protection and Reverse Engineering Workshop, PPREW '14, San Diego, California, USA, January 2014. ACM.
Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI
J. Kranz, A. Sepp and A. Simon. GDSL: A Universal Toolkit for Giving Semantics to Machine Language. In C. Shan, editor, Asian Symposium on Programming Languages and Systems, Melbourne, Australia, December 2013. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
A. Sepp, J. Kranz and A. Simon. GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. Tools for Automatic Program Analysis, volume 289 of ENTCS, pages 53-64, Deauville, France, September 2012. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com