BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
virtual machine
Google virtual machine
Wikidata Q192726
WikipediaEnglish Virtual machine
WikipediaRussian Виртуальная машина

Tag #virtual machine

200 papers:

SANERSANER-2019-MaFRWJZLS #detection #online
EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine (FM, YF, MR, MW, YJ0, KZ, HL, XS), pp. 554–558.
PLDIPLDI-2019-ProkopecRLD0SBZ #benchmark #metric #named #parallel
Renaissance: benchmarking suite for parallel applications on the JVM (AP, AR, DL, GD, PT0, MS, LB, YZ, AV, DS, TW, WB), pp. 31–47.
ICSE-2019-ChenSS #difference #implementation #testing
Deep differential testing of JVM implementations (YC, TS, ZS), pp. 1257–1268.
OOPSLAOOPSLA-2018-MeierRG #design #parallel #programming language
Virtual machine design for parallel dynamic programming languages (RM, AR, TRG), p. 25.
ESEC-FSEESEC-FSE-2018-0001ZSDR #bytecode #verification
A formal verification tool for Ethereum VM bytecode (DP0, YZ, MS, PD, GR), pp. 912–915.
CCCC-2018-MadsenZL #data transformation #functional #java #representation
Tail call elimination and data representation for functional languages on the Java virtual machine (MM, RZ, OL), pp. 139–150.
CGOCGO-2018-RosaRB #optimisation
Analyzing and optimizing task granularity on the JVM (AR, ER, WB), pp. 27–37.
OOPSLAOOPSLA-2017-BarrettBKMT
Virtual machine warmup blows hot and cold (EB, CFBT, RK, SM, LT), p. 27.
OOPSLAOOPSLA-2017-LiuMM
A volatile-by-default JVM for server applications (LL, TDM, MM), p. 25.
OOPSLAOOPSLA-2017-RichardsAT #type system
The VM already knew that: leveraging compile-time knowledge to optimize gradual typing (GR, EA, AT), p. 27.
ESEC-FSEESEC-FSE-2017-CelikVMG #bound #testing
Regression test selection across JVM boundaries (, MV, AM, MG), pp. 809–820.
ESEC-FSEESEC-FSE-2017-DovgalyukFVM #framework
QEMU-based framework for non-intrusive virtual machine instrumentation and introspection (PD, NF, IV, VM), pp. 944–948.
GPCEGPCE-2017-RosaRB #dynamic analysis
Accurate reification of complete supertype information for dynamic analysis on the JVM (AR, ER, WB), pp. 104–116.
CASECASE-2017-ZhangZ17a #scheduling
Task scheduling based on virtual machine matching in clouds (PZ, MZ), pp. 618–623.
ICTSSICTSS-2017-LopezKZ #estimation #quality
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures (JL, NK, DZ), pp. 213–229.
QoSAQoSA-2016-DasD #web
Estimating Response Time Percentiles of Cloud-Based Tiered Web Applications in Presence of VM Failures (OD, AD), pp. 1–10.
PLDIPLDI-2016-ChenSSSZ #difference #implementation #testing
Coverage-directed differential testing of JVM implementations (YC, TS, CS, ZS, JZ), pp. 85–99.
PLDIPLDI-2016-EizenbergHPD #detection #named #online
Remix: online detection and repair of cache contention for the JVM (AE, SH, GP, JD), pp. 251–265.
ICSTICST-2016-TokumotoYSH #analysis #c #higher-order #mutation testing #named
MuVM: Higher Order Mutation Analysis Virtual Machine for C (ST, HY, KS, SH), pp. 320–329.
OOPSLAOOPSLA-2015-SteindorferV #agile #optimisation #performance
Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
OOPSLAOOPSLA-2015-UpadhyayaR #abstraction #concurrent #effectiveness #java #message passing #thread
Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine (GU, HR), pp. 840–859.
SACSAC-2015-BusseSDNH #data access #memory management
Partial coscheduling of virtual machines based on memory access patterns (AB, JHS, MD, POAN, HUH), pp. 2033–2038.
DATEDATE-2015-OhYM #android #compilation
Bytecode-to-C ahead-of-time compilation for Android Dalvik virtual machine (HSO, JHY, SMM), pp. 1048–1053.
PDPPDP-2015-AltomareCT #data mining #energy #migration #mining #modelling #predict
Energy-Aware Migration of Virtual Machines Driven by Predictive Data Mining Models (AA, EC, DT), pp. 549–553.
EDOCEDOC-2014-BorhaniLLLH #benchmark #metric #named #performance
WPress: An Application-Driven Performance Benchmark for Cloud-Based Virtual Machines (AHB, PL, BSL, XL, TH), pp. 101–109.
ECOOPECOOP-2014-LavoieDF #javascript #monitoring #performance #runtime #using
Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.
OOPSLAOOPSLA-2014-AdamsEMOPSSY
The hiphop virtual machine (KA, JE, BM, GO, AP, BS, ES, OY), pp. 777–790.
OOPSLAOOPSLA-2014-PinaVH #java #named
Rubah: DSU for Java on a stock JVM (LP, LV, MWH), pp. 103–119.
PLDIPLDI-2014-TorlakB #lightweight
A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.
PPDPPPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.
SACSAC-2014-AlabdulhafezE #case study #comparative #in the cloud
Experimenting on virtual machines co-residency in the cloud: a comparative study of available test beds (AA, PDE), pp. 363–365.
SACSAC-2014-KuoT #in the cloud #incremental
Delay-based incrementally mapping of virtual machines in cloud computing systems (CFK, HWT), pp. 1498–1503.
SACSAC-2014-SuzakiYTOS #protocol #testing
Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
CASECASE-2014-LeeMXW #architecture #in the cloud
Open architecture of virtual machine tool for cloud computing (RSL, KJM, PX, CMW), pp. 905–909.
CGOCGO-2014-WangWP #optimisation #reduction
Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization (HW, PW, DAP), p. 295.
HPCAHPCA-2014-LiuXGZC #concurrent #consistency #hardware #memory management #transaction
Concurrent and consistent virtual machine introspection with hardware transactional memory (YL, YX, HG, BZ, HC), pp. 416–427.
HPDCHPDC-2014-RazaviIK #as a service #image #named
Squirrel: scatter hoarding VM image contents on IaaS compute nodes (KR, AI, TK), pp. 265–278.
ISMMISMM-2014-Printezis #perspective #twitter #using
Use of the JVM at twitter: a bird’s eye view (TP), p. 1.
PDPPDP-2014-FarahnakianLP #energy #learning #using
Energy-Efficient Virtual Machines Consolidation in Cloud Data Centers Using Reinforcement Learning (FF, PL, JP), pp. 500–507.
PDPPDP-2014-MinarolliF #distributed #network #resource management
Distributed Resource Allocation to Virtual Machines via Artificial Neural Networks (DM, BF), pp. 490–499.
PPoPPPPoPP-2014-RaoZ #performance #scheduling #towards
Towards fair and efficient SMP virtual machine scheduling (JR, XZ), pp. 273–286.
SIGITESIGITE-2013-StokerAM #learning #using
Using virtual machines to improve learning and save resources in an introductory IT course (GS, TA, PM), pp. 91–96.
CSMRCSMR-2013-Lopez-HerrejonE #named #re-engineering #variability
SBSE4VM: Search Based Software Engineering for Variability Management (RELH, AE), pp. 441–444.
PASTEPASTE-2013-SarimbekovSKZBBA
A comprehensive toolchain for workload characterization across JVM languages (AS, AS, SK, YZ, WB, LB, DA), pp. 9–16.
ECOOPECOOP-2013-AnsaloniKZBBT #composition #java #program analysis #tool support
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.
OnwardOnward-2013-WurthingerWWSDHRSW
One VM to rule them all (TW, CW, AW, LS, GD, CH, GR, DS, MW), pp. 187–204.
SACSAC-2013-WassmannVT #energy #estimation
Energy consumption estimation of virtual machines (IW, DV, DT), pp. 1151–1156.
ASPLOSASPLOS-2013-KimKJLM #coordination #scheduling
Demand-based coordinated scheduling for SMP VMs (HK, SK, JJ, JL, SM), pp. 369–380.
DATEDATE-2013-KimRAL #energy
Correlation-aware virtual machine allocation for energy-efficient datacenters (JK, MR, DA, ML), pp. 1345–1350.
HPCAHPCA-2013-RaoWZX #manycore #optimisation #scheduling
Optimizing virtual machine scheduling in NUMA multicore systems (JR, KW, XZ, CZX), pp. 306–317.
HPCAHPCA-2013-XiaLC #architecture #physics
Architecture support for guest-transparent VM protection from untrusted hypervisor and physical attacks (YX, YL, HC), pp. 246–257.
LCTESLCTES-2013-StilkerichSEHLSS #embedded
A JVM for soft-error-prone embedded systems (IS, MS, CE, MH, DL, FS, WSP), pp. 21–32.
SIGITESIGITE-2012-SteinmetzPNWW #benchmark #in the cloud #metric #performance
Cloud computing performance benchmarking and virtual machine launch time (DS, BWP, RN, JW, XW), pp. 89–90.
ICALPICALP-v2-2012-JainMNS #migration #network
Topology-Aware VM Migration in Bandwidth Oversubscribed Datacenter Networks (NJ, IM, JN, FBS), pp. 586–597.
ICMTICMT-2012-WagelaarIRP #co-evolution #emf #semantics
Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine (DW, LI, DDR, AP), pp. 192–207.
OOPSLAOOPSLA-2012-BocqD #monad #named #network #process #streaming #using
Molecule: using monadic and streaming I/O to compose process networks on the JVM (SB, KD), pp. 315–334.
TOOLSTOOLS-EUROPE-2012-MarrD #abstraction #concurrent #identification #implementation #multi
Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines (SM, TD), pp. 171–186.
HPDCHPDC-2012-ParkLKHM #configuration management #pipes and filters
Locality-aware dynamic VM reconfiguration on MapReduce clouds (JP, DL, BK, JH, SM), pp. 27–36.
HPDCHPDC-2012-XuGRKKX #cpu #named #scheduling #slicing
vSlicer: latency-aware virtual machine scheduling via differentiated-frequency CPU slicing (CX, SG, PNR, AK, RRK, DX), pp. 3–14.
PDPPDP-2012-OliveiraPR #clustering
Running User-Provided Virtual Machines in Batch-Oriented Computing Clusters (VO, AMP, AR), pp. 583–587.
PDPPDP-2012-TaoFWM #architecture #manycore #performance
A Performance Study of Virtual Machines on Multicore Architectures (JT, KF, LW, HM), pp. 89–96.
ICSTICST-2012-DurelliOD #mutation testing #testing #towards
Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.
SIGITESIGITE-2011-Defoe #education #garbage collection #open source
Teaching garbage collection with open source virtual machine (DCD), pp. 197–202.
OOPSLAOOPSLA-2011-SeweMSB #analysis #benchmark #design #java #metric #scala
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine (AS, MM, AS, WB), pp. 657–676.
SACSAC-2011-NakajimaLYZGXYDQCG #hybrid #optimisation #using
Optimizing virtual machines using hybrid virtualization (JN, QL, SY, MZ, SG, MX, PY, YD, ZQ, KC, HG), pp. 573–578.
SACSAC-2011-ShanCW
Virtualizing system and ordinary services in Windows-based OS-level virtual machines (ZS, TcC, XW), pp. 579–583.
CGOCGO-2011-WuHBW #energy #manycore
A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing (YW, SH, EB, CW), pp. 236–245.
HPDCHPDC-2011-Al-KiswanySSR #named
VMFlock: virtual machine co-migration for the cloud (SAK, DS, PS, MR), pp. 159–170.
HPDCHPDC-2011-DeshpandeWG #migration
Live gang migration of virtual machines (UD, XW, KG), pp. 135–146.
HPDCHPDC-2011-LiuXJGL #energy #migration #modelling #performance
Performance and energy modeling for live migration of virtual machines (HL, CZX, HJ, JG, XL), pp. 171–182.
HPDCHPDC-2011-WengLYL #adaptation #scheduling
Dynamic adaptive scheduling for virtual machines (CW, QL, LY, ML), pp. 239–250.
PDPPDP-2011-KleineweberKNB #rule-based
Rule-Based Mapping of Virtual Machines in Clouds (CK, AK, ON, AB), pp. 527–534.
SOSPSOSP-2011-ZhangCCZ #multitenancy #named
CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization (FZ, JC, HC, BZ), pp. 203–216.
ITiCSEITiCSE-2010-HauptHPGMBHKK #education #product line #research
The SOM family: virtual machines for teaching and research (MH, RH, TP, GG, SM, AB, AH, MK, RK), pp. 18–22.
PPDPPPDP-2010-AsaiK #continuation #functional
Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.
PPDPPPDP-2010-BolzLS #execution #prolog #towards
Towards a jitting VM for prolog execution (CFB, ML, DS), pp. 99–108.
SACSAC-2010-BaiXL
Task-aware based co-scheduling for virtual machine system (YB, CX, ZL), pp. 181–188.
SACSAC-2010-LiuHLW #consistency #migration #network
Network state consistency of virtual machine in live migration (XL, JH, QL, TW), pp. 727–728.
SACSAC-2010-OkamuraO
Load-based covert channels between Xen virtual machines (KO, YO), pp. 173–180.
HPDCHPDC-2010-HerzfeldOS
Pools of virtual boxes: building campus grids with virtual machines (DJH, LEO, CAS), pp. 667–675.
HPDCHPDC-2010-HuLZHX #clustering #manycore #scheduling
I/O scheduling model of virtual machine based on multi-core dynamic partitioning (YH, XL, JZ, JH, LX), pp. 142–154.
OSDIOSDI-2010-HaeberlenARD
Accountable Virtual Machines (AH, PA, RR, PD), pp. 119–134.
PDPPDP-2010-SchmidtFSF #in the cloud #performance
Efficient Distribution of Virtual Machines for Cloud Computing (MS, NF, MS, BF), pp. 567–574.
ICLPICLP-2010-Alqaddoumi10 #functional #logic programming #parallel #towards
Towards a Parallel Virtual Machine for Functional Logic Programming (AA), pp. 222–225.
ISSTAISSTA-2010-MartignoniPRB #testing
Testing system virtual machines (LM, RP, GFR, DB), pp. 171–182.
ITiCSEITiCSE-2009-Schocken #abstraction #implementation
Virtual machines: abstraction and implementation (SS), pp. 203–207.
HCIHCI-NT-2009-MiyazakiSY #behaviour #distributed #java #runtime #using
Investigating the Run Time Behavior of Distributed Applications by Using Tiny Java Virtual Machines with Wireless Communications (TM, TS, FY), pp. 882–889.
OOPSLAOOPSLA-2009-BloomFNORSVW #concurrent #named #robust
Thorn: robust, concurrent, extensible scripting on the JVM (BB, JF, NN, , GR, RS, JV, TW), pp. 117–136.
OOPSLAOOPSLA-2009-InoueN #hardware #how #java #monitoring #performance
How a Java VM can get more from a hardware performance monitor (HI, TN), pp. 137–154.
TOOLSTOOLS-EUROPE-2009-BruniV #generative #named #prototype #using
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy (CB, TV), pp. 328–347.
SACSAC-2009-AneddaGM #approach
A general service oriented approach for managing virtual machines allocation (PA, MG, SM), pp. 2154–2161.
SACSAC-2009-EirakuSPKK #network #performance
Fast networking with socket-outsourcing in hosted virtual machine environments (HE, YS, CP, YK, KK), pp. 310–317.
SACSAC-2009-LombardiP #kernel #linux #named #security
KvmSec: a security extension for Linux kernel virtual machines (FL, RDP), pp. 2029–2034.
SACSAC-2009-OyamaKI #haskell #monitoring #named
Kenro: a virtual machine monitor mostly described in Haskell (YO, YK, HI), pp. 1940–1941.
CGOCGO-2009-CuthbertsonVBAS #approach #hardware #monitoring #optimisation #performance
A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM (JC, SV, KB, AA, EK, US), pp. 190–199.
CGOCGO-2009-MaoS #evolution #learning #predict
Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines (FM, XS), pp. 92–101.
HPDCHPDC-2009-IbrahimJCCWQ #implementation #named #pipes and filters #towards
CLOUDLET: towards mapreduce implementation on virtual machines (SI, HJ, BC, HC, SW, LQ), pp. 65–66.
HPDCHPDC-2009-LiuJLHY #migration
Live migration of virtual machine based on full system trace and replay (HL, HJ, XL, LH, CY), pp. 101–110.
SIGMODSIGMOD-2008-SororMASKK #automation #database
Automatic virtual machine configuration for database workloads (AAS, UFM, AA, KS, PK, SK), pp. 953–966.
KDDKDD-2008-ZhaoWZ #algorithm #named #performance
Cuts3vm: a fast semi-supervised svm algorithm (BZ, FW, CZ), pp. 830–838.
SEKESEKE-2008-ZhouZ #distributed #programming
A Virtual Machine for Distributed Agent-oriented Programming (BZ, HZ), pp. 729–734.
OOPSLAOOPSLA-2008-ProkopskiV #performance
Analyzing the performance of code-copying virtual machines (GBP, CV), pp. 403–422.
TOOLSTOOLS-EUROPE-2008-PhinkY #aspect-oriented
Virtual Machine Support for Stateful Aspects (YP, AY), pp. 80–99.
QAPLQAPL-2008-LambertP #bytecode #framework #independence #java #platform
Platform Independent Timing of Java Virtual Machine Bytecode Instructions (JML, JFP), pp. 97–113.
SACSAC-2008-OnoueOY
Control of system calls from outside of virtual machines (KO, YO, AY), pp. 2116–1221.
CCCC-2008-ProkopskiV #safety
Compiler-Guaranteed Safety in Code-Copying Virtual Machines (GBP, CV), pp. 163–177.
CGOCGO-2008-GuV #adaptation
Phase-based adaptive recompilation in a JVM (DG, CV), pp. 24–34.
CGOCGO-2008-WimmerM #array #automation #java
Automatic array inlining in java virtual machines (CW, HM), pp. 14–23.
CGOCGO-2008-ZhuangKSC #analysis #difference #framework #named #performance
Perfdiff: a framework for performance difference analysis in a virtual machine environment (XZ, SK, MJS, JDC), pp. 4–13.
HPDCHPDC-2008-NathujiS
Vpm tokens: virtual machine-aware power budgeting in datacenters (RN, KS), pp. 119–128.
HPDCHPDC-2008-SotomayorKF #execution #using
Combining batch execution and leasing using virtual machines (BS, KK, ITF), pp. 87–96.
LCTESLCTES-2008-BadeaNV #embedded #energy
Impact of JVM superoperators on energy consumption in resource-constrained embedded systems (CB, AN, AVV), pp. 23–30.
OSDIOSDI-2008-GuptaLVSSVVV #difference #memory management
Difference Engine: Harnessing Memory Redundancy in Virtual Machines (DG, SL, MV, SS, ACS, GV, GMV, AV), pp. 309–322.
IJCARIJCAR-2008-BartheGP #java #proving
Preservation of Proof Obligations from Java to the Java Virtual Machine (GB, BG, MP), pp. 83–99.
SIGMODSIGMOD-2007-ShivamDGIGYBC #automation #database #on-demand
Automated and on-demand provisioning of virtual machines for database applications (PS, AD, PG, DEI, LEG, ARY, SB, JSC), pp. 1079–1081.
ECOOPECOOP-2007-VenstermansEB #java #pointer
Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines (KV, LE, KDB), pp. 79–100.
PLDIPLDI-2007-TitzerABP #automation #reduction
The ExoVM system for automatic VM and application reduction (BT, JSA, DFB, JP), pp. 352–362.
PPDPPPDP-2007-Skalka #data access #type safety
Type safe dynamic linking for JVM access control (CS), pp. 51–62.
HPCAHPCA-2007-ShaferCMRCZW #concurrent #monitoring #network
Concurrent Direct Network Access for Virtual Machine Monitors (JS, DC, AM, SR, ALC, WZ, PW), pp. 306–317.
HPDCHPDC-2007-LangeD #network
Transparent network services via a virtual traffic layer for virtual machines (JRL, PAD), pp. 23–32.
LCTESLCTES-2007-PermandlaRB #java #type system
A type system for preventing data races and deadlocks in the java virtual machine language: 1 (PP, MR, CB), p. 10.
OOPSLAOOPSLA-2006-BockischADM #adaptation
Adapting virtual machine techniques for seamless aspect support (CB, MA, TD, MM), pp. 109–124.
PADLPADL-2006-GouraudG #functional #java #testing #using
Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.
QAPLQAPL-2006-BinderH06a #bytecode #profiling #using
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting (WB, JH), pp. 45–64.
SACSAC-2006-SasitornC #java #performance
Efficient first-class generics on stock Java virtual machines (JS, RC), pp. 1621–1628.
ASPLOSASPLOS-2006-CrandallWOSWC #detection
Temporal search: detecting hidden malware timebombs with virtual machines (JRC, GW, DASdO, ZS, SFW, FTC), pp. 25–36.
ASPLOSASPLOS-2006-JonesAA #monitoring #named
Geiger: monitoring the buffer cache in a virtual machine environment (STJ, ACAD, RHAD), pp. 14–24.
HPDCHPDC-2006-BaiardiRMV #monitoring #policy
Policy Driven Virtual Machine Monitor for Protected Grids (FB, LR, PM, AV), pp. 313–316.
HPDCHPDC-2006-GoscinskiA #named #performance
Motor: A Virtual Machine for High Performance Computing (WG, DA), pp. 171–182.
ISMMISMM-2006-SomanDK #garbage collection #multi
Task-aware garbage collection in a multi-tasking virtual machine (SS, LD, CK), pp. 64–73.
PDPPDP-2006-PetroneZ #parallel
Enabling PVM to Build Parallel Multidomain Virtual Machines (MP, RZ), pp. 187–194.
EDOCEDOC-2005-VitolinsK #diagrams #modelling #process #semantics #uml
Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine (VV, AK), pp. 181–194.
OOPSLAOOPSLA-2005-ArnoldWR #performance #repository #using
Improving virtual machine performance using a cross-run profile repository (MA, AW, VTR), pp. 297–311.
SACSAC-2005-DebbabiMT #compilation #embedded #java
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors (MD, AM, NT), pp. 874–878.
CGOCGO-2005-ArnoldG #graph
Collecting and Exploiting High-Accuracy Call Graph Profiles in Virtual Machines (MA, DG), pp. 51–62.
CGOCGO-2005-BerndlVZB #flexibility #performance #thread
Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters (MB, BV, MZ, ADB), pp. 15–26.
CGOCGO-2005-Hind #architecture #machine learning
Virtual Machine Learning: Thinking like a Computer Architect (MH), p. 11.
DACDAC-2005-ChenK #embedded #java #reliability
Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.
DATEDATE-2005-Takeuchi #debugging #lightweight #monitoring #using
OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.
HPDCHPDC-2005-AgrawalGBF #grid #network #towards
Towards P2P-routed IF overlay networks for grid virtual machines (AA, AG, POB, RJOF), pp. 293–294.
LCTESLCTES-2005-Oi #design #hardware #java #on the
On the design of the local variable cache in a hardware translation-based java virtual machine (HO), pp. 87–94.
IFLIFL-2004-AntoyHLT #functional #logic
A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.
IFLIFL-2004-Trancon-y-Widemann #evaluation #recursion #strict
V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions (BTyW), pp. 90–107.
OOPSLAOOPSLA-2004-Fong #verification
Pluggable verification modules: an extensible protection mechanism for the JVM (PWLF), pp. 404–418.
SACSAC-2004-DemetrescuF #debugging
A portable virtual machine for program debugging and directing (CD, IF), pp. 1524–1530.
SACSAC-2004-LiKSW #named #xml
XVM: XML Virtual Machine (QL, MYK, ES, SW), pp. 1732–1733.
ASPLOSASPLOS-2004-LowellSS #maintenance #online
Devirtualizable virtual machines enabling general, single-node, online maintenance (DEL, YS, EJS), pp. 211–223.
HPDCHPDC-2004-ZhaoZF #distributed #file system #grid
Distributed File System Support for Virtual Machines in Grid Computing (MZ, JZ, RJOF), pp. 202–211.
OSDIOSDI-2004-LevasseurUSG #dependence #reuse
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines (JL, VU, JS, SG), pp. 17–30.
ICSMEICSM-2003-KojuTD #testing
Regression Test Selection based on Intermediate Code for Virtual Machines (TK, ST, ND), p. 420–?.
ICFPICFP-2003-HiguchiO #data access #static typing #type system
A static type system for JVM access control (TH, AO), pp. 227–237.
OOPSLAOOPSLA-2003-EeckhoutGB #architecture #how #java #source code
How java programs interact with virtual machines at the microarchitectural level (LE, AG, KDB), pp. 169–186.
PLDIPLDI-2003-ErtlG #branch #optimisation #predict
Optimizing indirect branch prediction accuracy in virtual machine interpreters (MAE, DG), pp. 278–288.
GPCEGPCE-2003-Danvy #compilation
A Journey from Interpreters to Compilers and Virtual Machines (OD), p. 117.
LCTESLCTES-2003-ShaylorSB #architecture #java
A java virtual machine architecture for very small devices (NS, DNS, WRB), pp. 34–41.
SOSPSOSP-2003-GarfinkelPCRB #framework #named #platform
Terra: a virtual machine-based platform for trusted computing (TG, BP, JC, MR, DB), pp. 193–206.
ICFPICFP-2002-SerpetteS #bytecode #compilation #performance
Compiling scheme to JVM bytecode: : a performance study (BPS, MS), pp. 259–270.
ECOOPECOOP-2002-CzajkowskiDN
Code Sharing among Virtual Machines (GC, LD, NN), pp. 155–177.
PEPMASIA-PEPM-2002-IwamaK #type system
A new type system for JVM lock primitives (FI, NK), pp. 71–82.
ASPLOSASPLOS-2002-LevisC #named #network
Maté: a tiny virtual machine for sensor networks (PL, DEC), pp. 85–95.
DATEDATE-2002-PaulT #approach #modelling
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems (JMP, DET), pp. 522–528.
VMCAIVMCAI-2002-BartheDJS
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
PASTEPASTE-2001-MaessenSG #java #program analysis #safety
Program analysis for safety guarantees in a Java virtual machine written in Java (JWM, VS, DG), pp. 62–65.
FLOPSFLOPS-2001-ChoiLH #compilation #functional #java #lazy evaluation #source code
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine (KC, HiL, TH), pp. 92–107.
OOPSLAOOPSLA-2001-CzajkowskiD #evolution #multi
Multitasking without Compromise: A Virtual Machine Evolution (GC, LD), pp. 125–138.
OOPSLAOOPSLA-2001-RiehleFBO #architecture #uml
The Architecture of a UML Virtual Machine (DR, SF, DBL, NO), pp. 327–341.
PPDPPPDP-2001-NassenCS #prolog
Instruction Merging and Specialization in the SICStus Prolog Virtual Machine (HN, MC, KFS), pp. 49–60.
OOPSLAOOPSLA-2000-ArnoldFGHS #adaptation #optimisation
Adaptive optimization in the Jalapeño JVM (MA, SJF, DG, MH, PFS), pp. 47–65.
OOPSLAOOPSLA-2000-Czajkowski #java
Application isolation in the JavaTM Virtual Machine (GC), pp. 354–366.
TOOLSTOOLS-ASIA-2000-ZhengZYW #compilation #concurrent #design #hybrid #java
A Java Virtual Machine Design Based on Hybrid Concurrent Compilation Model (WZ, FZ, BY, YW), pp. 18–23.
SACSAC-2000-DenehyJ #c++ #java #parallel
Parallel C++ for the Java Virtual Machine (TED, CHJ), pp. 843–848.
CCCC-2000-HoogerbruggeA #java #pipes and filters
Pipelined Java Virtual Machine Interpreters (JH, LA), pp. 35–49.
DACDAC-2000-PaulPT #hardware #modelling
A codesign virtual machine for hierarchical, balanced hardware/software system modeling (JMP, SNP, DET), pp. 390–395.
ICEISICEIS-1999-CarvalhoPJ #java #logic programming #prolog
NETPROLOG-A Logic Programming System for the Java Virtual Machine (CLdC, ECP, RMdSJ), pp. 591–598.
POPLPOPL-1999-Yelland #composition #java
A Compositional Account of the Java Virtual Machine (PMY), pp. 57–69.
PPDPPPDP-1999-LopesSV #calculus #process
A Virtual Machine for a Process Calculus (LMBL, FMAS, VTV), pp. 244–260.
SASSAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #source code #thread
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.
SOSPSOSP-1999-SirerGGB #design #distributed #implementation
Design and implementation of a distributed virtual machine for networked computers (EGS, RG, AJG, BNB), pp. 202–216.
ICPRICPR-1998-YouBH #image #parallel #realtime #recognition
Real-time object recognition: hierarchical image matching in a parallel virtual machine environment (JY, PB, SH), pp. 275–277.
OOPSLAOOPSLA-1998-LiangB #java
Dynamics Class Loading in the Java Virtual Machine (SL, GB), pp. 36–44.
TOOLSTOOLS-USA-1998-Li #java
Java Virtual Machine — Present and Near Future (QL), p. 480.
AdaEuropeAdaEurope-1998-MilletB #java #migration #runtime
Porting the GNAT Tasking Runtime System to the Java Virtual Machine (LM, TB), pp. 19–28.
PPDPALP-PLILP-1998-Wakeling #compilation #functional #haskell #java #lazy evaluation #mobile #source code
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine (DW), pp. 335–352.
PLDIPLDI-1998-AgesenDM #garbage collection #java #liveness
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines (OA, DD, JEBM), pp. 269–279.
SASSAS-1998-HagiyaT #analysis #data flow #java #on the
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines (MH, AT), pp. 17–32.
IFLIFL-1997-Wakeling #compilation #haskell #java
A Haskell to Java Virtual Machine Code Compiler (DW), pp. 39–52.
AdaTRI-Ada-1997-ComarDG #java
Targeting GNAT to the Java Virtual Machine (CC, GD, FG), pp. 149–161.
HPDCHPDC-1996-FoxF #distributed #evolution #performance #towards #web
Towards Web/Java-Based High Performance Distributed Computing-an Evolving Virtual Machine (GF, WF), pp. 308–317.
OOPSLAOOPSLA-1994-LopezFB #constraints #imperative #implementation #programming language
Implementing Constraint Imperative Programming Languages: The Kaleidospace’93 Virtual Machine (GL, BNFB, AB), pp. 259–271.
SIGMODSIGMOD-1992-Rengarajan #database #multi
Rdb/VMS Support for Multi-media Databases (TKR), p. 287.
SOSPSOSP-WIP-1991-Wiecek92
VMS on Mach (CAW), p. 15.
LISPLFP-1990-FeeleyM #compilation #parallel #performance
A Parallel Virtual Machine for Efficient Scheme Compilation (MF, JSM), pp. 119–130.
FPCAFPCA-1985-AbramskyS85 #named #programming
Secd-m: a Virtual Machine for Applicative Programming (SA, RS), pp. 81–98.
AdaTFDA-1980-Dommergaard #ada #design
The Design of a Virtual Machine for Ada (OD), pp. 435–606.
SOSPSOSP-J-1979-CanonFHHMR80 #evaluation #performance
A Virtual Machine Emulator for Performance Evaluation (MDC, DHF, JHH, TDH, MFM, JRR), pp. 71–80.
SOSPSOSP-1979-CanonFHHMR #evaluation #performance
A Virtual Machine Emulator for Performance Evaluation (MDC, DHF, JHH, TDH, MFM, JRR), p. 1.
VLDBVLDB-1975-DonovanFGG #information management
An Experimental VM/370 Based Information System (JJD, RF, SGG, LMG), pp. 549–553.
SOSPSOSP-1975-BagleyFHW
Sharing Data and Services in a Virtual Machine System (JDB, ERF, SCH, VW), pp. 82–88.
SOSPSOSP-1975-BelpaireN #architecture #recursion
Formal Properties of Recursive Virtual Machine Architectures (GB, NTH), pp. 89–96.
SOSPSOSP-1975-PopekK #architecture #case study
The PDP-11 Virtual Machine Architecture: A Case Study (GJP, CSK), pp. 97–105.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.