DH
David Kebo Houngninou
cs.LGcs.ARcs.AIcs.PFcs.SE
On Valency
published · living versionsW_ne2u2tzm·v1 · currentpublished
Understanding the Energy Cost of Quantized Agents on Shared GPUs
with Stephen Abkin, Alex Flesher, Aldric Yang, Nitheesh Kodarapu +1
1 version
Preprints & journals
4 papers in the corpus · 2025–2026Formal-Verification-Guided Bayesian Optimization for Non-Intrusive Last-Mile Coverage Closure2610.17449v1 · Chengjia Liu, Priyadarsi Mishra, David Kebo Houngninou et al.2026 · 0 citationsarXiv
Energy per Successful Goal: Goal-Level Energy Accounting for Agentic AI Systems2605.22883v2 · Deepak Panigrahy, Aakash Tyagi, Stephen Abkin et al.2026 · 0 citationsarXiv
BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis2506.10501v2 · Surya Jasper, Minh Luu, Evan Pan et al.2025 · 3 citationsarXiv
Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization2505.07995v2 · Fenghua Wu, Evan Pan, Rahul Kande et al.2025 · 0 citationsarXiv
Career total: 12 works. 4 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.