Learn More
In this paper we present JST, a tool that automatically generates a high coverage test suite for industrial strength Java applications. This tool uses a numeric-string hybrid symbolic execution engine at its core which is based on the Symbolic Java PathFinder platform. However, in order to make the tool applicable to industrial applications the existing(More)
The ability to reproduce simulation results (external deter-minism) goes a long way towards enhancing the trustworthi-ness of high performance computing simulations. The ability to replay schedules (internal determinism) greatly facilitates reproducing bugs, and helps reduce wasted programmer productivity. In this paper, we consider these issues in the(More)
Tools for floating-point error estimation are fundamental to program understanding and optimization. In this paper, we focus on tools for determining the input settings to a floating point routine that maximizes its result error. Such tools can help support activities such as precision allocation, performance optimization, and auto-tuning. We benchmark(More)
GPU based computing has made significant strides in recent years. Unfortunately, GPU program optimizations can introduce subtle concurrency errors, and so incisive formal bug-hunting methods are essential. This paper presents a new formal bug-hunting method for GPU programs that combine barriers and atomics. We present an algorithm called conflict-directed(More)
Galectin-1 (Gal-1) is a β-galactoside-binding lectin that regulates endothelial cell migration, proliferation, and adhesion. However, the effect of Gal-1 on vascular permeability and the underlying mechanisms are unclear. We found that high Gal-1 expression was associated with elevated tumor vascular permeability in specimens of oral squamous cell(More)
Tumor invasion and metastasis represent a major unsolved problem in cancer pathogenesis. Recent studies have indicated the involvement of Src-homology 2 domain-containing tyrosine phosphatase 2 (SHP2) in multiple malignancies; however, the role of SHP2 in oral cancer progression has yet to be elucidated. We propose that SHP2 is involved in the progression(More)
The epithelial-to-mesenchymal transition (EMT) process results in a loss of cell-cell adhesion, increased cell mobility, and is crucial for enabling the metastasis of cancer cells. Recently, the enzyme SIRT1 has been implicated in a variety of physiological processes; however, its role in regulating oral cancer metastasis and EMT is not fully elucidated.(More)
— This paper describes our experience rewriting a sequential particle-in-cell code so that its key computations are executed on a GPU. This code is well-suited to GPU acceleration, as it performs data-parallel operations on a regular grid. Key performance challenges are the need for global synchronization in mapping particles to grid nodes, and managing(More)