Krishanthan Krishnamoorthy

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 1

Top Topics

Distributed Memory

Static Analysis

Symbolic Execution

Message Passing Interface

Top Venues

Publications

Craig C. Douglas, Krishanthan Krishnamoorthy
Static Analysis and Symbolic Execution for Deadlock Detection in MPI Programs. ICCS (2) (2018)
Hongyi Ma, Liqiang Wang, Krishanthan Krishnamoorthy
Detecting Thread-Safety Violations in Hybrid OpenMP/MPI Programs. CLUSTER (2015)