A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)

Providing Early Warnings of Specification Problems. - Dustin Hoffman; Aditi Tagore; Diego Zaccai; Bruce W. Weide (NASA Formal Methods, 2014)

Syrus: providing practice problems in discrete mathematics with instant feedback. - Diego Zaccai; Aditi Tagore; Dustin Hoffman; Jason Kirschenbaum; Zakariya Bainazarov; Harvey M. Friedman; Dennis K. Pearl; Bruce W. Weide (SIGCSE, 2014)