S-Space

Browse

Author

Showing results 1 to 2 of 2

Issue Date	Title / Author(s) / Citation	File	Altmetrics
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