Matej Vitásek
I studied at Charles University in Prague, and received my Master degree in Databases there. My thesis was "Inference of XML Integrity Constraints", where I improved the search for ID attributes in XML data. A paper from this thesis got accepted to ADBIS'12.
My current research occupation is to re-implement AlgoProf to be usable in practice.
Publication Highlights
OOPSLA'15 - Use at Own Risk
PPPJ'13 - Jikes RVM Debugger
PLDI'12 - Algorithmic Profiling
OOPSLA'11 - Catch Me
ECOOP'11 - Beauty and Beast
PLDI'10 - Profiler (In)Accuracy
ASPLOS'09 - Measurement Bias
More...
Blast
Our framework for bytecode-level information-flow tracing of Java programs.
Jikes RDB
Working with the Jikes RVM? Use Jikes RDB for debugging your VM hacks.
Now built on top of LLDB, so it works on OS X and on Linux.