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

Stephen F. Siegel

Argonne National Laboratory

19H指数

90论文数

1.2K被引数

收录论文 5

发表时间

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.

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

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.

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.

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

研究方向