Jeremy Casas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1994–2023
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | DAC | Towards A Formally Verified Fully Homomorphic Encryption Compute Engine. | Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole |
| 2023 | DAC | Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design. | Jin Yang, Jeremy Casas, Zhenkun Yang |
| 2023 | DATE | An Automated Verification Framework for HalideIR-Based Compiler Transformations. | Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang |
| 2022 | DAC | 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-Nol Pouchet, Zhiru Zhang |
| 2003 | ICCAD | Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. | Alan J. Hu, Jeremy Casas, Jin Yang |
| 2000 | DAC | A switch level fault simulation environment. | Venkatram Krishnaswamy, Jeremy Casas, Thomas Tetzlaff |
| 1999 | VLSID | Logic Verification of Very Large Circuits Using Shark. | Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman |
| 1994 | SC | Adaptive load migration systems for PVM. | Jeremy Casas, Ravi B. Konuru, Steve W. Otto, Robert M. Prouty, Jonathan Walpole |