SNU Open Repository and Archive: Browsing S-Space

Showing results 1 to 4 of 4

Issue Date	Title / Author(s) / Citation	File
2017-11	Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis Heo, Kihong; Oh, Hakjoo; Yi, Kwangkeun Software - Practice and Experience, Vol.47 No.11, pp.1677-1705	DOI
2018-06	Crellvm: Verified credible compilation for LLVM Kang, Jeehoon; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; Cho, Sungkeun; Choi, Joonwon; Hur, Chung-Kil; Yi, Kwangkeun Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.631-645
2020-06	Optimizing homomorphic evaluation circuits by program synthesis and term rewriting Lee, DongKwon; Lee, Woosuk; Oh, Hakjoo; Yi, Kwangkeun PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), pp.503-518	DOI
2022-05	A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code Jhoo, Ho Young; Kim, Sehoon; Song, Woosung; Park, Kyuyeon; Lee, DongKwon; Yi, Kwangkeun 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022), pp.337-338	DOI