|
Todd W. Schiller
PhD Student |
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, Ron Cytron, and Yixin Chen.
I currently work for Numerix. In the past, I have interned at Flagstone Securities, LLC and D. E. Shaw & Co.
Two years ago, I received an NSF Graduate Research Fellowship.
I currently work with two undergraduates: Kellen Donohue is building a .NET front-end for the Daikon invariant detector. Forrest Coward is exploring automatic inference of C# Code Contract specifications.
Refereed Papers
“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]
Tools
I plan to eventually open-source all of the research tools I have worked on, and am currently developing. The older programs may take awhile to post since they require documentation and cleanup:
[java-downconvert] An Eclipse plugin for converting Java source files to Java 1.4. Under active development.
[rt-refactor-suggest] An Eclipse plugin that provides real-time suggestions for working with duplicate code (code clones) during development. Under active development.
[guru-lang] Source code for the Guru programming language, a dependently-typed functional programming language. The project is under active development, but I haven't contributed since 2008.
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
[DEMO] Finding the convex hull of line intersections in O(n log n) time
[TUTORIAL] An introduction to programming in Guru, a dependently-typed functional programming
[LECTURE] Slides for a CSE303 guest lecture I gave on C File I/O. Also available as an ODP file
[GUIDE] A Practical Guide to Honeypots, decoy servers that detect attacks by mimicking real servers
