DASS HLS Compiler Combining Dynamic & Static Scheduling for High-Level Synthesis Prove to ImProve Hardware Optimization using Formal Verification Cross-Abstraction Optimization Hardware Analysis and Optimization in MLIR MASE Tools Machine-Learning Accelerator System Exploration Equality Saturation Super-Optimization using E-Graph Rewriting Hardware Capability Security Security Analysis of CHERI-enabled Computing Systems
