Source: https://toddschiller.com/pages/publications.html

# Research Publications

My academic publications can also be found on the [ACM](https://dl.acm.org/author_page.cfm?id=81392618862) and [Google
Scholar](https://scholar.google.com/citations?hl=en&user=cBqGlkkAAAAJ) websites. BibTeX entries are available via [GitHub](https://github.com/twschiller/public-bib)

- [Software Engineering](https://toddschiller.com/pages/publications.html#software-engineering)
- [Programming Languages](https://toddschiller.com/pages/publications.html#programming-languages)
- [Machine Learning](https://toddschiller.com/pages/publications.html#machine-learning)
- [Security](https://toddschiller.com/pages/publications.html#security)

### 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](https://plse.cs.washington.edu/code-contracts/) [PDF](https://homes.cs.washington.edu/~mernst/pubs/contract-specifications-icse2014.pdf) [Source](http://plse.cs.washington.edu/code-contracts/)
- 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](https://plse.cs.washington.edu/veriweb/) [PDF](https://homes.cs.washington.edu/~mernst/pubs/veriweb-oopsla2012.pdf) [Source](https://github.com/twschiller/VeriWeb)
- 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](https://code.google.com/a/eclipselabs.org/p/cupid/) [PDF](https://toddschiller.com/pub/cupid-plugins-topi2012.pdf) [Source](https://code.google.com/a/eclipselabs.org/p/cupid/)
- 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](https://homes.cs.washington.edu/~mernst/pubs/economics-foser2010.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](https://checkerframework.org/) [PDF](https://homes.cs.washington.edu/~mernst/pubs/pluggable-checkers-icse2011.pdf) [Source](http://checkerframework.org)
- 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](https://code.google.com/p/guru-lang/)[PDF](https://toddschiller.com/pub/guru-plpv2009.pdf)[Source](https://code.google.com/p/guru-lang/)

### 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](https://toddschiller.com/pub/rp-svm-neuro2010-preprint.pdf)[Source](https://github.com/twschiller/rp-svm)
- 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](https://www.cse.wustl.edu/~ychen/public/icmla.pdf)[Source](https://github.com/twschiller/rp-svm)

### Security

- A Practical Guide to Honeypots. Eric Peter
  and Todd Schiller. Washington University in St. Louis. Project
  Report. 2009. [PDF](https://www.cs.wustl.edu/~jain/cse571-09/ftp/honey.pdf) [Source](https://github.com/twschiller/HoneyRJ)