Stephen F. Siegel
Publications
My recent publications can be found on the web page of my lab, the Verified
Software Laboratory.
- Transparent Partial Order Reduction
- Stephen F. Siegel, Technical Report UDEL-CIS 2007/341,
University of Delaware Department of Computer and Information Sciences,
October 19, 2007. Submitted for publication.
- Verification of Halting Properties for MPI
Programs Using Nonblocking Operations ©Springer-Verlag
- Stephen F. Siegel and George S. Avrunin, Recent Advances in
Parallel Virtual Machine and Message Passing Interface: 14th European
PVM/MPI Users' Group Meeting, Paris, France, September/October 2007,
Proceedings. Lecture Notes in
Computer Science 4757, Springer-Verlag (2007),
pages 326-334.
- Model Checking Nonblocking MPI Programs
©Springer-Verlag
- Stephen F. Siegel, Verification, Model Checking, and
Abstract Interpretation: 8th International Conference, VMCAI 2007,
Nice, France, January 14-16, 2007, Proceedings. Lecture Notes in
Computer Science 4349, Springer-Verlag (2007),
pages 44-58.
- Using MPI-Spin to Model Check MPI Programs
with Nonblocking Communication
- Stephen F. Siegel,
EuroPVM/MPI 2006 Late and Breaking Results.
- Using Model Checking with Symbolic Execution
to Verify Parallel Numerical Programs
- Stephen F. Siegel,
Anastasia Mironova, George S. Avrunin, and Lori A. Clarke,
Proceedings of the ACM SIGSOFT 2006 International Symposium on
Software Testing and Analysis, Portland, ME, USA, July 17-20,
2006, pages 157-167.
- Finite-state verification for high performance
computing
- George S. Avrunin, Stephen F. Siegel, and Andrew
R. Siegel, in Philip M. Johnson, ed., Proceedings of the Second
International Workshop on Software Engineering for High Performance
Computing System Applications, St. Louis, MO, May 15, 2005,
pages 68-72.
- Modeling wildcard-free MPI programs for
verification
- Stephen F. Siegel and George S. Avrunin,
Proceedings of the ACM SIGPLAN Symposium on Principles and
Practices of Parallel Programming, pages 95-106, Chicago, IL,
June 2005.
- Efficient verification of halting properties
for MPI programs with wildcard receives
©Springer-Verlag
- Stephen F. Siegel, in Radhia Cousot,
ed.: Verification, Model Checking, and Abstract Interpretation:
6th International Conference, VMCAI 2005, Paris, January 17-19, 2005,
Proceedings. Lecture Notes in
Computer Science 3385, Springer-Verlag
(2005), pages 413-429.
- Modeling MPI programs for verification
- Stephen F. Siegel and George S. Avrunin, Technical Report
UM-CS-2004-75, Department of Computer Science, University of
Massachusetts, 2004.
- Verification of MPI-based software for
scientific computation ©Springer-Verlag
- Stephen
F. Siegel and George S. Avrunin, in Graf, S., Mounier, L., eds.:
Model Checking Software: 11th International SPIN Workshop,
Barcelona, Spain, April 1-3, 2004, Proceedings. Lecture Notes in
Computer Science 2989, Springer-Verlag (2004)
286-303.
- Analysis of MPI programs
- Stephen F. Siegel
and George S. Avrunin, Technical Report UM-CS-2003-036,
Department of Computer Science, University of Massachusetts,
2003.
- Hochschild cohomology and
elementary abelian subgroups
- Stephen F. Siegel, Appendix to
Quillen stratification for Hochschild cohomology, by Jonathan
Pakianathan and Sarah Witherspoon, Transactions of the American
Mathematical Society 358 (2006), pages
2897-2916.
- The INCA Query Language
- Stephen
F. Siegel, Technical Report CMPSCI TR 02-18, Department
of Computer Science, University of Massachusetts, May 2002.
- Improving the precision of INCA by
eliminating solutions with spurious cycles
- Stephen F. Siegel
and George S. Avrunin, IEEE Transactions on Software Engineering
28 (2002), no. 2, 115-128.
- Improving the precision of INCA by
preventing spurious cycles
- Stephen F. Siegel and George
S. Avrunin Proceedings of the International Symposium on
Software Testing and Analysis (ISSTA '00), Portland, OR, August
2000, M. J. Harrold, editor, 191-200.
- Comparing finite-state verification
techniques for concurrent software
- George S. Avrunin, James
C. Corbett, Matthew B. Dwyer, Corina S. Pasareanu, and Stephen
F. Siegel, Technical Report UM-CS-1999-069, Department of
Computer Science, University of Massachusetts, November 1999.
- The Hochschild cohomology ring of a cyclic
block
- Stephen F. Siegel and Sarah J. Witherspoon,
Proc. Amer. Math. Soc. 128 (2000),
no. 5, 1263-1268.
- The Hochschild cohomology ring of a group
algebra
- Stephen F. Siegel and Sarah J. Witherspoon,
Proc. London Math. Soc. (3) 79 (1999),
no. 1, 131-157.
- The integral cohomology rings of
U3 (5) and HS at the prime
5
- Matthew Bardoe, Stephen F. Siegel, and Kristin Umland,
preprint.
- The cohomology of split extensions of elementary
abelian 2-groups and Totaro's example
- Stephen F. Siegel,
Journal of Pure and Applied Algebra 145,
no. 2, 183-198.
- Alg (directory)
- Stephen F. Siegel, an
object-oriented symbolic algebra package in the Scheme programming
language, web.
- The cohomology of the Morava stabilizer group
S2 at the prime 3
- Vassily
Gorbounov, Stephen F. Siegel, and Peter Symonds, Proceedings of
the American Mathematical Society 126 (1998),
no. 3, 933-941.
- Generalized Benson-Carlson duality
- Leonard Evens and Stephen F. Siegel, Journal of
Algebra 179 (1996), 775-792.
- On the cohomology of split extensions of finite
groups
- Stephen F. Siegel, Transactions of the American
Mathematical Society 349 (1997),
1587-1609.
- The spectral sequence of a split extension and
the cohomology of an extraspecial group of order
p3 and exponent p
- Stephen F. Siegel, Journal of Pure and Applied
Algebra 106 (1996), 185-198.
- Projective modules for A9 in characteristic three
- Stephen Siegel,
Communications in Algebra 19 (1991),
3099-3117.
Stephen F. Siegel