Michael Quinn

According to our database, Michael Quinn authored at least 12 papers between 1998 and 2025.

Collaborative distances:

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

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

VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration.

Minh Luu, Surya Jasper, Khoi Le, Evan Pan, Michael Quinn, Aakash Tyagi, Jiang Hu

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

2022

Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors.

Saumil Gogri, Aakash Tyagi, Michael Quinn, Jiang Hu

Proceedings of the 23rd International Symposium on Quality Electronic Design, 2022

2021

Texas A&M Hackin' Aggies' Security Verification Strategies for the 2019 Hack@DAC Competition.

Saumil Gogri, Priya Joshi, Prashant Vurikiti, Nicole Fern, Michael Quinn, Jonathan Valamehr

IEEE Des. Test, 2021

2018

Using Data Mining to Predict Hospital Admissions From the Emergency Department.

Byron Graham, Raymond R. Bond, Michael Quinn, Maurice D. Mulvenna

IEEE Access, 2018

2013

Multimedia event detection using visual concept signatures.

Ehsan Younessian, Michael Quinn, Teruko Mitamura, Alex Hauptmann

Proceedings of the Multimedia Content and Mobile Devices 2013, 2013

2011

Adversary Games in Secure/Reliable Network Routing.

Gruia Calinescu, Sanjiv Kapoor, Michael Quinn, Junghwan Shin

Proceedings of the Game Theory for Networks - 2nd International ICST Conference, 2011

2008

The Effects of Anti-Hypertensive Drugs Evaluated Using Markov Modelling for Northern Ireland Chronic Kidney Disease Patients.

Andrea Rainey, Karen J. Cairns, Adele H. Marshall, Michael Quinn, Gerard Savage, Damian Fogarty

Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, 2008

2006

Introducing ethical issues into the curriculum.

Florence Appel, Keith W. Miller, Michael Quinn

Proceedings of the 7th Conference on Information Technology Education, 2006

1998

Zen and the art of Alpha verification.

Nathan Dohm, Carl Ramey, Darren Brown, Scot Hildebrandt, James Huggins, Michael Quinn, Scott A. Taylor

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor.

Scott A. Taylor, Michael Quinn, Darren Brown, Nathan Dohm, Scot Hildebrandt, James Huggins, Carl Ramey

Proceedings of the 35th Conference on Design Automation, 1998