Daniel W. Barowy

According to our database, Daniel W. Barowy authored at least 9 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Riker: Always-Correct and Fast Incremental Builds from Simple Specifications.

Charlie Curtsinger, Daniel W. Barowy

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

2021

LaForge: Always-Correct and Fast Incremental Builds from Simple Specifications.

Charlie Curtsinger, Daniel W. Barowy

CoRR, 2021

2020

Infrastructor: Flexible, No-Infrastructure Tools for Scaling CS.

Daniel W. Barowy, William K. Jannen

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019

Evaluating ProDirect manipulation in hour of code.

Quan Do, Kiersten Campbell, Emmie Hine, Dzung Pham, Alex Taylor, Iris Howley, Daniel W. Barowy

Proceedings of the SPLASH-E '19, 2019

2018

ExceLint: automatically finding spreadsheet formula errors.

Daniel W. Barowy, Emery D. Berger, Benjamin G. Zorn

Proc. ACM Program. Lang., 2018

2017

VoxPL: Programming with the Wisdom of the Crowd.

Daniel W. Barowy, Emery D. Berger, Daniel G. Goldstein, Siddharth Suri

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016

AutoMan: a platform for integrating human-based and digital computation.

Daniel W. Barowy, Charlie Curtsinger, Emery D. Berger, Andrew McGregor

Commun. ACM, 2016

2015

FlashRelate: extracting relational data from semi-structured spreadsheets using examples.

Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

CheckCell: data debugging for spreadsheets.

Daniel W. Barowy, Dimitar Gochev, Emery D. Berger

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014