We have developed task scheduler logic (TSL) to automate reasoning about scheduling and concurrency in systems software. TSL can detect race conditions and other errors as well as supporting lock inference: the derivation of an appropriate lock implementation for each critical section in a system. Lock inference solves a number of problems in creating flexible, reliable, and efficient systems s...

Jang, Haejin, Jacob Wood, and Gohar Feroz Khan. 2017. A Social Network Analysis of Knowledge Infrastructure in the Second Language Acquisition Domain. Linguistic Research 34(Special Edition), 125-160. This study utilizes the social network analysis (SNA) technique to analyze and better understand the semantic and knowledge networks that are associated with the linguistic domain of second langua...

We propose to use cloud computing for solving constraint programing problems in parallel. We used the Embarrassingly Parallel Search (EPS) method in conjunction with Microsoft Azure, the cloud computing platform and infrastructure, created by Microsoft. EPS decomposes the problem in many distinct subproblems which are then solved independently by workers. EPS has three advantages: it is an effi...

An infrastructure is a set of interconnected structural elements, such as tools and schemas, that provide a framework for supporting an entire structure. The reverse engineering community has recognized the importance of interoperability, the cooporation of two or more systems to enable the exchange and utilization of data, and has noted that the current lack of interoperability is a contributi...

Data about the Second World War (WW2) is heterogeneous and distributed in different organizations and countries. This paper argues that in order to create aggregated global views of the war, a shared semantic infrastructure is needed, including data models of the real world events, metadata schemas for presenting their documentation, a data harmonization model for data aggregation, and shared d...

disaster-affected populations are highly vulnerable to outbreaks of measles. therefore, a mass vaccination against measles was conducted in aila cyclone-affected blocks of west bengal, india in july 2009. the objectives of the present report were to conduct an in depth analysis of the campaign, and to discuss the major challenges. a block level micro-plan, which included mapping of the villages...