Login / Signup
DongKwon Lee
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Recursive Programs
Knuth Bendix
Exhaustive Search
Theorem Prover
Top Venues
CoRR
PLDI
ICSE-Companion
ACM Trans. Program. Lang. Syst.
</>
Publications
</>
DongKwon Lee
,
Woosuk Lee
,
Hakjoo Oh
,
Kwangkeun Yi
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.
ACM Trans. Program. Lang. Syst.
45 (3) (2023)
Ho Young Jhoo
,
Sehoon Kim
,
Woosung Song
,
Kyuyeon Park
,
DongKwon Lee
,
Kwangkeun Yi
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code.
ICSE-Companion
(2022)
Ho Young Jhoo
,
Sehoon Kim
,
Woosung Song
,
Kyuyeon Park
,
DongKwon Lee
,
Kwangkeun Yi
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code.
CoRR
(2021)
DongKwon Lee
,
Woosuk Lee
,
Hakjoo Oh
,
Kwangkeun Yi
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting.
PLDI
(2020)