Jeehoon Kang

Learn 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)
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)
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)
It is well known that carcinomas of the gastrointestinal tract are frequently associated with peritoneal carcinomatosis. In contrast to that entity extensive involvement of the peritoneal cavity with malignant lymphoma is rare. This is the first case reporting coexistence of peritoneal lymphomatosis and a previous history of colon cancer, which is a highly(More)
High glucose-insulted bone marrow-derived mesenchymal stem cells (BMCs) showed impaired angiogenesis along with downregulation of stem cell factor (SCF). This study was designed to determine the involvement of microRNAs (miR), which are actively involved in the physiological function of stem cells. We observed that miR-34c was significantly induced by high(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)
BACKGROUND The zotarolimus-eluting stent has shown larger in-stent late lumen loss compared to sirolimus-eluting stents in previous studies. However, this has not been thoroughly evaluated in ST elevation myocardial infarction. METHODS This was a prospective, randomized, controlled trial evaluating angiographic outcomes in patients presenting with ST(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)
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)