Eric Mercer

Research Interests

His interests include software verification, multi processor programming and verification, software test automation, embedded system verification, program analysis, and model checking.

Teaching Interests

His teaching interests are in compilers, software verification, multi-processor programming, discrete mathematics, and operating systems.

Courses Taught

Show Previous Years

Publications

Aleksandr Fedchin Tyler Dean Jeffrey S Foster Eric G Mercer Rakamari\'c, Zvonimir Giles Reger Neha Rungta Robin Salkeld Lucas Wagner Cassidy Waldrip Jason Belt John Hatcliff John Shackleton Jim Carciofini Todd Carpenter Eric G Mercer Isaac Amundson Junaid Babar Darren Cofer David Hardin others Eric Mercer Konrad Slind Isaac Amundson Darren Cofer Junaid Babar David Hardin Aadesh Neupane Eric G Mercer Michael A Goodrich Cong Liu Junaid Babar Isaac Amundson Karl Hoech Darren Cofer Eric G Mercer Darren Cofer Isaac Amundson Junaid Babar David Hardin Konrad Slind Perry Alexander John Hatcliff Gerwin Klein Corey Lewis Eric G Mercer others Yu Huang Tao Wang Zihui Yin Eric G Mercer Benjamin Ogles Eric G Mercer Keith Butler Ali Bahrami Parker Hanson Benjamin Winters Eric G Mercer Brett E Decker Kyle Storey Eric Mercer Pavel Parizek Eric Mercer Konrad Slind Isaac Amundson Darren Cofer Junaid Babar David Hardin Brett Decker Benjamin Winters Eric Mercer Mohcine Madkour Keith Butler Eric Mercer Ali Bahrami Cui Tao Cyrille Artho Quoc-Sang Phan Peter Aldous Alyas Almaawi Lucas Bang Lasse Berglund Tevfik Bultan Zhenbang Chen Hayes Converse Wei Dong others Eric G Mercer Yu Huang Benjamin Ogles Yu Huang K Gong Eric G Mercer Kyle Storey Eric G Mercer Pavel Parizek Benjamin Ogles Eric G Mercer Peter Aldous Eric G Mercer Peter Smith Aldous Joseph Jones James Wasson Sean Brown Seth Poulsen Eric G Mercer Peter Smith Aldous Kyle Storey Jacob Powell Ben Ogles Joshua Hooker Aadesh Neupane Michael A Goodrich Eric G Mercer Michael A Goodrich Eric G Mercer Aadesh Neupane Radha Nakade Eric G Mercer Peter Aldous Jay McCarthy Eric G Mercer Neha Rungta Franco Raimondi Bjorn C. Krantz Richard Stocker Andrew Wallace Eric G Mercer Benjamin Hillery Neha Rungta Suzette Person Eric G Mercer K Butler A Bahrami C Tao Eric G Mercer P Anderson N Vrvilo V Sarkar Richard Stocker Neha Rungta Eric G Mercer Franco Raimondi Jon Holbrook Colleen Cardoza Michael A Goodrich Eric G Mercer Y Huang Eric G Mercer P Anderson N Vrvilo V Sarkar Eric G Mercer P. Anderson N. Vrvilo V. Sarkar Eric G Mercer J. J. Moore R. Ivie T. J. Gledhill Michael A Goodrich Eric G Mercer P Anderson B Chase Eric G Mercer Jay A McCarthy Y Huang Eric G Mercer B Hillery N Rungta S Person Eric G Mercer E Noonan N Rungta TJ Gledhill Eric G Mercer Michael A Goodrich Eric G Mercer Suzette Person Neha Rungta Michael A Goodrich Eric G Mercer Eric G Mercer Nick Vrvilo Jun Shirako Vivek Sarkar Everett Morse Nick Vrvilo Eric G Mercer Jay A McCarthy Saint Wesonga Eric G Mercer Neha Rungta K Kim B A Sanders Eric G Mercer M O'Neil N Virilo Eric G Mercer J McCarthy Topher Fischer Eric G Mercer Neha Rungta Everett Morse Eric G Mercer Jay A McCarthy E. Morse Eric G Mercer Everett Morse Eric G Mercer Jay A McCarthy Neha Rungta Eric G Mercer S. Sharma G. Gopalakrishnan Eric G Mercer S. Sharma G. Gopalakrishnan Eric G Mercer J. Holt Neha Rungta Eric G Mercer Neha Rungta Eric G Mercer W. Visser Neha Rungta Eric G Mercer Neha Rungta Eric G Mercer R. Kumar Eric G Mercer R. Kumar Eric G Mercer D. D. Walker Eric G Mercer Kent Eldon Seamons R. Kumar Eric G Mercer Neha Rungta Hyrum Carroll Eric G Mercer R. Roper Mark Joel Clement Quinn O Snell R. Kumar Eric G Mercer A. Bunker Neha Rungta Eric G Mercer Neha Rungta Eric G Mercer J. P. Self Eric G Mercer Neha Rungta Eric G Mercer