Beyond the horizon: The next 10x reduction in power - Challenges and solutions. - Jan M. Rabaey; Hugo De Man; Mark Horowitz; Takayasu Sakurai; Jack Sun; Dan Dobberpuhl; Kiyoo Itoh 001; Philippe Magarshack; Asad A. Abidi; Hermann Eul (ISSCC, 2011)

Using declarative invariants for protecting file-system integrity. - Jack Sun; Daniel Fryer; Ashvin Goel; Angela Demke Brown (PLOS@SOSP, 2011)

Query Suggestion by Concept Instantiation. - Jack Sun; Franky; Kenny Q. Zhu; Haixun Wang (ISWC (Posters & Demos), 2013)

Checking the Integrity of Transactional Mechanisms. - Daniel Fryer; Mike Dai Qin; Jack Sun; Kah Wai Lee; Angela Demke Brown; Ashvin Goel (ACM Trans. Storage, 2014)

A Privacy-Preserving Framework Using Homomorphic Encryption for Smart Metering Systems. - Weiyan Xu; Jack Sun; Rachel Cardell-Oliver; Ajmal Mian; Jin B. Hong (Sensors, 2023)