[June 20, 2014] Li Lei's paper "Validating Direct Memory Access Interfaces with Conformance CheckingEquivalence" has been accepted to the International Conference on Computer-Aided Design (ICCAD), 2014. Congratulations to Li!!! 

[August 27, 2014] Prof. Fei Xie's proposal "CSR: Small: Hardware/Software Co-Monitoring" has been funded by the National Science Foundation. This is a three-year grant running from 10/01/2014 to 09/30/2017.