Close

Presenter

Chen Chen
University of Maryland, College Park
Presentations
Research Manuscript
BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation*
3:30pm - 3:45pm PDT Tuesday, June 24 3006, Level 3
EDA
EDA5: RTL/Logic Level and High-level Synthesis
Networking
Work-in-Progress Poster
ReVEAL: Reverse Engineering of Multiplier Architectures via Graph Learning for Computer Algebra Verification
6:00pm - 7:00pm PDT Sunday, June 22 Level 3 Lobby