SafePilot: Toolbox for Assuring LLM-Enabled Cyber-Physical Systems
Authors: Weizhe Xu, Mengyu Liu, Fanxin Kong
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems
Authors:Frank Yang, Sinong Simon Zhan, Yixuan Wang, Chao Huang, Qi Zhu
HISIM: A Tool for Fast Design Exploration of 2.5D/3D/3.5D Heterogeneous Integration for AI Computing
Authors: Zhenyu Wang, Pragnya Sudershan Nalla, Jingbo Sun, A. Alper Goksoy, Sumit K. Mandal, Jae-sun Seo, Vidya Chhabria, Jeff Zhang, Chaitali Chakrabarti, Umit Y. Ogras, Yu Cao
ESP: An Open-Source Platform for the Design and Programming of Heterogeneous SoCs
Authors: Joseph Zuckerman, Maico Cassel dos Santos, Kuan-Lin Chiu, Guy Eichler, Biruk Seyoum, Gabriele Tombesi and Luca P. Carloni
HybroGen : A compiler for innovative interleaved execution and compilation scenarios
Authors:Henri-Pierre Charles, Maha Kooli, Bricout Thaddée and Lacour Benjamin
ZoneTrace: A Zone Monitoring Tool for F2FS on ZNS SSDs
Authors: Ping-Xiang Chen, Dongjoo Seo, Changhoon Sung, Jongheum Park, Minchul Lee and Nikil Dutt