Sable Publications

Papers

top

Technical Reports

top

2021-4: Efficient Web-Based Parallel Sparse Matrix-Vector Multiplication
2021-1: Accelerating Database Queries for Advanced Data Analytics: A New Approach
2018-4: Sparse matrices on the web -- Characterizing the performance and optimal format selection of sparse matrix-vector multiplication in JavaScript
2018-3: HorseIR: Fusing Array Programming and Database Query Processing
2018-2: WebAssembly and JavaScript Challenge: Numerical program performance using modern browser technologies and devices
2018-1: A Formalization for Specifying and Implementing Correct Pull-Stream Modules
2015-2: Asymmetric Partitioning in Thread-Level Speculation
2015-1: Halophile: Comparing PNacl to Other Web Technologies
2014-3: McTutorial: A Structured Approach to Teaching MATLAB
2014-2: Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies
2013-5: Velociraptor: A compiler toolkit for numerical programs targeting CPUs and GPUs
2013-4: Mc2For: a tool for automatically transforming MATLAB to Fortran 95
2013-3: MiX10:Compiling MATLAB for High Performance Computing
2013-2: First steps to compiling MATLAB to X10
2013-1: A portable and high-performance matrix operations library for CPUs,GPUs and beyond
2012-6-rev1: Optimizing MATLAB feval with Dynamic Techniques
2012-3: A compiler toolkit for array-based languages targeting CPU/GPU hybrid systems
2012-2: Taming Matlab (extended version)
2012-1-rev1: A Modular Approach to On-Stack Replacement in LLVM
2011-4: Taming Matlab
2011-3: Abstract Analysis of Method-Level Speculation
2011-2: Refactoring MATLAB
2011-1: McSAF: A Static Analysis Framework for MATLAB
2010-7: The Importance of Being Extendable, A Crucial Extension for AspectMATLAB
2010-6: McFLAT:A Profile-based Framework for Matlab Loop Analysis and Transformations
2010-5: Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT compiler
2010-3: Adaptive Software Return Value Prediction
2010-2: Understanding Method Level Speculation
2010-1: Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT compiler (Revised, 16 July 2010)
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

top

Posters

top

Technical Notes

top

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

Sable Home

Sable Publications

Papers

Technical Reports

Theses

Posters

Technical Notes