Jianan Mu

Achieving a 100% detection rate for transient faults in CKKS computation with minimal overhead could revolutionize the reliability of encrypted data processing on standard CPUs.

Forget hand-crafted rules: AutoPPA learns circuit optimization strategies directly from contrasting code examples, outperforming both human experts and existing automated methods.

Unlock better hardware designs: RTLSeek's diversity-oriented RL lets LLMs explore a wider range of Verilog implementations, boosting both correctness and design options.

Pecker pinpoints hardware bugs in sequential designs with significantly higher accuracy (up to 85% within Top-5 ranks) by untangling the temporal mess of error propagation that confounds existing techniques.