Daniel Liew

Learn More
We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, a static verification tool for OpenCL and CUDA GPU kernels, plotting the progress of GPUVerify from a prototype to a fully functional and relatively efficient analysis tool. Our hope is that this experience report will serve the verification community by(More)
With incidence rates for diabetes increasing rapidly worldwide, estimates of the magnitude of the impact on population health are required. We aimed to estimate the lifetime risk of diabetes, the number of years lived free of, and the number of years lived with diabetes for the Australian adult population from the year 2000, and to project prevalence of(More)
We present the design and implementation of Symbooglix, a symbolic execution engine for the Boogie intermediate verification language. Symbooglix aims to find bugs in Boogie programs efficiently, providing bug-finding capabilities for any program analysis framework that uses Boogie as a target language. We discuss the technical challenges associated with(More)
INTRODUCTION Cardiovascular diseases are the main cause of morbidity and mortality in Malaysia. There is evidence of high traditional and complementary medicine (TCM) use among population with cardiovascular risk and there have been anecdotal reports about substitution of conventional medicines with TCM. We investigated the prevalence of TCM use, treatment(More)
Symbolic execution is a well-known program analysis technique for testing software, which makes intensive use of constraint solvers. Recent support for floating-point constraint solving has made it feasible to support floating-point reasoning in symbolic execution tools. In this paper, we present the experience of two research teams that independently added(More)
BACKGROUND Type 2 diabetes (T2DM) is a burdensome condition for individuals to live with and an increasingly costly condition for health services to treat. Cost-effective treatment strategies are required to delay the onset and slow the progression of diabetes related complications. The Diabetes Telephone Coaching Study (DTCS) demonstrated that telephone(More)
  • 1