CURRICULUM VITAE

P. David Stotts, Jr.

EDUCATION

• Ph.D. Computer Science, Univ. of Virginia, August 1985. Dissertation: "A Hierarchical Graph Model of Concurrent Real-Time Software Systems." Advisor: Terrence W. Pratt.
• M.S. Computer Science, Univ. of Virginia, August 1981. Thesis: "A Formal Semantic Definition of Modula."
• B.S. summa cum laude, Mathematics and Physics, Univ. of Richmond, May 1979.

ACADEMIC APPOINTMENTS

• 7/2006 to present, Professor, Dept. of Computer Science, University of North Carolina, Chapel Hill.
• 8/1997 to 5/2007, Associate Chair for Academic Affairs, Dept. of Computer Science, University of North Carolina, Chapel Hill.
• 8/1992 to 7/2006, Associate Professor, Dept. of Computer Science, University of North Carolina, Chapel Hill.
• 9/1992 to 8/1996, Research Associate, CESDIS, NASA Goddard SFC.
• 8/1991 to 7/1992, Associate Professor, Computer and Information Sciences, University of Florida, Gainesville.
• 6/1989 to 8/1991, Staff Scientist, CESDIS, NASA Goddard SFC (joint appointment as UMd faculty).
• 5/1987 to 8/1991, Applied Mathematics adjunct faculty, University of Maryland, College Park.
• 9/1986 to 8/1991, Research faculty, Inst. for Advanced Computer Studies, Univ. of Maryland, College Park.
• 8/1985 to 8/1991, Assistant Professor, Computer Science Department, Univ. of Maryland, College Park.
• 9/1984 to 5/1985, acting Assistant Professor, Computer Science Department, University of Virginia.

BIBLIOGRAPHY

Refereed Books and Chapters

1. J. Mc. Smith and D. Stotts, "Elemental Design Patterns and Compositional Detection Methods for Object Oriented Source Code," Design Pattern Formalization Techniques, T. Taibi (ed.), IGI Publishing, 2007, pp. 123-155. (pdf)
2. D. Stotts, "Perl," The Internet Encyclopedia, H. Bidgoli (ed.), John Wiley, vol. 3, pp. 34-50, 2004. (pdf)
3. R. Furuta and P. D. Stotts, "Trellis: A Formally-defined Hypertextual Basis for Integrating Task and Information," in Coordination Theory and Collaboration Technology, G. M. Olson, T. M. Malone, J. B. Smith (eds.), Lawrence Erlbaum Assoc., 2001, pp. 341-367.
4. D. Stotts, P. Dewan, J. Navon, and J. Munson, "A Three-Level Binding for Collaborative Editing Semantics," in Groupware and Authoring, Roy Rada (ed.), Kluwer Pub., 1996, pp. 297-324.
5. P. D. Stotts and R. Furuta, "Modeling and prototyping collaborative software processes," in Information and Collaboration Models, S. Y. Nof (ed.), Kluwer Academic Publishers, Boston, 1994, pp. 365-390. (pdf)
6. M. C. McElvany and P. D. Stotts, "Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches," in Advances in Ultra-Dependable Distributed Systems, N. Suri, C. J. Walter, and M. M. Hugue (eds.), IEEE Computer Society Press, 1994, pp. 221-251.
7. R. Furuta and P. D. Stotts, "Separating Hypertext Content from Structure in Trellis," in Hypertext: State of the Art, ed. C. Greene and R. McAleese, Intellect, Inc., 1990, pp. 205-213.
8. P. D. Stotts, "Graphical Operational Semantics for Visual Concurrent Computation," in Visual Languages and Visual Programming, ed. S.-K. Chang, Plenum press, 1990, pp. 119-142.
9. P. D. Stotts, "The PFG Language: Visual Programming for Concurrent Computation" In "Visual Programming Environments: Paradigms and Systems", E.P. Glinert (editor), pp. 558-565. IEEE Computer Society Press, 1990. Reprinted from the Proceedings of the 1988 International Conference on Parallel Processing (Pennsylvania State University), pp. 72-79.
10. R. Furuta and P. D. Stotts, "Specifying Structured Document Transformations," in J. C. van Vliet, editor, Document Manipulation and Typography, Cambridge University Press, 1988, pp. 109-120.
11. P. D. Stotts, "A Comparative Survey of Concurrent Programming Languages," in Concurrent Programming, ed. N. Gehani and A. McGettrick, Addison-Wesley, 1988, pp. 419-435.

Refereed Articles

1. D. Stotts, Yu Ji, Bricks: Extreme Active Learning for Introductory Programming, in SIGCSE '20: Proceedings of the 51st ACM Technical Symposium on Computer Science Education, Portland, OR, March 11-14, 2020, pp 1418.
2. D. Stotts, “Digital ‘Show-How’: Extreme Active Learning for Introductory Programming,” Proc. of the 14th International Conference on Computer Science and Education (ICCSE 2019, an IEEE conference), Toronto, Canada, Aug. 19-21, 2019, pp. 755-760.
3. D. Stotts, “Digital ‘Show-How’: Active Methods for Teaching Programming,” poster at Frontiers of Engineering Education Symposium, National Academy of Engineering, Sept. 25-28, 2016, Irvine, CA. Summary publication at https://www.naefoee.org/symposia/currentsymposium.aspx
4. K. Lee, D. Stotts, J. Moore-Myers, E. Treasure, R. Herring, S. McNulty, "Integrating GIS Visualization Tools for Ecosystem Management," Sixth Int'l Conf. on Advanced Geographic Information Systems, Applications, and Services (GEOProcessing 2014), Barcelona, Spain, March 23-27, 2014.
5. K. Lee and D. Stotts, "Composition of Bioinformatics Scientific Model Federations using Communication Aspects," IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM 2012), Philadelphia, PA, Oct. 4-7, 2012.
6. D. Stotts, K. Lee, and I. Rusyn, "Supporting Computational Systems Science: Genomic Analysis Tool Federations using Aspects and AOP," Proc. of the Intl. Symp. on Bioinformatics Research and Applications (ISBRA '08), Atlanta, GA, May 6-9, 2008; in Lecture Notes in Bioinformatics 4983, Mandoiu, Sunderraman and Zelikovsky (Eds.), Springer-Verlag, 2008, pp. 457-468.
7. D. Miller, K. Gyllstrom, J. Culp, and D. Stotts, "Semi-transparent Video Interfaces to Assist Deaf Persons in Meetings", ACMSE: 45th ACM Southeast Conference, Wiston-Salem, NC, March 23-24, 2007, pp. 501-506.
8. K. Gyllstrom, D. Miller, and D. Stotts, "Techniques for Improving the Visibility and `Sharability' of Semitransparent Video in Shared Workspaces", ACMSE: 45th ACM Southeast Conference, Wiston-Salem, NC, March 23-24, 2007, pp. 425-430.
9. D. Miller, K. Gyllstrom, J. Culp, and D. Stotts; "Facetop tablet: Note-taking assistance for deaf persons," Proc. of the 8th Int'l. ACM SIGACCESS Conference on Computers and Accessibility, Portland, OR, Oct. 2006, pp. 247-248 (refereed poster presentation).
10. K. Navoraphan, E. F. Gehringer, J. Culp, K. Gyllstrom, and D. Stotts; "Next-generation DPP with Sangam and Facetop," Proc. of the 2006 OOPSLA Workshop on Eclipse Technology eXchange, Portland, OR, Oct. 2006, pp. 6-10.
11. J. McC. Smith and D. Stotts, "SPQR: Formalized Design Pattern Detection and Software Architecture Analysis," Working IEEE/IFIP Conference on Software Architecture (WICSA), Pittsburgh, PA, Nov. 6-10, 2005. (pdf)
12. D. Stotts, J. Smith, and K. Gyllstrom, "Support for Distributed Pair Programming in the Transparent Video Facetop," XP/Agile Universe 2004, Calgary, Aug 15-18, pp. 92-104. (25% acceptance rate); received Best Paper award. (pdf)
13. D. Stotts, J. Smith, and K. Gyllstrom, "FaceSpace: Endo- and Exo-Spatial Hypermedia in the Transparent Video Facetop," ACM Hypertext 2004, Santa Cruz, Aug 15-18, pp. 48-57 (25% acceptance rate). (pdf)
14. D. Stotts and R. Furuta, "Language-theoretical Classification of Hypermedia Paths," ACM Hypertext 2004, Santa Cruz, Aug 15-18, pp. 40-41. (25% acceptance rate). (pdf)
15. D. Stotts, J. Smith, and Dennis Jen, "The Vis-a-Vid Transparent Video FaceTop" User Interface Software and Technology (UIST), Vancouver, Nov. 3-5, 2003, pp. 57-58. (paper and demo presentation). (pdf)
16. Herington, D., and D. Stotts, "DeCo: A Declarative Coordination Framework for Scientific Model Federations," Automated Software Engineering 2003, Montreal, Oct. 6-10, 2003, pp. 60-69. (22 of 170 acceptance rate, 13%). (pdf)
17. Smith, J., and D. Stotts, "SPQR: Flexible Automated Design Pattern Extraction from Source Code," Automated Software Engineering 2003, Montreal, Oct. 6-10, 2003, pp. 215-224. (22 of 170 acceptance rate, 13%). (pdf)
18. Stotts, D., L. Williams, N. Nagappan, P. Baheti, D. S. Jen, and A. Jackson, "Virtual Teaming: Experiments and Experiences with Distributed Pair Programming," XP Universe 2003, New Orleans, Aug. 10-13, 2003, LNCS 2753 (Springer), pp. 129-141 (30% acceptance rate). (pdf)
19. Stotts, D. and Smith, J., "Semi-Automated Hyperlink Markup for Archived Video," ACM Hypertext 2002, College Park, MD, June 11-15, 2002, pp. 105-106 (20% acceptance rate). (pdf)
20. J. Navon and D. Stotts, "Model Checking CobWeb Protocols for Verification of HTML Frames Behavior," Proc. of WWW 2002, Honolulu, Hawaii, May 7-11, 2002, pp. 182-190 (16% acceptance rate). (pdf)
21. Smith, J, and D. Stotts, "Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture," Proc. of 27th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, MD, Dec. 5-6, 2002, pp. 183-190 (30% acceptance rate). (pdf)
22. P.Baheti, L.Williams, E.Gehringer, D.Stotts, "Exploring Pair Programming in Distributed Object-Oriented Team Projects," Educator's Workshop, OOPSLA 2002, Seattle, Nov. 4-8, 2002, 6pp. (25% acceptance rate). (pdf)
23. Stotts, D., S. Kim, J. Navon, J. Prins, L. Nyland, "CobWeb: Visual Design of Collaboration Protocols for Dynamic Group Web Browsing," Visual Computing 2002 (Distributed Multimedia 2002), San Francisco, Sept. 26-28, 2002, pp. 595-598. (pdf)
24. Stotts, D., "3D Sliders: Programming Uses for 3D Object Warping in Collaborative Virtual Environments," Visual Computing 2002 (Distributed Multimedia 2002), San Francisco, Sept. 26-28, 2002, pp. 644-647. (pdf)
25. P.Baheti, L.Williams, E.Gehringer, and D.Stotts, "Exploring the Efficacy of Distributed Pair Programming," XP Universe 2002, Chicago, August 4-7, 2002; Lecture Notes in Computer Science 2418 (Springer), pp. 208-220 (40% acceptance rate). (pdf)
26. Stotts, D., M. Lindsey, and A. Antley, "An Informal Formal Method for Systematic JUnit Test Case Generation," XP Universe 2002, Chicago, August 4-7, 2002; Lecture Notes in Computer Science 2418 (Springer), pp. 131-143 (40% acceptance rate). (pdf)
27. J. Coggins and D. Stotts, "Scheduling a Software Project," Projects and Profits, Inst. of Chartered Financial Analysts of India (ed. E.N. Murthy), vol 11 (7), July 2002, pp. 28-36.
28. "A Coupled Water Column-Sediment Biogeochemistry and Hydrodynamic Model for the Neuse River Estuary," M. Alperin, J. Bowen, D. Herington, D. Stotts, 2001 Annual North Carolina Water Resources Research Conference (Watersheds to Estuaries: Basin Management in the 21st Century), March 29, 2001, Raleigh NC.
29. J. Smith, D. Stotts, and S.-U. Kum, "An Orthogonal Taxonomy for Hyperlink Anchor Generation in Video Streams using OvalTine," Proc. of Hypertext 2000 (ACM), May, 2000, San Antonio, Texas, pp. 11-18 (20% acceptance rate). (pdf)
30. P. D. Stotts, R. Furuta, and C. Ruiz Cabarrus, "Hyperdocuments as Automata: Verification of Trace-based Browsing Properties by Model Checking," ACM Trans. on Information Systems, vol. 16, no. 1, January 1998, pp. 1-30. (pdf)
31. B. Thomas, D. Stotts, and L. Kumar, "Warping Distributed System Configurations," Proc. of the Int'l Conf. on Configurable Distributed Systems, Annapolis, MD, May, 1998, pp. 136-143. (pdf)
32. M. Capps and D. Stotts, "Research Issues in Developing Networked Virtual Realities," Proc. of the 6th WETICE Conf., June 1997, Cambridge MA, pp. 205-211. (pdf)
33. B. Ladd, M. Capps, D. Stotts, "The World Wide Web: What Cost Simplicity?" Proc. of ACM Hypertext '97, Southampton, UK, April 1997, pp. 210-211. (pdf)
34. M. Capps, B. Ladd, D. Stotts, "Enhanced Graph Models in the Web: Multi-client, Multi-head, Multi-tail Browsing," Computer Networks and ISDN Systems, vol. 28 (Proc. of the 5th WWW Conf., May 6-10, 1996, Paris), pp. 1105-1112. (html)
35. J. Navon, D. Stotts and R. Furuta, "Subdocument Invocation Modes in Collaborative Hyperdocuments," Computers in Industry (Elsevier), vol. 29 (1996), pp. 91-104. This is an expanded version of a paper in the WETICE '95 conference. (pdf)
36. M. Capps, B. Ladd, D. Stotts, L. Nyland, "Educational Applications of Multi-Client Synchronization through Improved Web Graph Semantics," Proc. of WETICE '96, Stanford, CA, June 1996, pp. 21-26. (pdf)
37. J. Duff, J. Purtilo, M. Capps, D. Stotts, "Software Engineering of Distributed Simulation Environments" Proc. of WETICE '96, Stanford, CA, June 1996, pp. 262-267.
38. M. Capps, D. Stotts, J. Duff, J. Purtilo, "Distributed Interoperable Virtual Environments," Proc. of the Int'l Conf. on Configurable Distributed Systems, Annapolis, MD, May 6-8, 1996, pp. 202-209. (pdf)
39. M. Hughes and D. Stotts, "Daistish: Daist-like Axiomatic Testing for OO Languages," Proc. of the Int'l Symposium on Software Testing and Analysis (ISSTA '96), San Diego, CA, January 1996, pp 53-61. (pdf)
40. B. Ladd, M. Capps, D. Stotts, and R. Furuta, "Multi-head/Multi-tail Mosaic: Adding Parallel Automata Semantics to the Web," World Wide Web Journal, O'Reilly and Associates Inc., vol. 1 (Proc. of the 4th International WWW Conference, Boston, December 11-14, 1995), pp. 433-440. (html)
41. R. Furuta and P. D. Stotts, "Dynamic Hyperdocuments: Replacing the Programming Metaphor," Comm. of the ACM, short communication in special issue on Hypermedia Design, Aug. 1995, pp. 111-112.
42. B. Ladd, M. Capps, D. Stotts, and R. Furuta, "Multi-head/Multi-tail Mosaic: Adding Parallel Automata Semantics to the Web," Proc. of the 4th International WWW Conference, Boston, December 11-14, 1995; proceedings online at http://www.w3.org/pub/Conferences/WWW4/, (html).
43. P. Dewan, K. Jeffay, J. B. Smith, D. Stotts, Wm. Oliver, "Early Prototypes of the Repository for Patterned Injury Data," Proc. of Digital Libraries '95, Austin, TX, June 1995, pp. 123-130. (pdf)
44. J. Navon, D. Stotts and R. Furuta, "Subdocument Invocation Modes in Collaborative Hyperdocuments," Proc. of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE '95), April 20-22, 1995, Berkeley Springs, W.Va., pp. 138-146. (pdf)
45. D. Stotts, J. Smith, K. Jeffay, P. Dewan, D. Smith, Wm. Oliver, "Early Experience with a repository for patterned injury data," Proc. SPIE Conf. Investigative and Trial Image Processing, Jul. 13-14, 1995, San Diego, CA, SPIE Vol: 2567, pp 249-260. (pdf)
46. R. Furuta and P. D. Stotts, "Interpreted Collaboration Protocols and their use in Groupware Prototyping," Proc. of the 1994 ACM Conference on Computer Supported Cooperative Work (CSCW '94), Research Triangle Park, NC, October 1994, pp. 121-131. (pdf)
47. P. D. Stotts and W. Pugh, "Parallel Finite Automata for Modeling Concurrent Software Systems," Journal of Systems and Software (Elsevier Science), vol. 27, 1994, pp. 27-43. (pdf)
48. P. D. Stotts, "Trellis: Process Models as Multi-reader Collaborative Hyperdocuments," Proc. of the 9th Annual Software Process Workshop, Airlie, VA, October 1994, pp. 85-89.
49. Wm. Oliver, J. Rosenman, A. Boxwala, D. Stotts, J. Smith, M. Soltys, J. Symon, T. Cullip, G. Wagner, "Applications of image processing and visualization in the evaluation of murder and assault," Visualization in Biomedical Computing 1994, R.A. Robb (editor), 2359:319-328, 1994.
50. D. Stotts, J. Smith, P. Dewan, K. Jeffay, F. D. Smith, D. Smith, S. Weiss, J. Coggins, Wm. Oliver, "A Patterned Injury Digital Library for Collaborative Forensic Medicine," Proc. of Digital Libraries '94, College Station, TX, June 1994, pp. 25-33. (pdf)
51. P. D. Stotts and J. M. Purtilo, "Virtual Environment Architectures: Interoperability through Software Interconnection Technology," Proc. of the Third Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, April 17-19, 1994, Morgantown, W.Va. (IEEE Computer Society Press), pp. 211-224. (pdf)
52. D. I. Hopp and P. D. Stotts, "System-independent Descriptions of the Dynamic Behaviors of Electronic Submissions," Proc. of the Drug Information Association Document Management and Imaging Conference: Domestic and International Issues and Solutions including a CANDA Update, Feb. 14-15, 1994, Philadelphia.
53. P. D. Stotts and R. Furuta, "The Trellis Hypertext Project: Process modeling for CSCW," Proc. of the Workshop on CSCW, Petri nets and related formalisms, Chicago, June 22, 1993, pp. 1-12.
54. P. D. Stotts and R. Furuta, "Hypertextual Concurrent Control of a Lisp Kernel," Journal of Visual Languages and Computing (Academic Press), vol. 3, no. 2, June 1992, pp. 221-236.
55. P. D. Stotts and P. Godfrey, "Place/Transition Nets with Debit Arcs," Information Processing Letters (Elsevier Science), vol. 41, no. 1, January 1992, pp. 25-33. (pdf)
56. P. D. Stotts, R. Furuta, and J. C. Ruiz, "Hyperdocuments as Automata: Trace-based Browsing Property Verification," Proc. of the 1992 European Conference on Hypertext (ECHT92), Milan, Italy, December 1992, pp. 272-281.
57. R. Furuta, P. D. Stotts, and Gregory D. Drew, ``Experiences with a Client-Server-based Architecture for a Distributed Structured Hypertext System,'' in C. Vanoirbeek and G. Coray, editors, EP92: Proc. of Electronic Publishing, 1992 (April 8-10, 1992, Lausanne, Switzerland), Cambridge University Press, 1992, pp. 113-125.
58. M. C. McElvany and P. D. Stotts, "Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches," Journal of Real-Time Systems (Kluwer Academic), vol. 3, September 1991, pp. 275-305.
59. R. Furuta, P. D. Stotts, and J. Ogata, "Ytracc: A Parse Browser for Yacc Grammars," Software-Practice and Experience (Wiley), vol. 21, no. 2, February 1991, pp. 119-132.
60. P. D. Stotts and R. Furuta, "Dynamic Adaptation of Hypertext Structure," Proc. of Hypertext '91 (ACM), December 15-18, 1991, San Antonio, Texas, pp. 219-231.
61. R. Furuta and P. D. Stotts, "A Functional Meta-Structure for Hypertext Models and Systems" Electronic Publishing-Origination, Dissemination, and Design (Wiley), vol. 3, no. 4, November 1990, pp. 179-205. (pdf)
62. P. D. Stotts and R. Furuta, "alpha-Trellis: A System for Writing and Browsing Petri-Net-Based Hypertext," in Advances in Petri Nets 1990, Lecture Notes in Computer Science series, Springer-Verlag, 1990, pp. 471-490.
63. R. Furuta and P. D. Stotts, ``Generalizing Hypertext: Domains of the Trellis Model'', Techniques et Science Informatiques (French Computer Society), vol. 9, no. 6, November 1990, p. 493-503.
64. L. Gallagher, R. Furuta, and P. D. Stotts, "Increasing the Power of Hypertext Search with Relational Queries," Hypermedia (Taylor Graham), vol. 2, no. 1, 1990, pp. 1-14.
65. P. D. Stotts and R. Furuta, "Temporal Hyperprogramming," Journal of Visual Languages and Computing (Academic Press), vol. 1, no. 3, September 1990, pp. 237-253.
66. P. D. Stotts and R. Furuta, "Browsing Parallel Process Networks," Journal of Parallel and Distributed Computing (Academic Press), vol. 9, no. 2, 1990, pp. 224-235. (pdf)
67. P. D. Stotts, "Bounding Procedure Execution Times in a Synchronous Petri Net Computation Model," Computer Systems: Science and Engineering (Butterworth Scientific), vol. 5, no. 4, October 1990, pp. 205-214.
68. P. D. Stotts and T. W. Pratt, "Coverability Graphs for a Class of Synchronously Executed Unbounded Petri Net," Journal of Parallel and Distributed Computing (Academic Press), vol. 10, no. 3, November 1990, pp. 253-260.
69. P. D. Stotts and R. Furuta, "Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext," Proc. of the 1990 European Conference on Hypertext, Paris, November 1990, pp. 180-193.
70. R. Furuta and P. D. Stotts, "The Trellis Hypertext Reference Model," Proc. of the Workshop on Hypertext Standardization, Special Publication SP500-178, National Institute of Standards and Technology, Gaithersburg, MD, January 1990, pp. 83-93.
71. P. D. Stotts and R. Furuta, "Petri Net Based Hypertext: Document Structure with Browsing Semantics," ACM Trans. on Information Systems (ACM), vol. 7, no. 1, January 1989, pp. 3-29. (pdf)
72. P. D. Stotts, R. W. Newcomb and Z. N. Cai, "Modeling the Logical Structure of Flexible Manufacturing Systems with Petri-nets," Computer Communications (Butterworth Scientific), vol. 12, no. 4, August 1989, pp. 193-203.
73. M. Weiser, D. Notkin, B. Meyer, M. Green, G. Pearson, D. Stotts, T. Wasserman, A. Wolf, and R. Furuta, "Landscaping for Programming Environments," Requirements for a Software Engineering Environment: Proc. of the University of Maryland Workshop on Programming Environments, Ablex Publishing Corp., 1989, pp. 27-49.
74. R. Furuta and P. D. Stotts, "Programmable Browsing Semantics in Trellis," Proc. of Hypertext '89 (ACM), Pittsburgh, November 1989, pp. 27-42.
75. P. D. Stotts and R. Furuta, "alpha-Trellis: A System for Writing and Browsing Petri-Net-Based Hypertext," Proc. of the Tenth International Conference on Application and Theory of Petri Nets, Bonn, W. Germany, June 1989, pp. 312-328.
76. R. Furuta and P. D. Stotts, "Separating Hypertext Content from Structure in Trellis," Proc. of the Hypertext II Conference, University of York, UK, June 29-30, 1989.
77. P. D. Stotts and R. Furuta, "Access Control in Petri-Net-Based Hyperdocuments," Proc. of the IEEE Computer Assurance '89 Conference (COMPASS 89), Gaithersburg, MD, June 19-23, 1989, pp. 49-55.
78. R. Furuta and P. D. Stotts, "Object Structure in Paper Documents and Hypertexts," Proc. of the Workshop in Object-Oriented Document Manipulation (WOODMAN 89), Rennes, France, May 29-31, 1989, pp. 147-151.
79. P. D. Stotts and R. Furuta, "Alph-alpha: An Authoring Language for Petri-Net-Based Hypertext," Proc. of the Hypertext II Conference, University of York, UK, June 29-30, 1989.
80. P. D. Stotts and R. Furuta, "Adding Browsing Semantics to the Hypertext Model," Proc. of the 1988 ACM Conference on Document Processing Systems, Santa Fe, New Mexico, December 1988, pp. 43-50. (pdf)
81. P. D. Stotts, "Expressing High-Level Visual Concurrency Structures in the PFG Kernel Language," Proc. of the IEEE 1988 Workshop on Visual Languages, Pittsburgh, Pennsylvania, October 1988, pp. 168-174.
82. P. D. Stotts and Z. N. Cai, "Hierarchical Graph Models of Concurrent CIM Systems," Proc. of the 6th International Workshop on Languages for Automation, College Park, Maryland, August 1988, pp. 100-105.
83. P. D. Stotts, "The PFG Language: Visual Programming for Concurrent Computation," Proc. of the 1988 International Conference on Parallel Processing, Vol. II: Software, St. Charles, Illinois, August 1988, pp. 72-79.
84. P. D. Stotts, R. Furuta and J. Ogata, "The Visible Tool Shop: Increasing Programmer Productivity through Visual Displays," Proc. of the 27th Annual Technical Symposium of the Washington, D.C. Chapter of the ACM: Productivity-Progress, Prospects, and Payoff, Gaithersburg, Maryland, June 9, 1988, pp. 77-83.
85. P. D. Stotts and Z. N. Cai, "Modeling Temporal Behavior of Robot Lattices with Binary Timed Petri Nets," Proc. of the 12th IMACS World Congress '88 on Scientific Computing, Paris, France, July 1988.
86. R. Furuta and P. D. Stotts, "Specifying Structured Document Transformations," Proc. of the 1988 International Conference on Electronic Publishing, Document Manipulation, and Typography, Nice, France, April 1988, pp. 109-120. Proceedings published as Document Manipulation and Typography, J. C. van Vliet (editor), Cambridge University Press, 1988.
87. P. D. Stotts, "The PFG Environment: Parallel Programming with Petri Net Semantics," Proc. of the 21st Hawaii International Conference on System Sciences, vol. II, Kailua-Kona, Hawaii, January 1988, pp. 630-638.
88. P. D. Stotts, "Achieving Software Reusability with a Formal Semantic Model of Real-Time, Concurrent Computation," Proc. of the 10th Annual Minnowbrook Software Workshop (Software Reuse), Minnowbrook Conference Center, Blue Mountain Lake, NY, July 28-31, 1987.
89. P. D. Stotts, "Software Modeling with Timed Petri Nets in the PFG Environment," Proc. of the 26th Annual Technical Symposium of the Washington, D.C. Chapter of the ACM: Next Generation Information Systems, Gaithersburg, Maryland, June 11, 1987, pp. 123-129. Also appears as U.Md. technical report CS-TR-1712.
90. P. D. Stotts and T. W. Pratt, "Hierarchical Modeling of Software Systems with Timed Petri Nets," Proc. of the International Workshop on Timed Petri Nets, Torino, Italy, July 1-3, 1985, pp. 32-39. Also appears as U.Va. technical report CS-TR-85-01.

Columns, Editorials, Miscellaneous Publications

1. D. Stotts, "Timed links solve the ``Stale URL'' problem," SIGLINK Newsletter, vol. 4, no. 3, Dec. 1995, p. 6-7.
2. P. D. Stotts, "Tool Review: Software Through Pictures, by IDE Inc." Journal of Visual Languages and Computing, vol. 4, no. 3, June 1993, pp. 201-209.
3. P. D. Stotts and R. Furuta, "Hyperprograms: Concurrent Automata as Information Structures," Proc. of the 29th Allerton Conference on Communication, Control, and Computing, University of Illinois, Urbana-Champaign, October 2-4, 1991, pp. 272-281; invited paper.
4. P. D. Stotts and R. Furuta, "Hypertext 2000: Databases or Documents?," Electronic Publishing-Origination, Dissemination, and Design, vol. 4, no. 2, June 1991, pp. 119-121.

In Preparation and Submitted

1. D. Stotts, K. Leith, K. Katzenmeyer, "Bricks: Active Learning for Introductory Programming", in preparation.
2. D. Stotts, D. Crowder, D. Nusbaum, J. Wohlfert, "Bricks: A Collaborative System for Pair-Learning in Introductive Programming," in preparation.

HONORS, AWARDS, FELLOWSHIPS

• i3@UNC Fellow (Instructional Innovation Incubator), Jan. 2016, UNC General Administration, Office of the VP for Learning Technology and Innovation. This position provides a summer experience with professional designers developing software that embodies novel learning concepts.
• Best Paper Award, XP/Agile Universe Conference, Calgary, Aug 15-18, 2004.
• Member, Tau Beta Pi (University of Virginia, 1981).
• Member, Phi Beta Kappa (University of Richmond, 1978).

RESEARCH GRANTS AND CONTRACTS

• PI, "Active Learning through Collaborative Programming," UNC Chapel Hill Center for Faculty Excellence, $5,000, 6/2015
• Graduate Student funding, UNC-CH General Administration, $30,000, 9/2015 - 8/2016.
• PI, "Active Learning Methods for Programming," Faculty Development Award, $10,000, IBM, 3/21/2015.
• PI, "Active Learning Methods for Teaching Introductory Programming," UNC Chapel Hill Center for Faculty Excellence, $5,000, 6/2014
• PI, "Active Learning Methods for Teaching Introductory Programming," UNC General Administration, $35,000, 6/2013
• PI, "Software Design Patterns," Faculty Development Award, $20,000, IBM, 3/5/2012.
• co-PI, "The Carolina Environmental Bioinformatics Research Center," $4,250,000, 10/1/05 to 9/30/10, US Environmental Protection Agency.
• PI, "Providing access to UML Diagrams in Eclipse to the community of visually-impaired programmers," IBM Eclipse Innovation Award, 6/1/05 -- 5/31/06, $20,000 (to UNC CS).
• Co-Investigator (joint with CEP and Pechan, Inc.), "Methods for Cooperative Geographic Data Interchange," Western States Environmental Research Coucil, 2/1/04 -- 08/31/06, $60,127 (to UNC CS).
• IBM Dissertation Fellowship, for Dorian Miller, 9/1/05 -- 8/31/06, $25,000 (to UNC CS).
• PI, "Collaborative Interfaces for Medical Information Systems," Washington Hospital Centers, 6/1/05 -- 12/31/05, $8,000 (to UNC CS).
• Co-PI (joint with NCSU and NCSC), "Integrating Watershed Models into MIMS," EPA, 9/1/02 -- 08/31/04, $301,167.
• PI, "An Object-Oriented Integrating Framework for Multi-discipline Ecosystem Modeling," EPA, 99-STAR-Q1 program, 6/1/00 -- 5/31/03, $863,049.
• Co-I, "Development of a Surface Water Object-Oriented Modeling System (SWOOMS) for the Neuse River Estuary, North Carolina," (R. Luettich PI), EPA, 99-STAR-Q1 program, 10/1/99 -- 9/30/02, $897,859.
• PI, "System Design for EPA OO Models Framework," EPA, 6/1/00 -- 5/31/01, $20,000.
• PI, "System Design for EPA OO Models Framework," EPA, 6/1/99 -- 5/31/00, $20,000.
• PI, "Formal Collaboration Protocols: First-class Interaction Semanticws for Multi-user Distributed Systems," NSF, IIS, CSS program, 7/1/98 -- 6/30/01, $303,180.
• Co-PI (with Dewan, Jeffay, Smith) "Collaboration Bus: An Infrastructure for Supporting Interoperating Collaborative Systems," DARPA, 9/1/96 - 8/31/99, $999,668
• Co-PI, "Infrastructure for Research in Collaboration Systems," NSF CISE Research Infrastructure Program, 8/1/96 -- 7/31/01, $640,404.
• Co-PI (with Prins), "Software Infrastructure for the Rapid Development of Interactive and Collaborative Educational Simulations," ARPA, CAETI program, 6/1/95 - 5/31/97, $200,000.
• Co-Principal Investigator (with J. Purtilo), "Virtual Environment Architectures: Interoperability and Infrastructure," ONR, $420,023 total ($120,000 to UNC), 1/1/94 - 12/31/96.
• PI, "Software Process Research," University Research Council, UNC-CH, $1,000, 1/1/94-12/31/94 (support for European collaboration).
• Principal Investigator, "Hyperprogramming for Pen-based Computers," NSF, grant #IRI-9214046, 6/1/93 to 5/31/94, $20,360.
• Principal Investigator, "sTrellis: Creation and Application of Software Process Models," SERC Industrial Affiliates Board (with Univ. of Florida), 9/1/91 to 8/31/93, $39,798.
• Participating researcher (with R. Furuta, PI), "Extending UIMS to Gestural Input: Phase II" Maryland Industrial Partnership program, 3/1/92 to 2/28/93, $60,000.
• Principal Investigator (with R. Furuta), "Distributed Concurrent Hypertext for Multireader Cooperative Systems" NSF, IRIS Division, Coordination Theory Initiative, grant #IRI-9015439, 9/1/90 to 2/28/93, $90,000.
• Principal Investigator (with R. Furuta), "Structured Authoring in a Unified Net-based Hypertext Model," NSF, IRIS Division, grant #IRI-9007756, 8/15/90 to 1/31/93, $153,704.
• Principal Investigator (with R. Furuta), "Extending UIMS to Gestural Input," Maryland Industrial Partnerships program, 5/1/91 to 4/30/92, $60,365.
• Principal Investigator (with R. Furuta), "Visualization in Software Engineering," Northrop Research and Technology Center, 1/1/90 to 12/31/90, $20,000.
• Participant (with J. Purtilo, PI), "Common Prototyping Language" Honeywell Systems Research Center, Minneapolis, MN, 6/1/90 to 5/31/91, $110,000.
• Principal Investigator, "Modeling and Analysis of Time-dependent Concurrent Software Systems with Timed Petri Nets," National Bureau of Standards, Factory Automation Systems Division, grant #60NANB7D0713, 3/1/87 to 1/31/88, $19,995.
• Principal Investigator (with R. Furuta), "The Visible Tools Shop," FULCRUM Round II (IBM through University of Maryland), grant #M300, 11/1/86 to 10/31/87, includes two IBM RT PC systems, two printers, Unix software, with estimated value $45,000.
• Principal Investigator (with M. Weiser, R. Furuta, and G. Johnson), "Visible tool development and windowing research," AT&T equipment grant 1986 to 1987, includes six 7300 UNIX PCs, six Blit terminals, one 3B2 computer, Unix software and associated packages with estimated value $100,000.

PATENT ACTIVITY

• "Methods and Systems for Controlling a Computer using Video Image and For Combining the Video Image with a Computer Desktop," U.S. Patent Application Serial No. PCT/US04/22268, David Stotts and Jason Smith, patent no. 7,982,751 granted July 27, 2011.
• "Methods and Systems for Identifying Computer Program Source Code Constructs," U.S. Patent Application Serial No. 60/527,418, Jason Smith and David Stotts, granted 2010.

PANELS, SEMINARS, AND INVITED LECTURES

1. Bricks: Extreme Active Learning for Introductory Programming, refereed, invited, 45 minuute live demo of research software at SIGCSE '20: the 51st ACM Technical Symposium on Computer Science Education, Portland, OR, March 11-14, 2020. (conference canceled due to COVID-19).
2. "Bricks: Active Learning for Programming," Friday Center, UNC-CH, Chapel Hill, NC, 12/18/2015.
3. "Bricks: Active Learning for Programming," UNC General Administration, Chapel Hill, NC, 10/21/2015.
4. "Facetop: Integrating Video Conferencing with Collaborative Desktop Information," SURA/ViDe 2006, Atlanta, GA, March 28, 2006.
5. "Advances in Assistive Technology," IBM University Day, RTP, NC, Oct. 27, 2005.
6. "The Transparent Video Facetop and Collaborative Video Conferencing," Tarheel Mac Users Group, Chapel Hill, NC, March 1, 2005.
7. "The Transparent Video Facetop and Collaborative Video Conferencing," IBM University Day, RTP, NC, Oct. 14, 2004.
8. "Distributed Pair Programming and the Transparent Video Facetop," Multimedia Users Group, NC State, Oct. 7, 2004.
9. "Distributed Pair Programming and the Transparent Video Facetop," IBM Tech Conference, April 21, 2004.
10. "Experiments and Experiences with Distributed Pair Programming," Univ. of Richmond Computer Science Dept., Dec. 1, 2003.
11. "Towards a Formal Design Calculus for Software-Intensive Systems," NSF Workshop on Science of Design, Airlie Center, VA, Nov. 2-4, 2004.
12. "Federated Scientific Models," Carolina Environmental Program, Oct. 3, 2003.
13. "Object Oriented Software Design: The Fundamentals," EPA Research Seminar, RTP, April 1999.
14. "An Overview of Design Patterns," EPA Research Seminar, RTP, February 1999.
15. "Hypermedia: Fundamentals of the World Wide Web and Internet," Internet Independence Day Conference, October 5, 1996, Guatemala City.
16. "Hypermedia: Fundamentals of the World Wide Web and Internet," October 4, 1996, Escuela Politecnica, Guatemala.
17. "A Digital Library for Collaborative Forensic Pathology," Sigma Xi Research Seminar, Texas A&M Univ., April 9, 1996.
18. "Hypertext, Hypermedia, and Hyperprogramming," ACM Chapter, RTP, June 22, 1995.
19. "Model Checking for Analysis of Software Processes," GTE Corporate Research, Boston, May 19, 1995.
20. "Semi-automated Testing of OO Programs with Algebraic Specifications," GTE Government Systems, Boston, May 19, 1995.
21. "Hypertext, Hypermedia, and Hyperprogramming," Elon College, April 13, 1995.
22. "Hypertext, Hypermedia, and Hyperprogramming," William and Mary College, April 7, 1995.
23. "Hypertext, Hypermedia, and Hyperprogramming," Hampton University, April 7, 1995.
24. "Hypermedia: Issues, Systems, Solutions," presented at the Technology Symposium, Intel Corp., Portland, OR, April 11-12, 1994.
25. "The Trellis Project: Collaborative Multireader Hypermedia" presented at the Computer Science Department, Mercer University, Macon, GA, January 21, 1994.
26. "Modeling and prototyping collaborative software processes," presented at the NATO Advanced Research Workshop on Integration of Information and Collaboration Models, Il Ciocco, Italy, June 6-11, 1993.
27. "Temporal Hyperprograms and their Applications" presented at the Computer Science Department, Radford University, Radford, Virginia, April 7, 1993.
28. "Temporal Hyperprograms and their Applications" presented at the Computer Science Department, Florida International University, Miami, Florida, April 1, 1993; presented at the Computer Science Department, Univ. of Miami, April 1, 1993; presented at the Computer Science Department, Florida Atlantic Univ., Boca Raton, April 2, 1993.
29. "Trellis: A Collaborative Hypertext Model and its Applications," presented at the Computer Science Department, Old Dominion University, Norfolk, Virginia, March 3, 1993.
30. "Model Checking for Verification of Hyperbase Schemas," presented at the NSF Hyperbase Workshop, October 15-16, 1992.
31. "A formal model of hyperetxt and its applications," presented at the Department of Mathematics, Univ. of Richmond, VA, October 12, 1992.
32. "Exploratory Verification: Extracting Trace Specifications from Legacy Code," presented at Bell Northern Research, Research Triangle Park, NC, October 1, 1992.
33. "Trellis: From Hypertext Browsing Semantics to Collaboration Protocols," presented in the Computer Science Department, University of North Carolina at Chapel Hill, April 2, 1992.
34. "Global Competition in Software Engineering," presented at the 4th International Conference on Strategic Software Systems, Huntsville, Alabama, March 10, 1992.
35. "Automated Verification of Browsing Semantics in Hypertext," Logic Seminar series, Mathematics Department, University of Florida, February 11, 1992.
36. "Temporal Hyperprogramming," Lehigh University, February 7, 1992.
37. "Temporal Hyperprogramming," Moravian College, February 6, 1992.
38. "Distributed Concurrent Hypertext for Multireader Cooperative Systems," NSF Collaboration Theory and Coordination Technology workshop, Washington, D.C., June 3-5, 1991.
39. "The Trellis Project: Temporal Visual Hyperprogramming," Department of Computer Science, University of Virginia, Charlottesville, March 18, 1991.
40. "The Trellis Project: Temporal Visual Hyperprogramming," College of Computing, Georgia Institute of Technology, Atlanta, March 13, 1991.
41. "Trellis Hyperprograms as Image Browsing Indexes," Space Telescope Science Institute, Johns Hopkins University, Baltimore, December 4, 1990.
42. "Hypertext 2000: Databases or Documents?" TechWorld 2000, Washington D.C., November 6, 1990.
43. "Trellis Hyperprograms as Image Browsing Indexes," CESDIS Workshop on Mission to Planet Earth, NASA Goddard Space Flight Center, Greenbelt, Maryland, October 17, 1990.
44. "Hypertext and Visual Programming: Similarities and Differences" panel discussion arranged for the Visual Languages '90 Workshop, Chicago, October 4-6, 1990.
45. "Automated Verification of Reader/Document Interaction in Trellis," Department of Computer Science, University of Illinois, Urbana-Champaign, October 3, 1990.
46. "Research Directions in Trellis," Xerox Webster Research Center, Rochester, New York, April 18, 1990.
47. "University Research Directions in Hypertext," NIST Hypertext Systems and Applications Workshop, National Institute of Standards and Technology, Gaithersburg, Maryland, October 23, 1989.
48. "Aspects of Document Security in Petri-Net-Based Hypertext," National Computer Security Center, National Security Agency, Baltimore, Maryland, January 5, 1989.
49. "System Modeling with Timed Petri Nets," National Bureau of Standards, Factory Automation Division, Gaithersburg, Maryland, September 18, 1987.
50. "PFG: Graphical Programming for Parallel Systems," First Minnowbrook Workshop on Evaluation of High-Performance Computers, Minnowbrook Conference Center, Blue Mountain Lake, New York, July 28, 1987.

TEACHING EXPERIENCE

• Summer 2018, 2019, Fall 2019, Spring 2020: CCO COMP 110 (25 students).
• Fall 2017, 2018, 2019: COMP 410 (300 students),
• Spring 2017, 2018, 2019, 2020: COMP 410 (300 students), COMP 523 (60 students).
• Spring 2016: COMP 410 (171 students), COMP 523 (45 students), COMP 915 (co-teach, 13 students),
• Fall 2015: COMP 110H (42 students), COMP 410 (75 students)
• Spring 2015: COMP 723 (19 students), COMP 523 (48 students)
• Fall 2014: COMP 110 (123 students)
• Spring 2014: COMP 523 (40 students), COMP 110 (14 students), Honors Mentor for Matt Leming (C-START course)
• Fall 2013: COMP 110 (165 students), Honors Mentor for Matt Leming (C-START course)
• Spring 2013: COMP 723 (21 students), COMP 523 (32 students), COMP 590 (1 student)
• Fall 2012: COMP 410 (73 students), COMP 396 (1 student)
• Spring 2012: COMP 723 (10 students), COMP 396 (1 student)
• Fall 2011: COMP 410 (62 students)
• Spring 2011: COMP 723 (18 students)
• Fall 2010: COMP 110 (85 students)
• XP, Distributed XP, and Agile Processes (COMP 290-059, UNC)
  Spring 2006 (22 students) ; Spring 2004 (16 students) ; Spring 2003 (12 students) ; Spring 2002 (18 students)
  Topics: current software development methods, industrial-quality experience
• Software Design and Implementation (COMP 204, UNC-CH)
  Fall 2005 (24 students) ; Fall 2004 (40 students) ; Fall 2002 (30 students) ; Fall 2001 (24 students) ; Spring 2001 (18 students) ; Fall 1999 (46 students) ; Fall 1998 (40 students) ; Fall 1997 (42 students) ; Fall 1996 (36 students) ; Fall 1995 (30 students) ; Fall 1994 (30 students)
  Formal specification methods and verification techniques. System implementation from formal specs in an object-oriented language and in a functional language. Verification of implementation code and systematic testing guided by formal specs. OO Design patterns for large systems.
• Programming Languages (COMP 144, UNC-CH)
  Spring 2004 (30 students); Spring 2003 (30 students).
  How programming languages work under the hood. Imperative, functional, logic, object-oriented paradigms. Syntax, semantics concepts, and run-time structures.
• Software Engineering Laboratory (COMP 145, UNC-CH)
  Spring 2000 (60 students); Spring 1999 (55 students); Spring 1998 (50 students); Spring 1997 (40 students); Spring 1996 (35 students); Spring 1995 (40 students); Spring 1994 (40 students)
  Project course, team development of large software system products using clients from UNC and local industries. Contract negotiation, system sesign, testing, documentation, client acceptance, process bookkeeping.
• Topics in Computer Science (COMP 90, UNC-CH)
  Fall 1999, Ted Theodoropoulos, "Dynamic Web Site Techniques".
• Fundamentals of Programming Languages (COMP 217, Univ. of North Carolina)
  Fall 1993 (20 students)
  Basics of syntax and semantics language definition; run-time structures including stack-based memory management; static and dynamic binding; data and procedural abstractions.
• Hypertext Models and Systems (COMP 290-059, UNC-CH)
  Spring 1993 (8 students)
  Research seminar featuring readings in hypertext models, systems, and applications; analysis of structure; reading and writing non-linear, interactive documents; implementation project using research prototype.
• Files and Databases (COMP 213, UNC-CH)
  Fall 1993 (30 students); Fall 1992 (20 students)
  Basics of sequential file processing; file storage format on disk; basic database architecture; relational, hierarchical, and network data models; query languages for each model, including SQL; algebraic specification of data abstractions.
  
• Reading and Research (COMP 391, UNC-CH)
  Fall 1993; Jaime Navon, ``Topics in Hypermedia for Software Engineering Processes''

• Introduction to Computer and Information Sciences (COC 3110, Univ. of Florida)
  Spring 1992 (160 students)
  Introduction to program construction and general computation. Includes recursive and interative processes, algorithm complexity, procedural abstraction, and data abstraction. Uses the Scheme language.
  
• Software Engineering (COP 5630, Univ. of Florida)
  Summer 1992 (17 students, via NTU); Fall 1991 (15 students)
  Topics in current software research, including axiomatic and denotational verification, model checking, testing theory and practice, formal specifications, data abstraction, reuse, reliability, metrics, and software process modeling.
  
• Graduate Independent Study (COP 6789, Univ. of Florida)
  Fall 1991; Sunil Paek, ``Object-oriented concepts in hypertext''
  
• Graduate Independent Study (CMSC 838A, Univ. of Maryland)
  Spring 1991; Warren Chave, ``Graph-grammar-based Compiler Compiler for Hypertext Notations''
  Spring 1990: Ehud Rivlin, ``Application of Expert Systems to Hypertext Navigation.''
  Fall 1989: Ye Zhijiang, ``Functional Verification Techniques for Concurrent Languages.''
• Undergraduate Independent Study (CMSC 498A, Univ. of Maryland)
  Spring 1990: Bao Trinh, ``Parallel Program Browsers''
  Fall 1989: Aldian Djanin and Steve Green, ``The xTrellis hypertext system.''
  Summer 1988: George Bachman, ``An X-based Document Grammar Editor.''
  Spring 1988: Jeff Ogata, ``The Visible Tool Shop (Fulcrum).''
  Fall 1987: Jeff Ogata, ``Ytracc, an interactive grammar debugger,''
  Summer 1987: Jeff Kasselman, ``VisiParse, a tool for illustration of parsing.''
  Summer 1987: Joanna Kai, ``A CAD Tool for the PFG graphical language.''
  Spring 1987: Jeff Ogata, ``VisiLisp, an adaptation of Xlisp to Xwindows.''
• Topics in Languages and Software (CMSC 838S, Univ. of Maryland)
  Spring 1991 (14 students)
  Reading and discussion of current research papers in programming languages and software engineering, including automated verification and model checking, risk analysis, software manufacture from components, type theory and polymorphism, software process models, program dependence graphs and their use in parallel compiling.
• Petri Net Theory and Applications (CMSC 838S, Univ. of Maryland)
  Fall 1990 (15 students)
  Reading and discussion of classical Petri net theory, extensions, and current applications in software engineering, information systems, and logic.
• Concepts and Notations for Concurrent Computation (CMSC 838S, Univ. of Maryland)
  Spring 1988 (15 students)
  Reading and discussion of recent papers from the literature on concurrent computation models and languages. Emphasis on breadth of field rather than depth in only a few areas.
• Theory of Programming Languages (CMSC 630, Univ. of Maryland)
  Spring 1990 (30 students), offered through ITV and NTU; Fall 1989 (20 students); Spring 1987 (50 students), offered through ITV and NTU
  Proving program correctness in several different systems (Hoare logic, predicate transformers, functional semantics, abstract data types), denotational semantics, lambda calculus, software process models, formal software specification techniques, and theory of program testing.
• Theory of Language Translation (CMSC 430, Univ. of Maryland)
  Fall 1990 (55 students); Fall 1987 (45 students); Spring 1986 (45 students)
  Theory and application of compiler construction: automatic scanner generation, automatic parser generation, syntax-directed translation, theory of regular sets and context-free languages.
• Organization of Programming Languages (CMSC 330, Univ. of Maryland)
  Fall 1986 (90 students)
  Techniques for expressing syntax and semantics of languages; run-time structures for implementing languages of various paradigms (procedural, functional, logic, parallel processing), with consideration of static and dynamic scoping, storage layout of data types, type equivalence, and abstract data types, concurrent processes, semaphores, and synchronization techniques.
• Introduction to Computer Science (CMSC 112, Univ. of Maryland)
  Fall 1988 (200 students, split over two classes)
  Program construction methodology using a formal functional semantics called program calculus.
• Advanced Programming (CS 261, Univ. of Virginia)
  Spring 1985 (80 students)
  Second course in programming for the engineering and technical student. Used Pascal for assignments, with emphasis on simple data structures, finite automata, and recursion.
• Introduction to Programming (CS 250, Univ. of Virginia)
  Spring 1985 (45 students); Fall 1984 (100 students); Spring 1984 (100 students); Fall 1983 (130 students)
  Initial programming course for the non-technical student. Used FORTRAN 77 for programming assignments, emphasized step-wise algorithm development independently of the language.
• Introduction to Programming for Business (CS 101-102, Univ. of Virginia)
  Spring 1983 (75 students); Fall 1982 (75 students)
  Initial programming course for business students; two-semester sequence of one hour each. Used BASIC for programming assignments.
• Introduction to VMS (General Electric Company, Charlottesville, Virginia)
  Spring 1981 (20 students)
  Short employee training course on the DEC-VMS operating system.

GRADUATE STUDENT ADVISING

PhD Students

Karl Gyllstrom, 9/03 to 5/08, "Collaboration with the Transparent Video Facetop".

Dorian Miller, 9/03 to 5/07, "Assistive Technologies for Pair Programming and Synchronous Collaborations".

Jason Smith, 6/98 to 12/05, "Elemental Design Patterns for Automated Discovery of Software Architecture".

Jaime Navon, 8/93 to 12/03, "Analysis of collaboration protocols in Hypermedia".

Jose Cyrano Ruiz (Ph.D., U.Maryland, Reliability Engineering), 1/90 to 12/93; dissertation: An integrated approach for specifying, modeling and verifying dynamic systems

Michelle McElvany Hugue (Ph.D., U.Maryland, Applied Math), 9/86 to 8/89; dissertation: Guaranteed deadlines for hard real-time fault-tolerant distributed systems

MS theses

Dean Herington, 6/2000 to 8/03, framework for environmental model interopreation.

Randy Whitehead, 1/2000 to 5/2001, Collaboration software for palm computers.

Merle Sterling (UF), 1/92 to 12/92, software process models as hyperprograms.

Gregory Drew (UMD), 9/90 to 8/91, adaptive change in hypertext structure.

Michale Liu (UMD), 9/90 to 8/91, client-server systems for hypertext.

Augustine Su (UMD), 9/90 to 8/91, authoring methods for very large hypertext.

Research Supervised (MS level and prior to PhD proposal)

Keith Lee, 9/08 to 5/15, "Language-Independent Aspects for Scientific Model Federations".

Debapriya Basu, 9/12 to 8/13, "Collaborative Radiation Treatment Planning".

Henry McEuen, 9/05 to 9/07, "Model Federations for Large Bioinformatics and Genomics Problems".

James Culp, 9/05 to 5/08, Collaboration technology for remote medical records.

Keith Lee, 8/04 to 5/08, development and experimentation with the Transparent Video Facetop.

William Luebke, 6/03 to 6/05, grid techniques for scientific model federations.

Dennis Jen, 9/02 to 6/03, distributed Pair Programming

Karl Gyllstrom, 1/03 to 8/03, automated testing

Jinze Liu, 9/01 to 8/02, OO framework for interoperable scientific models

Sunyong Kim, 9/01 to 8/02, distributed pair programming

Uma Devi, 9/01 to 8/02, Video tracking for hypermedia, distributed pair programming

Angus Antley, 5/01-1/02, Systematic OO testing methods

Dilip Barman, 1/92 to 5/98, knowledge-based inference mechanisms for hyperdocuments.

Emily West, 6/98 to 9/99, software engineering.

Michael Meehan, 9/97 to 1/99, collaborative VEs

Michael Capps, 5/94 to 5/97, Interoperability in collaboration software and virtual environments.

UNC graduate committee member

Ph.D. committee: Zhilan Zhou (SILS), Jason Carter, Sasa Junuzovic, Olufisayo Omojokun, Long Le, Swaha Das, Gopeel Chung, Vasil Roussev, Michael Capps (Naval PGS), Brian Ladd, William Yakowenko, Steve Goddard, Jon Munson, John Menges, Terry Talley, Daniel Palmer, Charles Martin, Douglas Shackelford.

MS committee: Tim Gramling, David Nuechterlein, Carney Clegg.

UF Graduate committee member

Ph.D. committee: Ralph Jackson; Gilda Pour; Todd Miller; Ruey-Ming Yang.

M.S. committee: Keunhyuk Yeom; Chiu-Ying Lee.

UMD Graduate committee member

Ph.D. final: 5/91, Sergio Cardenas; 12/89, Thomas Bennet; 9/89, Yen Huang.

Ph.D. proposal: 10/90, Jeffry Tien; 9/90, Lee Spector; 7/90, Daniel Mosse; 12/89, Keng-Tai Ko; 5/89, Thomas Bennet; 10/88, Yen Huang; 4/88, Linda Rosenberg (UMBC).

M.S. final: 11/90, Rodrigo Botafogo; 8/88, Kenneth Lorber; 5/88, Michael Daskalantonakis; 10/87, Jim Gray; 5/87, Dennis Doubleday; 9/86, Brook Sussman.

STATE SERVICE

• Software and curriculum development, Introductory Programming course, UNC Friday Center, for state-wide on-line offering, 2015 to present.
• Software consultant, "Decision Support Network for Emergency Management," RENCI project for the State of North Carolina, 2014.

PROFESSIONAL SERVICE

• Science Advisory Board, Craniofacial Outcomes Registry, Miami Children's Hospital and UNC Dental School, 5/99 to present.
• Workshop Organizer (with L.Williams (NCSU), P.Jain, M.Kircher (Siemmens), A.Wills), "Distributed Extreme Programming," OOPSLA, Seattle, Nov 4-8, 2002.
• Workshop Organizer (with Laurie Williams, NCSU), "Distributed Extreme Programming," XP/Agile Universe, Chicago, Aug. 4-7, 2002.
• Conference chair
  • ACM Hypertext '96 Conference, Washington, D.C., March 1996.
• Program chair
  • ACM Hypertext '93 Conference (co-chair: R. Furuta), Seattle, WA, October 1993.
  • 30th Annual Technical Symposium of the Washington, D.C., Chapter of the ACM, National Institute of Standards and Technology, Gaithersburg, Maryland, 1991.
• Program committee member
  • ECSCW 2018 Conference, Nancy, France, June 4-8, 2018.
  • Workshop on Visual Formalisms for Patterns, in conjunction with the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing, Sept. 2009, Corvallis, Oregon.
  • International Workshop on Visual Languages and Computing (VLC2009), San Francisco, Sept. 10-12, 2009.
  • IASTED Int'l Conf. on Internet and Multimedia Systems and Applications (EuroIMSA 2009), Cambridge, UK, July 13-15, 2009.
  • International Workshop on Visual Languages and Computing (VLC2008), Boston, Sept. 4-6, 2008.
  • International Workshop on Visual Languages and Computing (VLC2007), San Francisco, Sept. 6-8, 2007. Boston, Sept. 4-6, 2008.
  • Int'l Conf. on the Virtual Computing Initiative, IBM, RTP, May 25-26, 2008.
  • IASTED Int'l Conf. on Knowledge Sharing and Collaborative Engineering (KSCE 2006), St. Thomas, USVI, USA, Nov. 29 - Dec. 01, 2006.
  • International Workshop on Visual Languages and Computing (VLC2006), Aug. 30 to Sept. 1, 2006, Grand Canyon AZ.
  • 2006 SURA/ViDe Conference (IP-Digital Video), Atlanta, March 2006.
  • Eclipse Technology eXchange (eTX) Workshop, OOPSLA 2005, San Diego, October 2005.
  • IASTED Int'l Conf. on Internet and Multimedia Systems and Applications (EuroIMSA 2006), Innsbruck, Austria, February 13-15, 2006
  • ACM Hypertext 2004, Santa Cruz, CA, Aug 2004.
  • 2004 Agile Development Conf. Salt Lake City, June 2004.
  • XP/Agile Universe 2004, Calgary, Aug. 2004.
  • Int'l Workshop on Visual Languages and Computing (VLC 2004), San Francisco, CA, Sept. 24-26, 2004
  • Int'l Conf on Web Engineering (ICWE'04), July 2004, Munich.
  • WWW2003, Budapest, Hungary, May 2003.
  • Int'l Workshop on Visual Languages and Computing (VLC 2003), Miami, FL, Sept. 24-26, 2003
  • ACM 2002 Computer Supported Cooperative Work, New Orleans, November 16-20, 2002.
  • ACM Hypertext 2003, Notingham, UK, Aug 2003.
  • ACM Hypertext 2002, College Park, MD, June 2002.
  • ACM Hypertext 2001, Arhus, Denmark, Aug 2001.
  • ACM Hypertext 2000, San Antonio, TX, May 2000.
  • WEBNET 2000 Conference, San Antonio, TX, Oct 2000.
  • First Australasian User Interface Conference, Canberra, Jan 2000.
  • WEBNET '99 Conference, Honolulu, Hawaii, Oct 1999.
  • ACM CSCW '98 Conference, Seattle, November 1998.
  • ACM Hypertext '98 Conference, Pittsburgh, May 1998.
  • 4th International Workshop on Configurable Distributed Systems, May 1998, Annapolis.
  • ACM Hypertext '97 Conference, Southampton, UK, April 1997.
  • NSF workshop on Workflow Automation in Information Systems: State-of-the-Art and Future Directions, March 1996, Atlanta GA.
  • 1996 Int'l Conference on Application and Theory of Petri Nets, Osaka, Japan.
  • Workshop on Effective Abstractions in Multimedia Layout, Presentation, and Interaction, at ACM Multimedia '95, Nov. 4, 1995, San Francisco.
  • Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE '95), Morgantown, WV, 1995.
  • Digital Libraries '94, College Station, TX (Texas A&M Univ.), April 1994.
  • 1994 European Conference on Hypertext (ECHT 94), September 1994, Edinburgh, Scotland.
  • Second International Workshop on Configurable Distributed Systems, March 1994, Pittsburgh.
  • IEEE 1993 International Workshop on Visual Languages (VL 93), August 1993, Bergen, Norway.
  • 1993 International Conference on Software Engineering, May 1993, Baltimore.
  • 1993 International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Europe '93), March 1993, Versailles, France.
  • IEEE 1992 International Workshop on Visual Languages (VL 92), September 1992, Seattle, Washington.
  • 1992 European Conference on Hypertext (ECHT 92), November 1992, Milan, Italy.
  • 1992 International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Europe '92), March 1992, Dortmund, Germany.
  • IEEE 1991 Workshop on Visual Languages (VL 91), October 1991, Kobe, Japan.
  • Third International Conference on Technology of Object-Oriented Languages and Systems (TOOLS '91), March 1991, Paris.
  • IEEE 1990 Workshop on Visual Languages (VL 90), October 1990, Chicago.
  • Second International Conference on Technology of Object-Oriented Languages and Systems (TOOLS '90), June 1990, Paris.
  • NIST Workshop on Hypertext Standardization, January 1990, National Institute of Standards and Technology, Gaithersburg, Maryland.
  • First International Conference on Technology of Object-Oriented Languages and Systems (TOOLS '89), November 1989, Paris.
  • International Workshop on Petri Nets and Performance Models, August, 1987, Madison.
• Conference planning committee member
  • Member, Steering Committee, 1998 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE '98), Stanford, June 1998.
  • Member, Steering Committee, 1997 Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE '97), Boston, June 1997.
  • Co-organizer (with Michael Capps), Workshop on Networked Virtual Environments, at 1997 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE '97), Boston, June 1997.
  • Member, Organizing Committee, Digital Libraries '95, June 11-13, Austin, Texas.
  • Treasurer, ACM Conference on Computer-Supported Cooperative Work (CSCW 94), Research Triangle Park, NC, October 1994.
  • Proceedings chair, Hypertext 91 (HT91), San Antonio, TX, December 1991.
• Review panel member
  • NSF Science of Design planning meeting, Airlie, VA, Nov. 2004.
  • NSF collaborative systems review panel, Washington DC, March 2001.
  • NSF CAREER program review panel, Washington DC, November 2000.
  • NSF Software Engineering program proposal review panel, Washington DC, June 2000.
  • NSF II Site visit panel member, Univ. of Rochester, May 19, 2000.
  • NSF Cooordination and Organizations program proposal review panel, Washington, DC, May 1998.
  • NSF Software Engineering program proposal review panel, Washington DC, Nov. 1997.
  • NSF New Technologies program, Washington DC, March 10, 1997.
  • NSF Small Business Initiative Review, September 30, 1993, Washington, D.C.
  • NASA Applied Information Systems Initiative, Sept. 20-21, 1993, Washington, D.C.
  • NSF CISE Institutional Infrastructure Program, Initial Evaluation Panel-Large Scale-FY92, November 21-22, 1991, Washington, D.C.
  • NSF Curriculum Development Grant program, February 11-13, 1991, Washington, D.C.
  • Agency for International Development, Program in Science and Technology Cooperation, October 24, 1990, Washington, D.C.
  • NSF Small Business Initiative Review, September 28-29, 1989, Washington, D.C.
• ACM Lecturer for 1990 -- 1995
• Editorial board member:
  • 2007-present, The Open Information Systems Journal, Bentham Science Publishers.
  • 2004-present, Journal of the Association for Software Testing (JAST), Association for Software Testing.
  • 2001-2008, World Wide Web: Internet and Web Information Systems, Kluwer Academic Publishers.
  • 1996-2005, Journal of Digital Information, British Computer Society and Oxford University Press.
  • 1996-2001, World Wide Web, Baltzer Science Publishers.
  • 1990-1996, Journal of Visual Languages and Computing, Academic Press.
• Guest Editor
  • Electronic Publishing-Origination, Dissemination, and Design, special issue on hypertext, 1990.
  • Journal of Visual Languages and Computing, special section on visualization of parallelism, 1991.

UNIVERSITY SERVICE

University of North Carolina

Chair, CS Department Graduate CAPCOM, 2015--present.

CS Department Undergraduate CAPCOM, 2011-2015.

Chair, UNC-CH Administrative Board of the Library, academic year 2011-2012.

This committee advises Sarah Michalak, Assoc. Provost for University Libraries on faculty policies and needs.

UNC-CH Administrative Board of the Library, 2009-2012.

UNC-CH Faculty Council, 2008-2011.

CS Department Library Liason, 2007-2012.

Search committee, Assoc. Vice Chancellor for AIS, 2002

University Research Council, 2001-02, 2002-03, 2003-04

CS Department Assoc. Chair for Academic Affairs: 1997-2007

CS Summer School Coordinator: 1999-2007

CS Undergraduate CAPCOM: 2004, 2005, 2006

CS Exams committee: 2002-03, 2003-04

CS Undergraduate studies committee: 1997-2004

CS Undergraduate program development committee: 1999-2000

CS Graduate studies committee: 1998-99, 2002-04

CS Publications committee: 1999-2002

CS EEOC coordinator: 1999-2003

CS External Review planning: 1999

CS Core comprehensive exam committee: 1994-96

CS Curriculum and planning committee (CAPCOM): 1992-97

CS Graduate admission committee: 1993

CS Facilities committee-finances subcommittee: 1994

CS Research colloquium committee: 1993, 1995-96

Prior to UNC (U.Florida and U.Maryland)

CIS recruiting committee (U.Florida): 1991

NSF Institutional Infrastructure proposal committee: 1990

College planning retreat representative: Oct 1988

CS 112-113 curriculum development committee: 1988-89

Freshman curriculum review committee: 1989-90, 1990-91

Service course committee: 1988-89

Dept. council: 1987-88

Laboratory committee: 1986-87, 1987-88

Graduate admissions committee: Spring 1988

Programming contest committee: 1990

Programming Languages comprehensive exam coordinator: Aug 1986, Jan 1989

Faculty recruiting committee: Spring 1986

Building committee: 1986-87, 1987-88, 1988-89, 1989-90

Teaching excellence award committee: 1986, 1987

EXPERIENCE IN INDUSTRY AND CONSULTING

• 1/04 to present, System Architect, Craniofacial Outcomes Registry, Miami Children's Hospital.
• 6/03 to present, Consultant, Fish and Richardson, Boston.
• 6/01 to present, Software Consultant, MicroStock Inc, RTP, North Carolina.
• 3/01 to present, Consulting computer scientist, Kenyon and Kenyon, California.
• 6/94 to present, Member, Scientific Advisory Board, Cato Creative Systems, RTP, North Carolina.
• 1/95 to 12/01, Hypermedia technology consultant, Knowledge Systems, Pittsburgh.
• 8/94 to 7/95, Hypermedia technology consultant, Monterey Technologies, RTP, North Carolina.
• 6/88 to 10/91, Consulting computer scientist, National Institute of Standards and Technology.
• 1/91, two-week course on "Comparative Programming Languages", DEC, Maynard, Massachusetts.
• 8/90, two-week course on "Formal Methods for Computing", DEC, Maynard, Massachusetts.
• 1/81 to 8/82, Software engineer (half-time), General Electric Company, Charlottesville, Virginia.
• 5/80 to 8/80, Programmer, General Electric Company, Richmond, Virginia.

RECENT REVIEWING ACTIVITIES

Paper referee

Hypermedia, World Wide Web

ACM Trans. on Software Engineering and Methodology;

ACM Trans. on Information Systems;

IEEE Trans. on Software Engineering; IEEE Computer; IEEE Software;

IEEE Trans. on Knowledge and Data Engineering;

Journal of Software Testing

Journal of Parallel and Distributed Computing;

Journal of Computer and System Sciences;

Journal of Visual Languages and Computing;

Canadian Journal of Information Systems;

Electronic Publishing-Origination, Dissemination, and Design.

Proposal reviewer

National Science Foudation: 1986-2006

Book reviewer

Wiley, Prentice-Hall, McMillan, Addison Wesley, Benjamin Cummings, Irwin

Business Address

Dept. of Computer Science, Univ. of North Carolina, Chapel Hill, NC 27599-3175
ph: (919) 590-6133, fax: (919) 590-6105
http://www.cs.unc.edu/~stotts/