Sable Publications

Papers

Technical Reports

2009-3: AspectMatlab: An Aspect-Oriented Scientific Programming Language
2009-2: Understanding Method Level Speculation
2009-1: Adaptive Software Return Value Prediction
2008-4: A Stochastic Approach to Instruction Cache Optimization
2008-3: Memory Abstractions for Speculative Multithreading
2008-2: Enabling Static Analysis for Partial Java Programs
2008-1: Transforming Timeline specifications into automata for runtime monitoring (extended version)
2007-9: Bytecode Testing Framework for SableVM Code-copying Engine
2007-8: Instance keys: A technique for sharpening whole-program pointer analyses with intraprocedural information
2007-7: Compiler-guaranteed safety in code-copying VMs
2007-6: Partial Program Analysis
2007-5: Arithmetic Coding revealed - A guided tour from theory to praxis
2007-4: Phase-based adaptive recompilation in a JVM
2007-3: Component-Based Lock Allocation
2007-2: Using hardware data to detect repetitive program behavior
2007-1: libspmt: A Library for Speculative Multithreading
2006-5: Obfuscating Java: the most pain for the least gain
2006-4: Metrics for Measuring the Effectiveness of Decompilers and Obfuscators
2006-3: Improving the Compiling Speed of the AspectBench Compiler
2006-2: Programmer-friendly Decompiled Java
2006-1: A Survey of Phase Analysis: Techniques, Evaluation and Applications
2005-4: Assessing the Impact of Optimization in Java Virtual Machines
2005-3: Dynamic Shape and Data Structure Analysis in Java
2005-2: Context-sensitive points-to analysis: is it worth it?
2005-1: Speculative Multithreading in a Java Virtual Machine
abc-2005-1: Adding trace matching to AspectJ
abc-2004-3: Optimising AspectJ
2004-8: Code Layout as a Source of Noise in JVM Performance
2004-7: An Algorithmic Approach for Precise Analysis of the pi-Calculus
2004-6: Compiler Analyses for Improved Return Value Prediction
abc-2004-2: Building the abc AspectJ compiler with Polyglot and Soot
2004-5: Using inter-procedural side-effect information in JIT optimizations
2004-4: A Study of Type Analysis for Speculative Method Inlining in a JIT Environment
abc-2004-1: abc : An extensible AspectJ compiler
2004-3: A Practical MHP Information Analysis for Concurrent Java Programs
2004-2: Measuring the Dynamic Behaviour of AspectJ Programs
2004-1: Precise, Partially Compositional Analysis of the pi-Calculus
2003-8: This document has been updated. See 2004-2. [internal: original version (.ps.gz) (.pdf)]
2003-7: Jedd: A BDD-based relational extension of Java
2003-6: Problems in Objectively Quantifying Benchmarks using Dynamic Metrics
2003-5: Towards Dynamic Interprocedural Analysis in JVMs
2003-4: Integrating the Soot compiler infrastructure into an IDE
2003-3: Improving the Precision and Correctness of Exception Analysis in Soot
2003-2: Points-to Inspired Static Analysis For The pi-Calculus
2003-1: Dynamic Metrics for Java
2002-12: EVolve: An Open Extensible Software Visualization Framework
2002-11: Dynamic Metrics for Compiler Developers
2002-10: Points-To Analysis using BDDs
2002-9: Scaling Java Points-To Analysis using Spark
2002-8: Dynamic Profiling and Trace Cache Generation for a Java Virtual Machine
2002-7: STEP: A Framework for the Efficient Encoding of General Trace Data
2002-6: EVolve: An Extensible Software Visualization Framework
2002-5: Fast Local List Scheduling
2002-4: Combining Static and Dynamic Data in Code Visualization
2002-3: JIL: an Extensible Intermediate Language
2002-2: Run-time Evaluation of Opportunities for Object Inlining in Java
2002-1: An Adaptive, Region-Based Allocator for Java
2001-2: STOOP: The Sable Toolkit for Object-Oriented Profiling
2001-1: Decompiling Java Bytecode: Problems, Traps and Pitfalls
2000-4: A Comprehensive Approach to Array Bounds Check Elimination for Java
2000-3: SableVM: A Research Framework for the Efficient Execution of Java Bytecode
2000-2: A Framework for Optimizing Java Using Attributes
2000-1: Common Subexpression Removal in Soot
1999-4: Practical Virtual Method Call Resolution for Java
1999-3: Optimizing Java Bytecode using the Soot Framework: Is it Feasible?
1999-2: This document has been updated. See 1999-4. [internal: original version (.ps) (.ps.gz)]
1999-1: Intra-procedural Inference of Static Types for Java Bytecode
1998-7: This document has been updated. See 1999-4. [internal: original version (.ps) (.ps.gz)]
1998-6: Of Graphs and Coffi Grounds: Decompiling Java
1998-5: This document has been updated. See 1999-1. [internal: original version (.ps) (.ps.gz)]
1998-4: Jimple: Simplifying Java Bytecode for Analyses and Transformations
1998-3: Measuring ILP in Java Programs
1998-2: Profiling the Kaffe JIT Compiler
1998-1: The Jimple Framework

Theses

Posters

Technical Notes

2005-1: Soot and Java 1.5
2000-1: Notes on VTA Implementation in Soot
1998-2: A Brief Description of Kaffe's Internals
1998-1: Sable API Design Guidelines