The move from hardware middleboxes to software network functions, as advocated by NFV,
has proven more challenging than expected. Developing new NFs remains a tedious …

The serious bugs and security vulnerabilities facilitated by C/C++'s lack of bounds checking
are well known, yet C and C++ remain in widespread use. Unfortunately, C's arbitrary …

Temporal memory safety errors, such as dangling pointer dereferences and double frees,
are a prevalent source of software bugs in unmanaged languages such as C. Existing …

Taint analysis, a form of information-flow analysis, establishes whether values from
untrusted methods and parameters may flow into security-sensitive operations. Taint …

B last is an automatic verification tool for checking temporal safety properties of C programs.
Given a C program and a temporal safety property, B last either statically proves that the …

Despite their immense popularity in recent years, smartphones are and will remain severely
limited by their battery life. Preserving this critical resource has driven smartphone OSes to …

Version 6 of Sun Microsystems' Java HotSpot™ VM ships with a redesigned version of the
client just-in-time compiler that includes several research results of the last years. The client …

We present a new technique, failure-oblivious computing, that enables servers to execute
through memory errors without memory corruption. Our safe compiler for C inserts checks …

Future high-performance virtual machines will improve performance through sophisticated
online feedback-directed optimizations. this paper presents the architecture of the Jalapeño …

Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes
ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path …