Interactive, scalable, declarative program analysis: from prototype to implementation. - William C. Benton; Charles N. Fischer (PPDP, 2007)

Mostly-Functional Behavior in Java Programs. - William C. Benton; Charles N. Fischer (VMCAI, 2009)

Wallaby: a scalable semantic configuration service for grids and clouds. - William C. Benton; Robert H. Rati; Erik J. Erlandson (SC State of the Practice Reports, 2011)

Machine Learning Systems and Intelligent Applications. - William C. Benton (IEEE Softw., 2020)