S-Space

Browse

Author

Showing results 1 to 3 of 3

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-12	Adaptive static analysis via learning with Bayesian optimization Heo, Kihong; Oh, Hakjoo; Yang, Hongseok; Yi, Kwangkeun ACM Transactions on Programming Languages and Systems, Vol.40 No.4, p. 14	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