Hello, I am Steve Shaner. I'm a third-year PhD student in Computer Science studying under Dr. Gary Leavens. I received my B.S. in Computer Science from Iowa State University in Spring 2004.
Teaching History
- Fall 2007: assisting Com Sci 342 under Dr. Hridesh Rajan
- Spring 2007: assisted Com Sci 342 under Dr. Markus Lumpe
- Fall 2006: assisted Com Sci 342 under Dr. Gary Leavens
Research Interests
My general research interest is programming languages. I am especially interested in
- formal methods' impact on program(mer) development
- specification language design & semantics
- novel programming systems for dynamic languages
- advanced programming methodologies for describing domain-specific languages
- other solutions for improving the creation & evolution of software
Pending Publications
- Steve M. Shaner, Gary T. Leavens, David A. Naumann. Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs. To appear in OOPSLA 2007. Also: Department of Computer Science, Iowa State University, TR #07-04, March 2007. [PDF]