| Enhanced design debugging with assistance from guidance-based model checking VS Vineesh, B Kumar, R Shinde, N Sharma, M Fujita, V Singh IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 4 | 2020 |
| Data-aware cache management for graph analytics N Sharma, V Venkitaraman, V Kumar, S Singhania, CK Jha 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 843-848, 2022 | 1 | 2022 |
Masahiro FujitaUniversity of TokyoAdresse e-mail validée de ee.t.u-tokyo.ac.jp
