A lightweight symbolic virtual machine for solver-aided host languages.

Emina Torlak Rastislav Bodík

Published in: PLDI (2014)

Keyphrases

lightweight
virtual machine
operating system
java bytecode
data center
cloud computing environment
communication infrastructure
databases
wireless sensor networks
computer systems
dos attacks
development environments
multi tasking