Forms/3 Theses
Here are the theses that have been written in the context of Forms/3
work. For local (OSU) readers, the hardcopy is in the locations
indicated below (usually Dearborn 401). If you don't find something
where it's supposed to be, please let me know. Also, some of these
have polished-up excerpts published as papers, and these are listed
below as well.
- Valentina Grigoreanu's PhD thesis is in progress. Her MS thesis on Gender HCI was completed in June 2007.
Excerpts as papers:
-
Gender Differences in End-User Debugging, Revisited: What the Miners Found,
Valentina Grigoreanu, Laura Beckwith, Xiaoli Fern, Sherry Yang, Chaitanya Komireddy, Vaishnavi Narayanan, Curtis Cook, Margaret Burnett,
IEEE Symposium on Visual Languages and Human-Centric Computing, Brighton, UK, September 2006, 19-26.
- Not done in the context of Forms/3, but still... Joseph Lawrance finished his PhD thesis on Information foraging in debugging in June 2009.
Excerpts as papers:
- Laura Beckwith's PhD thesis (2007) was entitled "Gender HCI Issues in End-User Programming".
Excerpts as papers:
- On to the Real World: Gender and Self-Efficacy in Excel, Laura Beckwith, Derek Inman, Kyle Rector, and Margaret Burnett,
IEEE Symposium on Visual Languages and Human-Centric Computing, Couer dAlene, Idaho, Sept. 23-27, 2007, pp. 119-126
-
Gender HCI: What About the Software? Laura Beckwith, Margaret Burnett, Valentina Grigoreanu, Susan Wiedenbeck, Computer, 83-87, November 2006. Here is the version that was printed. This is the version we sent them (which we like a little better than the version that was printed).
- "Tinkering and Gender in End-User Programmers' Debugging," Laura Beckwith, Cory Kissinger, Margaret Burnett, Susan Wiedenbeck, Joseph Lawrance, Alan Blackwell, Curtis Cook, ACM Conference on Human-Computer Interaction (CHI'06), Montreal, Canada, April 2006.
- "Effectiveness of End-User Debugging Software Features: Are There Gender Issues?", Laura Beckwith, Margaret Burnett, Susan Wiedenbeck, Curtis Cook, Shraddha Sorte, Michelle Hastings, ACM Conference on Human Factors in Computing Systems, Portland, Oregon, April 2005.
- "Designing Features for Both Genders in End-User Software Engineering Environments," Laura Beckwith, Shraddha Sorte, Margaret Burnett, Susan Wiedenbeck, Thippaya Chintakovid, and Curtis Cook, IEEE Symposium on Visual Languages and Human-Centric Computing, 153-160, September 2005.
- "Gender: An Important Factor in End-User Programming Environments?", Laura Beckwith and Margaret Burnett, IEEE Symposium on Visual Languages and Human-Centric Computing, September 2004.
- (See also her other papers, scattered below in this list, on other end-user software engineering topics.)
- Neeraja Subrahmaniyan's 2007 MS thesis empirically investigated our approach to explaining debugging strategies. This is part of our Surprise-Explain-Reward strategy.
Excerpts as papers:
- Explaining debugging strategies to end-user programmers,
Neeraja Subrahmaniyan, Cory Kissinger, Kyle Rector, Derek Inman, Jared Kaplan, Laura Beckwith, and Margaret Burnett,
IEEE Symposium on Visual Languages and Human-Centric Computing, Couer dAlene, Idaho, Sept. 23-27, \
2007, pp. 127-134.
- Vaishnavi Narayanan's 2007 MS thesis in the Gender HCI area, analyzing males' and females' use of testing and code inspection.
- Flora Tan's MS project made ExcelForms more robust and stable, and moved it to the .Net platform (Windows only). (The version here is the department tech report she wrote.)
- Joseph Lawrance's MS thesis (2005) was on test coverage visualization by professional programmers.
Excerpt as paper:
- Cory Kissinger's MS thesis (2006) was over what end-user debuggers want to know when debugging. This is part of our ongoing research into our Surprise-Explain-Reward strategy for end-user software engineering. The full version is here, and in the EECS Tech Report library.
Excerpts as papers:
- Explaining debugging strategies to end-user programmers,
Neeraja Subrahmaniyan, Cory Kissinger, Kyle Rector, Derek Inman, Jared Kaplan, Laura Beckwith, and Margaret Burnett,
IEEE Symposium on Visual Languages and Human-Centric Computing, Couer dAlene, Idaho, Sept. 23-27, 2007, pp. 127-134.
- Supporting End-User Debugging: What Do Users Want to Know?
Cory Kissinger, Margaret Burnett, Simone Stumpf, Neeraja Subrahmaniyan, Laura Beckwith, Sherry Yang, and Mary Beth Rosson, Proceedings Advanced Visual Interfaces, ACM Press, Venice, Italy, May 2006.
- Shraddha Sorte's MS thesis was on Gender HCI. Here is the title: End User Software Engineering Features for
Both Genders. The full version is electonically available in the EECS Tech Report library, and also here. It focused on some formative work regarding what to do with our prototype to be better accomodating to both genders. It primarily focuses prototype design guided by formative think-aloud work.
Excerpt as paper:
- Amit Phalgune's MS thesis was on mistakes users make in debugging, and how they interact with End-User Fault Localization algorithms. The full version should be in the EECS Tech Report library.
Excerpt as paper:
- "Garbage In, Garbage Out? An Empirical Look at Oracle Mistakes by End-User Programmers", Amit Phalgune, Cory Kissinger, Margaret Burnett, Curtis Cook, Laura Beckwith, and Joseph R. Ruthruff, IEEE Symposium on Visual Languages and Human-Centric Computing, Dallas, TX, September 2005.
- Tyler Creelan's MS project (2004) was a software engineering endeavor, in which he co-led the implementation of our end-user software engineering devices as an Add-In for Excel.
- Liu Zheng's MS thesis (2004) was a think-aloud study of end-user programmers collaborating on debugging tasks. You can download part 1 and/or part 2 of his thesis.
- Eugene Rogan Creswick's MS thesis (2004) was over algorithms and their complexity for propagating assertions through spreadsheet formulas.
- T.J. Robertson's MS thesis (2004) was about attention issues in end-user debugging.
Excerpts as papers:
- "Impact of Interruption Style on End-User Debugging", T. J. Robertson, Shrinu Prabhakararao, Margaret Burnett, Curtis Cook, Joseph R. Ruthruff, Laura Beckwith, and Amit Phalgune, ACM Conference on Human Factors in Computing Systems, Vienna, Austria, April 2004, pp. 287-294.
- "Impact of High-Intensity Negotiated-Style Interruptions on End-User Debugging", T. J. Robertson, Joseph Lawrance, and Margaret Burnett, Journal of Visual Languages and Computing
17(2), 187-202, April 2006.
- Joseph Ruthruff's MS thesis (2004) was on fault localization for end-user programmers in spreadsheets.
Excerpts as papers:
- "Interactive Fault Localization Techniques in an End-User Programming Environment, Joseph R. Ruthruff, Margaret Burnett, and Gregg Rothermel, IEEE Transactions on Software Engineering 32(4), 213-239, April 2006. This is the paper that describes the 3 FL techniques and 2 factors (info base + mapping), including pseudocode. Our most complete resource on fault localization.
- "An Empirical Study of Fault Localization for End-User Programmers", Joseph Ruthruff, Margaret Burnett, and Gregg Rothermel, International Conference on Software Engineering, St. Louis, MO, May 2005.
- "Interactive, Visual Fault Localization Support for End-User Programmers", Joseph R. Ruthruff, Shrinu Prabhakararao, James Reichwein, Curtis Cook, Eugene Creswick, and Margaret Burnett, Technical Report # 04-60-05, Oregon State University, March 2004. (This is a preprint of a paper that has been accepted in Journal of Visual Languages and Computing, to appear later in 2004.)
- "Rewarding Good Behavior: End-User Debugging and Rewards", Joseph R. Ruthruff, Amit Phalgune, Laura Beckwith, Margaret Burnett, and Curtis Cook, IEEE Symposium on Visual Languages and Human-Centric Computing, September 2004.
- "End-User Software Visualizations for Fault Localization", J. Ruthruff, E. Creswick, M. Burnett, C. Cook, S. Prabhakararao, M. Fisher II, M. Main,
ACM Symposium on Software Visualization, San Diego, CA, June 2003.
- Shrinu Prabhakararao's MS thesis (2003) was over how end-user programmers problem-solve given fault localization support in their environment.
Excerpts as papers:
- "End-User Software Visualizations for Fault Localization", J. Ruthruff, E. Creswick, M. Burnett, C. Cook, S. Prabhakararao, M. Fisher II, M. Main,
ACM Symposium on Software Visualization, San Diego, CA, June 2003.
- "Strategies and Behaviors of End-User Programmers with Interactive Fault Localization", S. Prabhakararao, C. Cook, J. Ruthruff, E. Creswick, M. Main, M. Durham, and M. Burnett,
IEEE Symposium on Human-Centric Computing Languages and Environments, Auckland, New Zealand, October 2003, 15-22.
- Omkar Pendse's MS thesis (2003) was over effectiveness of assertions for end-user programmers.
Excerpts as papers:
- "End-User Software Engineering with Assertions in the Spreadsheet Paradigm", Margaret Burnett, Curtis Cook, Omkar Pendse, Gregg Rothermel, Jay Summet, and Christine Wallace, International Conference on Software Engineering, Portland, OR, May 2003.
- Prashant Shah's MS thesis (2003) was a think-aloud study to understand how end users behaved with "Help Me Test", our automated test generation assistant.
- Laura Beckwith's MS thesis (2002) was on how to support assertions in grids in a way useful to end-user programmers.
Excerpts as papers:
- Marc Fisher's MS thesis: Advancing the research started by
Mingming Cao on automated test case generation in spreadsheets. Known as "Help Me Test" by Forms/3 users.
Excerpts as papers:
- "Automated Test Case Generation for Spreadsheets," Marc Fisher,
Mingming Cao, Gregg Rothermel, Curtis R. Cook, Margaret M. Burnett
Int'l. Conf. on Software Engineering, May 2002. If you contact me, I will provide you a copy.
- "Test Reuse in the Spreadsheet Paradigm", Marc Fisher II, Dalai Jin,
Gregg Rothermel, Margaret Burnett, IEEE International Symposium on
Software Reliability Engineering, Nov. 2002. If you contact me, I will provide you a copy.
- Christine Wallace's MS thesis (2001): The user-centered issues
of assertions aimed at end users in spreadsheets/visual programming.
Excerpts as papers:
- "Assertions in End-User Software Engineering: A Think-Aloud Study"
(Tech Note), Christine Wallace, Curtis Cook, Jay Summet, and Margaret
Burnett, IEEE Symposium on Human-Centric Languages,
Sept. 2002. If you contact me, I will provide you a copy.
- Jay Summet's MS thesis (2001): The reasoning mechanisms behind
assertions aimed at end users in spreadsheets/visual programming. We
have a tech report version of this work.
Excerpts as papers:
- "Assertions in End-User Software Engineering: A Think-Aloud Study"
(Tech Note), Christine Wallace, Curtis Cook, Jay Summet, and Margaret
Burnett, IEEE Symposium on Human-Centric Languages,
Sept. 2002. If you contact me, I will provide you a copy.
- Bing Ren's MS thesis (2001): Applying WYSIWYT to recursive spreadsheets and to visual abstract data types. Also considerable work regarding the performance of WYSIWYT on large spreadsheet grids. Downloadable in pdf.
Excerpts as papers:
- "Visually Testing Recursive Programs in Spreadsheet Languages,"
Margaret Burnett, Bing Ren, Andrew Ko, Curtis Cook, Gregg Rothermel,
IEEE Symposia on Human-Centric Computing Languages and Environments,
Stresa, Italy, Sept. 2001.
- "Testing Homogeneous Spreadsheet Grids with the 'What You See Is What You Test' Methodology", M. Burnett, A. Sheretov, B. Ren, and G. Rothermel, IEEE Transactions on Software Engineering, June 2002, 576-594. If you contact me, I will provide you a copy.
- Dalai Jin's MS thesis (2001) considered regression testing in the WYSIWYT methodology.
Excerpts as papers:
- "Test Reuse in the Spreadsheet Paradigm", Marc Fisher II, Dalai Jin,
Gregg Rothermel, Margaret Burnett, IEEE International Symposium on
Software Reliability Engineering, Nov. 2002. If you contact me, I will provide you a copy.
- Miguel Arredondo-Castro's MS thesis (2001): This continued the work on time started by Nanyu Cao, including continuing implementation work and empirical studies of how end users were able to deal with the time model. Downloadable at: First few pages, rest of the thesis.
Excerpts as papers:
- "End-User Programming of Time as an 'Ordinary' Dimension in Grid-Oriented
Visual Programming Languages," Margaret Burnett, Nanyu Cao, Miguel
Arredondo-Castro, John Atwood, Journal of Visual Languages and
Computing, 13(4) pp. 421-447, Aug. 2002. If you contact me, I will provide you a copy.
- Vijay Krishna's MS thesis (2001) investigated end users' ability to use WYSIWYT profitably in spreadsheet maintenance tasks.
Excerpts as papers:
- "Incorporating Incremental Validation and Impact Analysis into Spreadsheet Maintenance: An Empirical Study," V. Krishna, C. Cook, D. Keller, J. Cantrell, C. Wallace, M. Burnett, G. Rothermel, IEEE International Conference on Software Maintenance, Nov. 2001. If you contact me, I will provide you a copy.
- James Reichwein's MS thesis (2000). The subject was integrating support for debugging into our integrated WYSIWYT approach to testing. Downloadable in gzipped postscript.
Excerpts as papers:
- "Slicing Spreadsheets: An Integrated Methodology for Spreadsheet
Testing and Debugging," James Reichwein, Gregg Rothermel, Margaret
Burnett, Conference on Domain Specific Languages, Austin, Texas,
October 1999. Available in gzipped postscript and pdf).
- Nanyu Cao's MS thesis (2000). The subject was expressing
temporal relationships in a visual, grid-like way.
Excerpts as papers:
- "End-User Programming of Time as an 'Ordinary' Dimension in Grid-Oriented
Visual Programming Languages," Margaret Burnett, Nanyu Cao, Miguel
Arredondo-Castro, John Atwood, Journal of Visual Languages and
Computing, 13(4) pp. 421-447, Aug. 2002. If you contact me, I will provide you a copy.
- "Time in Grid-Oriented VPLs: Just Another Dimension?" M. Burnett, N. Cao, J. Atwood, IEEE Symposium on Visual Languages, Sept. 2000.
- Mingming Cao's MS thesis (2000). The subject was to
enhance the WYSIWYT testing methodology via automatic generation of test
inputs.
Excerpts as papers:
- "Automated Test Case Generation for Spreadsheets," Marc Fisher,
Mingming Cao, Gregg Rothermel, Curtis R. Cook, Margaret M. Burnett
Int'l. Conf. on Software Engineering, May 2002. If you contact me, I will provide you a copy.
- Karen Rothermel's MS thesis (2000): "Empirical Studies of a WYSIWYT Testing Methodology". (Downloadable in postscript and pdf). OSU readers: This thesis should be in Dearborn 401.
Excerpts as papers:
- "WYSIWYT Testing in the Spreadsheet Paradigm: An Empirical Evaluation", K. Rothermel, C. Cook, M. Burnett, J. Schonfeld, T. R. G. Green, and G. Rothermel, International Conference on Software Engineering, Limerick, Ireland, June 2000. If you contact me, I will provide you a copy.
- Andrei Sheretov's MS thesis (2000): "A Methdology for Testing Spreadsheet Grids". (It exists as TR 00-60-01, January 2000). OSU readers: This thesis should materialize in Dearborn 401 soon. The subject is extending our integrated WYSIWYT testing approach, especially as it relates to testing large spreadsheet grids.
Excerpts as papers:
- "Scaling Up a 'What You See Is What You Test' Methodology to Testing
Spreadsheet Grids" Margaret M. Burnett, Andrei Sheretov, Gregg
Rothermel, 1999 IEEE Symposium on Visual Languages, Tokyo, Japan,
Sept. 1999. If you contact me, I will provide you a copy.
- "Testing Homogeneous Spreadsheet Grids with the 'What You See Is What You Test' Methodology", M. Burnett, A. Sheretov, B. Ren, and G. Rothermel, IEEE Transactions on Software Engineering, June 2002, 576-594. If you contact me, I will provide you a copy.
Patent pending: Sheretov, Burnett, and Rothermel.
- Roger Chen's MS thesis (1999): Guarantees and Requirements: Implementation and Complexity Analysis of a New Model of Types for Declarative Visual Programming Languages. OSU readers: This thesis is in Dearborn 401.
Excerpts as papers:
- "Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance", Rebecca Djang, Margaret Burnett, and Roger Chen, Journal of Visual Languages and Computing, April 2000. If you contact me, I will provide you a copy.
- Rebecca Walpole Djang's PhD thesis (1998): Similarity Inheritance: A Model of Inheritance for Declarative Visual Programming Languages. (you can get a copy from the dept office as TR 98-60-??), Dec. 1998. OSU readers: This thesis is in Dearborn 401.
Excerpts as papers:
- "Supporting
Reuse of Evolving Visual Code", (available in
Postscript,
or gzip'd
Postscript), Rebecca A. Walpole and Margaret M. Burnett, 1997 IEEE
Symposium on Visual Languages, Capri, Italy, September 23-26, 1997.
- "Similarity
Inheritance: A New Model of Inheritance for Spreadsheet VPLs" (gzip'd
Postscript), Rebecca Walpole Djang and Margaret M. Burnett, 1998
IEEE Symposium on Visual Languages, Halifax, Nova Scotia, Canada,
Sept. 1-4, 1998.
- "Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance", Rebecca Djang, Margaret Burnett, and Roger Chen, Journal of Visual Languages and Computing, April 2000. If you contact me, I will provide you a copy.
- David Hackenyos's MS Research Report (1998): Implementation of a Java Graphical User Interface for the Visual Programming Language Forms/3 (TR version). (You can get a copy from the dept office as TR 98-60-04).
- Sunanda Mishra's MAIS Thesis (1998): A Formal Proof of Soundness and Completeness of the Type Inference System in Forms/3. OSU readers: This thesis is in Dearborn 401.
- Anurag Agrawal's MS Thesis (1997): The Expressive Power and Declarative Attributes of Exception Handling in Forms/3. OSU readers: This thesis is in Dearborn 401.
Excerpts as papers:
- Exception Handling in the Spreadsheet Paradigm, M. Burnett, A. Agrawal, and P. van Zee, IEEE Transactions on Software Engineering (October 2000). If you contact me, I will provide you a copy.
- Lixin Li's MS Thesis (1997): OSU readers: This thesis is in Dearborn 401.
Excerpts as papers:
- ISSRE'97 paper: Testing Strategies for Form-Based Visual Programs, G. Rothermel, L. Li, M. Burnett, Int'l. Symp. on Software Reliability Engineering, Albuquerque, NM, 1997.
- ICSE'98 paper:What You See Is What You Test: A Methodology for Testing Form-Based Visual Programs, G. Rothermel, L. Li, C. DuPuis, M. Burnett, Int'l. Conf. on Software Engineering, Kyoto, Japan, April 1998.
Patent pending: Rothermel, Burnett, and Li.
- Sherry Yang's PhD Thesis (1996): Generalizing Abstractions in Form-Based Visual Programming Languages: From Direct Manipulation to Static Representation (you can get a copy from the dept office as TR 96-60-15), Nov. 1996. OSU readers: This thesis is in Dearborn 401.
Excerpts as papers:
- VL'94 paper: From
Concrete Forms to Generalized Abstractions through
Perspective-Oriented Analysis of Logical Relationships, S.
Yang and M. Burnett, 1994 IEEE Symposium on Visual Languages, St.
Louis, Missouri, 6-14, October, 1994.
- JVLC paper (1997): Representation Design Benchmarks: a Design-Time Aid for VPL Navigable Static Representations, S. Yang, M. Burnett, E. DeKoven, M. Zloof, Journal of Visual Languages and Computing, Oct./Dec. 1997. If you contact me, I will provide you a copy.
- Herkimer Gottfried's MS Thesis (1996): Graphical Definitions: Expanding Spreadsheet Languages through Direct Manipulation and Gestures. OSU readers: This thesis is in Dearborn 401.
Excerpts as papers:
- VL'97 paper: Graphical Definitions: Making Spreadsheets Visual through Direct Manipulation and Gestures, H. Gottfried and M. Burnett, 1997 IEEE Symposium on Visual Languages, Capri, Italy, Sept. 1997.
- ESP'97 paper: Programming Complex Objects in Spreadsheets: An Empirical Study Comparing Textual Formula Entry with Direct Manipulation and Gestures, H. Gottfried and M. Burnett, Empirical Studies of Programmers, Alexandria, VA, Oct. 1997.
- TOCHI paper (1998): Graphical Definitions: Expanding Spreadsheet Languages through Direct Manipulation and Gestures, M. Burnett and H. Gottfried, ACM Trans. on Computer-Human Interaction, 1-33, March 1998.
- John Atwood's MS Thesis (1996): Culprit Tracking: Improved Lazy Marking for Better GUI Performance, (you can get a copy from the dept office as TR 96-60-1), Jan. 1996. OSU readers: This thesis is in Dearborn 401.
Excerpts as papers:
- VL'98 paper: "Implementing Level 4 Liveness in Declarative Visual Programming Languages" (gzip'd
Postscript), Margaret M. Burnett, John W. Atwood, Jr., and Zachary T. Welch, 1998 IEEE Symposium on Visual Languages, Halifax, Nova Scotia, Canada, Sept. 1-4, 1998.
John's PhD thesis is in progress.
Excerpts as papers:
- Paul Carlson's MS Thesis (1995): Algorithm Animation in a Declarative Visual Programming Language, (TR version). OSU readers: This thesis is in Dearborn 401.
Thesis excerpts as papers:
- VL'95 poster: Integrating Algorithm Animation into a Declarative Visual Programming Language, P. Carlson and M. Burnett, 1995 Symposium on Visual Languages, Darmstadt, Germany, Sept. 1995.
- AVI'96 paper: A
Seamless Integration of Algorithm Animation into a Declarative Visual
Programming Language (gzip'd Postscript), P. Carlson, M. Burnett,
J. Cadiz, Proceedings Advanced Visual Interfaces (AVI'96), May 1996.
- Pieter van Zee's MS Thesis (1995): Exception Handling in the Visual Programming Language Forms/3 (you can get a copy from the dept office as TR 95-60-1), March 1995. OSU readers: This thesis is in Dearborn 401.
Thesis excerpts as papers:
- VL'96 paper: Retire
Superman: Handling Exceptions Seamlessly in a Declarative Visual
Programming Language, (available in Postscript
or gzip'd
Postscript), P. van Zee, M. Burnett, M. Chesire, 1996 IEEE
Symposium on Visual Languages, Sept. 1996.
- Exception Handling in the Spreadsheet Paradigm, M. Burnett, A. Agrawal, and P. van Zee, IEEE Transactions on Software Engineering (Oct. 2000). If you contact me, I will provide you a copy.
- Gerhard Viehstaedt's MS research (Univ. Kansas): (finished around 1991-1992).
Excerpts as papers:
- JVLC paper (1992): Visual Representation and Manipulation of Matrices, G. Viehstaedt and A. Ambler, Journal of Visual Languages and Computing, 273-298, Sept. 1992.
- Margaret Burnett's PhD Thesis (Univ. Kansas, 1991): Abstraction in the Demand-Driven, Temporal-Assignment, Visual Language Model. To get a copy, local (OSU) folks can go to the dept. office and ask for research paper #BUR5.
Excerpts as papers:
- VL'92 paper:A
Declarative Approach to Event-Handling in Visual Programming
Languages, M. Burnett and A. Ambler, 1992 IEEE Workshop on
Visual Languages, Seattle, Washington, September 1992.
- AVI'92 paper: Generalizing Event Detection and Response in Visual Programming Languages, M. Burnett and A. Ambler, Advanced Visual Interfaces, Rome, Italy, May 1992.
- VL'93 paper:Types and Type
Inference in a Visual Programming Language, M. Burnett,
1993 IEEE Symposium on Visual Languages, 238-243, Bergen, Norway, Aug.
1993.
- JVLC paper (1994): :Interactive Visual Data Abstraction in a Declarative Visual Programming Language, M. Burnett and A. Ambler, Journal of Visual Languages and Computing, 29-60, March 1994.
Last modified: Mar. 25, 2016
Margaret M. Burnett, burnett@cs.orst.edu