1.
|
New algorithms for a java decompiler and their implementation in Soot Miecznikowski, Jerome
|
2.
|
Spark : a flexible points-to analysis framework for Java Lhoták, Ondr̆ej
|
3.
|
Dynamic profiling and trace creation Berndl, Marc
|
4.
|
Calculating the probability of an LTL formula over a labeled Markov chain Eliosoff, Jacob
|
5.
|
Sablejit : a retargetable just-in-time compiler Bélanger, David, 1978-
|
6.
|
Gshell : a command interpreter for a public computing utility Deng, Ying, 1972-
|
7.
|
Step: a framework for the efficient encoding of general trace data Brown, Rhodes Hart Fraser
|
8.
|
Objective quantification of program behaviour using dynamic metrics Dufour, Bruno
|