PATMOS
2015
Springer
8 years 6 months ago
2015
Springer
—In this paper, we present the design of a new Java based, cycle-accurate, heterogeneous architectural simulator, Tejas. Tejas is a trace driven simulator, which is platformindep...
PATMOS
2015
Springer
8 years 6 months ago
2015
Springer
Safety critical real time systems need to meet strict timing deadlines. We use a model checking based approach to calculate the WCET, where we apply optimizations to reduce the num...
APLAS
2015
ACM
8 years 6 months ago
2015
ACM
This paper describes a new bottom-up, subset-based, and context-sensitive pointer analysis for Java. The main novelty of our technique is the constraint-based handling of virtual m...
APLAS
2015
ACM
8 years 6 months ago
2015
ACM
Abstract. We study the efficient implementation of call-by-value using the structure of interactive computation models. This structure has been useful in applications to resource-...
APLAS
2015
ACM
8 years 6 months ago
2015
ACM
APLAS
2015
ACM
8 years 6 months ago
2015
ACM
Proving that two programs are contextually equivalent is notoriously hard, particularly for functional languages with references (i.e., local states). Many operational techniques h...
APLAS
2015
ACM
8 years 6 months ago
2015
ACM
Abstract. Separation logic has been successful at verifying that programs do not crash due to illegal use of resources. The underlying assumption, however, is that machines do not ...
APLAS
2015
ACM
8 years 6 months ago
2015
ACM
Abstract. Quasi-linearizability is a quantitative relaxation of linearizability. It preserves the intuition of the standard notion of linearizability and permits more flexibility....
APLAS
2015
ACM
8 years 6 months ago
2015
ACM
We study integration of static and dynamic typing in the presence of delimited-control operators. In a program where typed and untyped parts coexist, the run-time system has to mon...
PAM
2015
Springer
8 years 6 months ago
2015
Springer
Recent distributed denial-of-service attacks on the Internet have been exploiting necessarily open protocols, such as DNS. The Spamhaus attack is one of the largest ever examples o...