Concepedia

Jeehoon Kang

JK

17

Publications

736

Citations

15

H-Index

2014

Active since

Affiliations

Seoul National University(Current)

Max Planck Institute for Software Systems

Korea Advanced Institute of Science and Technology

California University of Pennsylvania

Jeehoon Kang is an author at Seoul National University specializing in formal verification, software analysis, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationProgram AnalysisSystem SoftwareComputer EngineeringVerificationComputer Architecture

Publications per year

2014–2023

17

Publications

17

Repairing sequential consistency in C/C++11

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang et al. · 2017 · 154 citations

Engineering, Verification, Computer Architecture +20

A promising semantics for relaxed-memory concurrency

Jeehoon Kang, Chung-Kil Hur, Ori Lahav et al. · 2016 · 136 citations

Concurrent Programming Languages, Promising Semantics, Engineering +21

Stacked borrows: an aliasing model for Rust

Ralf Jung, Hoang-Hai Dang, Jeehoon Kang et al. · Proceedings of the ACM on Programming Languages · 2019 · 59 citations · Full text

Engineering, Compiler Technology, Verification +17

Lightweight verification of separate compilation

Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur et al. · 2016 · 46 citations

Program Checking, Engineering, Compiler Technology +22

A formal C memory model supporting integer-pointer casts

Jeehoon Kang, Chung-Kil Hur, William Mansky et al. · 2015 · 45 citations

Engineering, Iso C Standard, Verification +19

Rows per page

1–5 of 17