S-Space

Browse

Author

Showing results 1 to 2 of 2

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