Publications
Publications in reverse chronological order.
2024
- ASPLOSSkip It: Take Control of Your Cache!In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
2023
2022
2021
- SPINA Model-Checked I^2C SpecificationIn International Symposium on Model Checking Software, Aug 2021
2020
2019
2018
- ACCSpeculative Thread Framework for Transient Management and Bumpless Transfer in Reconfigurable Digital FiltersIn 2018 Annual American Control Conference (ACC), Jun 2018
2016
- NASCorrelating Hardware Performance Events to CPU and DRAM Power ConsumptionIn 2016 IEEE International Conference on Networking, Architecture and Storage (NAS), Aug 2016
- Larger-than-Memory Data Management on Modern Storage Hardware for in-Memory OLTP Database SystemsIn Proceedings of the 12th International Workshop on Data Management on New Hardware, Jun 2016
2014
- ACCEmbedding low-cost, portable experiments into a lecture-based signals and systems courseIn 2014 American Control Conference, Jun 2014
2013
- VTSRAVAGE: Post-silicon validation of mixed signal systems using genetic stimulus evolution and model tuningIn 2013 IEEE 31st VLSI Test Symposium (VTS), Apr 2013
2010
- ANNIEMultiple Vehicle Detection and Tracking Using an Adaptive SystemIn Intelligent Engineering Systems through Artificial Neural Networks, Volume 20, Jan 2010