Home
Lehre
Personen
Professoren
Lehrstuhlassistenz
Lehrstuhl Mitarbeiter
Ehemalige
Research
Projects
Events
Jobs/Studienarbeiten
SiteMap
Puma
Impressum & Datenschutz
|
Julian Kranz
 |
Name: | Julian Kranz |
Raum: | 02.07.057 |
Tel: | +49 89 289 18180 |
eMail: | juliankranz@gmail.com |
Visitenkarte: |  |
|
Kontakt
Publications of Julian KranzThe 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
|