1 | -- | 0 | Pierre Ganty, Mark Marron. Preface |
3 | -- | 17 | Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim. Handling Non-linear Operations in the Value Analysis of COSTA |
19 | -- | 32 | Damon Fenacci, Kenneth Mackenzie. Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic |
33 | -- | 45 | Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz. Treegraph-based Instruction Scheduling for Stack-based Virtual Machines |
47 | -- | 59 | David J. Pearce, James Noble. Implementing a Language with Flow-Sensitive and Structural Typing on the JVM |
61 | -- | 74 | Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini. Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine |