Eric Mercer

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 29

Top Topics

Partial Order Reduction

Human Machine Interfaces

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Yu Huang, Tao Wang, Zihui Yin, Eric Mercer, Benjamin Ogles
Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression. IEEE Trans. Parallel Distributed Syst. 34 (1) (2023)
Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
Synthesizing verified components for cyber assured systems engineering. Softw. Syst. Model. 22 (5) (2023)
Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134 (2023)
Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip
A Toolkit for Automated Testing of Dafny. NFM (2023)
Eric Mercer, Keith A. Butler, Ali Bahrami
Model Checking Functional Integration of Human Cognition and Machine Reasoning. SysCon (2022)
Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer
Assume-Guarantee Reasoning with Scheduled Components. NFM (2022)
Darren D. Cofer, Isaac Amundson, Junaid Babar, David S. Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton
Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 20 (3) (2022)
Parker Hanson, Benjamin Winters, Eric Mercer, Brett Decker
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench. SPIN (2022)
Brett Decker, Benjamin Winters, Eric Mercer
Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench. NFM (2021)
Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
Synthesizing Verified Components for Cyber Assured Systems Engineering. MoDELS (2021)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Yu Huang, Kai Gong, Eric Mercer
An efficient algorithm for match pair approximation in message passing. Parallel Comput. 91 (2020)
Mohcine Madkour, Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao
Semantic based model of Conceptual Work Products for formal verification of complex interactive systems. CoRR (2020)
Yu Huang, Benjamin Ogles, Eric Mercer
A Predictive Analysis for Detecting Deadlock in MPI Programs. ASE (2020)
Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy
Model-checking task-parallel programs for data-race. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Benjamin Ogles, Peter Aldous, Eric Mercer
Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. FMCAD (2019)
Joshua Hooker, Peter Aldous, Eric Mercer, Benjamin Ogles, Kyle Storey, Sheridan Jacob Powell
JPF-HJ: A Tool for Task Parallel Program Analysis. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Kyle Storey, Eric Mercer, Pavel Parízek
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Egor Namakonov, Eric Mercer, Pavel Parízek, Kyle Storey
Symbolic data race detection for Habanero programs. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy
Model-Checking Task Parallel Programs for Data-Race. NFM (2018)
Kyle Storey, Sheridan Jacob Powell, Benjamin Ogles, Joshua Hooker, Peter Aldous, Eric Mercer
Optimized Sound and Complete Data Race Detection in Structured Parallel Programs. LCPC (2018)
Joseph Jones, James Wasson, Sean Brown, Seth Poulsen, Peter Aldous, Eric Mercer
Memory safety in C by abstract interpretation. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
Exact Heap Summaries for Symbolic Execution. VMCAI (2016)
Eric Mercer, Neha Rungta, Douglas J. Gillan
Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Yu Huang, Eric Mercer
Detecting MPI Zero Buffer Incompatibility by SMT Encoding. NFM (2015)
Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao
Model Checking for Verification of Interactive Health IT Systems. AMIA (2015)
Peter Anderson, Nick Vrvilo, Eric Mercer, Vivek Sarkar
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich
An Approach to Quantify Workload in a System of Agents. AAMAS (2015)
Radha Nakade, Eric Mercer
Verification of Habanero Java Programs using Computation Graphs. ACM SIGSOFT Softw. Eng. Notes 40 (6) (2015)
Eric Noonan, Eric Mercer, Neha Rungta
Vector-clock based partial order reduction for JPF. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
Towards a lazier symbolic pathfinder. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Peter Anderson, Brandon Chase, Eric Mercer
JPF verification of habanero Java programs. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
T. J. Gledhill, Eric Mercer, Michael A. Goodrich
Modeling UASs for Role Fusion and Human Machine Interface Optimization. SMC (2013)
Yu Huang, Eric Mercer, Jay McCarthy
Proving MCAPI executions are correct using SMT. ASE (2013)
Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy
Modeling Asynchronous Message Passing for C Programs. VMCAI (2012)
Michael A. Goodrich, Eric Mercer
Abstraction and Persistence: Macro-Level Guarantees of Collective Bio-Inspired Teams under Human Supervision. Infotech@Aerospace (2012)
Eric Mercer, Suzette Person, Neha Rungta
Computing and visualizing the impact of change with Java PathFinder extensions. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Topher Fischer, Eric Mercer, Neha Rungta
Symbolically modeling concurrent MCAPI executions. PPOPP (2011)
Neha Rungta, Eric Mercer
Slicing and dicing bugs in concurrent programs. ICSE (2) (2010)
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer
Dynamic verification of Multicore Communication applications in MCAPI. HLDVT (2009)
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt
MCC: A runtime verification tool for MCAPI user applications. FMCAD (2009)
Eric Mercer, Michael D. Jones
Model Checking Machine Code with the GNU Debugger. SPIN (2005)
Michael D. Jones, Eric Mercer
Explicit State Model Checking with Hopper. SPIN (2004)
Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn
Benchmarking Explicit State Parallel Model Checkers. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)
Hao Zheng, Eric Mercer, Chris J. Myers
Modular verification of timed circuits using automatic abstraction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22 (9) (2003)
Tomohiro Yoneda, Eric Mercer, Chris Myers
Modular Synthesis of Timed Circuits Using Partial Order Reduction. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2002)
Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers
Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. PRDC (2002)
Eric Mercer, Chris J. Myers, Tomohiro Yoneda
Modular Synthesis of Timed Circuits using Partial Order Reduction. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Hao Zheng, Eric Mercer, Chris J. Myers
Automatic Abstraction for Verification of Timed Circuits and Systems. CAV (2001)
Kip C. Killpack, Eric Mercer, Chris J. Myers
A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems. ARVLSI (2001)