Research Publications
My academic publications can also be found on the ACM and Google Scholar websites. BibTeX entries are available via GitHub
Software Engineering
- Case Studies and Tools for Contract Specifications. Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael Ernst. In ICSE'14: The 36th International Conference on Software Engineering. 2014. Home Page PDF Source
- Reducing the Barriers to Writing Verified Specifications. Todd W. Schiller and Michael D. Ernst. In OOPSLA'12: Conference on Object-Oriented Programming, Systems, Languages, and Applications. 2012. Home Page PDF Source
- Playing Cupid: The IDE as a Matchmaker for Plug-Ins. Todd W. Schiller and Brandon Lucia. In TOPI'12: The 2nd Workshop on Developing Tools as Plug-ins. 2012. Home Page PDF Source
- Rethinking the Economics of Software Engineering. Todd W. Schiller and Michael D. Ernst. In FoSER'10: The FSE/SDP Workshop on the Future of Software Engineering Research. 2010. PDF
Programming Languages
- Building and Using Pluggable Type-Checkers. Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muşlu, and Todd W. Schiller. In ICSE'11: The 33rd International Conference on Software Engineering. 2011. Home Page PDF Source
- Verified Programming in Guru. Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, and Timothy Simpson. In PLPV'09: The 3rd Workshop on Programming Languages Meets Program Verification. 2009. Home PagePDFSource
Machine Learning
- Modeling Radiation-Induced Lung Injury Risk with an Ensemble of Support Vector Machines. Todd W. Schiller, Yixen Chen, Issam El Naqa, and Joseph O. Deasy. Neurocomputing. 2010. Preprint PDFSource
- Improving Clinical Relevance in Ensemble Support Vector Machine Models of Radiation Pneumonitis Risk. Todd W. Schiller, Yixen Chen, Issam El Naqa, and Joseph O. Deasy. In ICMLA'09: International Conference on Machine Learning and Applications. 2009. PDFSource