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)
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)
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)
PURPOSE Carcinoma-associated fibroblasts (CAFs) in tumor stroma play an important role in tumor progression and have been associated with a poor prognosis in oral squamous cell carcinoma (OSCC). However, how CAFs influence OSCC malignancy and whether normalizing CAFs inhibits cancer progression remain unclear. EXPERIMENTAL DESIGN The relationship between(More)
MicroRNAs offer tools to identify and treat invasive cancers. Using highly invasive isogenic oral squamous cell carcinoma (OSCC) cells, established using in vitro and in vivo selection protocols from poorly invasive parental cell populations, we used microarray expression analysis to identify a relative and specific decrease in miR-491-5p in invasive cells.(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)
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)
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)
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)