Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Decaf: Moving Device Drivers to a Modern Language
The design and implementation of microdrivers
Redline: First Class Support for Interactivity in Commodity Operating Systems
Formalisation and analysis of Dalvik bytecode
IA-32 Execution Layer: a two-phase dynamic translator designed to support IA-32 applications on Itanium-based systems
Extracting feature model changes from the Linux kernel using FMDiff
Evaluation of Android Dalvik virtual machine
Chisel: constructing hardware in a Scala embedded language
File-system intrusion detection by preserving MAC DTS: a loadable kernel module based approach for LINUX kernel 2.6.x
Operating System Process and Thread Migration in Heterogeneous Platforms
DLVM: A modern compiler infrastructure for deep learning systems
A Reliable and Predictable Scratchpad-centric OS for Multi-core Embedded Systems
Sharing Control With Haptics: Seamless Driver Support From Manual to Automatic Control
VDF: Targeted Evolutionary Fuzz Testing of Virtual Devices
Comparing Hardware Description Languages
A Real-Time Linux
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking
Automatic Android GUI Traversal with High Coverage
Memory Barriers: a Hardware View for Software Hackers
What You Corrupt Is Not What You Crash: Challenges in Fuzzing Embedded Devices
C: a language for high-level, efficient, and machine-independent dynamic code generation
geoweb crawler : an extensible and scalable web crawling framework for discovering geospatial web resources .
Multimodal Biometric System Using Iris, Palmprint and Finger-Knuckle
Secure Execution via Program Shepherding
Mining the peanut gallery: opinion extraction and semantic classification of product reviews
Multicore Fibre Fan-In/Fan-Out Device using Fibre Optic Collimators