Essence
Our ECOOP'11 paper introduces a novel metric, algorithmic essence, that quantifies the amount of indirection of behavior in a software system. The paper also shows how to automatically identify the algorithmically essential parts of such a system.
Our MODELS'11 paper uses the duality between behavior and structure to introduce structural essence, and it lifts this idea from the level of concrete implementations to the level of abstract models.
Essentializer
Use our essentializer to compute the essence of your Java code or UML model.
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.