Runtime Vеrification
Theodoros Kasampalis is interested in compilers and more specifically in verified code generation. As part of his research he has formalized the LLVM intermediate representation and the x86/64 assembly language semantics and designed a prototype translation validation system for the x86 backend of the LLVM compiler. He received his integrated B.Eng./M.Eng. degree in Computer Engineering from National Technical University of Athens. He is currently pursuing his Ph.D. at UIUC in formal verification of compilers.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.