Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Dongkwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Transactions on Programming Languages and Systems, 45(3), September 2023. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Optimizing homomorphic evaluation circuits by program synthesis and term rewritingDongkwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi. PLDI 2020: 503-518 [doi] Optimizing Data Structures in High-Level ProgramsTiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky. In POPL 2013. 2013:
The following publications are possibly variants of this publication: