Michael Quinn

16 papers A* 1B 1C 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis.
MLCAD
Surya Jasper, Minh Luu, Evan Pan, Aakash Tyagi, Michael Quinn, Jiang Hu, David Kebo Houngninou
2025 J jnl
BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis.
CoRR
Surya Jasper, Minh Luu, Evan Pan, Aakash Tyagi, Michael Quinn, Jiang Hu, David Kebo Houngninou
2025 J jnl
Engaging with Film to Teach Students About Virtuous Outsourcing of Cognitive Tasks to LLMs.
Digit. Soc.
William Gopal, Michael Quinn
2025 — conf
Improving Last-Mile Coverage in Functional Verification.
MLCAD
Chengjia Liu, Jnana Preeti Parlapalli, David Kebo Houngninou, Michael Quinn, Aakash Tyagi, Jiang Hu
2025 J jnl
Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization.
CoRR
Fenghua Wu, Evan Pan, Rahul Kande, Michael Quinn, Aakash Tyagi, David Kebo Houngninou, Jeyavijayan Rajendran, Jiang Hu
2025 — conf
VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration.
MLCAD
Minh Luu, Surya Jasper, Khoi Le, Evan Pan, Michael Quinn, Aakash Tyagi, Jiang Hu
2025 J jnl
VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration.
CoRR
Minh Luu, Surya Jasper, Khoi Le, Evan Pan, Michael Quinn, Aakash Tyagi, Jiang Hu
2022 — conf
Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors.
ISQED
Saumil Gogri, Aakash Tyagi, Michael Quinn, Jiang Hu
2021 J jnl
Texas A&M Hackin' Aggies' Security Verification Strategies for the 2019 Hack@DAC Competition.
IEEE Des. Test
Saumil Gogri, Priya Joshi, Prashant Vurikiti, Nicole Fern, Michael Quinn, Jonathan Valamehr
2018 J jnl
Using Data Mining to Predict Hospital Admissions From the Emergency Department.
IEEE Access
Byron Graham, Raymond R. Bond, Michael Quinn, Maurice D. Mulvenna
2013 — conf
Multimedia event detection using visual concept signatures.
Multimedia Content and Mobile Devices
Ehsan Younessian, Michael Quinn, Teruko Mitamura, Alex Hauptmann
2011 — conf
Adversary Games in Secure/Reliable Network Routing.
GAMENETS
Gruia Calinescu, Sanjiv Kapoor, Michael Quinn, Junghwan Shin
2008 B conf
The Effects of Anti-Hypertensive Drugs Evaluated Using Markov Modelling for Northern Ireland Chronic Kidney Disease Patients.
CBMS
Andrea Rainey, Karen J. Cairns, Adele H. Marshall, Michael Quinn, Gerard Savage, Damian Fogarty
2006 — conf
Introducing ethical issues into the curriculum.
SIGITE Conference
Florence Appel, Keith W. Miller, Michael Quinn
1998 A* conf
Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor.
DAC
Scott A. Taylor, Michael Quinn, Darren Brown, Nathan Dohm, Scot Hildebrandt, James Huggins, Carl Ramey
1998 C conf
Zen and the art of Alpha verification.
ICCD
Nathan Dohm, Carl Ramey, Darren Brown, Scot Hildebrandt, James Huggins, Michael Quinn, Scott A. Taylor