ShockAbsorber is a software router of TCP connections that supports load sharing across multiple TCP servers that share a set of virtual IP addresses. It consists of the Executor, a O/S kernel extension that supports fast IP packet forwarding, and a user level Manager process that controls it. The Manager implements a novel dynamic load-sharing algorithm for allocation of TCP connections among ...

Joose is a Java-based Symbolic Executor which supports modularization of programs into classes. Basic integer and Boolean types are supported along with object types which are parameterized by a specific class expression. The system allows the correctness of the defined classes to be verified with respect to the defined specifications, allows the consistency of the specifications to be checked,...

We present a declarative intermediate language KIL in a symbolic executor for C++ programs and show how to use KIL to control symbolic execution. KIL is an abstract language defined over LLVM bytecode; it provides a higher level model of C++ object operations and functions. KIL enables lazy function evaluation, object-level execution and reasoning, defining built-in efficient solvers, function ...

Loop transformation frameworks based on the polyhedral model use libraries such as Polylib, ISL, and Omega to represent and manipulate polyhedra and use tools like CLooG to generate loops that scan the modified polyhedra. Most of these libraries are restricted to iteration space sets and memory/array access functions with affine constraints that preclude the specification of run-time reordering...

A Simple Temporal Network with Uncertainty (STNU) is a structure for representing and reasoning about temporal constraints in domains where some temporal durations are not controlled by the executor. The most important property of an STNU is whether it is dynamically controllable (DC); that is, whether there exists a strategy for executing the controllable time-points that guarantees that all c...

Transcription activator-like (TAL) effectors are bacterial type III secretion proteins that function as transcription factors in plants during Xanthomonas/plant interactions, conditioning either host susceptibility and/or host resistance. Three types of TAL effector associated resistance (R) genes have been characterized-recessive, dominant non-transcriptional, and dominant TAL effector-depende...

This paper discusses an approach to implement OpenMP on clusters by translating it to Global Arrays (GA). The basic translation strategy from OpenMP to GA is described. GA requires a data distribution; we do not expect the user to supply this; rather, we show how we perform data distribution and work distribution according to OpenMP static loop scheduling. An inspector-executor strategy is empl...

NetDispatcher is a software router of TCP connections that supports load sharing across multiple TCP servers. It consists of the Executor, an operating system kernel extension that supports fast IP packet forwarding, and a user level Manager process that controls it. The Manager implements a novel dynamic load-sharing algorithm for allocation of TCP connections among servers according to their ...