| 2018 | ICCD | Low-Overhead Microarchitectural Patching for Multicore Memory Subsystems. | Doowon Lee, Opeoluwa Matthews, Valeria Bertacco |
| 2017 | ASPDAC | AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs. | Biruk Mammo, Doowon Lee, Harrison Davis, Yijun Hou, Valeria Bertacco |
| 2017 | ISCA | MTraceCheck: Validating Non-Deterministic Behavior of Memory Consistency Models in Post-Silicon Validation. | Doowon Lee, Valeria Bertacco |
| 2016 | DAC | Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification. | Doowon Lee, Tom Kolan, Arkadiy Morgenshtein, Vitali Sokhin, Ronny Morad, Avi Ziv, Valeria Bertacco |
| 2015 | MICRO | NoCVision: A Network-on-Chip Dynamic Visualization Solution. | Vaibhav Gogte, Doowon Lee, Ritesh Parikh, Valeria Bertacco |
| 2014 | DATE | Brisk and limited-impact NoC routing reconfiguration. | Doowon Lee, Ritesh Parikh, Valeria Bertacco |
| 2013 | ICCAD | Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms. | Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco |