Loop Rerolling for Hardware Decompilation. - Zachary D. Sisco; Jonathan Balkind; Timothy Sherwood; Ben Hardekopf (Proc. ACM Program. Lang., 2023)

Control Logic Synthesis: Drawing the Rest of the OWL. - Zachary D. Sisco; Andrew David Alex; Zechen Ma; Yeganeh Aghamohammadi; Boming Kong; Benjamin Darnell; Timothy Sherwood; Ben Hardekopf; Jonathan Balkind (ASPLOS (4), 2024)

There and Back Again: A Netlist's Tale with Much Egraphin'. - Gus Henry Smith; Zachary D. Sisco; Thanawat Techaumnuaiwit; Jingtao Xia; Vishal Canumalla; Andrew Cheung; Zachary Tatlock; Chandrakana Nandi; Jonathan Balkind (CoRR, 2024)

Register Aggregation for Hardware Decompilation. - Varun Rao; Zachary D. Sisco (CoRR, 2024)