Starting March in the best way possible! Very excited to share that our Ph.D. student, Luigi Capogrosso, had two papers accepted at the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems which will be held in Tallinn (EE) on May 3-5, 2023. Our works cover very cool topics such as Split Computing and efficient Binary Decision Diagram computation.
Specifically, in the paper “Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications” we propose a novel and practical framework that i) determines the set of the best-split points of a neural network based on deep network interpretability principles without performing a tedious try-and-test approach, ii) performs a communication-aware simulation for the rapid evaluation of different neural network rearrangements, and iii) suggests the best match between the quality of service requirements of the application and the performance in terms of accuracy and latency time. Experiments validate the proposed framework, and a software prototype has been made available at https://github.com/luigicapogrosso/split_et_impera.
On the other hand, the paper “HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package” falls in the category of formal methods. We present a novel multi-core and multi-platform binary decision diagram package focused on high performance and usability. HermesBDD supports a static and dynamic memory management mechanism, the possibility to exploit lock-free hash tables and a simple parallel implementation of the If-Then-Else procedure based on a higher-level wrapper for threads and futures. We provide experimental results on the n-Queens problem, the de-facto SAT solver benchmark for BDDs, demonstrating a significant speedup of 18.73x over our non-parallel baselines, and a remarkable performance boost w.r.t. other state-of-the-art BDDs packages. The source code is available at https://luigicapogrosso.github.io/HermesBDD.
We will post details and proceedings about each project soon.