yusuke1997/dblp-id-title huggingface dataset:
ACRN: a big little hypervisor for IoT development
A-DRM: Architecture-aware Distributed Resource Management of Virtualized Clusters
Improving compiler-runtime separation with XIR
Virtual programming environments: programming the cloud (keynote)
Vector LLVA: a virtual vector instruction set for media processing
Tesseract: reconciling guest I/O and hypervisor swapping in a VM
ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), VEE '13, Houston, TX, USA, March 16-17, 2013
Execution mining
How to shadow every byte of memory used by a program
AppSec: A Safe Execution Environment for Security Sensitive Applications
Sweet Spots and Limits for Virtualization
Parallelizing live migration of virtual machines
String deduplication for Java-based middleware in virtualized environments
Application servers: virtualizing location, resources, memory, users and threads for business applications and web applications
Fast and live hypervisor replacement
Workload-aware live storage migration for clouds
Modeling virtualized applications using machine learning techniques
GiantVM: a type-II hypervisor implementing many-to-one virtualization
The hybrid scheduling framework for virtual machine systems
A fast abstract syntax tree interpreter for R
Policy enforcement and compliance proofs for Xen virtual machines
A principled approach to nondeferred reference-counting garbage collection
(No)Compromis: paging virtualization is not a fatality
Virtual WiFi: bring virtualization from wired to wireless
Virtual machine-provided context sensitive page mappings
SimTester: a controllable and observable testing framework for embedded systems
Adaptive live migration of virtual machines under limited network bandwidth
EXTERIOR: using a dual-VM based external shell for guest-OS introspection, configuration, and recovery
Capability Boehm: challenges and opportunities for garbage collection with capability hardware
A Hybrid I/O Virtualization Framework for RDMA-capable Network Interfaces
Relative factors in performance analysis of Java virtual machines
Nomad: migrating OS-bypass networks in virtual machines
Overdriver: handling memory overload in an oversubscribed cloud
Composable multi-level debugging with Stackdb
Effective exploitation of SIMD resources in cross-ISA virtualization
Inter-domain socket communications supporting high performance and full binary compatibility on Xen
One Process to Reap Them All: Garbage Collection as-a-Service
Evaluating fragment construction policies for SDT systems
Extending Intel PML for hardware-assisted working set size estimation of VMs
Mitigating JIT compilation latency in virtual execution environments
Friendly virtual machines: leveraging a feedback-control model for application adaptation
Performance Implications of Extended Page Tables on Virtualized x86 Processors
Automated bug localization in JIT compilers
QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks
Abolish runtime systems: operating systems should control the execution
Patch auditing in infrastructure as a service clouds
Looking beyond a singularity
Dynamic memory balancing for virtual machines
A lightweight VMM on many core for high performance computing
Using page residency to balance tradeoffs in tracing garbage collection
Process-shared and persistent code caches
Instrumenting annotated programs
Demon: An Efficient Solution for on-Device MMU Virtualization in Mediated Pass-Through
Speculative optimization using hardware-monitored guarded regions for java virtual machines
Using OS Design Patterns to Provide Reliability and Security as-a-Service for VM-based Clouds
AASH: an asymmetry-aware scheduler for hypervisors
SecondSite: disaster tolerance as a service
Content Look-Aside Buffer for Redundancy-Free Virtual Disk I/O and Caching
Directvisor: virtualization for bare-metal cloud
HyperMAMBO-X64: Using Virtualization to Support High-Performance Transparent Binary Translation
Abstractions for Practical Virtual Machine Replay
EOP: efficient operator partition for deep learning inference over edge servers
SRVM: Hypervisor Support for Live Migration with Passthrough SR-IOV Network Devices
Diagnosing performance overheads in the xen virtual machine environment
Secure and practical defense against code-injection attacks using software dynamic translation
Unpicking the knot: teasing apart VM/application interdependencies
VMKit: a substrate for managed runtime environments
Dynamic application reconfiguration on heterogeneous hardware
Towards VM Consolidation Using a Hierarchy of Idle States
Swift Birth and Quick Death: Enabling Fast Parallel Guest Boot and Destruction in the Xen Hypervisor
Analysis of NVMe-SSD to passthrough GPU data transfer in virtualized systems
Automatically exploiting the memory hierarchy of GPUs through just-in-time compilation
The case for the three R's of systems research: repeatability, reproducibility and rigor
Transistors to toys: teaching systems to freshmen
Improving Remote Desktopping Through Adaptive Record/Replay
Replacement attacks against VM-protected applications
Urgent Virtual Machine Eviction with Enlightened Post-Copy
Block storage virtualization with commodity secure digital cards
A modular approach to on-stack replacement in LLVM
Tail latency in node.js: energy efficient turbo boosting for long latency requests in event-driven web services
A stackless runtime environment for a Pi-calculus
VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, virtual event [Lausanne, Switzerland], March 17, 2020
DBILL: an efficient and retargetable dynamic binary instrumentation framework using llvm backend
Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Atlanta, GA, USA, April 2-3, 2016
Blending containers and virtual machines: a study of firecracker and gVisor
Rethink the virtual machine template
Achieving 10 Gb/s using safe and transparent network interface virtualization
Applications of a feather-weight virtual machine
Optimising dynamic binary modification across 64-bit Arm microarchitectures
Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2018, Williamsburg, VA, USA, March 25-25, 2018
HotpathVM: an effective JIT compiler for resource-constrained devices
REEact: a customizable virtual execution manager for multicore platforms
Mitigating excessive vCPU spinning in VM-agnostic KVM
CloudNet: dynamic pooling of cloud resources by live WAN migration of virtual machines
Efficient LLVM-based dynamic binary translation
Supporting soft real-time tasks in the xen hypervisor
Challenges in building a real, large private cloud
Proceedings of the 7th International Conference on Virtual Execution Environments, VEE 2011, Newport Beach, CA, USA, March 9-11, 2011 (co-located with ASPLOS 2011)
Dynamic binary translation specialized for embedded systems
Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005
HyperSpector: virtual distributed monitoring environments for secure intrusion detection
Trace fragment selection within method-based JVMs
Unikernels Everywhere: The Case for Elastic CDNs
A robust and flexible operating system compatibility architecture
Efficient live migration of virtual machines using shared storage
Live wide-area migration of virtual machines including local persistent state
Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2019, Providence, RI, USA, April 14, 2019
10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE '14, Salt Lake City, UT, USA, March 01 - 02, 2014
Proceedings of the 3rd International Conference on Virtual Execution Environments, VEE 2007, San Diego, California, USA, June 13-15, 2007
Selective hardware/software memory virtualization
V2E: combining hardware virtualization and softwareemulation for transparent and extensible malware analysis
Transparent and lightweight object placement for managed workloads atop hybrid memories
VMM-independent graphics acceleration
Escape analysis in the context of dynamic compilation and deoptimization
A virtualized separation kernel for mixed criticality systems
DDGacc: boosting dynamic DDG-based binary optimizations through specialized hardware support
Execution replay of multiprocessor virtual machines
Influence of program inputs on the selection of garbage collectors
Exploring VM Introspection: Techniques and Trade-offs
LibrettOS: a dynamically adaptable multiserver-library OS
BitVisor: a thin hypervisor for enforcing i/o device security
Virtualization in the age of heterogeneous machines
Enabling pipeline parallelism in heterogeneous managed runtime environments via batch processing
YETI: a graduallY extensible trace interpreter
Running a Java VM inside an operating system kernel
Planning for code buffer management in distributed virtual execution environments
Dynamic code management: improving whole program code locality in managed runtimes
Optimizing virtual machine live storage migration in heterogeneous storage environment
VMM-based hidden process detection and identification using Lycosid
An Analysis of x86-64 Inline Assembly in C Programs
Dancing with Wolves: Towards Practical Event-driven VMM Monitoring
The nom Profit-Maximizing Operating System
Multiple-tasks on multiple-devices (MTMD): exploiting concurrency in heterogeneous managed runtimes
Facilitating inter-application interactions for OS-level virtualization
Intra-unikernel isolation with Intel memory protection keys
A feather-weight virtual machine for windows applications
Instrew: leveraging LLVM for high performance dynamic binary instrumentation
MigVisor: Accurate Prediction of VM Live Migration Behavior using a Working-Set Pattern Model
Virtualizing the Edge of the Cloud: the New Frontier
Libra: a library operating system for a jvm in a virtualized execution environment
Protecting applications against TOCTTOU races by user-space caching of file metadata
GCPersist: an efficient GC-assisted lazy persistency framework for resilient Java applications on NVM
Proceedings of the 5th International Conference on Virtual Execution Environments, VEE 2009, Washington, DC, USA, March 11-13, 2009
BTMMU: an efficient and versatile cross-ISA memory virtualization
The entropia virtual machine for desktop grids
Using VMM-based sensors to monitor honeypots
Preemptable ticket spinlocks: improving consolidated performance in the cloud
Shrinking the hypervisor one subsystem at a time: a userspace packet switch for virtual machines
Designing Locality and NUMA Aware MPI Runtime for Nested Virtualization based HPC Cloud with SR-IOV Enabled InfiniBand
virtio-mem: paravirtualized memory hot(un)plug
Real-time deep virtual machine introspection and its applications
Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006
A unified view of virtualization
VM Live Migration At Scale
A lock-free, concurrent, and incremental stack scanning for garbage collectors
Supporting per-processor local-allocation buffers using lightweight user-level preemption notification
Memory buddies: exploiting page sharing for smart colocation in virtualized data centers
Fine-grained user-space security through virtualization
Friendly barriers: efficient work-stealing with return barriers
Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008
I/O processing in a virtualized platform: a simulation-driven approach
Hybrid binary rewriting for memory access instrumentation
Exploiting frequent field values in java objects for reducing heap memory requirements
Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2017, Xi'an, China, April 8-9, 2017
snBench: programming and virtualization framework for distributed multitasking sensor networks
ScissorGC: scalable and efficient compaction for Java full garbage collection
Improving Xen security through disaggregation
CMD: classification-based memory deduplication through page access characteristics
libdft: practical dynamic data flow tracking for commodity systems
PARS: A Page-Aware Replication System for Efficiently Storing Virtual Machine Snapshots
COMMA: coordinating the migration of multi-tier applications
Entropy: a consolidation manager for clusters
Fast restore of checkpointed memory using working set estimation
GPUswap: Enabling Oversubscription of GPU Memory through Transparent Swapping
Tracing for web 3.0: trace compilation for the next generation web applications
Leveraging Managed Runtime Systems to Build, Analyze, and Optimize Memory Graphs
Shoot4U: Using VMM Assists to Optimize TLB Operations on Preempted vCPUs
Spons & Shields: practical isolation for trusted execution
Adding dynamically-typed language support to a statically-typed language compiler: performance evaluation, analysis, and tradeoffs
How to design a library OS for practical containers?
Hardware virtualization trends
Secure guest virtual machine support in apparition
In pursuit of a trusted computing base: the journey through virtualization (keynote)
Live updating operating systems using virtualization
Obtaining hard real-time performance and rich Linux features in a compounded real-time operating system by a partitioning hypervisor
Container-aware I/O stack: bridging the gap between container storage drivers and solid state devices
Virtual asymmetric multiprocessor for interactive performance of consolidated desktops
HA-VMSI: A Lightweight Virtual Machine Isolation Approach with Commodity Hardware for ARM
Flexible Page-level Memory Access Monitoring Based on Virtualization Hardware
Using hypervisor to provide data secrecy for user applications on a per-page basis
Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Istanbul, Turkey, March 14-15, 2015
Virtual I/O scheduler: a scheduler of schedulers for performance virtualization
Swift shadow paging (SSP): no write-protection but following TLB flushing
An execution layer for aspect-oriented programming languages
ClientVisor: leverage COTS OS functionalities for power management in virtualized desktop environment
Architectural support for shadow memory in multiprocessors
Efficient memory virtualization for Cross-ISA system mode emulation
vSocket: virtual socket interface for RDMA in public clouds
Evaluation of a just-in-time compiler retrofitted for PHP
HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines
Lightweight kernel isolation with virtualization and VM functions
Fast and space-efficient virtual machine checkpointing
gMig: Efficient GPU Live Migration Optimized by Software Dirty Page for Full Virtualization
Metadata driven memory optimizations in dynamic binary translator
Neon: system support for derived data management
PinOS: a programmable framework for whole-system dynamic instrumentation
Introspection-based memory de-duplication and migration
Proactively Breaking Large Pages to Improve Memory Overcommitment Performance in VMware ESXi
Minimal-overhead virtualization of a large scale supercomputer
Migration of Web Applications with Seamless Execution
Building a KVM-based Hypervisor for a Heterogeneous System Architecture Compliant System
Task-aware virtual machine scheduling for I/O performance
Improving Dynamically-Generated Code Performance on Dynamic Binary Translators
A framework for application guidance in virtual memory systems
PDS: a virtual execution environment for software deployment
MuscalietJS: rethinking layered dynamic web runtimes
Reflexes: abstractions for highly responsive systems
Superblock compilation and other optimization techniques for a Java-based DPT machine emulator
Characterization & analysis of a server consolidation benchmark
Edge computing: the case for heterogeneous-ISA container migration
Capability wrangling made easy: debugging on a microkernel with valgrind
Enabling Efficient Hypervisor-as-a-Service Clouds with Eemeral Virtualization
Enhancing TCP throughput of highly available virtual machines via speculative communication
Application of Domain-aware Binary Fuzzing to Aid Android Virtual Machine Testing
Module-aware translation for real-life desktop applications
Performance profiling of virtual machines
Proceedings of the 8th International Conference on Virtual Execution Environments, VEE 2012, London, UK, March 3-4, 2012 (co-located with ASPLOS 2012)
Practical escape analyses: how good are they?
Cell GC: using the cell synergistic processor as a garbage collection coprocessor
Leveraging phase change memory to achieve efficient virtual machine execution
Energy-efficient storage in virtual machine environments
The pauseless GC algorithm
PEMU: A Pin Highly Compatible Out-of-VM Dynamic Binary Instrumentation Framework
The janus triad: exploiting parallelism through dynamic binary modification
DVM: towards a datacenter-scale virtual machine
The SCADA Threat Landscape
A Model for the Analysis of Security Policies in Industrial Networks
Intrusion Detection via Machine Learning for SCADA System Protection
Not all SCADA is Equal: Impact of Control Models on ICS Threat Landscape
Performance of Firewalls for Industrial Applications
Towards a SCADA Forensics Architecture
HADA: Hybrid Access Decision Architecture for Building Automation and Control Systems
Multi-Layer Agent-Based Simulation of Network Behaviour in Advanced Metering Infrastructures
Towards Understanding Man-in-the-middle Attacks on IEC 60870-5-104 SCADA Networks
Socio-Technical Security Analysis of Industrial Control Systems (ICS)
PRECYSE: Cyber-attack Detection and Response for Industrial Control Systems
Using Gamification to Raise Awareness of Cyber Threats to Critical National Infrastructure
Insecure by Design: Using Human Interface Devices to exploit SCADA systems
Automated Asset Discovery in Industrial Control Systems - Exploring the Problem
A System to Recognize Intruders in Controller Area Network (CAN)
A Practical flow white list approach for SCADA systems
Cyber Security Maintenance for SCADA Systems
1st International Symposium for ICS & SCADA Cyber Security Research 2013, ICS-CSR 2013, 16-17 September 2013, Leicester, UK
A Forensic Taxonomy of SCADA Systems and Approach to Incident Response
Data Integrity Attacks in Smart Grid Wide Area Monitoring
A Cyber-Physical Security Analysis of Synchronous-Islanded Microgrid Operation
Adaptive Modelling for Security Analysis of Networked Control Systems
SimaticScan: Towards A Specialised Vulnerability Scanner for Industrial Control Systems
Industrial Control System Cyber Attacks
A Model-based Approach to Interdependency between Safety and Security in ICS
Characterising Disruptive Events to Model Cascade Failures in Critical Infrastructures
4th International Symposium for ICS & SCADA Cyber Security Research 2016, ICS-CSR 2016, 23 - 25 August 2016, Queen's Belfast University, UK
Assessing the Security of IEC 62351
Ontology and life cycle of knowledge for ICS security assessments
An isolated virtual cluster for SCADA network security research
Investigating the Applicability of a Moving Target Defense for SCADA systems
Towards a Resilience Metric Framework for Cyber-Physical Systems
2nd International Symposium for ICS & SCADA Cyber Security Research 2014, ICS-CSR 2014, 11-12 September 2014, St. Pölten, Austria
SCADA Laboratory and Test-bed as a Service for Critical Infrastructure Protection
Defense-in-depth vs. Critical Component Defense for Industrial Control Systems
Automated Analysis of Access Policies in Industrial Plants
Towards A Stateful Analysis Framework for Smart Grid Network Intrusion Detection
Extracting Vulnerabilities in Industrial Control Systems using a Knowledge-Based System
Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts
Threat Analysis of BlackEnergy Malware for Synchrophasor based Real-time Control and Monitoring in Smart Grid
Security-Aware, Model-Based Systems Engineering with SysML
Towards a Distributed Runtime Monitor for ICS/SCADA Systems
Towards Agile Industrial Control Systems Incident Response
ICS Threat Analysis Using a Large-Scale Honeynet
Towards Real-Time Assessment of Industrial Control Systems (ICSs): A Framework for Future Research
Role Logic and its Application to the Analysis of Process Control Systems from the Socio - Technical System Perspective
An Initial Investigation into Attribution in SCADA Systems
A Practical Attack Against a KNX-based Building Automation System
Securing Industrial Control Systems through Autonomous Hardening
3rd International Symposium for ICS & SCADA Cyber Security Research 2015, ICS-CSR 2015, 17-18 September 2015, University of Applied Sciences Ingolstadt, Germany
Measuring the Risk of Cyber Attack in Industrial Control Systems
Trusted Virtual Machine Management for Virtualization in Critical Environments
A Blueprint for a Pan-European Cyber Incident Analysis System
Improving SCADA security of a local process with a power grid model
Forensic Readiness for SCADA/ICS Incident Response
A SysML Extension for Security Analysis of Industrial Control Systems
Position Paper: Safety and Security Monitoring in ICS/SCADA Systems
From Recreational to Clinical Approaches: The Use of the Cuatro Tribus Game-Based Workshop as a Complementary Tool for the Reintegration Treatment of Juvenile Offenders
About Dinosaurs in Laboratories - Evaluation of the Serious Game Cards for Biosafety
Methodological Challenges of Creating a Next-Generation Machine Learning-Based Game Engine for Generating Maps and Vehicle Behavior
Can the Veil of Ignorance Create Consensus? - A Qualitative Analysis Using the Siting for a Contaminated Waste Landfill Game
Constructing Safe Containers for Effective Learning: Vignettes of Breakdown in Psychological Safety During Simulated Scenarios
Intercultural Dialogue Through Simulation and Virtual Exchange in Education
Quantitative Analysis of Conflict-of-Interest Structures in Consensus-Building Process
Co-designing an Applied Game About Volcanic Hazards for a Bi-cultural Environment: 5 Minute Volcano
Development of BASE Manufacturing Business Board Game
Simulated Construction of State's Intersubjective Reality in Virtual Games: An Emerging Tool of Social Power?
A Framework for Developing Multi-Layered Networks of Active Neurons for Simulation Experiments and Model-Based Business Games Using Self-Organizing Data Mining with the Group Method of Data Handling
The Development of the 3D Role-Playing Game on PC with an Assistive System for Deuteranopia
Maritime Spatial Planning - A Board Game for Stakeholder Involvement
What is the Game? Study of Subjective Perceptions
How Entrepreneurs Learn About Artificial Intelligence by Using an Analogue Card Game
Study on Occurrence Mechanism of Quality Scandal in Enterprises by "Sontaku", "Air" and "Water" Theory Using Business Game
Simulation and Gaming across Borders - 55th International Simulation and Gaming Association Conference, ISAGA 2024, Christchurch, New Zealand, July 8-12, 2024, Revised Selected Papers
A Management Model for Effective Team Communication in Business Simulation Games
The Impact of Participants Motivation and Playfulness for the Facilitation of Simulation Games
Artillery Simulation as a Pedagogical Tool in Military Education
A Katana Design Experience
Reframing the Boundaries of Experiential Education Using Cynefin Domains
Simulation and Gaming for Social Impact: 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers
Gaming, Simulation and Innovations: Challenges and Opportunities - 52nd International Simulation and Gaming Association Conference, ISAGA 2021, Indore, India, September 6-10, 2021, Revised Selected Papers
Theory Informing Practice - Theorizing Good Facilitation Practice
Structuring Game Design with Active Learning Benefits: Insights from Logistical Skills Training in Managing an Emergency Department
Understanding Behavioral Differences Between Machine Agents and Human Participants Based on How They Play the Energy Transition Game