Hello, I am Steve Shaner. I'm a 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
- Spring 2008: teaching Com Sci 342
- Fall 2007: assisted 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
Publications
- Steve M. Shaner, Gary T. Leavens, David A. Naumann. Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs. In International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Montreal, Canada, October 2007, pages 351-367. Also Department of Computer Science, Iowa State University, TR #07-04b, March 2007, revised April, July 2007. [PDF]