Debapriya Chatterjee

17 papers A* 3A 6C 1Misc 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
Verifying Memory Confidentiality and Integrity of Intel TDX Trusted Execution Environments.
HOST
Hasini Witharana, Debapriya Chatterjee, Prabhat Mishra
2022 — conf
Return-oriented programming protection in the IBM POWER10.
CF
José E. Moreira, Debapriya Chatterjee, Kattamuri Ekanadham, Arnold Flores
2018 J jnl
Addressing verification challenges of heterogeneous systems based on IBM POWER9.
IBM J. Res. Dev.
Klaus-Dieter Schubert, Syed Saif Abrar, Duane Averill, Ellen Bauman, Aaron C. Brown, Ron Cash, Debapriya Chatterjee, John Gullickson, Mark Nelson, Kevin A. Pasnik, Krishnan Sugavanam
2014 A conf
ArChiVED: Architectural checking via event digests for high performance validation.
DATE
Chang-Hong Hsu, Debapriya Chatterjee, Ronny Morad, Raviv Gal, Valeria Bertacco
2013 — —
Harnessing Simulation Acceleration to Solve the Digital Design Verification Challenge.
Debapriya Chatterjee
2013 A conf
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms.
ICCAD
Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco
2013 A conf
On the use of GP-GPUs for accelerating compute-intensive EDA applications.
DATE
Valeria Bertacco, Debapriya Chatterjee, Nicola Bombieri, Franco Fummi, Sara Vinco, Anirudh M. Kaushik, Hiren D. Patel
2012 A conf
Approximating checkers for simulation acceleration.
DATE
Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco
2012 A* conf
Checking architectural outputs instruction-by-instruction on acceleration platforms.
DAC
Debapriya Chatterjee, Anatoly Koyfman, Ronny Morad, Avi Ziv, Valeria Bertacco
2012 A* conf
SAGA: SystemC acceleration on GPU architectures.
DAC
Sara Vinco, Debapriya Chatterjee, Valeria Bertacco, Franco Fummi
2012 Misc conf
SystemC simulation on GP-GPUs: CUDA vs. OpenCL.
CODES+ISSS
Nicola Bombieri, Sara Vinco, Valeria Bertacco, Debapriya Chatterjee
2011 J jnl
Gate-Level Simulation with GPU Computing.
ACM Trans. Design Autom. Electr. Syst.
Debapriya Chatterjee, Andrew DeOrio, Valeria Bertacco
2011 A conf
Simulation-based signal selection for state restoration in silicon debug.
ICCAD
Debapriya Chatterjee, Calvin McCarter, Valeria Bertacco
2010 C conf
EQUIPE: Parallel equivalence checking with GP-GPUs.
ICCD
Debapriya Chatterjee, Valeria Bertacco
2009 — conf
Activity-based refinement for abstraction-guided simulation.
HLDVT
Debapriya Chatterjee, Valeria Bertacco
2009 A* conf
Event-driven gate-level simulation with GP-GPUs.
DAC
Debapriya Chatterjee, Andrew DeOrio, Valeria Bertacco
2009 A conf
GCS: High-performance gate-level simulation with GPGPUs.
DATE
Debapriya Chatterjee, Andrew DeOrio, Valeria Bertacco