Hello, I am Steve Shaner. I'm a PhD student in Computer Science studying under Dr. Gary Leavens. I received my M.S. in Computer Science from Iowa State University in Fall 2008.
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
Teaching History
- Spring 2008: taught 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
Publications
- Hridesh Rajan, Jia Tao, Steve M. Shaner, and Gary T. Leavens. Tisa: A language design and modular verification technique for temporal policies in web services. In Programming Languages and Systems, 18th European Symposium on Programming (ESOP 2009), March 2009. [PDF]
- Steve M. Shaner. Modular verification of higher-order methods with mandatory calls specified by model programs. Department of Computer Science, Iowa State University, TR #09-16, January 2009. [abstract] [PDF]
- 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]