Michael Hicks - Publications, H-index & Citations

Michael Hicks

University System of Maryland

48H指数

254论文数

9.4K被引数

收录论文 8

发表时间

A formally certified end-to-end implementation of Shor's factorization algorithm

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA

IF9.1

2023-05-15

OAAI

Peng, Yuxiang; Hietala, Kesha; Tao, Runzhou; Li, Liyi; Rand, Robert; Hicks, Michael; Wu, Xiaodi

Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)

ACM TRANSACTIONS ON QUANTUM COMPUTING

IF6.8

2023-04-08

OAAI

Deng, Haowei; Peng, Yuxiang; Hicks, Michael; Wu, Xiaodi

Fuzzing Configurations of Program Options - RCR Report

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-04-04

OAAI

Zhang, Zenong; Klees, George; Wang, Eric; Hicks, Michael; Wei, Shiyi

Fuzzing Configurations of Program Options 程序选项的模糊配置

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-03-29

OAAI

Zhang, Zenong; Klees, George; Wang, Eric; Hicks, Michael; Wei, Shiyi

Build It, Break It, Fix It: Contesting Secure Development

ACM TRANSACTIONS ON PRIVACY AND SECURITY

IF2.8

2020-04-17

OAAI

Parker, James; Hicks, Michael; Ruef, Andrew; Mazurek, Michelle L.; Levin, Dave; Votipka, Daniel; Mardziel, Piotr; Fulton, Kelsey R.

Evaluating Dynamic Software Update Safety Using Systematic Testing

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2012-11-01

OAAI

Hayden, Christopher M.; Smith, Edward K.; Hardisty, Eric A.; Hicks, Michael; Foster, Jeffrey S.

SCORE: Agile Research Group Management

COMMUNICATIONS OF THE ACM

IF12.2

2010-10-01

PREAI

Hicks, Michael; Foster, Jeffrey S.

Modular information hiding and type-safe linking for C

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2008-05-01

PREAI

Srivastava, Saurabh; Hicks, Michael; Foster, Jeffrey S.; Jenkins, Patrick

研究方向