Zobrazeno 1 - 10
of 97
pro vyhledávání: '"Kwangkeun Yi"'
Autor:
Dongkwon Lee, Gyejin Lee, Suchan Kim, Woosung Song, Dohyung Lee, Hoon Kim, Seunghan Jo, Kyuyeon Park, Kwangkeun Yi
Publikováno v:
Journal of KIISE. 49:743-754
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1dc57501965c8946e0ef3f1f0db3a776
https://doi.org/10.5626/jok.2022.49.9.743
https://doi.org/10.5626/jok.2022.49.9.743
Publikováno v:
ACM Transactions on Programming Languages & Systems; Sep2023, Vol. 45 Issue 3, p1-37, 37p
Autor:
Shilov, Nikolay V.1 shilov@ropas.kaist.ac.kr, Kwangkeun Yi2 kwang@ropas.kaist.ac.kr
Publikováno v:
Communications of the ACM. Sep2002, Vol. 45 Issue 9, p98-101. 4p.
Autor:
Kwangkeun Yi, Jin-yung Kim
Publikováno v:
Journal of KIISE. 46:363-368
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0aea5eaeb8aa65c371c6f23e0a2f17c8
https://doi.org/10.5626/jok.2019.46.4.363
https://doi.org/10.5626/jok.2019.46.4.363
Publikováno v:
PLDI
We present a new and general method for optimizing homomorphic evaluation circuits. Although fully homomorphic encryption (FHE) holds the promise of enabling safe and secure third party computation, building FHE applications has been challenging due
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abc7359fb37c99bd2d6a7397422ccdbf
https://doi.org/10.1145/3385412.3385996
https://doi.org/10.1145/3385412.3385996
PLDI2020 #242 Artifact Publication
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31ad988bbad2f586a12127d205e381fc
Publikováno v:
ACM Transactions on Programming Languages and Systems. 40:1-37
Building a cost-effective static analyzer for real-world programs is still regarded an art. One key contributor to this grim reputation is the difficulty in balancing the cost and the precision of an analyzer. An ideal analyzer should be adaptive to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ba62b6de2ff3966d20c03c00bed5482
https://doi.org/10.1145/3121135
https://doi.org/10.1145/3121135
Autor:
Yonghyun Kim, Sang-Hoon Park, Joonwon Choi, June-Young Lee, Chung-Kil Hur, Mark Dongyeon Shin, Sungkeun Cho, Kwangkeun Yi, Jeehoon Kang, Youngju Song, Yoonseung Kim
Publikováno v:
PLDI
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a403c957d9ae8ac180ec9b64d533d97
https://doi.org/10.1145/3296979.3192377
https://doi.org/10.1145/3296979.3192377
Publikováno v:
ACM Transactions on Programming Languages and Systems. 39:1-35
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarms of a cluster turns out to be false, all the other alarms in the same clu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eeab3e7ef315b788b72448768a2885d2
https://doi.org/10.1145/3095021
https://doi.org/10.1145/3095021
Publikováno v:
Software: Practice and Experience. 47:1677-1705
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f1821e85d2dffcaa8f7eb612025acb1b
https://doi.org/10.1002/spe.2493
https://doi.org/10.1002/spe.2493