Abstract: The revolutionary capabilities of AI with machine learning have enabled an increasingly broad range of applications, which has brought many new challenges in ensuring the trustworthiness of AI applications. In this talk, I will present our research on trustworthy AI with verifiable guarantees. I will first introduce our…

Abstract:Data movement is fast becoming the dominant cost in computing.  Processing-in-Memory (a.k.a., near-data-processing), an idea dating back to 1970, is now emerging as a key technique for reducing costly data movement, by enabling computation to be executed on compute resources embedded in memory modules.  While…