2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.CR2025
HEIR: A Universal Compiler for Homomorphic Encryption
Asra Ali, Jaeho Choi, Bryant Gipson +7
This work presents Homomorphic Encryption Intermediate Representation (HEIR), a unified approach to building homomorphic encryption (HE) compilers. HEIR aims to support all mainstr…
cs.DB2023★ 2 cited
LLM-SQL-Solver: Can LLMs Determine SQL Equivalence?
Fuheng Zhao, Jiayue Chen, Lawrence Lim +3
Judging the equivalence between two SQL queries is a fundamental problem with many practical applications in data management and SQL generation (i.e., evaluating the quality of gen…
cs.DC2020
CoT: Decentralized Elastic Caches for Cloud Environments
Victor Zakhary, Lawrence Lim, Divyakant Agrawal +1
Distributed caches are widely deployed to serve social networks and web applications at billion-user scales. This paper presents Cache-on-Track (CoT), a decentralized, elastic, and…