|
Todd W. Schiller
PhD Student |
I develop tools and techniques that enable domain experts and developers to productively create correct software. I'm particularly interested in the design and implementation of valuation and trading systems.
I'm a third year graduate student in software engineering and programming languages at the University of Washington working with Michael Ernst. I received my BS and MS in Computer Science from Washington University in St. Louis, where I worked with Aaron Stump, Yixin Chen, and Ron Cytron on dependently-typed languages, machine learning, and action planning.
In the past, I have worked for Numerix (a financial analytics company), and have interned at Flagstone Securities (a boutique investment bank) and D. E. Shaw & Co (a hedge fund).
I am currently funded by an NSF Graduate Research Fellowship.
I work with three undergraduates: Kellen Donohue is building a .NET front-end for the Daikon invariant detector. Allen Liu is adding support for custom program point hierarchies to the Daikon invariant detector. Forrest Coward is exploring automatic inference of C# Code Contract specifications.
Refereed Papers
“Playing Cupid: the IDE as a matchmaker for plugins”
by Todd W. Schiller and Brandon Lucia
In TOPI 2012: 2nd Workshop on Developing Tools as Plug-ins, (Zurich, Switzerland), June 3, 2012. To Appear.
“Building and using pluggable type-checkers”
by Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muşlu, and Todd Schiller
In ICSE'11, Proceedings of the 33rd International Conference on Software Engineering, (Waikiki, Hawaii, USA), May 25-27, 2011. [PDF]
“Rethinking the Economics of Software Engineering”
by Todd W. Schiller and Michael D. Ernst
In Workshop on the Future of Software Engineering Research, (Santa Fe, NM, USA), November 7-8, 2010. [PDF]
“Modeling Radiation-Induced Lung Injury Risk with an Ensemble of Support Vector Machines”
by Todd W. Schiller, Yixin Chen, Issam El Naqa, and Joseph O. Deasy
In Neurocomputing, Volume 73, Issues 10-12, June 2010.
“Improving Clinical Relevance in Ensemble Support Vector Machine Models of Radiation Pneumonitis Risk”
by Todd W. Schiller, Yixin Chen, Issam El Naqa, and Joseph O. Deasy
In International Conference on Machine Learning and Applications, (Miami, FL, USA), December 13 - 15, 2009.
“Verified programming in Guru”
by Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, and Timothy Simpson
In Workshop on Programming Languages Meets Program Verification, (Savannah, GA, USA), January 20, 2009. [PDF]
Theses
“Improving Support Vector Machine Models of Radiation-Induced Lung Injury Risk”
Master's thesis, Washington University in St. Louis, August 2009.
“Eliminating Specificational Data from Untyped Areas in OpTT”
Honor's thesis, Washington University in St. Louis, May 2008.
[PDF]
Teaching Assistantships
Software Design and Implementation (Spring 2010)
Course Homepage
Lecturer: Dr. Michael Ernst
Software Engineering: Program Analysis (Winter 2010)
Course Homepage
Lecturer: Dr. Michael Ernst
Resources
[Convex Hull Demo] Finding the convex hull of line intersections in O(n log n) time
[Guru Tutorial] An introduction to programming in Guru, a dependently-typed functional programming
[C File I/O Lecture] Slides for a CSE303 guest lecture I gave on C File I/O. Also available as an ODP file
[A Practical Guide to Honeypots] Detecting security threats using decoy servers that mimick real servers
Diversions
[PoCSci '11 Slides] A talk I gave with Kivanç Muşlu on smart "single-sourcing" at UW CSE's PoCSci 2011 conference
[2008 Soap Box Derby Video] My team at the 2008 Red Bull Soap Box Derby in Cincinatti, Ohio
[2006 Soap Box Derby Video] My team at the 2006 Red Bull Soap Box Derby in St. Louis, Missouri