Login / Signup
Dohan Kim
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 4
Top Topics
Distributed Stream Processing
Equational Theories
Theorem Proving
Proof Planning
Top Venues
PRDC
CoRR
CPP
HPCA
</>
Publications
</>
Nao Hirokawa
,
Dohan Kim
,
Kiraku Shintani
,
René Thiemann
Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.
CPP
(2024)
Dohan Kim
Equational Theorem Proving for Clauses over Strings.
CoRR
(2023)
Dohan Kim
,
Aming Wu
,
Young-Woo Kwon
Comparison of Meta-Heuristic Algorithms for Task Scheduling in Distributed Stream Processing.
PRDC
(2022)
Changmin Lee
,
Wonjae Shin
,
Dae Jeong Kim
,
Yongjun Yu
,
Sung-Joon Kim
,
Taekyeong Ko
,
Deokho Seo
,
Jongmin Park
,
Kwanghee Lee
,
Seongho Choi
,
Namhyung Kim
,
Vishak G
,
Arun George
,
Vishwas V
,
Donghun Lee
,
Kang-Woo Choi
,
Changbin Song
,
Dohan Kim
,
Insu Choi
,
Ilgyu Jung
,
Yong Ho Song
,
Jinman Han
NVDIMM-C: A Byte-Addressable Non-Volatile Memory Module for Compatibility with Standard DDR Memory Interfaces.
HPCA
(2020)