Mobile development is expanding widely over the past few years. Amongst the top operating platforms for Smartphones, Google Android platform has been discovered with known privilege escalation attacks. Many of the known privilege escalation attacks are related to the permission system used by the Android platform. This paper will introduce SymDroid, a tool using symbolic execution to explore pe...

In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried dependencies. They follow the INSPECTOR/EXECUTOR scheme and improve upon previous algorithms with the same generality by allowing concurrent reads of the same location and by increasing the overlap of dependent iterations. ...

This paper presents a framework that facilitates communication between a planning system (“planner”) and a plan execution system (“executor”) to enable them to run concurrently, with the main emphasis on meeting the real-time requirements of the application domain. While the framework is applicable to general-purpose planning, its features are optimized for the requirements of automated story p...

The ability to integrate sophisticated planning techniques with reactive execution systems is critical for nontrivial applications. Merging these two technologies is di cult because the forms of knowledge and reasoning that they employ di er substantially. The ACT formalism is a language for representing the knowledge required to support both the generation of complex plans and reactive executi...

Hybrid sensor networks (HSNs) comprise of mobile and static sensor nodes setup for purpose of collaboratively performing tasks like sensing a phenomenon or monitoring a region. In this paper, we present target interception as a novel application using mobile sensor nodes as executor. Static sensor nodes sense, compute and communicate with each other for navigation. Mobile nodes are guided to in...

We present SymDIVINE: a tool for bit-precise model checking of parallel C and C++ programs. It builds upon LLVM compiler infrastructure, hence, it uses LLVM IR as an input formalism. Internally, SymDIVINE extends the standard explicit-state state space exploration with SMT machinery to handle non-deterministic data values. As such, SymDIVINE is on a halfway between a symbolic executor and an ex...

The Glamis methodology provides a framework for performance modelling of parallel applications, based on a combination of task graph models and queueing network models. This paper presents a new, moderately cheap algorithm which enables the analysis of arbitrary task graph models of parallel programs with general precedence relationships, given a queueing model of the underlying machine. The al...

SciDB is an open-source analytical database oriented toward the data management needs of scientists. As such it mixes statistical and linear algebra operations with data management ones, using a natural nested multi-dimensional array data model. We have been working on the code for two years, most recently with the help of venture capital backing. Release 11.06 (June 2011) is downloadable from ...

We have developed the ZENTURIO experiment management system for performance studies, parameter studies, and software testing of parallel applications on cluster and Grid architectures. In this paper we describe the design and implementation of ZENTURIO as a Web service-based distributed architecture. We highlight limitations of Web services for deployment on the Grid and propose solutions. Expe...

XML is represented as a tree and the query as a regular path expression. The query is evaluated by traversing each node of the tree. Several indexes are proposed for regular path expressions. In some cases these indexes may not cover all possible paths because of storage requirements. In this paper, we propose a signature-based query optimization technique to minimize the number of nodes retrie...