A Type System for Statically Detecting Spreadsheet Errors. - Yanif Ahmad; Tudor Antoniu; Sharon Goldwater; Shriram Krishnamurthi (ASE, 2003)

Validating the Unit Correctness of Spreadsheet Programs. - Tudor Antoniu; Paul A. Steckler; Shriram Krishnamurthi; Erich Neuwirth; Matthias Felleisen (ICSE, 2004)