Daniel W. Barowy

11 papers A* 2A 3Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2022 — conf
Riker: Always-Correct and Fast Incremental Builds from Simple Specifications.
USENIX ATC
Charlie Curtsinger, Daniel W. Barowy
2021 J jnl
LaForge: Always-Correct and Fast Incremental Builds from Simple Specifications.
CoRR
Charlie Curtsinger, Daniel W. Barowy
2020 A conf
Infrastructor: Flexible, No-Infrastructure Tools for Scaling CS.
SIGCSE
Daniel W. Barowy, William K. Jannen
2019 — conf
Evaluating ProDirect manipulation in hour of code.
SPLASH-E
Quan Do, Kiersten Campbell, Emmie Hine, Dzung Pham, Alex Taylor, Iris Howley, Daniel W. Barowy
2019 J jnl
ExceLint: Automatically Finding Spreadsheet Formula Errors.
CoRR
Daniel W. Barowy, Emery D. Berger, Benjamin G. Zorn
2018 J jnl
ExceLint: automatically finding spreadsheet formula errors.
Proc. ACM Program. Lang.
Daniel W. Barowy, Emery D. Berger, Benjamin G. Zorn
2017 A* conf
VoxPL: Programming with the Wisdom of the Crowd.
CHI
Daniel W. Barowy, Emery D. Berger, Daniel G. Goldstein, Siddharth Suri
2016 J jnl
AutoMan: a platform for integrating human-based and digital computation.
Commun. ACM
Daniel W. Barowy, Charlie Curtsinger, Emery D. Berger, Andrew McGregor
2015 A* conf
FlashRelate: extracting relational data from semi-structured spreadsheets using examples.
PLDI
Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn
2014 A conf
CheckCell: data debugging for spreadsheets.
OOPSLA
Daniel W. Barowy, Dimitar Gochev, Emery D. Berger
2012 A conf
AutoMan: a platform for integrating human-based and digital computation.
OOPSLA
Daniel W. Barowy, Charlie Curtsinger, Emery D. Berger, Andrew McGregor