1 Employment 2 Education 3 Grants
Total Page:16
File Type:pdf, Size:1020Kb
STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences email: [email protected] 101 Smith Hall web: http://vsl.cis.udel.edu/siegel.html University of Delaware tel: (302) 831{0083, fax: (302) 831{8458 Newark, DE 19716 skype: sfsiegel 1 Employment Associate Professor, Department of Computer and Information Sciences and Department of Math- ematical Sciences, University of Delaware, September 2012 to present Assistant Professor, Department of Computer and Information Sciences and Department of Math- ematical Sciences, University of Delaware, September 2006 to August 2012 Senior Research Scientist, Laboratory for Advanced Software Engineering Research, Department of Computer Science, University of Massachusetts Amherst, August 2001 to August 2006 Senior Software Engineer, Laboratory for Advanced Software Engineering Research, Department of Computer Science, University of Massachusetts Amherst, August 1998 to July 2001 Visiting Assistant Professor, Department of Mathematics, University of Massachusetts Amherst, September 1996 to August 1998 Visiting Assistant Professor, Department of Mathematics, Northwestern University, September 1993 to June 1996 2 Education Ph.D., Mathematics, University of Chicago, August 1993 (Advisor: Prof. Jonathan L. Alperin) M.Sc., Mathematics, Oxford University, June 1989 B.A., Mathematics, University of Chicago, June 1988 3 Grants Awarded • Principal Investigator, Subcontract 4000159498, Oak Ridge National Laboratory, Extend and Improve the CIVL Software Verification Platform. January 31, 2018 { September 30, 2020. Award amount: $245,963 (sole PI). Subcontract under Department of Energy award RAPIDS: A SciDAC Institute for Computer Science and Data. • Principal Investigator, Department of Energy Award DE-SC0012566, Program Verification for Extreme- Scale Applications, September 1, 2014 { August 31, 2018. Award amount: $510,000. (Sole PI) • Principal Investigator, National Science Foundation Award NSF CCF-1319571, SHF: Small: Con- tracts for Message-Passing Parallel Programs, September 1, 2013 { August 31, 2018. Award amount: $449,999. (Sole PI) 1 • Principal Investigator, National Science Foundation Award CCF-1346769, CIVL: A Concurrency In- termediate Verification Language, August 1, 2013 { July 31, 2016. Award amount: $300,000 (Includes subcontract to U. Nebraska for co-PI Matthew Dwyer. UD amount: $182,000.) • Principal Investigator, National Science Foundation Award CCF-0953210 Supplement 001, Extension of TASS to Chapel, June 1, 2011 { March 31, 2016. Award amount: $99,333. (Sole PI) • Principal Investigator, National Science Foundation Award CNS-0958512, Computing Research Infras- tructure program, II-New: System Acquisition for the Development of Scalable Parallel Algorithms for Scientific Computing, May 1, 2010 { April 30, 2013. Co-PIs: Peter B. Monk, Douglas M. Swany, and Krzysztof Szalewicz. Award amount: $749,769. Equipment award used to purchase the UD Chimera cluster. • Principal Investigator, National Science Foundation Award CCF-0953210, CAREER: Ensuring the Accuracy of Scientific Software: A Formal Approach, April 1, 2010 { June 31, 2016. Award amount: $411,689 (Sole PI) • Principal Investigator, National Science Foundation Award CCF-0541035/CCF-0733035, Finite-State Verification for High Performance Computing, April 15, 2006 { March 31, 2010. Co-PI: George S. Avrunin, University of Massachusetts. Lead institution: University of Massachusetts, transferred to University of Delaware. Collaborating Institutions: University of Nebraska (PI Matthew Dwyer), University of Chicago (PI Andrew Siegel). Award amount: $960,000 (total), $546,000 (lead institution) • Principal Investigator, University of Delaware Research Foundation Grant, Verifying the Order of Accuracy of Numerical Software, June 1, 2009 { May 31, 2011. Award amount: $35,000. Awarded Research Experience for Undergraduate supplement for summer 2010: $3,500. • Targeted Grant for Capstone Experience (with Keith Decker), University of Delaware, summer 2008, $8,658, to develop capstone experience for CISC 475 4 Publications Refereed Journal Publications 1. Adam Hammouda, Andrew R. Siegel, and Stephen F. Siegel. Noise-tolerant explicit stencil computa- tions for nonuniform process execution rates. ACM Transactions on Parallel Computing, 2(1):7:1{7:33, April 2015. 2. Kyle G. Felker, Andrew R. Siegel, and Stephen F. Siegel. Optimizing memory constrained environments in Monte Carlo nuclear reactor simulations. International Journal of High Performance Computing Applications, 27(2):210{216, May 2013. 3. Stephen F. Siegel. Transparent partial order reduction. Formal Methods in System Design, 40(1):1{19, February 2012. 4. Ganesh Gopalakrishnan, Robert M. Kirby, Stephen Siegel, Rajeev Thakur, William Gropp, Ewing Lusk, Bronis R. De Supinski, Martin Schulz, and Greg Bronevetsky. Formal analysis of MPI-based parallel programs. Communications of the ACM, 54(12):82{91, December 2011. 5. Stephen F. Siegel and Timothy K. Zirkel. TASS: The Toolkit for Accurate Scientific Software. Math- ematics in Computer Science, 5(4):395{426, 2011. 6. Stephen F. Siegel and Timothy K. Zirkel. FEVS: A Functional Equivalence Verification Suite for high performance scientific computing. Mathematics in Computer Science, 5(4):427{435, 2011. 7. Stephen F. Siegel and Andrew R. Siegel. MADRE: The Memory-Aware Data Redistribution Engine. International Journal of High Performance Computing Applications, 24(1):93{104, February 2010. 2 8. Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, and Lori A. Clarke. Combining symbolic execution with model checking to verify parallel numerical programs. ACM Transactions on Software Engineering and Methodology, 17(2):Article 10, 1{34, 2008. 9. Stephen F. Siegel. Hochschild cohomology and elementary abelian subgroups. Trans. Amer. Math. Soc., 358(7):2911{2915, July 2006. Appendix to Jonathan Pakianathan and Sarah Witherspoon, Quillen stratification for Hochschild cohomology of blocks. 10. Stephen F. Siegel and George S. Avrunin. Improving the precision of INCA by eliminating solutions with spurious cycles. IEEE Transactions on Software Engineering, 28(2):115{128, 2002. 11. Stephen F. Siegel and Sarah J. Witherspoon. The Hochschild cohomology ring of a cyclic block. Proc. Amer. Math. Soc., 128(5):1263{1268, 2000. 12. Stephen F. Siegel. The cohomology of split extensions of elementary abelian 2-groups and Totaro's example. J. Pure Appl. Algebra, 145(2):183{198, 2000. 13. Stephen F. Siegel and Sarah J. Witherspoon. The Hochschild cohomology ring of a group algebra. Proc. London Math. Soc., 79(1):131{157, 1999. 14. Stephen F. Siegel, Vassily Gorbounov, and Peter Symonds. The cohomology of the Morava stabilizer group S2 at the prime 3. Proc. Amer. Math. Soc., 126(3):933{941, 1998. 15. Stephen F. Siegel. On the cohomology of split extensions of finite groups. Trans. Amer. Math. Soc., 349(4):1587{1609, 1997. 16. Stephen F. Siegel. The spectral sequence of a split extension and the cohomology of an extraspecial group of order p3 and exponent p. J. Pure Appl. Algebra, 106(2):185{198, 1996. 17. Leonard Evens and Stephen F. Siegel. Generalized Benson-Carlson duality. J. Algebra, 179(3):775{792, 1996. 18. Stephen F. Siegel. Projective modules for A9 in characteristic three. Communications in Algebra, 19(11):3099{3117, 1991. Refereed Conference and Workshop Publications 19. Ziqing Luo and Stephen F. Siegel. Symbolic execution and deductive verification approaches to VerifyThis 2017 challenges. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, Proceedings, 2018. To appear. 20. Jan H¨uckelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen Siegel, and Paul D. Hovland. Verifying properties of differentiable programs. In Andreas Podelski, editor, Static Analysis: 25th International Symposium, SAS 2018, Proceedings, volume 11002 of Lecture Notes in Computer Science. Springer, 2018. 21. Ziqing Luo, Manchun Zheng, and Stephen F. Siegel. Verification of MPI programs using CIVL. In Proceedings of the 24th European MPI Users' Group Meeting, EuroMPI '17, pages 6:1{6:11, New York, NY, USA, 2017. ACM. Paper acceptance rate: 17=37 = 46%. 22. Jan H¨uckelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen Siegel, Matthew Dwyer, and Paul Hovland. Towards self-verification in finite difference code genera- tion. In Proceedings of the First International Workshop on Software Correctness for HPC Applica- tions, Correctness'17, pages 42{49, New York, NY, USA, 2017. ACM. Acceptance rate: 7=13 = 54%. 23. Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, and Stephen F. Siegel. CIVL: Applying a general concurrency verification framework to C/Pthreads programs (competition contribution). In Tools and Algorithms for the Construction and Analysis of Systems { 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2{8, 2016. Proceedings, volume 9636 of Lecture Notes in Computer Science, pages 908{911. Springer, 2016. 3 24. Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, and Michael S. Rogers. CIVL: The Concurrency Intermediate Ver- ification Language. In SC15: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, New York, NY, USA, Nov 2015.