Selected Publications

OpenVADL: An open source implementation of the Vienna Architecture Description Language

Appeared at FSiC'25, slides.

Generation of a QEMU based instruction set simulator from a processor description in OpenVADL

Appeared at SAMOS'25, slides and poster and article.

OpenVADL: An open source implementation of the Vienna Architecture Description Language

Appeared at ARCS'25, slides and article.

The Vienna Architecture Description Language

Available as pdf and with abstract and source at arXiv.

A pred-LL (*) Parsable Typed Higher-Order Macro System for Architecture Description Languages

Appeared at GPCE'23, slides and article.