Julian Kranz

Name: Julian Kranz Raum: 02.07.057 Tel: +49 89 289 18180 eMail: julian.kranz<at>in.tum.de Visitenkarte:

Hier können Sie einen Termin mit mir vereinbaren.

Telegram

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.

1. 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

2. 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

3. 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

4. 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

5. 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