Todd W. Schiller

According to our database, Todd W. Schiller authored at least 8 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Reducing the Usability Barrier to Specification and Verification.

Todd W. Schiller

PhD thesis, 2014

Case studies and tools for contract specifications.

Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst

Proceedings of the 36th International Conference on Software Engineering, 2014

2012

Reducing the barriers to writing verified specifications.

Todd W. Schiller, Michael D. Ernst

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Playing cupid: the IDE as a matchmaker for plug-ins.

Todd W. Schiller, Brandon Lucia

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

2011

Building and using pluggable type-checkers.

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Modeling radiation-induced lung injury risk with an ensemble of support vector machines.

Todd W. Schiller, Yixin Chen, Issam El-Naqa, Joseph O. Deasy

Neurocomputing, 2010

Rethinking the economics of software engineering.

Todd W. Schiller, Michael D. Ernst

Proceedings of the Workshop on Future of Software Engineering Research, 2010

2009

Improving Clinical Relevance in Ensemble Support Vector Machine Models of Radiation Pneumonitis Risk.

Todd W. Schiller, Yixin Chen, Issam El-Naqa, Joseph O. Deasy

Proceedings of the International Conference on Machine Learning and Applications, 2009