Loop Rerolling for Hardware Decompilation
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a groundbreaking 19-minute video presentation from PLDI 2023 that introduces the concept of hardware decompilation and focuses on a novel technique called hardware loop rerolling. Delve into the research conducted by Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, and Ben Hardekopf from the University of California at Santa Barbara, which aims to recover higher-level programming abstractions from low-level netlists. Learn how this technique leverages clone detection and program synthesis to identify repeated logic in netlists and reroll them into syntactic loops in recovered HDL code. Discover the evaluation results across various hardware design benchmarks, demonstrating successful loop identification and rerolling in 52 out of 53 netlists. Gain insights into the practical benefits of hardware decompilation, including HDL transpilation, faster simulation times, and artifact compaction. Access supplementary materials and explore the potential impact of this research on the field of hardware design and analysis.
Syllabus
[PLDI'23] Loop Rerolling for Hardware Decompilation
Taught by
ACM SIGPLAN
Related Courses
Stanford Seminar - Concepts and Questions as ProgramsStanford University via YouTube DreamCoder- Growing Generalizable, Interpretable Knowledge With Wake-Sleep Bayesian Program Learning
Yannic Kilcher via YouTube A Neural Network Solves and Generates Mathematics Problems by Program Synthesis - Paper Explained
Aleksa Gordić - The AI Epiphany via YouTube EI Seminar - Recent Papers in Embodied Intelligence
Massachusetts Institute of Technology via YouTube Using Program Synthesis to Build Compilers
Simons Institute via YouTube