CheckCell: data debugging for spreadsheets. - Daniel W. Barowy; Dimitar Gochev; Emery D. Berger (OOPSLA, 2014)

FlashRelate: extracting relational data from semi-structured spreadsheets using examples. - Daniel W. Barowy; Sumit Gulwani; Ted Hart; Benjamin G. Zorn (PLDI, 2015)

AutoMan: a platform for integrating human-based and digital computation. - Daniel W. Barowy; Charlie Curtsinger; Emery D. Berger; Andrew McGregor 001 (Commun. ACM, 2016)

VoxPL: Programming with the Wisdom of the Crowd. - Daniel W. Barowy; Emery D. Berger; Daniel G. Goldstein; Siddharth Suri (CHI, 2017)

ExceLint: automatically finding spreadsheet formula errors. - Daniel W. Barowy; Emery D. Berger; Benjamin G. Zorn (Proc. ACM Program. Lang., 2018)

Evaluating ProDirect manipulation in hour of code. - Quan Do; Kiersten Campbell; Emmie Hine; Dzung Pham 001; Alex Taylor; Iris Howley; Daniel W. Barowy (SPLASH-E, 2019)

Infrastructor: Flexible, No-Infrastructure Tools for Scaling CS. - Daniel W. Barowy; William K. Jannen (SIGCSE, 2020)

LaForge: Always-Correct and Fast Incremental Builds from Simple Specifications. - Charlie Curtsinger; Daniel W. Barowy (CoRR, 2021)

Riker: Always-Correct and Fast Incremental Builds from Simple Specifications. - Charlie Curtsinger; Daniel W. Barowy (USENIX ATC, 2022)