Alexander Sepp

According to our database, Alexander Sepp authored at least 4 papers between 2011 and 2013.

Collaborative distances:

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

2013

Widening as Abstract Domain.

Bogdan Mihaila, Alexander Sepp, Axel Simon

Proceedings of the NASA Formal Methods, 2013

GDSL: A Universal Toolkit for Giving Semantics to Machine Language.

Julian Kranz, Alexander Sepp, Axel Simon

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

GDSL: A Generic Decoder Specification Language for Interpreting Machine Language.

Alexander Sepp, Julian Kranz, Axel Simon

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012

2011

Precise Static Analysis of Binaries by Extracting Relational Information.

Alexander Sepp, Bogdan Mihaila, Axel Simon

Proceedings of the 18th Working Conference on Reverse Engineering, 2011