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.
|
Runtime techniques and interprocedural analysis in Java virtual machines Qian, Feng, 1973-
|
4.
|
Implementation and optimization of thread-local variables for a race-free Java dialect Zhang, Yi
|
5.
|
Dynamic profiling and trace creation Berndl, Marc
|
6.
|
Shimple : and investigation of static single assignment form Umanee, Navindra.
|
7.
|
Using inter-procedural side-effect information in JIT optimizations Le, Anatole
|
8.
|
Implementation of an information retrieval system for stock option analysis Lu, Xiaofan
|
9.
|
Calculating the probability of an LTL formula over a labeled Markov chain Eliosoff, Jacob
|
10.
|
Program analysis using binary decision diagrams Lhoták, Ondřej.
|
11.
|
A practical MHP information computation for concurrent Java programs / Li, Lin, 1971-
|
12.
|
Step: a framework for the efficient encoding of general trace data Brown, Rhodes Hart Fraser
|
13.
|
Minueto, an undergraduate teaching development framework Denault, Alexandre
|
14.
|
Measuring and improving the runtime behaviour of aspectJ programs Goard, Christopher.
|
15.
|
Cache line reservation: exploring a scheme for cache-friendly object allocation Bilicki, Ivan
|
16.
|
Optimizing software-hardware interplay in efficient virtual machines Prokopski, Grzegorz
|
17.
|
Software method level speculation for Java Pickett, Christopher
|
18.
|
Interpreting success and failure: the eclectic careers of Eva and Juliette Gauthier Slominska, Anita Marie
|
19.
|
Enabling precise interpretations of software change data Kawrykow, David
|
20.
|
Fumarolic activity, acid-sulfate alteration and high- sulfidation epithermal precious metal mineralization in the crater of Kawah Ijen volcano (Java, Indonesia) Scher, Samantha
|