Roland Lezuo

According to our database, Roland Lezuo authored at least 5 papers between 2012 and 2015.

Collaborative distances:

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

2015

vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification.

Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

2014

CASM: optimized compilation of abstract state machines.

Roland Lezuo, Philipp Paulweber, Andreas Krall

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

2013

CASM: Implementing an Abstract State Machine based Programming Language.

Roland Lezuo, Gergö Barany, Andreas Krall

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Using the CASM language for simulator synthesis and model verification.

Roland Lezuo, Andreas Krall

Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2013

2012

A Unified Processor Model for Compiler Verification and Simulation Using ASM.

Roland Lezuo, Andreas Krall

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012