Carven Chan

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Control Program

Fault Tolerance

Program Synthesis

Top Venues

Publications

Carven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik
Specification and synthesis of hardware checkpointing and rollback mechanisms. DAC (2012)
Daniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik
Supporting RTL flow compatibility in a microarchitecture-level design framework. CODES+ISSS (2009)
Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin
Verification Driven Formal Architecture and Microarchitecture Modeling. MEMOCODE (2007)