Faculty Profile

Stephen Siegel

Stephen Siegel

Associate Professor
432 Smith Hall
Newark, Delaware 19716
P: 302-831-0083

Personal Website


PhD | 1993 | Mathematics, University of Chicago
MSc | 1989 | Mathematics, Oxford University
BA | 1988 | Mathematics, University of Chicago


Analysis and verification of concurrent and distributed software systems, model checking, scientific computing, parallel computation


  • HPC/Cloud/Parallel
  • Software Engineering


  1. Ample Set Partial Order Reduction for Actions Technical ReportTechnical Report for paper Ample Set Partial Order Reduction for Actions submitted for Spin Conference.
  2. Report of the HPC Correctness SummitGanesh Gopalakrishnan, Ganesh Gopalakrishnan, Ganesh Gopalakrishnan , Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama, Report of the HPC Correctness Summit Jan 25-26, 2017, Washington, DC
  3. Verification of MPI programs using CIVLZiqing Luo, Manchun Zheng, and Stephen F. Siegel. 2017. In Proceedings of the 24th European MPI Users’ Group Meeting (EuroMPI ’17).ACM, New York, NY, USA, Article 6, 11 pages.
  4. CIVL Solutions to VerifyThis 2016 ChallengesStephen F. Siegel (2017, April). CIVL Solutions to VerifyThis 2016 Challenges. ACM SIGLOG News, 4, 55–75. 
  5. CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution)Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, and Stephen F. Siegel SVCOMP 2016
  6. CIVL: The Concurrency Intermediate Verification LanguageStephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers, SC 2015
  7. CIVL: Formal Verification of Parallel ProgramsManchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel, ASE 2015
  8. Using Symbolic Execution to Verify the Order of Accuracy of Numerical ApproximationsTimothy K. Zirkel, Stephen F. Siegel, and Louis F. Rossi, Tech. Rep. UD-CIS 2014/002, 2014
  9. CIVL: The Concurrency Intermediate Verification LanguageStephen F. Siegel, Matthew B. Dwyer, Ganesh Gopalakrishnan, Ziqing Luo, Zvonimir Rakamaric, Rajeev Thakur, Manchun Zheng, and Timothy K. Zirkel, Tech. Rep. UD-CIS 2014/001, 2014
  10. Dynamic Barrier Relaxations for Explicit Stencil ComputationsAdam Hammouda, Andrew R. Siegel, and Stephen F. Siegel, Tech. Rep. UDEL-CIS 2013/002, 2013

 View Full CV

People Faculty Profile