Stephen F. Siegel - Publications, H-index & Citations

Back

Stephen F. Siegel

Argonne National Laboratory

19H-index

90Paper Count

1.2KCitation Count

Published Papers 5

Publication Date

Optimizing Memory Constrained Environments in Monte Carlo Nuclear Reactor Simulations

INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS

IF2.5

2012-06-04

PREAI

Felker, K. G.; Siegel, A. R.; Siegel, S. F.

Save

Formal Analysis of MPI-based Parallel Programs

COMMUNICATIONS OF THE ACM

IF12.2

2011-12-01

OAAI

Gopalakrishnan, Ganesh; Kirby, Robert M.; Siegel, Stephen; Thakur, Rajeev; Gropp, William; Lusk, Ewing; De Supinski, Bronis R.; Schulz, Martin; Bronevetsky, Greg

Save

MADRE: THE MEMORY-AWARE DATA REDISTRIBUTION ENGINE

INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS

IF2.5

2010-01-11

PREAI

Siegel, Stephen F.; Siegel, Andrew R.

Save

Combining symbolic execution with model checking to verify parallel numerical programs

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2008-05-05

PREAI

Siegel, Stephen F.; Mironova, Anastasia; Avrunin, George S.; Clarke, Lori A.

Save

Improving the precision of INCA by eliminating solutions with spurious cycles

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2002-01-01

PREAI

Siegel, SF; Avrunin, GS

Save

Research Directions