Hello, I am Steve Shaner. I'm a PhD candidate in Computer Science, working on specification semantics to improve program(mer) development. My advisor is Dr. Gary Leavens. I received my M.S. in Computer Science from Iowa State University in Fall 2008.
Research Interests
In general, I study programming languages. In addition to specification semantics, I am especially interested in
- 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]