456 research outputs found
Recommended from our members
Culture and International Trade Law ::From Conflict to Coordination /
No full textHow can policies on trade and culture be coordinated in such a way that both are enabled to flourish? This book makes the argument for moving from viewing trade and culture as "in conflict" to assessing the two fields in coordination -at the domestic, regional and international levels. Juneyoung Lee makes the case for a preference for negotiations and monitoring, as opposed to legalized dispute settlement. Informal law-making processes and preferential trade agreements are also addressed
Recommended from our members
Culture and international trade law ::from conflict to coordination /
No full text"How can policies on trade and culture be coordinated in such a way that both are enabled to flourish? This book makes the argument for moving from viewing trade and culture as "in conflict" to assessing the two fields in coordination-at the domestic, regional and international levels. Juneyoung Lee makes the case for a preference for negotiations and monitoring, as opposed to legalized dispute settlement. Informal law-making processes and preferential trade agreements are also addressed"-
Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
No full textIncorrect compiler optimizations can lead to unintended program behavior and security vulnerabilities. However, the enormous size and complexity of modern compilers make it challenging to ensure the correctness of optimizations. The problem becomes more severe as compiler engineers continuously add new optimizations to improve performance and support new language features. In this paper, we propose OPTIMUZZ, a framework to effectively detect incorrect optimization bugs in such continuously changing compilers. The key idea is combine two complementary techniques: directed grey-box fuzzing and translation validation. We design novel optimization-directed fuzzing framework that efficiently generates input programs to trigger specific compiler optimizations. OPTIMUZZ then uses existing translation validation tools to verify the correctness the optimizations on the input programs. We instantiate our approach for two major compilers, LLVM and TURBOFAN. The results show that OPTIMUZZ can effectively detect miscompilation bugs in these compilers, outperforming state-of-the-art tools. We also applied OPTIMUZZ to the latest version of LLVM and discovered 55 new miscompilation bugs.
DualSim: Parallel Subgraph Enumeration in a Massive Graph on a Single Machine
No full textSubgraph enumeration is important for many applications such as subgraph frequencies, network motif discovery, graphlet kernel computation, and studying the evolution of social networks. Most earlier work on subgraph enumeration assumes that graphs are resident in memory, which results in serious scalability problems. Recently, efforts to enumerate all subgraphs in a large-scale graph have seemed to enjoy some success by partitioning the data graph and exploiting the distributed frameworks such as MapReduce and distributed graph engines. However, we notice that all existing distributed approaches have serious performance problems for sub graph enumeration due to the explosive number of partial results. In this paper, we design and implement a disk-based, single machine parallel subgraph enumeration solution called DuALSim that can handle massive graphs without maintaining exponential numbers of partial results. Specifically, we propose a novel concept of the dual approach for subgraph enumeration. The dual approach swaps the roles of the data graph and the query graph. Specifically, instead of fixing the matching order in the query and then matching data vertices, it fixes the data vertices by fixing a set of disk pages and then finds all subgraph matchings in these pages. This enables us to significantly reduce the number of disk reads. We conduct extensive experiments with various real-world graphs to systematically demonstrate the superiority of DuALSim over state-of-the-art distributed subgraph enumeration methods. DuALSim outperforms the state-of-the-art methods by up to orders of magnitude, while they fail for many queries due to explosive intermediate results.112Nsciescopu
Supplemental material for Quality of acute stroke care in Korea (2008–2014): Retrospective analysis of the nationwide and nonselective data for quality of acute stroke care
No full textSupplemental Material for Quality of acute stroke care in Korea (2008–2014): Retrospective analysis of the nationwide and nonselective data for quality of acute stroke care by Hong-Kyun Park, Seong-Eun Kim, Yong-Jin Cho, Jun Yup Kim, Hyunji Oh, Beom Joon Kim, Jihoon Kang, Keon-Joo Lee, Min Uk Jang, Jong-Moo Park, Kwang-Yeol Park, Kyung Bok Lee, Soo Joo Lee, Ji Sung Lee, Juneyoung Lee, Ki Hwa Yang, Ah Rum Choi, Mi Yeon Kang, Eric E Smith, Philip B Gorelick and Hee-Joon Bae in European Stroke Journal</p
Design and Analysis of Hierarchical Power Distribution Network (PDN) for Full Wafer Scale Chip (FWSC) Module
No full textIn this paper, we design and analyze the hierarchical power distribution network (PDN) for full wafer scale chip (FWSC) module. With its high bandwidth and low latency, FWSC has been considered a promising solution in the artificial intelligence (AI) processor market. However, the huge size of FWSC inevitably leads to long current paths and high impedance that consequently cause large IR drop and power/ground noise. In an effort to overcome these issues, the hierarchical PDN of FWSC module is designed in a 3D structure that allows direct interconnection from PCB to chip to minimize the current path. Although there are several studies related to PDN design for FWSC module, they conducted limited analysis on a specific PDN only. We design the hierarchical PDN for FWSC module composed of PCB PDN, multi-array silicone rubber socket (SRS)-based PDN, multi-array through wafer via (TWV)-based PDN, and on-chip PDN. Each PDN component was modeled into equivalent circuit models. Then, we fully analyzed the overall hierarchical PDN impedance in the frequency domain. © 2022 IEEE
Crellvm: verified credible compilation for LLVM
No full text© 2018 Copyright held by the owner/author(s).Production compilers such as GCC and LLVM are large complex software systems, for which achieving a high level of reliability is hard. Although testing is an effective method for finding bugs, it alone cannot guarantee a high level of reliability. To provide a higher level of reliability, many approaches that examine compilers' internal logics have been proposed. However, none of them have been successfully applied to major optimizations of production compilers. This paper presents Crellvm: a verified credible compilation framework for LLVM, which can be used as a systematic way of providing a high level of reliability for major optimizations in LLVM. Specifically, we augment an LLVM optimizer to generate translation results together with their correctness proofs, which can then be checked by a proof checker formally verified in Coq. As case studies, we applied our approach to two major optimizations of LLVM: register promotion (mem2reg) and global value numbering (gvn), having found four new miscompilation bugs (two in each).N
sj-docx-1-wso-10.1177_17474930231168742 – Supplemental material for Dual antiplatelet Use for extended period taRgeted to AcuTe ischemic stroke with presumed atherosclerotic OrigiN (DURATION) trial: Rationale and design
No full textSupplemental material, sj-docx-1-wso-10.1177_17474930231168742 for Dual antiplatelet Use for extended period taRgeted to AcuTe ischemic stroke with presumed atherosclerotic OrigiN (DURATION) trial: Rationale and design by Joon-Tae Kim, Jihoon Kang, Beom Joon Kim, Jun Yup Kim, Moon-Ku Han, Ki-Hyun Cho, Man-Seok Park, Kang-Ho Choi, Jong-Moo Park, Kyusik Kang, Yong Soo Kim, Soo Joo Lee, Jae Guk Kim, Jae-Kwan Cha, Dae-Hyun Kim, Tai Hwan Park, Sang-Soon Park, Jin Kyo Choi, Kyungbok Lee, Kwang-Yeol Park, Hae-Bong Jeong, Jun Lee, Doo Hyuk Kwon, Yong-Jin Cho, Keun-Sik Hong, Hong-Kyun Park, Byung-Chul Lee, Kyung-Ho Yu, Mi Sun Oh, Minwoo Lee, Dong-Eog Kim, Dong-Seok Gwak, Jay Chol Choi, Joong-Goo Kim, Chul-Hoo Kang, Jee-Hyun Kwon, Wook-Joo Kim, Dong-Ick Shin, Kyu Sun Yum, Sung Il Sohn, Jeong-Ho Hong, Hyungjong Park, Chulho Kim, Sang-Hwa Lee, Juneyoung Lee, Philip B Gorelick, Bo Norrving and Hee-Joon Bae in International Journal of Stroke</p
- …
