| Rosé: A hardware-software co-simulation infrastructure enabling pre-silicon full-stack robotics soc evaluation D Nikiforov, SC Dong, CL Zhang, S Kim, B Nikolic, YS Shao Proceedings of the 50th Annual International Symposium on Computer …, 2023 | 11 | 2023 |
| Certifiable Deep Learning for Reachability Using a New Lipschitz Continuous Value Function J Li, D Lee, J Lee, KS Dong, S Sojoudi, C Tomlin arXiv preprint arXiv:2408.07866, 2024 | 1 | 2024 |
| Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function J Li, D Lee, J Lee, KS Dong, S Sojoudi, C Tomlin IEEE Robotics and Automation Letters, 2025 | | 2025 |
| Design Space Exploration of Embedded SoC Architectures for Real-Time Optimal Control K Shengjun Dong, D Nikiforov, W Soedarmadji, M Nguyen, C Fletcher, ... arXiv e-prints, arXiv: 2410.12142, 2024 | | 2024 |
| LLM-Aided Compilation for Tensor Accelerators C Hong, S Bhatia, A Haan, SK Dong, D Nikiforov, A Cheung, YS Shao 2024 IEEE LLM Aided Design Workshop (LAD), 1-14, 2024 | | 2024 |
