20 papers:
SEKE-2015-XuA #component #testing- A JVM-based Testing Harness for Improving Component Testability (WX, OeA), pp. 421–426.
OOPSLA-2015-SteindorferV #agile #optimisation #performance #virtual machine- Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
- OOPSLA-2014-PinaVH #java #named #virtual machine
- Rubah: DSU for Java on a stock JVM (LP, LV, MWH), pp. 103–119.
ISMM-2014-Printezis #perspective #twitter #virtual machine- Use of the JVM at twitter: a bird’s eye view (TP), p. 1.
PASTE-2013-SarimbekovSKZBBA #virtual machine- A comprehensive toolchain for workload characterization across JVM languages (AS, AS, SK, YZ, WB, LB, DA), pp. 9–16.
LCTES-2013-StilkerichSEHLSS #embedded #virtual machine- A JVM for soft-error-prone embedded systems (IS, MS, CE, MH, DL, FS, WSP), pp. 21–32.
- OOPSLA-2012-BocqD #monad #named #network #process #streaming #using #virtual machine
- Molecule: using monadic and streaming I/O to compose process networks on the JVM (SB, KD), pp. 315–334.
- OOPSLA-2010-McIlroyS #architecture #manycore #named #runtime
- Hera-JVM: a runtime system for heterogeneous multi-core architectures (RM, JS), pp. 205–222.
- OOPSLA-2009-BloomFNORSVW #concurrent #named #robust #virtual machine
- Thorn: robust, concurrent, extensible scripting on the JVM (BB, JF, NN, JÖ, GR, RS, JV, TW), pp. 117–136.
CGO-2009-CuthbertsonVBAS #approach #hardware #monitoring #optimisation #performance #virtual machine- A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM (JC, SV, KB, AA, EK, US), pp. 190–199.
- CGO-2008-GuV #adaptation #virtual machine
- Phase-based adaptive recompilation in a JVM (DG, CV), pp. 24–34.
- LCTES-2008-BadeaNV #embedded #energy #virtual machine
- Impact of JVM superoperators on energy consumption in resource-constrained embedded systems (CB, AN, AVV), pp. 23–30.
PPDP-2007-Skalka #data access #type safety #virtual machine- Type safe dynamic linking for JVM access control (CS), pp. 51–62.
QAPL-2006-BinderH06a #bytecode #profiling #using #virtual machine- Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting (WB, JH), pp. 45–64.
- OOPSLA-2004-Fong #verification #virtual machine
- Pluggable verification modules: an extensible protection mechanism for the JVM (PWLF), pp. 404–418.
ICFP-2003-HiguchiO #data access #static typing #type system #virtual machine- A static type system for JVM access control (TH, AO), pp. 227–237.
ASIA-PEPM-2002-IwamaK #type system #virtual machine- A new type system for JVM lock primitives (FI, NK), pp. 71–82.
- ICFP-2002-SerpetteS #bytecode #compilation #performance #virtual machine
- Compiling scheme to JVM bytecode: : a performance study (BPS, MS), pp. 259–270.
- OOPSLA-2000-ArnoldFGHS #adaptation #optimisation #virtual machine
- Adaptive optimization in the Jalapeño JVM (MA, SJF, DG, MH, PFS), pp. 47–65.
SAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #source code #thread #virtual machine- A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.
