Jeremy Casas

According to our database, Jeremy Casas authored at least 13 papers between 1994 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Verification of a Custom Compiler for a Fully Homomorphic Encryption Accelerator.

Zhenkun Yang, Suvadeep Banerjee, Jeremy Casas, Jin Yang

Proceedings of the 26th International Symposium on Quality Electronic Design, 2025

2024

Correct-by-Construction Design of Custom Accelerator Microarchitectures.

Jin Yang, Zhenkun Yang, Jeremy Casas, Sandip Ray

IEEE Trans. Computers, January, 2024

2023

Towards A Correct-by-Construction FHE Model.

Zhenkun Yang, Wen Wang, Jeremy Casas, Pasquale Cocchini, Jin Yang

IACR Cryptol. ePrint Arch., 2023

An Automated Verification Framework for HalideIR-Based Compiler Transformations.

Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design.

Jin Yang, Jeremy Casas, Zhenkun Yang

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Towards A Formally Verified Fully Homomorphic Encryption Compute Engine.

Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Accelerator design with decoupled hardware customizations: benefits and challenges: invited.

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

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2003

Efficient Generation of Monitor Circuits for GSTE Assertion Graphs.

Alan J. Hu, Jeremy Casas, Jin Yang

Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

Reasoning about GSTE Assertion Graphs.

Alan J. Hu, Jeremy Casas, Jin Yang

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2000

A switch level fault simulation environment.

Venkatram Krishnaswamy, Jeremy Casas, Thomas Tetzlaff

Proceedings of the 37th Conference on Design Automation, 2000

1999

Logic Verification of Very Large Circuits Using Shark.

Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

1995

MPVM: A Migration Transparent Version of PVM.

Jeremy Casas, Dan L. Clark, Ravi B. Konuru, Steve W. Otto, Robert M. Prouty, Jonathan Walpole

Comput. Syst., 1995

1994

Adaptive load migration systems for PVM.

Jeremy Casas, Ravi B. Konuru, Steve W. Otto, Robert M. Prouty, Jonathan Walpole

Proceedings of the Proceedings Supercomputing '94, 1994