ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
Abstract—Compositional symbolic execution has been proposed as a way to increase the efficiency of symbolic execution. Essentially, when a function is symbolically executed, a s...
ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
—Dynamic symbolic execution (DSE) is an approach for automatically generating test inputs from source code using constraint information. It is used in fuzzing: the execution of t...
ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
—Sporadic operations such as rolling upgrade or machine instance redeployment are prone to unpredictable failures in the cloud largely due to the inherent high variability nature...
ARCS
2015
Springer
8 years 7 months ago
2015
Springer
With the emergence of 3D-DRAM, Processing-in-Memory has once more become of great interest to the research community and industry. In this paper, we present our observations on a s...
ARCS
2015
Springer
8 years 7 months ago
2015
Springer
State-of-the-art mobile smartphone and tablet processors are beginning to employ fully speculative, out-of-order architectures with deep instruction pipelines. These processors oft...
PEPM
2015
ACM
8 years 7 months ago
2015
ACM
We present a recursion scheme based on attribute grammars that can be transparently applied to trees and acyclic graphs. Our recursion scheme allows the programmer to implement a ...
PEPM
2015
ACM
8 years 7 months ago
2015
ACM
Program slicing identifies the program parts that may affect certain properties of the program, such as the outcomes of conditions affecting the program flow. Ottenstein’s Pro...
PEPM
2015
ACM
8 years 7 months ago
2015
ACM
PEPM
2015
ACM
8 years 7 months ago
2015
ACM
Desugaring, a key form of program manipulation, is a vital tool in the practical study of programming languages. Its use enables pragmatic solutions to the messy problems of deali...
PEPM
2015
ACM
8 years 7 months ago
2015
ACM
In this paper we develop an object-sensitive type analysis for PHP, based on an extension of the notion of monotone frameworks to deal with the dynamic aspects of PHP, and followi...