Archive

ESSC 2024

ESSC 2024 was organized with ESWEEK 2024 in Raleigh, USA. The following tools/software were recognized with the top three awards based on a two-stage process consiting of four page documents and demos + presentations at ESWEEK.

ESSC 2024 Top Tools/Software

  1. SafePilot: Toolbox for Assuring LLM-Enabled Cyber-Physical Systems

    Authors: Weizhe Xu, Mengyu Liu, Fanxin Kong

  2. 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

  3. 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

ESSC 2023

ESSC 2023 was organized with ESWEEK 2023 in Hamburg, Germany. The following tools/software were recognized with the top three awards based on a two-stage process consiting of four page documents and demos at ESWEEK.

ESSC 2023 Top Tools/Software

  1. 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

  2. HybroGen : A compiler for innovative interleaved execution and compilation scenarios

    Authors:Henri-Pierre Charles, Maha Kooli, Bricout Thaddée and Lacour Benjamin

  3. 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