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)
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)
Sirtuins (SIRT1-7) are a family of NAD-dependent deacetylases, which play an important role in regulating cancer tumorigenesis; however, their role in oral cancer has been controversial. SIRT3 is localized in the mitochondria, where it deacetylates and activates several enzymes involved in cellular redox balance and defense against oxidative damage. We(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)
This study adopted an integrated procedure that combines the clustering and classification features of data mining technology to determine the differences between the symptoms shown in past cases where patients died from or survived oral cancer. Two data mining tools, namely decision tree and artificial neural network, were used to analyze the historical(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)