Concepedia

Hyoun Kyu Cho

HK

8

Publications

224

Citations

8

H-Index

2010

Active since

Affiliations

University of Michigan(Current)

Hewlett-Packard (United States)

Google (United States)

Georgia Institute of Technology

University of California, Santa Cruz

Hyoun Kyu Cho is an author at University of Michigan specializing in program analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSystem SoftwareSoftware AnalysisParallel ComputingParallel ProgrammingComputer EngineeringSoftware EngineeringComputer Architecture

Publications per year

2010–2020

8

Publications

8

AsmDB

Grant Ayers, Nayana Prasad Nagendra, David I. August et al. · 2019 · 64 citations · Full text

Engineering, Computer Architecture, Software Engineering +16

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Hongwei Liao, Yin Wang, Hyoun Kyu Cho et al. · Discrete Event Dynamic Systems · 2012 · 42 citations

Software Maintenance, Engineering, Software Engineering +17

SIMD defragmenter

Yongjun Park, Sangwon Seo, Hyunchul Park et al. · 2012 · 28 citations

Subgraph Level, Massively-parallel Computing, Engineering +11

Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project

Yin Wang, Hyoun Kyu Cho, Hongwei Liao et al. · IFAC Proceedings Volumes · 2010 · 21 citations

Software Maintenance, Engineering, Failure Avoidance +18

AsmDB: Understanding and Mitigating Front-End Stalls in Warehouse-Scale Computers

Nayana Prasad Nagendra, Grant Ayers, David I. August et al. · IEEE Micro · 2020 · 21 citations

Rows per page

1–5 of 8