“Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks”

  • Nan Wu | UC Santa Barbara

  • Yingjie Li | University of Utah

  • Cong "Callie" Hao | Georgia Institute of Technology

  • Steve Dai | NVIDIA

  • Cunxi Yu | University of Utah

  • Yuan Xie | University of California, Santa Barbara

“RL-CCD: Concurrent Clock and Data Optimization using Attention-Based Self-Supervised Reinforcement Learning”

  • Yi-Chen Lu | Georgia Institute of Technology

  • Wei-Ting Chan | Synopsys Inc.

  • Deyuan Guo | Synopsys Inc.

  • Sudipto Kundu | Synopsys Inc.

  • Vishal Khandelwal | Synopsys Inc.

  • Sung Kyu Lim | Georgia Tech

  • “AVX Timing Side-Channel Attacks against Address Space Layout Randomization”

  • “Rethinking AIG Resynthesis in Parallel”

  • “Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks”

  • “COSA: Co-Operative Systolic Arrays for Multi-head Attention Mechanism in Neural Network using Hybrid Data Reuse and Fusion Methodologies”

  • “RL-CCD: Concurrent Clock and Data Optimization using Attention-Based Self-Supervised Reinforcement Learning”

“Novel Numerical Hardware Design Methodology: From Machine Readable Specification to Optimized RTL”

  • Theo Drane | Intel

“Predictive Crosstalk Fixing Using XGBoost Regressor”

  • Fulung Li​ | Intel

“Latency Processing Unit (LPU) for Acceleration of Hyperscale AI Models”

  • Seungjae Moon | HyperAccel

“Early Android Software Verification With RISC-V Virtual Platforms”

  • Lukas Juenger | MachineWare GmbH