Stephen F. Siegel

Available identifiers

Publication	Date of Publication	Type
What's wrong with on-the-fly partial order reduction	2024-02-16	Paper
Model checking race-freedom when ``sequential consistency for data-race-free programs is guaranteed	2024-01-12	Paper
Verifying properties of differentiable programs	2023-05-26	Paper
Action-based model checking: logic, automata, and reduction	2021-02-09	Paper
TASS: the toolkit for accurate scientific software	2013-05-16	Paper
FEVS: a functional equivalence verification suite for high-performance scientific computing	2013-05-16	Paper
Transparent partial order reduction	2012-09-27	Paper
Loop Invariant Symbolic Execution for Parallel Programs	2012-06-15	Paper
Collective Assertions	2011-02-15	Paper
Model Checking Nonblocking MPI Programs	2008-04-04	Paper
Model Checking Software	2007-09-28	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
The cohomology of split extensions of elementary Abelian \(2\)-groups and Totaro's example	2000-09-05	Paper
The Hochschild Cohomology Ring of a Group Algebra	2000-06-22	Paper
The Hochschild cohomology ring of a cyclic block	2000-03-15	Paper
The cohomology of the Morava stabilizer group 𝕊₂ at the prime 3	1998-03-26	Paper
The spectral sequence of a split extension and the cohomology of an extraspecial group of order \(p^ 3\) and exponent \(p\)	1997-04-16	Paper
On the cohomology of split extensions of finite groups	1997-04-08	Paper
Generalized Benson-Carlson duality	1996-10-27	Paper
Projective modules for A₉in characteristic three	1992-06-28	Paper

This page was built for person: Stephen F. Siegel