Jeremy Casas

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 6

Top Topics

Automated Verification

Hardware Design

Homomorphic Encryption

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Trans. Computers

Publications

Jin Yang, Zhenkun Yang, Jeremy Casas, Sandip Ray
Correct-by-Construction Design of Custom Accelerator Microarchitectures. IEEE Trans. Computers 73 (1) (2024)
Zhenkun Yang, Wen Wang, Jeremy Casas, Pasquale Cocchini, Jin Yang
Towards A Correct-by-Construction FHE Model. IACR Cryptol. ePrint Arch. 2023 (2023)
Jin Yang, Jeremy Casas, Zhenkun Yang
Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design. DAC (2023)
Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang
An Automated Verification Framework for HalideIR-Based Compiler Transformations. DATE (2023)
Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole
Towards A Formally Verified Fully Homomorphic Encryption Compute Engine. DAC (2023)
Debjit Pal, Yi-Hsiang Lai, Shaojie Xiang, Niansong Zhang, Hongzheng Chen, Jeremy Casas, Pasquale Cocchini, Zhenkun Yang, Jin Yang, Louis-Noël Pouchet, Zhiru Zhang
Accelerator design with decoupled hardware customizations: benefits and challenges: invited. DAC (2022)
Alan J. Hu, Jeremy Casas, Jin Yang
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. ICCAD (2003)
Alan J. Hu, Jeremy Casas, Jin Yang
Reasoning about GSTE Assertion Graphs. CHARME (2003)
Venkatram Krishnaswamy, Jeremy Casas, Thomas Tetzlaff
A switch level fault simulation environment. DAC (2000)
Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman
Logic Verification of Very Large Circuits Using Shark. VLSI Design (1999)
Jeremy Casas, Dan L. Clark, Ravi B. Konuru, Steve W. Otto, Robert M. Prouty, Jonathan Walpole
MPVM: A Migration Transparent Version of PVM. Comput. Syst. 8 (2) (1995)
Jeremy Casas, Ravi B. Konuru, Steve W. Otto, Robert M. Prouty, Jonathan Walpole
Adaptive load migration systems for PVM. SC (1994)