Stephen F. Siegel

Affiliations: 
Computer and Information Sciences University of Delaware, Newark, DE, United States 
Area:
Computer Science
Google:
"Stephen Siegel"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Zheng M, Rogers MS, Luo Z, et al. (2016) CIVL: Formal verification of parallel programs Proceedings - 2015 30th Ieee/Acm International Conference On Automated Software Engineering, Ase 2015. 830-835
Zheng M, Edenhofner JG, Luo Z, et al. (2016) CIVL: Applying a general concurrency verification framework to C/Pthreads programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9636: 908-911
Siegel SF, Zheng M, Luo Z, et al. (2015) CIVL: The concurrency intermediate verification language International Conference For High Performance Computing, Networking, Storage and Analysis, Sc. 15
Zirkel TK, Siegel SF, McClory T. (2013) Automated verification of chapel programs using model checking and symbolic execution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7871: 198-212
Siegel SF, Zirkel TK. (2012) Loop invariant symbolic execution for parallel programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7148: 412-427
Gopalakrishnan G, Kirby RM, Siegel S, et al. (2011) Formal analysis of MPI-based parallel programs Communications of the Acm. 54: 82-91
Siegel SF, Zirkel TK. (2011) Automatic formal verification of MPI-based parallel programs Proceedings of the Acm Sigplan Symposium On Principles and Practice of Parallel Programming, Ppopp. 309-310
Siegel SF, Zirkel TK. (2011) FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing Mathematics in Computer Science. 5: 427-435
Siegel SF, Zirkel TK. (2011) TASS: The Toolkit for Accurate Scientific Software Mathematics in Computer Science. 5: 395-426
Siegel SF, Zirkel TK. (2011) Collective assertions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6538: 387-402
See more...