Learn More
Despite many years of research, it has proven very difficult to develop a memory model for concurrent programming languages that adequately balances the conflicting desiderata of programmers, compilers, and hardware. In this paper, we propose the first relaxed memory model that (1) accounts for a broad spectrum of features from the C++11 concurrency model,(More)
OBJECTIVES A Bayesian network meta-analysis was performed comparing the efficacy and safety of drug-eluting balloons (DEB), drug-eluting stents (DES), or plain old balloon angioplasty (POBA) for treatment of in-stent restenosis (ISR). BACKGROUND Optimal treatment options for ISR have not been well established. METHODS Randomized, controlled trials(More)
Major compiler verification efforts, such as the CompCert project, have traditionally simplified the verification problem by restricting attention to the correctness of whole-program compilation, leaving open the question of how to verify the correctness of separate compilation. Recently, a number of sophisticated techniques have been proposed for proving(More)
In this article, we present a general method for achieving global static analyzers that are precise and sound, yet also scalable. Our method, on top of the abstract interpretation framework, is a general sparse analysis technique that supports relational as well as nonrelational semantics properties for various programming languages. Analysis designers(More)
BACKGROUND Variations of genes encoding cytochrome enzymes, drug transporters, and paraoxonase have recently been reported to be associated with clopidogrel response variability besides the well-known CYP2C19 loss-of-function (LOF) alleles. We determined whether newly reported genetic variations are associated with clopidogrel on-treatment platelet(More)
OBJECTIVE To test the effect of a loss-of-function variation of the cytochrome P450 (CYP) 3A5 on drug-drug interaction between amlodipine and clopidogrel. Amlodipine is a well-known inhibitor of CYP 3A4, an isoenzyme of CYP3A that activates clopidogrel. However, controversy exists regarding whether amlodipine adversely affects clopidogrel response and(More)
BACKGROUND Calcium-channel blockers (CCBs) inhibit the CYP3A4 enzyme, which is involved in clopidogrel activation. Studies have shown conflicting results regarding the effect of concomitant CCB administration on clopidogrel response. We investigated the relationship between CYP3A4 genotype and the inhibitory effect of CCBs on clopidogrel response. METHODS(More)
BACKGROUND Paraoxonase (PON) is a high-density-lipoprotein (HDL) associated enzyme with antioxidative and anti-atherogenic property. Its function is associated with coronary artery disease and its activity genetically controlled. We evaluated whether genetic variation of PON-1 is associated with clinical outcome in a large cohort of Korean patients with(More)
Platelets not only play a role in hemostasis, but they also promote angiogenesis and tissue recovery by releasing various cytokines and making an angiogenic milieu. Here, we examined autologous 'activated platelet supernatant (APS)' as a priming agent for stem cells; thereby enhance their pro-angiogenic potential and efficacy of stem cell-based therapy for(More)
AIM Various methods are used to augment the efficacy of cell therapy in myocardial infarction (MI). In this study, we used the "activated platelet supernatant (APS)" to prime autologous "granulocyte colony-stimulating factor-mobilized peripheral blood mononuclear cells ((mob) PBMCs)" and investigated the efficacy of cell-based therapy in MI. METHOD Rat(More)