Todd Schiller

Software, Knowledge, and Data Engineering

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 Page] [PDF] [Source]

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 PDF] [Source]
  • 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. [PDF] [Source]

Security

  • A Practical Guide to Honeypots. Eric Peter and Todd Schiller. Washington University in St. Louis. Project Report. 2009. [PDF] [Source]