Learn More
Kineograph is a distributed system that takes a stream of incoming data to construct a continuously changing graph, which captures the relationships that exist in the data feed. As a computing platform, Kineograph further supports graph-mining algorithms to extract timely insights from the fast-changing graph structure. To accommodate graph-mining(More)
Multiprocessor application performance can be limited by the operating system when the application uses the operating system frequently and the operating system services use data structures shared and modified by multiple processing cores. If the application does not need the sharing, then the operating system will become an unnecessary bottleneck to the(More)
Efficiently scheduling data-parallel computation jobs over cloud-scale computing clusters is critical for job performance, system throughput, and resource utilization. It is becoming even more challenging with growing cluster sizes and more complex workloads with diverse characteristics. This paper presents Apollo, a highly scalable and coordinated(More)
Temporal graphs capture changes in graphs over time and are becoming a subject that attracts increasing interest from the research communities, for example, to understand temporal characteristics of social interactions on a time-evolving social graph. Chronos is a storage and execution engine designed and optimized specifically for running in-memory(More)
Limited population-based cancer registry data available in China until now has hampered efforts to inform cancer control policy. Following extensive efforts to improve the systematic cancer surveillance in this country, we report on the largest pooled analysis of cancer survival data in China to date. Of 21 population-based cancer registries, data from 17(More)
MODIST is the first model checker designed for transparently checking unmodified distributed systems running on unmodified operating systems. It achieves this transparency via a novel architecture: a thin interposition layer exposes all actions in a distributed system and a centralized, OS-independent model checking engine explores these actions(More)
LncRNA SPRY4-IT1 has been shown to promote the progression of melanoma. However, the role of lncRNA SPRY4-IT1 in human esophageal squamous cell carcinoma (ESCC) remains unclear. The purpose of this study is to investigate the clinical significance and biological functions of SPRY4-IT1 in ESCC. The expression levels of lncRNA SPRY4-IT in 92 ESCC patients and(More)
Testing large-scale distributed systems is a challenge, because some errors manifest themselves only after a distributed sequence of events that involves machine and network failures. D 3 S is a checker that allows developers to specify predicates on distributed properties of a deployed system, and that checks these predicates while the system is running.(More)
Library-based record and replay tools aim to reproduce an application's execution by recording the results of selected functions in a log and during replay returning the results from the log rather than executing the functions. These tools must ensure that a replay run is identical to the record run. The challenge in doing so is that only invocations of a(More)
Ethyl glucuronide (ethyl beta-D-6-glucosiduronic acid), a minor ethanol metabolite in serum or urine, was determined by gas chromatography-mass spectrometry. Prior to this, ethyl glucuronide was synthesized by the reaction of acetobromo-glucosiduronic acid with ethanol. For the determination of ethyl glucuronide, serum samples were precipitated with(More)