Daming D. Chen

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 3

Top Topics

Abstract Interpretation

Transactional Memory

High Level Language

Control Program

Top Venues

Publications

Daming D. Chen, Wen Shih Lim, Mohammad Bakhshalipour, Phillip B. Gibbons, James C. Hoe, Bryan Parno
HerQules: securing programs via hardware-enforced message queues. ASPLOS (2021)
Daming D. Chen, Phillip B. Gibbons, Todd C. Mowry
TardisTM: incremental repair for transactional memory. PMAM@PPoPP (2020)
Daming D. Chen, Maverick Woo, David Brumley, Manuel Egele
Towards Automated Dynamic Analysis for Linux-based Embedded Firmware. NDSS (2016)
Meddage S. Fernando, Pushkar M. Mulay, Michael A. Cartwright, Daming D. Chen, Amiya Bhattacharya, Partha Dasgupta
Demo: spanning an underlay over a host WPAN cluster. MobiSys (2011)