David Kebo Houngninou

According to our database, David Kebo Houngninou authored at least 6 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis.

Surya Jasper, Minh Luu, Evan Pan, Aakash Tyagi, Michael Quinn, Jiang Hu, David Kebo Houngninou

CoRR, June, 2025

Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization.

Fenghua Wu, Evan Pan, Rahul Kande, Michael Quinn, Aakash Tyagi, David Kebo Houngninou, Jeyavijayan Rajendran, Jiang Hu

CoRR, May, 2025

2023

Early Introduction to Computer Architecture in K-12.

David Kebo Houngninou, Maristela Holanda, Dilma Da Silva

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

FLIP: A RISC-V Visual Computer Architecture Simulator for K-12.

David Kebo Houngninou

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2017

Simulation of switching circuits using transfer functions.

David Kebo Houngninou, Mitchell A. Thornton

Proceedings of the IEEE 60th International Midwest Symposium on Circuits and Systems, 2017

2016

Implementation of switching circuit models as transfer functions.

David Kebo Houngninou, Mitchell A. Thornton

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016