Publications

  • Sheng Chen, Martin Erwig, “Principal Type Inference for GADTs”, 2016 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), St. Petersburg, FL, USA, January 20–22, 2016, to appear.
  • Brian Burg, Andrew J. Ko, Michael D. Ernst, “Explaining Visual Changes in Web Interfaces”, 2015 ACM Symposium on User Interface Software and Technology (UIST), Charlotte, NC, USA, November 8–11, 2015, 259–268. DOI. PDF.
  • YoungSeok Yoon, Brad A. Myers, “Semantic Zooming of Code Change History“, 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Atlanta, GA, USA, October 18–22, 2015, 95–99. PDF.
  • Will Jernigan, Amber Horvath, Michael Lee, Margaret Burnett, Taylor Cuilty, Sandeep Kuttal, Anicia Peters, Irwin Kwan, Faezeh Bahmani, Andrew Ko, “A Principled Evaluation for a Principled Idea Garden”, 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Atlanta, GA, USA, October 18–22, 2015, 235–243.
  • David Piorkowski, Scott D. Fleming, Christopher Scaffidi, Margaret Burnett, Irwin Kwan, Austin Z. Henley, Jamie Macbeth, Charles Hill, Amber Horvath, “To Fix or to Learn? How Production Bias Affects Developers’ Information Foraging during Debugging”, 2015 IEEE International Conference on Software Maintenance and Evolution (ICSME), Bremen, Germany, September 29–October 1, 2015, 11–20. DOI. PDF.
  • Mouna Hammoudi, Brian Burg, Gigon Bae, Gregg Rothermel, “On the Use of Delta Debugging to Reduce Recordings and Facilitate Debugging of Web Applications“, 2015 ACM Joint Meeting on Foundations of Software Engineering (ESEC/FSE), Bergamo, Italy, August 31–September 4, 2015, 333–344. DOI. PDF.
  • YoungSeok Yoon, Brad A. Myers, “Supporting Selective Undo in a Code Editor“, 2015 IEEE/ACM International Conference on Software Engineering (ICSE), Florence, Italy, May 16–24, 2015, 223–233. DOI. PDF.
  • Brad A. Myers, Ashley Lai, Tam Minh Le, YoungSeok Yoon, Andrew Faulring, Joel Brandt, “Selective Undo Support for Painting Applications”, 2015 ACM Conference on Human Factors in Computing Systems (CHI), Seoul, Republic of Korea, April 18–23, 2015, 4227–4236. DOI. PDF.
  • Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, Eric Bodden, “Variational Data Structures: Exploring Tradeoffs in Computing with Variability”, 2014 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software (Onward!), Portland, OR, USA, October 20–24, 2014, 213–226. DOI. PDF.
  • Sheng Chen, Martin Erwig, “Type-Based Parametric Analysis of Program Families”, 2014 ACM SIGPLAN International Conference on Functional Programming (ICFP), Gothenburg, Sweden, September 1–3, 2014, 39–51. DOI. PDF.
  • Michael J. Lee, Faezeh Bahmani, Irwin Kwan, Jilian LaFerte, Polina Charters, Amber Horvath, Fanny Luor, Jill Cao, Catherine Law, Michael Beswetherick, Sheridan Long, Margaret Burnett, Andrew J. Ko, “Principles of a Debugging-First Puzzle Game for Computing Education”, 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Melbourne, Australia, July 28–August 1, 2014, 57–64. DOI. PDF.
  • YoungSeok Yoon, Brad A. Myers, “A Longitudinal Study of Programmers’ Backtracking”, 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Melbourne, Australia, July 28–August 1, 2014, 101–108. DOI. PDF.
  • Sheng Chen, Martin Erwig, Karl Smeltzer, “Let’s Hear Both Sides: On Combining Type-Error Reporting Tools”, 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Melbourne, Australia, July 28–August 1, 2014, 145–152. DOI. PDF.
  • Martin Erwig, Karl Smeltzer, Keying Xu, “A Notation for Non-Linear Program Edits”, 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Showpiece, Melbourne, Australia, July 28–August 1, 2014, 205–206. DOI. PDF.
  • YoungSeok Yoon, Brad A. Myers, “A Demonstration of AZURITE: Backtracking Tool for Programmers”, 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Showpiece, Melbourne, Australia, July 28–August 1, 2014, 225–226. DOI. PDF.
  • Sheng Chen, Martin Erwig, “Guided Type Debugging”, International Symposium on Functional and Logic Programming (FLOPS), Kanazawa, Japan, June 4–6, 2014, Lecture Notes in Computer Science (LNCS) 8475, 2014, 35–51. DOI. PDF.
  • Margaret M. Burnett, Brad A. Myers, “Future of End-User Software Engineering: Beyond the Silos”, 2014 International Conference on Software Engineering (ICSE): Future of Software Engineering (FOSE), Hyderabad, India, May 31–June 7, 2014, 201–211. DOI. PDF.
  • Sandeep K. Kuttal, Anita Sarma, Gregg Rothermel, “On the Benefits of Providing Versioning Support for End Users: An Empirical Study”, ACM Transactions on Computer-Human Interaction (TOCHI) 21(2), February 2014, 9:1–9:43. DOI. PDF.
  • Sheng Chen, Martin Erwig, “Counter-Factual Typing for Debugging Type Errors”, 2014 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Diego, CA, USA, January 22–24, 2014, 583–594. DOI. PDF.
  • Sheng Chen, Martin Erwig, “Early Detection of Type Errors in C++ Templates”, 2014 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), San Diego, CA, USA, January 20–21, 2014, 133–144. DOI. PDF.
  • Martin Erwig, Eric Walkingshaw, Sheng Chen, “An Abstract Representation of Variational Graphs”, 2013 ACM International Workshop on Feature-Oriented Software Development (FOSD), October 27–28, 2013, Indianapolis, IN, USA, 25–32. DOI. PDF.

Related Publications that Predate the Grant

  • Brian Burg, Richard Bailey, Andrew J. Ko, Michael D. Ernst, “Interactive Record/Replay for Web Application Debugging”, 2013 ACM Symposium on User Interface Software and Technology (UIST), St. Andrews, United Kingdom, October 8–11, 2013, 473–484. DOI. PDF.
  • Sandeep K. Kuttal, Anita Sarma, Gregg Rothermel, “Predator Behavior in the Wild Web World of Bugs: An Information Foraging Theory Perspective”, 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), San Jose, CA, USA, September 15–19, 2013, 59–66. DOI. PDF.
  • YoungSeok Yoon, Brad A. Myers, Sebon Koo, “Visualization of Fine-Grained Code Change History”, 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), San Jose, CA, USA, September 15–19, 2013, 119–126. DOI. PDF.
  • Jill Cao, Irwin Kwan, Faezeh Bahmani, Margaret Burnett, Scott D. Fleming, Josh Jordahl, Amber Horvath, Sherry Yang, “End-User Programmers in Trouble: Can the Idea Garden help them to help themselves?”, 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), San Jose, CA, USA, September 15–19, 2013, 151–158. DOI. PDF.
  • Sandeep K. Kuttal, “Variation Support for End Users”, 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), San Jose, CA, USA, September 15–19, 2013, 183–184. DOI. PDF.
  • David J. Piorkowski, Scott D. Fleming, Irwin Kwan, Margaret M. Burnett, Christopher Scaffidi, Rachel K.E. Bellamy, Joshua Jordahl, “The Whats and Hows of Programmers’ Foraging Diets”, 2013 ACM Conference on Human Factors in Computing Systems (CHI), Paris, France, April 27–May 2, 2013, 3063–3072. DOI. PDF.
  • Scott D. Fleming, Chris Scaffidi, David Piorkowski, Margaret Burnett, Rachel Bellamy, Joseph Lawrance, Irwin Kwan, “An Information Foraging Theory Perspective on Tools for Debugging, Refactoring, and Reuse Tasks”, ACM Transactions on Software Engineering and Methodology (TOSEM) 22(2), March 2013, 14:1–14:41. DOI. PDF.
  • Joseph Lawrance, Christopher Bogart, Margaret Burnett, Rachel Bellamy, Kyle Rector, Scott D. Fleming, “How Programmers Debug, Revisited: An Information Foraging Theory Perspective”, IEEE Transactions on Software Engineering (TSE) 39(2), February 2013, 197–215. DOI. PDF.
  • Martin Erwig, Eric Walkingshaw, “Variation Programming with the Choice Calculus”, Generative and Transformational Techniques in Software Engineering IV (GTTSE), Braga, Portugal, July 3–9, 2011, Lecture Notes in Computer Science (LNCS) 7680, 2012, 55–100. DOI. PDF.
  • Martin Erwig, Eric Walkingshaw, “The Choice Calculus: A Representation for Software Variation”, ACM Transactions on Software Engineering and Methodology (TOSEM), 21(1), December 2011, 6:1–6:27. DOI. PDF.