Tag #virtual machine
200 papers:
SANER-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.
PLDI-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.
OOPSLA-2018-MeierRG #design #parallel #programming language- Virtual machine design for parallel dynamic programming languages (RM, AR, TRG), p. 25.
ESEC-FSE-2018-0001ZSDR #bytecode #verification- A formal verification tool for Ethereum VM bytecode (DP0, YZ, MS, PD, GR), pp. 912–915.
CC-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.
CGO-2018-RosaRB #optimisation- Analyzing and optimizing task granularity on the JVM (AR, ER, WB), pp. 27–37.
- OOPSLA-2017-BarrettBKMT
- Virtual machine warmup blows hot and cold (EB, CFBT, RK, SM, LT), p. 27.
- OOPSLA-2017-LiuMM
- A volatile-by-default JVM for server applications (LL, TDM, MM), p. 25.
- OOPSLA-2017-RichardsAT #type system
- The VM already knew that: leveraging compile-time knowledge to optimize gradual typing (GR, EA, AT), p. 27.
- ESEC-FSE-2017-CelikVMG #bound #testing
- Regression test selection across JVM boundaries (AÇ, MV, AM, MG), pp. 809–820.
- ESEC-FSE-2017-DovgalyukFVM #framework
- QEMU-based framework for non-intrusive virtual machine instrumentation and introspection (PD, NF, IV, VM), pp. 944–948.
GPCE-2017-RosaRB #dynamic analysis- Accurate reification of complete supertype information for dynamic analysis on the JVM (AR, ER, WB), pp. 104–116.
CASE-2017-ZhangZ17a #scheduling- Task scheduling based on virtual machine matching in clouds (PZ, MZ), pp. 618–623.
ICTSS-2017-LopezKZ #estimation #quality- Quality Estimation of Virtual Machine Placement in Cloud Infrastructures (JL, NK, DZ), pp. 213–229.
QoSA-2016-DasD #web- Estimating Response Time Percentiles of Cloud-Based Tiered Web Applications in Presence of VM Failures (OD, AD), pp. 1–10.
- PLDI-2016-ChenSSSZ #difference #implementation #testing
- Coverage-directed differential testing of JVM implementations (YC, TS, CS, ZS, JZ), pp. 85–99.
- PLDI-2016-EizenbergHPD #detection #named #online
- Remix: online detection and repair of cache contention for the JVM (AE, SH, GP, JD), pp. 251–265.
ICST-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.
- OOPSLA-2015-SteindorferV #agile #optimisation #performance
- Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
- OOPSLA-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.
SAC-2015-BusseSDNH #data access #memory management- Partial coscheduling of virtual machines based on memory access patterns (AB, JHS, MD, POAN, HUH), pp. 2033–2038.
DATE-2015-OhYM #android #compilation- Bytecode-to-C ahead-of-time compilation for Android Dalvik virtual machine (HSO, JHY, SMM), pp. 1048–1053.
PDP-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.
EDOC-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.
ECOOP-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.
- OOPSLA-2014-AdamsEMOPSSY
- The hiphop virtual machine (KA, JE, BM, GO, AP, BS, ES, OY), pp. 777–790.
- OOPSLA-2014-PinaVH #java #named
- Rubah: DSU for Java on a stock JVM (LP, LV, MWH), pp. 103–119.
- PLDI-2014-TorlakB #lightweight
- A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.
PPDP-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.
- SAC-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.
- SAC-2014-KuoT #in the cloud #incremental
- Delay-based incrementally mapping of virtual machines in cloud computing systems (CFK, HWT), pp. 1498–1503.
- SAC-2014-SuzakiYTOS #protocol #testing
- Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
- CASE-2014-LeeMXW #architecture #in the cloud
- Open architecture of virtual machine tool for cloud computing (RSL, KJM, PX, CMW), pp. 905–909.
- CGO-2014-WangWP #optimisation #reduction
- Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization (HW, PW, DAP), p. 295.
HPCA-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.
HPDC-2014-RazaviIK #as a service #image #named- Squirrel: scatter hoarding VM image contents on IaaS compute nodes (KR, AI, TK), pp. 265–278.
ISMM-2014-Printezis #perspective #twitter #using- Use of the JVM at twitter: a bird’s eye view (TP), p. 1.
- PDP-2014-FarahnakianLP #energy #learning #using
- Energy-Efficient Virtual Machines Consolidation in Cloud Data Centers Using Reinforcement Learning (FF, PL, JP), pp. 500–507.
- PDP-2014-MinarolliF #distributed #network #resource management
- Distributed Resource Allocation to Virtual Machines via Artificial Neural Networks (DM, BF), pp. 490–499.
PPoPP-2014-RaoZ #performance #scheduling #towards- Towards fair and efficient SMP virtual machine scheduling (JR, XZ), pp. 273–286.
SIGITE-2013-StokerAM #learning #using- Using virtual machines to improve learning and save resources in an introductory IT course (GS, TA, PM), pp. 91–96.
CSMR-2013-Lopez-HerrejonE #named #re-engineering #variability- SBSE4VM: Search Based Software Engineering for Variability Management (RELH, AE), pp. 441–444.
PASTE-2013-SarimbekovSKZBBA - A comprehensive toolchain for workload characterization across JVM languages (AS, AS, SK, YZ, WB, LB, DA), pp. 9–16.
- ECOOP-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.
Onward-2013-WurthingerWWSDHRSW - One VM to rule them all (TW, CW, AW, LS, GD, CH, GR, DS, MW), pp. 187–204.
- SAC-2013-WassmannVT #energy #estimation
- Energy consumption estimation of virtual machines (IW, DV, DT), pp. 1151–1156.
ASPLOS-2013-KimKJLM #coordination #scheduling- Demand-based coordinated scheduling for SMP VMs (HK, SK, JJ, JL, SM), pp. 369–380.
- DATE-2013-KimRAL #energy
- Correlation-aware virtual machine allocation for energy-efficient datacenters (JK, MR, DA, ML), pp. 1345–1350.
- HPCA-2013-RaoWZX #manycore #optimisation #scheduling
- Optimizing virtual machine scheduling in NUMA multicore systems (JR, KW, XZ, CZX), pp. 306–317.
- HPCA-2013-XiaLC #architecture #physics
- Architecture support for guest-transparent VM protection from untrusted hypervisor and physical attacks (YX, YL, HC), pp. 246–257.
LCTES-2013-StilkerichSEHLSS #embedded- A JVM for soft-error-prone embedded systems (IS, MS, CE, MH, DL, FS, WSP), pp. 21–32.
- SIGITE-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.
ICALP-v2-2012-JainMNS #migration #network- Topology-Aware VM Migration in Bandwidth Oversubscribed Datacenter Networks (NJ, IM, JN, FBS), pp. 586–597.
ICMT-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.
- OOPSLA-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.
TOOLS-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.
- HPDC-2012-ParkLKHM #configuration management #pipes and filters
- Locality-aware dynamic VM reconfiguration on MapReduce clouds (JP, DL, BK, JH, SM), pp. 27–36.
- HPDC-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.
- PDP-2012-OliveiraPR #clustering
- Running User-Provided Virtual Machines in Batch-Oriented Computing Clusters (VO, AMP, AR), pp. 583–587.
- PDP-2012-TaoFWM #architecture #manycore #performance
- A Performance Study of Virtual Machines on Multicore Architectures (JT, KF, LW, HM), pp. 89–96.
- ICST-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.
- SIGITE-2011-Defoe #education #garbage collection #open source
- Teaching garbage collection with open source virtual machine (DCD), pp. 197–202.
- OOPSLA-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.
- SAC-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.
- SAC-2011-ShanCW
- Virtualizing system and ordinary services in Windows-based OS-level virtual machines (ZS, TcC, XW), pp. 579–583.
- CGO-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.
- HPDC-2011-Al-KiswanySSR #named
- VMFlock: virtual machine co-migration for the cloud (SAK, DS, PS, MR), pp. 159–170.
- HPDC-2011-DeshpandeWG #migration
- Live gang migration of virtual machines (UD, XW, KG), pp. 135–146.
- HPDC-2011-LiuXJGL #energy #migration #modelling #performance
- Performance and energy modeling for live migration of virtual machines (HL, CZX, HJ, JG, XL), pp. 171–182.
- HPDC-2011-WengLYL #adaptation #scheduling
- Dynamic adaptive scheduling for virtual machines (CW, QL, LY, ML), pp. 239–250.
- PDP-2011-KleineweberKNB #rule-based
- Rule-Based Mapping of Virtual Machines in Clouds (CK, AK, ON, AB), pp. 527–534.
SOSP-2011-ZhangCCZ #multitenancy #named- CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization (FZ, JC, HC, BZ), pp. 203–216.
ITiCSE-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.
- PPDP-2010-AsaiK #continuation #functional
- Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.
- PPDP-2010-BolzLS #execution #prolog #towards
- Towards a jitting VM for prolog execution (CFB, ML, DS), pp. 99–108.
- SAC-2010-BaiXL
- Task-aware based co-scheduling for virtual machine system (YB, CX, ZL), pp. 181–188.
- SAC-2010-LiuHLW #consistency #migration #network
- Network state consistency of virtual machine in live migration (XL, JH, QL, TW), pp. 727–728.
- SAC-2010-OkamuraO
- Load-based covert channels between Xen virtual machines (KO, YO), pp. 173–180.
- HPDC-2010-HerzfeldOS
- Pools of virtual boxes: building campus grids with virtual machines (DJH, LEO, CAS), pp. 667–675.
- HPDC-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.
OSDI-2010-HaeberlenARD - Accountable Virtual Machines (AH, PA, RR, PD), pp. 119–134.
- PDP-2010-SchmidtFSF #in the cloud #performance
- Efficient Distribution of Virtual Machines for Cloud Computing (MS, NF, MS, BF), pp. 567–574.
ICLP-2010-Alqaddoumi10 #functional #logic programming #parallel #towards- Towards a Parallel Virtual Machine for Functional Logic Programming (AA), pp. 222–225.
ISSTA-2010-MartignoniPRB #testing- Testing system virtual machines (LM, RP, GFR, DB), pp. 171–182.
- ITiCSE-2009-Schocken #abstraction #implementation
- Virtual machines: abstraction and implementation (SS), pp. 203–207.
HCI-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.
- OOPSLA-2009-BloomFNORSVW #concurrent #named #robust
- Thorn: robust, concurrent, extensible scripting on the JVM (BB, JF, NN, JÖ, GR, RS, JV, TW), pp. 117–136.
- OOPSLA-2009-InoueN #hardware #how #java #monitoring #performance
- How a Java VM can get more from a hardware performance monitor (HI, TN), pp. 137–154.
- TOOLS-EUROPE-2009-BruniV #generative #named #prototype #using
- PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy (CB, TV), pp. 328–347.
- SAC-2009-AneddaGM #approach
- A general service oriented approach for managing virtual machines allocation (PA, MG, SM), pp. 2154–2161.
- SAC-2009-EirakuSPKK #network #performance
- Fast networking with socket-outsourcing in hosted virtual machine environments (HE, YS, CP, YK, KK), pp. 310–317.
- SAC-2009-LombardiP #kernel #linux #named #security
- KvmSec: a security extension for Linux kernel virtual machines (FL, RDP), pp. 2029–2034.
- SAC-2009-OyamaKI #haskell #monitoring #named
- Kenro: a virtual machine monitor mostly described in Haskell (YO, YK, HI), pp. 1940–1941.
- CGO-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.
- CGO-2009-MaoS #evolution #learning #predict
- Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines (FM, XS), pp. 92–101.
- HPDC-2009-IbrahimJCCWQ #implementation #named #pipes and filters #towards
- CLOUDLET: towards mapreduce implementation on virtual machines (SI, HJ, BC, HC, SW, LQ), pp. 65–66.
- HPDC-2009-LiuJLHY #migration
- Live migration of virtual machine based on full system trace and replay (HL, HJ, XL, LH, CY), pp. 101–110.
SIGMOD-2008-SororMASKK #automation #database- Automatic virtual machine configuration for database workloads (AAS, UFM, AA, KS, PK, SK), pp. 953–966.
KDD-2008-ZhaoWZ #algorithm #named #performance- Cuts3vm: a fast semi-supervised svm algorithm (BZ, FW, CZ), pp. 830–838.
SEKE-2008-ZhouZ #distributed #programming- A Virtual Machine for Distributed Agent-oriented Programming (BZ, HZ), pp. 729–734.
- OOPSLA-2008-ProkopskiV #performance
- Analyzing the performance of code-copying virtual machines (GBP, CV), pp. 403–422.
- TOOLS-EUROPE-2008-PhinkY #aspect-oriented
- Virtual Machine Support for Stateful Aspects (YP, AY), pp. 80–99.
QAPL-2008-LambertP #bytecode #framework #independence #java #platform- Platform Independent Timing of Java Virtual Machine Bytecode Instructions (JML, JFP), pp. 97–113.
- SAC-2008-OnoueOY
- Control of system calls from outside of virtual machines (KO, YO, AY), pp. 2116–1221.
- CC-2008-ProkopskiV #safety
- Compiler-Guaranteed Safety in Code-Copying Virtual Machines (GBP, CV), pp. 163–177.
- CGO-2008-GuV #adaptation
- Phase-based adaptive recompilation in a JVM (DG, CV), pp. 24–34.
- CGO-2008-WimmerM #array #automation #java
- Automatic array inlining in java virtual machines (CW, HM), pp. 14–23.
- CGO-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.
- HPDC-2008-NathujiS
- Vpm tokens: virtual machine-aware power budgeting in datacenters (RN, KS), pp. 119–128.
- HPDC-2008-SotomayorKF #execution #using
- Combining batch execution and leasing using virtual machines (BS, KK, ITF), pp. 87–96.
- LCTES-2008-BadeaNV #embedded #energy
- Impact of JVM superoperators on energy consumption in resource-constrained embedded systems (CB, AN, AVV), pp. 23–30.
- OSDI-2008-GuptaLVSSVVV #difference #memory management
- Difference Engine: Harnessing Memory Redundancy in Virtual Machines (DG, SL, MV, SS, ACS, GV, GMV, AV), pp. 309–322.
IJCAR-2008-BartheGP #java #proving- Preservation of Proof Obligations from Java to the Java Virtual Machine (GB, BG, MP), pp. 83–99.
- SIGMOD-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.
- ECOOP-2007-VenstermansEB #java #pointer
- Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines (KV, LE, KDB), pp. 79–100.
- PLDI-2007-TitzerABP #automation #reduction
- The ExoVM system for automatic VM and application reduction (BT, JSA, DFB, JP), pp. 352–362.
- PPDP-2007-Skalka #data access #type safety
- Type safe dynamic linking for JVM access control (CS), pp. 51–62.
- HPCA-2007-ShaferCMRCZW #concurrent #monitoring #network
- Concurrent Direct Network Access for Virtual Machine Monitors (JS, DC, AM, SR, ALC, WZ, PW), pp. 306–317.
- HPDC-2007-LangeD #network
- Transparent network services via a virtual traffic layer for virtual machines (JRL, PAD), pp. 23–32.
- LCTES-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.
- OOPSLA-2006-BockischADM #adaptation
- Adapting virtual machine techniques for seamless aspect support (CB, MA, TD, MM), pp. 109–124.
PADL-2006-GouraudG #functional #java #testing #using- Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.
- QAPL-2006-BinderH06a #bytecode #profiling #using
- Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting (WB, JH), pp. 45–64.
- SAC-2006-SasitornC #java #performance
- Efficient first-class generics on stock Java virtual machines (JS, RC), pp. 1621–1628.
- ASPLOS-2006-CrandallWOSWC #detection
- Temporal search: detecting hidden malware timebombs with virtual machines (JRC, GW, DASdO, ZS, SFW, FTC), pp. 25–36.
- ASPLOS-2006-JonesAA #monitoring #named
- Geiger: monitoring the buffer cache in a virtual machine environment (STJ, ACAD, RHAD), pp. 14–24.
- HPDC-2006-BaiardiRMV #monitoring #policy
- Policy Driven Virtual Machine Monitor for Protected Grids (FB, LR, PM, AV), pp. 313–316.
- HPDC-2006-GoscinskiA #named #performance
- Motor: A Virtual Machine for High Performance Computing (WG, DA), pp. 171–182.
- ISMM-2006-SomanDK #garbage collection #multi
- Task-aware garbage collection in a multi-tasking virtual machine (SS, LD, CK), pp. 64–73.
- PDP-2006-PetroneZ #parallel
- Enabling PVM to Build Parallel Multidomain Virtual Machines (MP, RZ), pp. 187–194.
- EDOC-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.
- OOPSLA-2005-ArnoldWR #performance #repository #using
- Improving virtual machine performance using a cross-run profile repository (MA, AW, VTR), pp. 297–311.
- SAC-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.
- CGO-2005-ArnoldG #graph
- Collecting and Exploiting High-Accuracy Call Graph Profiles in Virtual Machines (MA, DG), pp. 51–62.
- CGO-2005-BerndlVZB #flexibility #performance #thread
- Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters (MB, BV, MZ, ADB), pp. 15–26.
- CGO-2005-Hind #architecture #machine learning
- Virtual Machine Learning: Thinking like a Computer Architect (MH), p. 11.
DAC-2005-ChenK #embedded #java #reliability- Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.
- DATE-2005-Takeuchi #debugging #lightweight #monitoring #using
- OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.
- HPDC-2005-AgrawalGBF #grid #network #towards
- Towards P2P-routed IF overlay networks for grid virtual machines (AA, AG, POB, RJOF), pp. 293–294.
- LCTES-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.
IFL-2004-AntoyHLT #functional #logic- A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.
- IFL-2004-Trancon-y-Widemann #evaluation #recursion #strict
- V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions (BTyW), pp. 90–107.
- OOPSLA-2004-Fong #verification
- Pluggable verification modules: an extensible protection mechanism for the JVM (PWLF), pp. 404–418.
- SAC-2004-DemetrescuF #debugging
- A portable virtual machine for program debugging and directing (CD, IF), pp. 1524–1530.
- SAC-2004-LiKSW #named #xml
- XVM: XML Virtual Machine (QL, MYK, ES, SW), pp. 1732–1733.
- ASPLOS-2004-LowellSS #maintenance #online
- Devirtualizable virtual machines enabling general, single-node, online maintenance (DEL, YS, EJS), pp. 211–223.
- HPDC-2004-ZhaoZF #distributed #file system #grid
- Distributed File System Support for Virtual Machines in Grid Computing (MZ, JZ, RJOF), pp. 202–211.
- OSDI-2004-LevasseurUSG #dependence #reuse
- Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines (JL, VU, JS, SG), pp. 17–30.
ICSM-2003-KojuTD #testing- Regression Test Selection based on Intermediate Code for Virtual Machines (TK, ST, ND), p. 420–?.
ICFP-2003-HiguchiO #data access #static typing #type system- A static type system for JVM access control (TH, AO), pp. 227–237.
- OOPSLA-2003-EeckhoutGB #architecture #how #java #source code
- How java programs interact with virtual machines at the microarchitectural level (LE, AG, KDB), pp. 169–186.
- PLDI-2003-ErtlG #branch #optimisation #predict
- Optimizing indirect branch prediction accuracy in virtual machine interpreters (MAE, DG), pp. 278–288.
- GPCE-2003-Danvy #compilation
- A Journey from Interpreters to Compilers and Virtual Machines (OD), p. 117.
- LCTES-2003-ShaylorSB #architecture #java
- A java virtual machine architecture for very small devices (NS, DNS, WRB), pp. 34–41.
- SOSP-2003-GarfinkelPCRB #framework #named #platform
- Terra: a virtual machine-based platform for trusted computing (TG, BP, JC, MR, DB), pp. 193–206.
- ICFP-2002-SerpetteS #bytecode #compilation #performance
- Compiling scheme to JVM bytecode: : a performance study (BPS, MS), pp. 259–270.
- ECOOP-2002-CzajkowskiDN
- Code Sharing among Virtual Machines (GC, LD, NN), pp. 155–177.
ASIA-PEPM-2002-IwamaK #type system- A new type system for JVM lock primitives (FI, NK), pp. 71–82.
- ASPLOS-2002-LevisC #named #network
- Maté: a tiny virtual machine for sensor networks (PL, DEC), pp. 85–95.
- DATE-2002-PaulT #approach #modelling
- A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems (JMP, DET), pp. 522–528.
VMCAI-2002-BartheDJS - A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
- PASTE-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.
FLOPS-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.
- OOPSLA-2001-CzajkowskiD #evolution #multi
- Multitasking without Compromise: A Virtual Machine Evolution (GC, LD), pp. 125–138.
- OOPSLA-2001-RiehleFBO #architecture #uml
- The Architecture of a UML Virtual Machine (DR, SF, DBL, NO), pp. 327–341.
- PPDP-2001-NassenCS #prolog
- Instruction Merging and Specialization in the SICStus Prolog Virtual Machine (HN, MC, KFS), pp. 49–60.
- OOPSLA-2000-ArnoldFGHS #adaptation #optimisation
- Adaptive optimization in the Jalapeño JVM (MA, SJF, DG, MH, PFS), pp. 47–65.
- OOPSLA-2000-Czajkowski #java
- Application isolation in the JavaTM Virtual Machine (GC), pp. 354–366.
- TOOLS-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.
- SAC-2000-DenehyJ #c++ #java #parallel
- Parallel C++ for the Java Virtual Machine (TED, CHJ), pp. 843–848.
- CC-2000-HoogerbruggeA #java #pipes and filters
- Pipelined Java Virtual Machine Interpreters (JH, LA), pp. 35–49.
- DAC-2000-PaulPT #hardware #modelling
- A codesign virtual machine for hierarchical, balanced hardware/software system modeling (JMP, SNP, DET), pp. 390–395.
ICEIS-1999-CarvalhoPJ #java #logic programming #prolog- NETPROLOG-A Logic Programming System for the Java Virtual Machine (CLdC, ECP, RMdSJ), pp. 591–598.
POPL-1999-Yelland #composition #java- A Compositional Account of the Java Virtual Machine (PMY), pp. 57–69.
- PPDP-1999-LopesSV #calculus #process
- A Virtual Machine for a Process Calculus (LMBL, FMAS, VTV), pp. 244–260.
SAS-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.
- SOSP-1999-SirerGGB #design #distributed #implementation
- Design and implementation of a distributed virtual machine for networked computers (EGS, RG, AJG, BNB), pp. 202–216.
ICPR-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.
- OOPSLA-1998-LiangB #java
- Dynamics Class Loading in the Java Virtual Machine (SL, GB), pp. 36–44.
- TOOLS-USA-1998-Li #java
- Java Virtual Machine — Present and Near Future (QL), p. 480.
AdaEurope-1998-MilletB #java #migration #runtime- Porting the GNAT Tasking Runtime System to the Java Virtual Machine (LM, TB), pp. 19–28.
- ALP-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.
- PLDI-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.
- SAS-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.
- IFL-1997-Wakeling #compilation #haskell #java
- A Haskell to Java Virtual Machine Code Compiler (DW), pp. 39–52.
TRI-Ada-1997-ComarDG #java- Targeting GNAT to the Java Virtual Machine (CC, GD, FG), pp. 149–161.
- HPDC-1996-FoxF #distributed #evolution #performance #towards #web
- Towards Web/Java-Based High Performance Distributed Computing-an Evolving Virtual Machine (GF, WF), pp. 308–317.
- OOPSLA-1994-LopezFB #constraints #imperative #implementation #programming language
- Implementing Constraint Imperative Programming Languages: The Kaleidospace’93 Virtual Machine (GL, BNFB, AB), pp. 259–271.
- SIGMOD-1992-Rengarajan #database #multi
- Rdb/VMS Support for Multi-media Databases (TKR), p. 287.
- SOSP-WIP-1991-Wiecek92
- VMS on Mach (CAW), p. 15.
LFP-1990-FeeleyM #compilation #parallel #performance- A Parallel Virtual Machine for Efficient Scheme Compilation (MF, JSM), pp. 119–130.
FPCA-1985-AbramskyS85 #named #programming- Secd-m: a Virtual Machine for Applicative Programming (SA, RS), pp. 81–98.
- TFDA-1980-Dommergaard #ada #design
- The Design of a Virtual Machine for Ada (OD), pp. 435–606.
- SOSP-J-1979-CanonFHHMR80 #evaluation #performance
- A Virtual Machine Emulator for Performance Evaluation (MDC, DHF, JHH, TDH, MFM, JRR), pp. 71–80.
- SOSP-1979-CanonFHHMR #evaluation #performance
- A Virtual Machine Emulator for Performance Evaluation (MDC, DHF, JHH, TDH, MFM, JRR), p. 1.
VLDB-1975-DonovanFGG #information management- An Experimental VM/370 Based Information System (JJD, RF, SGG, LMG), pp. 549–553.
- SOSP-1975-BagleyFHW
- Sharing Data and Services in a Virtual Machine System (JDB, ERF, SCH, VW), pp. 82–88.
- SOSP-1975-BelpaireN #architecture #recursion
- Formal Properties of Recursive Virtual Machine Architectures (GB, NTH), pp. 89–96.
- SOSP-1975-PopekK #architecture #case study
- The PDP-11 Virtual Machine Architecture: A Case Study (GJP, CSK), pp. 97–105.
