Gail E. Kaiser

Articles in Refereed Journals

Swapneel Sheth and Gail Kaiser. Towards using Cached Data Mining for Large Scale Recommender Systems. Recent Progress in Data Engineering and Internet Technology, Volume 1, Ford Lumban Gaol (ed.), Lecture Notes in Electrical Engineering, 15:349-357, Springer, 2013. (Originally appeared in International Conference on Data Engineering and Internet Technology, March 2011.)

Xiaoyuan Xie, Joshua W. K. Ho, Christian Murphy, Gail Kaiser, Baowen Xu and Tsong Yueh Chen.  Testing and Validating Machine Learning Classifiers by Metamorphic Testing.  Journal of Systems and Software, Elsevier, 84(4):544-558, April 2011. (Solicited expansion of Application of Metamorphic Testing to Supervised Classifiers, 9th International Conference on Quality Software, August 2009. 28% accepted.)

Huning Dai, Christian Murphy and Gail Kaiser. CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection. International  Journal of Secure Software Engineering, IGI Publishing, 1(3):41-55, July-September 2010. (Solicited expansion of Configuration Fuzzing for Software Vulnerability Detection, 4th International Workshop on Secure Software Engineering, January 2010.)

Rean Griffith, Ritika Virmani and Gail Kaiser. The Role of Reliability, Availability and Serviceability (RAS) Models in the Design and Evaluation of Self-Healing Systems. International Transactions on Systems Science and Applications, 5(3):252-263, November 2009. (Solicited from 3rd International Conference on Self-Organization and Autonomous Systems in Computing and Communications, September 2007.)

Dan Phung, Giuseppe Valetto, Gail E. Kaiser, Tiecheng Liu and John R. Kender. Adaptive Synchronization of Semantically Compressed Instructional Videos for Collaborative Distance Learning. International Journal of Distance Education Technologies, Idea Group Publishing, 5(2):56-73, 2007.

Janak Parekh, Gail Kaiser, Philip Gross and Giuseppe Valetto. Retrofitting Autonomic Capabilities onto Legacy Systems. Journal of Cluster Computing, Kluwer, 9(2):141-159, April 2006.

Yixin Diao, Joseph L. Hellerstein, Sujay Parekh, Rean Griffith, Gail Kaiser and Dan Phung. A Control Theory Foundation for Self-Managing Computing Systems. IEEE Journal on Selected Areas in Communications, 23(12):2213-2222, December 2005.

Michael F. Chiang, Roy G. Cole, Suhit Gupta, Gail E. Kaiser and Justin B. Starren.  Computer and World Wide Web Accessibility by Visually Disabled Patients: Problems and Solutions. Survey of Ophthalmology, Elsevier, 50(4):394-405, July-August 2005.

Suhit Gupta, Gail E. Kaiser, Peter Grimm, Michael F. Chiang, and Justin Starren. Automating Content Extraction of HTML Documents. World Wide Web, Kluwer, 8(2):179-224, June 2005.

D. Wang, M. Peleg, D. Bu, M. Cantor, G, Landesberg, E Lunenfeld, S.W. Tu, G.E. Kaiser, G. Hripcsak, V.L. Patel and E.H. Shortliffe. GESDOR - a generic  execution model for sharing of computer-interpretable clinical practice guidelines. Journal of the American Medical Informatics Association, 2003 AMIA Annual Symposium supplement, October 2003.

Wenke Lee and Gail E. Kaiser. Interfacing Oz with the PCTE OMS: A Case Study of Integrating a Legacy System with a Standard Object Management System. Journal of Systems Integration, Kluwer, 9(4):329-358, December 1999.

Jingshuang J. Yang and Gail E. Kaiser. JPernLite: Extensible Transaction Services for WWW. IEEE Transactions on Knowledge and Data Engineering, 11(4):639-657, Jul/Aug 1999.

Gail E. Kaiser, Stephen E. Dossick, Wenyu Jiang, Jack Jingshuang Yang and Sonny Xi Ye. WWW-based Collaboration Environments with Distributed Tool Services. World Wide Web, Baltzer Science Publishers, 1:3-25, January 1998.

Israel Z. Ben-Shaul and Gail E. Kaiser. Federating Process-Centered Environments: the Oz Experience. Journal of Automated Software Engineering, Kluwer, 5(1):97-132, January 1998. (The issue was reprinted as a book, Elisabetta Di Nitto and Alfonso Fuggetta (eds.), Process Technology, Kluwer, 1997.)

Wenke Lee, Gail E. Kaiser, Paul D. Clayton, and Eric H. Sherman. OzCare: A Workflow Automation System for Care Plans. Journal of the American Medical Informatics Association, 1996 AMIA Annual Fall Symposium supplement, Hanley & Belfus, Inc., October 1996, pp. 577-581.

Giuseppe Valetto and Gail E. Kaiser. Enveloping Sophisticated Tools into Process-Centered Environments. Journal of Automated Software Engineering, Kluwer, 3:309-345, 1996.

Jack Jingshuang Yang and Gail E. Kaiser. An Architecture for Integrating OODBs with WWW. Computer Networks and ISDN Systems, The International Journal of Computer and Telecommunications Networking, 28(7-11):1243-1254, Elsevier Science B.V., May 1996. (Special issue on 5th International World Wide Web Conference, 25% accepted.)

Stephen E. Dossick and Gail E. Kaiser. WWW Access to Legacy Client/Server Applications. Computer Networks and ISDN Systems, The International Journal of Computer and Telecommunications Networking, 28(7-11):931-940, Elsevier Science B.V., May 1996. (Special issue on 5th International World Wide Web Conference, 25% accepted.)

Calton Pu, Wenwey Hseush, Gail E. Kaiser, Kun-Lung Wu and Philip S. Yu. Divergence Control for Distributed Database Systems. Distributed and Parallel Databases, 3(1):85-109, January 1995.

Gail E. Kaiser, Steven S. Popovich and Israel Z. Ben-Shaul. A Bi-Level Language for Software Process Modeling. In Walter F. Tichy (ed.), Configuration Management, Trends in Software 2:39-72, ch. 2, John Wiley & Sons, 1994.

Josephine Micallef and Gail E. Kaiser. Extending Attribute Grammars to Support Programming-in-the-Large. ACM Transactions on Programming Languages and Systems, 16(5):1572-1612, September 1994.

G.T. Heineman, J.E. Botsford, G. Caldiera, G.E. Kaiser, M.I. Kellner and N.H. Madhavji. Emerging technologies that support a software process life cycle. IBM Systems Journal, 33(3):501-529, 1994.

Israel Z. Ben-Shaul, Gail E. Kaiser and George T. Heineman. An Architecture for Multi-User Software Development Environments. Computing Systems, The Journal of the USENIX Association, 6(2):65-103, University of California Press, Spring 1993.

Josephine Micallef and Gail E. Kaiser. Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements. IEEE Transactions on Software Engineering, 19(3):231-252, March 1993.

Gail E. Kaiser and Simon M. Kaplan. Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multi-User Software Development Environments. ACM Transactions on Software Engineering and Methodology, 2(1)47-92, January 1993.

Steven S. Popovich and Gail E. Kaiser. An Architectural Survey of Object Management Systems. International Journal of Intelligent & Cooperative Information Systems, World Scientific, 1(3&4):515-577, December 1992.

George T. Heineman, Gail E. Kaiser, Naser S. Barghouti and Israel Z. Ben-Shaul. Rule Chaining in Marvel: Dynamic Binding of Parameters. IEEE Expert, 7(6):26-32, December 1992.

David Garlan, Gail E. Kaiser and David Notkin. Using Tool Abstraction to Compose Systems. Computer, IEEE Computer Society, 25(6):30-38, June 1992.

Gail E. Kaiser and Brent Hailpern. An Object-Based Programming Model for Shared Data. ACM Transactions on Programming Languages and Systems, 14(2):201-264, April 1992.

Naser S. Barghouti and Gail E. Kaiser. Scaling Up Rule-Based Development Environments. International Journal on Software Engineering & Knowledge Engineering, World Scientific, 2(1):59-78, March 1992.

Michael H. Sokolsky and Gail E. Kaiser. A Framework for Immigrating Existing Software into New Software Development Environments. Software Engineering Journal, IEE, 6(6):435-453, November 1991.

Naser S. Barghouti and Gail E. Kaiser. Concurrency Control in Advanced Database Applications. ACM Computing Surveys, 23(3):269-317, September 1991.

Yoelle S. Maarek, Daniel M. Berry and Gail E. Kaiser. An Information Retrieval Approach for Automatically Constructing Software Libraries. IEEE Transactions on Software Engineering, 17(8):800-813, August 1991. (A revised version appears as Yoelle S. Maarek, Daniel M. Berry, and Gail E. Kaiser, GURU: Information Retrieval for Reuse, Landmark Contributions in Software Reuse and Reverse Engineering, P. Hall (ed), Unicom Seminars, Ltd., 1994.)

M. Krish Ponamgi, Wenwey Hseush and Gail E. Kaiser. Debugging Multi-Threaded Programs with MpD. IEEE Software, 8(3):37-43, May 1991.

Dewayne E. Perry and Gail E. Kaiser. Models of Software Development Environments. IEEE Transactions on Software Engineering, 17(3):283-295, March 1991.

Naser S. Barghouti and Gail E. Kaiser. Modeling Concurrency in Rule-Based Development Environments. IEEE Expert, 5(6):15-27, December 1990. 

Dewayne E. Perry and Gail E. Kaiser. Adequate Testing and Object-Oriented Programming. Journal of Object-Oriented Programming, SIGS Publications, 2(5):13-19, January/February 1990.  (Reprinted in David C. Kung, Pei Hsia and Jerry Gao (eds.), Testing Object-Oriented Software, Wiley-IEEE Computer Society Press, 1998.)

Ursula Wolz, Kathleen R. McKeown and Gail E. Kaiser. Automated Tutoring in Interactive Environments: A Task-Centered Approach. International Journal of Machine Mediated Learning, Taylor & Francis, 3(1):53-79, 1989.

Gail E. Kaiser. Incremental Dynamic Semantics for Language-Based Programming Environments. ACM Transactions on Programming Languages and Systems, 11(2):169-193, April 1989.

Robert W. Schwanke and Gail E. Kaiser. Smarter Recompilation. Technical Correspondence in ACM Transactions on Programming Languages and Systems, 10(4):627-632, October 1988.

Gail E. Kaiser, Peter H. Feiler, Fahimeh Jalili and Johann H. Schlichter. A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation. Software -- Practice & Experience, John Wiley & Sons, 18(8):733-748, August 1988.

Wenwey Hseush and Gail E. Kaiser. A Network Architecture for Reliable Distributed Computing. IEEE Network, 2(4):28-44, July 1988.

Gail E. Kaiser, Naser S. Barghouti, Peter H. Feiler and Robert W. Schwanke. Database Support for Knowledge-Based Engineering Environments. IEEE Expert, 3(2):18-32, Summer 1988.

Gail E. Kaiser, Peter H. Feiler and Steven S. Popovich. Intelligent Assistance for Software Development and Maintenance. IEEE Software, 5(3):40-49, May 1988.

Peter H. Feiler and Gail E. Kaiser. Granularity issues in a knowledge-based programming environment. Information and Software Technology, Butterworth Scientific, 29(10):531-539, December 1987.

Gail E. Kaiser, Simon M. Kaplan and Josephine Micallef. Multiuser, Distributed Language-Based Environments. IEEE Software, 4(6):58-67, November 1987.

Gail E. Kaiser and David Garlan. Melding Software Systems from Reusable Building Blocks. IEEE Software, 4(4):17-24, July 1987. (Translated for Japanese edition of IEEE Software, August 1988, pp. 129-137. Reprinted in Will Tracz (ed.), Software Reuse: The State of the Practice, IEEE Computer Society Press, 1988, pp. 267-274.)

Gail E. Kaiser and Elaine Kant. Incremental Parsing Without A Parser. The Journal of Systems and Software, Elsevier Science, 5(2):121-144, May 1985.

Gail E. Kaiser. Automatic Extension of an ATN Knowledge Base. Communications of the ACM, 24(9):587-593, September 1981.

Papers in Refereed Proceedings 

Leon Wu and Gail Kaiser. FARE: A Framework for Benchmarking Reliability of Cyber-Physical Systems. In 9th Annual IEEE Long Island Systems, Applications and Technology Conference, May 2013.

Jonathan Bell, Swapneel Sheth and Gail Kaiser. A Large-Scale, Longitudinal Study of User Profiles in World of Warcraft. In 5th International Workshop on Web Intelligence & Communities, May 2013.

Jonathan Bell, Nikhil Sarda and Gail Kaiser. Chronicler: Lightweight Recording to Reproduce Field Failures. In 35th International Conference on Software Engineering, May 2013. (18.5% acceptance rate.)

Swapneel Sheth, Jonathan Bell and Gail Kaiser. A Competitive-Collaborative Approach for Introducing Software Engineering in a CS2 Class. Conference on Software Engineering Education and Training, May 2013.

Leon Wu and Gail Kaiser. An Autonomic Reliability Improvement System for Cyber-Physical Systems. In 14th IEEE International Symposium on High-Assurance Systems Engineering, October 2012.

Leon Wu, Gail Kaiser, David Solomon, Rebecca Winter, Albert Boulanger, and Roger Anderson. Improving Efficiency and Reliability of Building Systems Using Machine Learning and Automated Online Evaluation. In 8th IEEE Long Island Systems, Applications and Technology Conference, May 2012.

Jonathan Bell, Swapneel Sheth and Gail Kaiser. Secret Ninja Testing with HALO Software Engineering. Short paper in 4th International Workshop on Social Software Engineering, September 2011.

Leon Wu, Gail Kaiser, Cynthia Rudin and Roger Anderson. Data Quality Assurance and Performance Measurement of Data Mining for Preventive Maintenance of Power Grid. 1st ACM SIGKDD International Workshop on Data Mining for Service and Maintenance, August 2011.

Leon Wu, Boyi Xie and Gail Kaiser.  BugMiner: Software Reliability Analysis via Data Mining of Bug Reports. 23rd International Conference on Software Engineering and Knowledge, July 2011.

Leon Wu and Gail Kaiser.  Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators. 23rd International Conference on Software Engineering and Knowledge Engineering, July 2011.

Leon Wu, Gail Kaiser, Cynthia Rudin, David Waltz, Roger Anderson, Albert Boulanger, Ansaf Salleb-Aouissi, Haimonti Dutta, and Manoj Pooleery. Evaluating Machine Learning for Improving Power Grid Reliability. Short paper in ICML Workshop on Machine Learning for Global Challenges, July 2011.

Christian Murphy, M. S. Raunak, Andrew King, Sanjian Chen, Christopher Imbriano, Gail Kaiser, Insup Lee, Oleg Sokolsky, Lori Clarke, Leon Osterweil. On Effective Testing of Health Care Simulation Software. 3rd International Workshop on Software Engineering in Health Care, May 2011.

Leon Wu, Timothy Ter¨av¨ainen, Gail Kaiser, Roger Anderson, Albert Boulanger, Cynthia Rudin. Estimation of System Reliability Using a Semiparametric Model. IEEE EnergyTech, May 2011.

Christian Murphy, Moses Vaughan, Waseem Ilahi and Gail Kaiser.  Automatic Detection of Previously-Unseen Application States for Deployment Environment Testing and Analysis.  5th International Workshop on the Automation of Software Test, May 2010.

Swapneel Sheth, Nipun Arora, Christian Murphy and Gail Kaiser.  weHelp: A Reference Architecture for Social Recommender Systems.  3rd International Workshop on Social Software Engineering, February 2010.

Christian Murphy, Kuang Shen and Gail Kaiser. Automatic System Testing of Programs without Test Oracles. ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2009.

Simha Sethumadhavan and Gail E. Kaiser. COMPASS: A Community-Drive Parallelization Advisor for Sequential Software. 2nd International Workshop on Multicore Software Engineering, May 2009.

Christian Murphy, Gail Kaiser, Ian Vo and Matt Chu.  Quality Assurance of Software Applications Using the In Vivo Testing Approach.  2nd IEEE International Conference on Software Testing, Verification and Validation, April 2009. 33% accepted.

Christian Murphy, Kuang Shen and Gail Kaiser. Using JML Runtime Assertion Checking to Perform Metamorphic Testing in Applications without Test Oracles. 2nd IEEE International Conference on Software Testing, Verification and Validation, April 2009. 33% accepted.

Christian Murphy, Gail Kaiser, Kristin Loveland and Sahar Hasan. Retina: Helping Students and Instructors Based on Observed Programming Activities. 40th ACM Technical Symposium on Computer Science Education, March 2009.  33% accepted.

Christian Murphy, Swapneel Sheth, Gail Kaiser and Lauren Wilcox. genSpace: Exploring Social Networking Metaphors for Knowledge Sharing and Scientific Collaborative Work. 1st International Workshop on Social Software Engineering and Applications, September 2008.

Christian Murphy, Gail Kaiser, Lifeng Hu and Leon Wu. Properties of Machine Learning Applications for Use in Metamorphic Testing. 20th International Conference on Software Engineering and Knowledge Engineering, July 2008.

Christian Murphy, Dan Phung and Gail Kaiser. A Distance Learning Approach to Teaching eXtreme Programming. 13th ACM Annual Conference on Innovation and Technology in Computer Science Education, June 2008. 39% accepted.

Matt Chu, Christian Murphy and Gail Kaiser. Distributed In Vivo Testing of Software Applications. Student paper track in 1st IEEE International Conference on Software Testing, Verification, and Validation, April 2008. 29% accepted.

Maritza L. Johnson, Chaitanya Atreya, Adam J. Aviv, Steven M. Bellovin and Gail E. Kaiser. Rust: A Retargetable Usability Testbed for Website Authentication Technologies. Short paper in USENIX Workshop on Usability, Psychology, and Security, April 2008.

Christian Murphy, Eunhee Kim, Gail Kaiser and Adam Cannon. Backstop: Debugging Tools for Novice Java Programmers.  39th ACM SIGCSE Technical Symposium on Computer Science Education, March 2008. 31% accepted.

Christian Murphy, Gail Kaiser and Marta Arias. Parameterizing Random Test Data According to Equivalence Classes. Short paper in 2nd ACM International Workshop on Random Testing, November 2007.

Rean Griffith, Ritika Virmani and Gail Kaiser. RAS Models: A Building Block for Self-Healing Benchmarks. Short paper in 8th International Workshop on Performability Modeling of Computer and Communication Systems, September 2007.

Christian Murphy, Gail Kaiser and Marta Arias. An Approach to Software Testing of Machine Learning Applications. Short paper in 19th International Conference on Software Engineering and Knowledge Engineering, July 2007, pp. 167-172.

Philip Gross and Gail Kaiser. Automated Information Aggregation for Scaling Scale-Resistant Services.  21st IEEE/ACM International Conference on Automated Software Engineering, September 2006, pp. 15-24.  18% accepted.

Rean Griffith and Gail Kaiser. A Runtime Adaptation Framework for Native C and Bytecode Applications. 3rd IEEE International Conference on Autonomic Computing, June 2006, pp. 93-103. 21% accepted.

Rean Griffith, Joseph L. Hellerstein, Gail Kaiser, and Yixin Diao. Dynamic Adaptation of Temporal Event Correlation for QoS Management in Distributed Systems. Short paper in 14th IEEE International Workshop on Quality of Service, June 2006.

Dan Phung, Giuseppe Valetto and Gail Kaiser. Adaptive Internet Interactive Team Video. 4th International Conference on Web-based Learning, R.W.H. Lau, Q. Li, R. Cheung and W. Liu (eds.), Lecture Notes in Computer Science 3583, Springer-Verlag, August 2005, pp. 66-77. 34% accepted.

Suhit Gupta and Gail Kaiser. P2P Video Synchronization in a Collaborative Virtual Environment. 4th International Conference on Web-based Learning, R.W.H. Lau, Q. Li, R. Cheung and W. Liu (eds.), Lecture Notes in Computer Science 3583, Springer-Verlag, August 2005, pp. 86-98. 34% accepted.

Giuseppe Valetto, Gail Kaiser and Dan Phung. A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems. 2nd IEEE International Conference on Autonomic Computing, June 2005, pp. 286-297. <20% accepted.

Rean Griffith and Gail Kaiser. Manipulating Managed Execution Runtimes to Support Self-Healing Systems. ICSE Workshop on Design and Evolution of Autonomic Application Software, May 2005, pp. 2-8.

Yixin Diao, Joseph L. Hellerstein, Sujay Parekh, Rean Griffith, Gail Kaiser and Dan Phung. Self-managing Systems: A Control Theory Foundation. IEEE Workshop on Engineering of Autonomic Systems, April 2005, pp. 441-448.

Suhit Gupta and Gail Kaiser. A Virtual Environment for Collaborative Distance Learning. IASTED International Conference on Computers and Advanced Technology in Education, August 2004.

Phil Gross, Janak Parekh and Gail Kaiser. Secure “Selecticast” for Collaborative Intrusion Detection Systems. 3rd International Workshop on Distributed Event-Based Systems, May 2004, pp. 50-55.

Angelos Keromytis, Janak Parekh, Philip N. Gross, Gail Kaiser, Vishal Misra, Jason Nieh, Dan Rubenstein and Sal Stolfo. A Holistic Approach to Service Survivability. 1st ACM Workshop on Survivable and Self-Regenerative Systems, October 2003, pp. 11-22.

Suhit Gupta, Gail Kaiser, David Neistadt and Peter Grimm. DOM-Based Content Extraction of HTML Documents. 12th International World Wide Web Conference, May 2003, pp. 207-214. <13% accepted.

Giuseppe Valetto and Gail Kaiser. Using Process Technology to Control and Coordinate Software Adaptation. 25th International Conference on Software Engineering, May 2003, pp. 262-272. <13% accepted.

Giuseppe Valetto and Gail Kaiser. A Case Study in Software Adaptation. Workshop on Self-Healing Systems, November 2002.

Gail Kaiser, Phil Gross, Gaurav Kc, Janak Parekh and Giuseppe Valetto. An Approach to Autonomizing Legacy Systems. Workshop on Self-Healing, Adaptive and Self-MANaged Systems, June 2002.

Philip N. Gross, Suhit Gupta, Gail E. Kaiser, Gaurav S. Kc and Janak J. Parekh. An Active Events Model for System Monitoring. Working Conference on Complex and Dynamic Systems Architectures, December 2001.

Giuseppe Valetto, Gail Kaiser and Gaurav S. Kc. A Mobile Agent Approach to Process-based Dynamic Adaptation of Complex Software Systems. 8th European Workshop on Software Process Technology, LNCS 2077, June 2001, pp. 102-116.

Stephen E. Dossick and Gail E. Kaiser. CHIME: A Metadata-Based Distributed Software Development Environment. Joint 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, September 1999, pp. 464-475. <21% accepted.

Gail Kaiser, Christopher Vaill and Stephen Dossick. A Workgroup Model for Smart Pushing and Pulling. 8th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, June 1999, pp. 15-21.

Jack Jingshuang Yang, Gail Kaiser, Steve Dossick and Wenyu Jiang. Integrating Transaction Services into Web-based Software Development Environments. 1st Asia Pacific Web Conference: Web Technologies and Applications, Part I, Chapter 21, September 1998, pp. 199-208. 28% accepted. 

Jingshuang J. Yang and Gail E. Kaiser. JPernLite: An Extensible Transaction Server for the World Wide Web. 9th ACM Conference on Hypertext and Hypermedia, June 1998, pp. 256-266. 37% accepted.

Gail E. Kaiser and Stephen E. Dossick. Workgroup Middleware for Distributed Projects. 7th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, June 1998, pp. 63-68.

Gail E. Kaiser, Stephen E. Dossick, Wenyu Jiang and Jack Jingshuang Yang. An Architecture for WWW-based Hypercode Environments. 19th International Conference on Software Engineering: Pulling Together, May 1997, pp. 3-12. 22% accepted.

George T. Heineman and Gail E. Kaiser. The CORD Approach to Extensible Concurrency Control. 13th International Conference on Data Engineering, April 1997, pp. 562-571. <20% accepted.

Gail E. Kaiser, Israel Z. Ben-Shaul, Steven S. Popovich and Stephen E. Dossick. A Metalinguistic Approach to Process Enactment Extensibility. 4th International Conference on the Software Process: Improvement and Practice, December 1996, pp. 90-101. <27% accepted.

Israel Z. Ben-Shaul and Gail E. Kaiser. Integrating Groupware Activities into Workflow Management Systems. In 7th Israeli Conference on Computer Systems and Software Engineering, June 1996, pp. 140-149.

Giuseppe Valetto and Gail E. Kaiser. Enveloping Sophisticated Tools into Computer-Aided Software Engineering Environments. 7th IEEE International Workshop on Computer-Aided Software Engineering, July 1995, pp. 40-48, 33% accepted.

George T. Heineman and Gail E. Kaiser. An Architecture for Integrating Concurrency Control into Environment Frameworks. 17th International Conference on Software Engineering, April 1995, pp. 305-313. 18% accepted.

George T. Heineman and Gail E. Kaiser. Incremental Process Support for Code Reengineering. International Conference on Software Maintenance, September 1994, pp. 282-290. 34% accepted.

Andrew Z. Tong, Gail E. Kaiser and Steven S. Popovich. A Flexible Rule-Chaining Engine for Process-Based Software Engineering. 9th Knowledge-Based Software Engineering Conference, September 1994, pp. 79-88.

Israel Z. Ben-Shaul and Gail E. Kaiser. A Paradigm for Decentralized Process Modeling and its Realization in the Oz Environment. 16th International Conference on Software Engineering, May 1994, pp. 179-188. 11% accepted.

Israel Z. Ben-Shaul and Gail E. Kaiser. A Configuration Process for a Distributed Software Development Environment. 2nd International Workshop on Configurable Distributed Systems, March 1994, pp. 123-134. 39% accepted.

Shyhtsun F. Wu and Gail E. Kaiser. Non-Sharable Resource Freshness in Real-Time Scheduling. Real Time Systems Conference, January 1994, pp. 51-66.

Wenwey Hseush and Gail E. Kaiser. The Design and Implementation of Late Binding In A Distributed Programming Language. 5th IEEE Symposium on Parallel and Distributed Processing, December 1993, pp. 438-445. Approx. 1/3rd accepted.

Peter D. Skopp and Gail E. Kaiser. Disconnected Operation in a Multi-User Software Development Environment. IEEE Workshop on Advances in Parallel and Distributed Systems, October 1993, pp. 146-151. 39% accepted.

Gail E. Kaiser, Steven S. Popovich and Israel Z. Ben-Shaul. A Bi-Level Language for Software Process Modeling. 15th International Conference on Software Engineering, May 1993, pp. 132-143. 20% accepted.

Calton Pu, Wenwey Hseush, Gail E. Kaiser, Kun-Lung Wu and Philip S. Yu. Divergence Control for Distributed Database Systems. 13th International Conference on Distributed Computing Systems, May 1993, pp. 449-456. <21% accepted.

Shyhtsun F. Wu and Gail E. Kaiser. On Hard Real-Time Management Information. 1st IEEE International Workshop on Systems Management, April 1993, pp. 90-100. 27% accepted. 

Israel Z. Ben-Shaul, Gail E. Kaiser and George T. Heineman. An Architecture for Multi-User Software Development Environments. 5th ACM SIGSOFT Symposium on Software Development Environments, December 1992, pp. 149-158. 23% accepted. (Reprinted in Pankaj K. Garg and Mehdi Jazayeri (eds.), Process-Centered Software Engineering Environments, IEEE Computer Society Press, 1995, pp. 275-284.)

Naser S. Barghouti and Gail E. Kaiser. Scaling Up Rule-Based Development Environments. 3rd European Software Engineering Conference, A. van Lamsweerde and A. Fugetta (eds), Lecture Notes in Computer Science 550, Springer-Verlag, October 1991, pp. 380-395. <17% accepted.

Mark A. Gisi and Gail E. Kaiser. Extending A Tool Integration Language. 1st International Conference on the Software Process, October 1991, pp. 218-227. 29% accepted. 

Tushar M. Patel and Gail E. Kaiser. The Splendors Real Time Portfolio Management System. 1st International Conference on Artificial Intelligence Applications on Wall Street, October 1991, pp. 73-78.

George T. Heineman, Gail E. Kaiser, Naser S. Barghouti and Israel Z. Ben-Shaul. Rule Chaining in Marvel: Dynamic Binding of Parameters. 6th Knowledge-Based Software Engineering Conference, September 1991, pp. 215-222.

Steven S. Popovich, Shyhtsun F. Wu and Gail E. Kaiser. An Object-Based Approach to Implementing Distributed Concurrency Control. 11th International Conference on Distributed Computing Systems, May 1991, pp. 65-72. 29% accepted. 

Brent Hailpern and Gail E. Kaiser. Dynamic Reconfiguration in an Object-Based Programming Language with Distributed Shared Data. 11th International Conference on Distributed Computing Systems, May 1991, pp. 73-80. 29% accepted. 

Gail E. Kaiser, Wenwey Hseush, Steven S. Popovich and Shyhtsun F. Wu. Multiple Concurrency Control Policies in an Object-Oriented Programming System. 2nd IEEE Symposium on Parallel and Distributed Processing, December 1990, pp. 623-626. 37% accepted.

Shyhtsun F. Wu and Gail E. Kaiser. Network Management with Consistently Managed Objects. IEEE Global Telecommunications Conference, December 1990, vol. 1, pp. 304.7.1-304.7.6.  

Naser S. Barghouti and Gail E. Kaiser. Modeling Concurrency in Rule-Based Development Environments.  International Working Conference on Cooperating Knowledge Based Systems, Springer-Verlag, October 1990, pp. 223-239.

Naser S. Barghouti and Gail E. Kaiser. Multi-Agent Rule-Based Software Development Environments. 5th Knowledge-Based Software Assistant Conference, September 1990, pp. 375-387.  

Josephine Micallef and Gail E. Kaiser. Extending the Mercury System to Support Teams of Ada Programmers. 1st International Symposium on Environments and Tools for Ada, April 1990, pp. 49-60, 25% "unconditionally" accepted. (Special issue of Ada Letters, 11(3), Spring 1991.)

Gail E. Kaiser and Brent Hailpern. An Object Model for Shared Data. International Conference on Computer Languages, March 1990, pp. 136-144. 23% accepted.)

Wenwey Hseush and Gail E. Kaiser. Modeling Concurrency in Parallel Debugging. 2nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, March 1990, pp. 11-20. 21% accepted. (Special issue of SIGPLAN Notices, 25(3), March 1990.)

Gail E. Kaiser. A Flexible Transaction Model for Software Engineering. 6th International Conference on Data Engineering, February 1990, pp. 560-567. 28% accepted.

Gail E. Kaiser, Naser S. Barghouti and Michael H. Sokolsky. Preliminary Experience with Process Modeling in the Marvel Software Development Environment Kernel. 23rd Hawaii International Conference on System Sciences, January 1990, vol. II, pp. 131-140. 30% accepted.

Travis L. Winfrey and Gail E. Kaiser. Testing Reliable Distributed Applications Through Simulated Events. 8th Symposium on Reliable Distributed Systems, October 1989, pp. 160-166.

Gail E. Kaiser, Dewayne E. Perry and William M. Schell. Infuse: Fusing Integration Test Management with Change Management. 13th International Computer Software & Applications Conference, September 1989, pp. 552-558.  

Gail E. Kaiser. A Marvelous Extended Transaction Processing Model. 11th World Computer Conference IFIP '89, Elsevier Science Publishers B.V., August 1989, pp. 707-712. <30% accepted.

Gail E. Kaiser, Steven S. Popovich, Wenwey Hseush and Shyhtsun Felix Wu. Melding Multiple Granularities of Parallelism. 3rd European Conference on Object-Oriented Programming, Cambridge University Press, July 1989, pp. 147-166. 23% accepted. 

Calton Pu, Gail E. Kaiser and Norman Hutchinson. Split-Transactions for Open-Ended Activities. 14th International Conference on Very Large Data Bases, August 1988, pp. 26-37. 18% accepted. 

Gail E. Kaiser and Simon M. Kaplan. Rapid Prototyping of Concurrent Programming Languages. 8th International Conference on Distributed Computing Systems, June 1988, pp. 250-255. 30% accepted. 

Wenwey Hseush and Gail E. Kaiser. Data Path Debugging: Data-Oriented Debugging for a Concurrent Programming Language. ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, May 1988, pp. 236-246. 32% accepted. (Special issue of SIGPLAN Notices, 24(1), January 1989.)

Dewayne E. Perry and Gail E. Kaiser. Models of Software Development Environments. 10th International Conference on Software Engineering, April 1988, pp. 60-68. 20% accepted.

Simon M. Kaplan and Gail E. Kaiser. Garp: Graph Abstractions for Concurrent Programming. European Symposium on Programming, H. Ganzinger (ed.), Lecture Notes in Computer Science 300, Springer-Verlag, March 1988, pp. 191-205. 31% accepted. 

Ursula Wolz and Gail E. Kaiser. A Discourse-Based Consultant for Interactive Environments. 4th IEEE Conference on Artificial Intelligence Applications, March 1988, pp. 28-33. 23% accepted.

Yoelle S. Maarek and Gail E. Kaiser. Change Management for Very Large Software Systems. 7th International Phoenix Conference on Computers and Communications, March 1988, pp. 280-285.  

Naser S. Barghouti and Gail E. Kaiser. Implementation of a Knowledge-Based Programming Environment. 21st Hawaii International Conference on System Sciences, January 1988, vol. II, pp. 54-63.

Josephine Micallef and Gail E. Kaiser. Version and Configuration Control in Distributed Language-Based Environments. Jurgen F.H. Winkler (ed.), International Workshop on Software Version and Configuration Control, German Chapter of the ACM Berichte 30, B.G. Teubner, Stuttgart, January 1988, pp. 119-143.

Robert W. Schwanke and Gail E. Kaiser. Living with Inconsistency in Large Systems. Jurgen F.H. Winkler (ed.), International Workshop on Software Version and Configuration Control, German Chapter of the ACM Berichte 30, B.G. Teubner, Stuttgart, January 1988, pp. 98-118.

Yoelle S. Maarek and Gail E. Kaiser. Using Conceptual Clustering for Classifying Reusable Ada Code. Using Ada: ACM SIGAda International Conference, December 1987, pp. 208-215. 26% accepted. 

Gail E. Kaiser and David Garlan. MELDing Data Flow and Object-Oriented Programming. Object-Oriented Programming Systems, Languages, and Applications Conference, October 1987, pp. 254-267.

Gail E. Kaiser and Dewayne E. Perry. Workspaces and Experimental Databases: Automated Support for Software Maintenance and Evolution. Conference on Software Maintenance, September 1987, pp. 108-114.

Wenwey Hseush and Gail E. Kaiser. A Network Architecture for Reliable Distributed Computing. 1987 Symposium on Simulation of Computer Networks, August 1987, pp. 11-22. 50% accepted.

Gail E. Kaiser and Peter H. Feiler. An Architecture for Intelligent Assistance in Software Development. 9th International Conference on Software Engineering, March 1987, pp. 180-188. 11.5% accepted.

Gail E. Kaiser and Simon M. Kaplan. Reliability in Distributed Programming Environments. 6th Symposium on Reliability in Distributed Software and Database Systems, March 1987, pp. 45-55. 32% accepted.

Dewayne E. Perry and Gail E. Kaiser. Infuse: A Tool for Automatically Managing and Coordinating Source Changes in Large Systems. 15th ACM Computer Science Conference, February 1987, pp. 292-299.

Gail E. Kaiser and David Garlan. MELD: A Declarative Language for Writing Methods. 6th International Phoenix Conference on Computers and Communications, February 1987, pp. 280-285.  

Gail E. Kaiser and Peter H. Feiler. Intelligent Assistance without Artificial Intelligence. 32nd IEEE Computer Society International Conference, February 1987, pp. 236-241.

Gail E. Kaiser and David Garlan. Composing Software Systems from Reusable Building Blocks. 20th Hawaii International Conference on System Sciences, January 1987, vol. II, pp. 536-545.

Peter H. Feiler and Gail E. Kaiser. Granularity issues in a knowledge-based programming environment. 2nd Kansas Conference on Knowledge-Based Software Development, October 1986.

Simon M. Kaplan and Gail E. Kaiser. Incremental Attribute Evaluation in Distributed Language-Based Environments. 5th ACM Symposium on Principles of Distributed Computing, August 1986, pp. 121-130. 20% accepted.

Gail E. Kaiser. Generation of Run-Time Environments. SIGPLAN '86 Symposium on Compiler Construction, June 1986, pp. 51-57. 20% accepted. (Special issue of SIGPLAN Notices, 21(7), July 1986.)

Gail E. Kaiser and Peter H. Feiler. Generation of Language-Oriented Editors. Programmierumgebungen und Compiler, H. Morgenbrod and W. Sammer (eds.), German Chapter of the ACM Berichte 18, B.G. Teubner, Stuttgart, April 1984, pp. 31-45. (Paper in English.)

Peter H. Feiler and Gail E. Kaiser. Display-Oriented Structure Manipulation in a Multi-Purpose System. IEEE Computer Society's 7th International Computer Software and Applications Conference, November 1983, pp. 40-48.

Gail E. Kaiser and A. Nico Habermann. An Environment for System Version Control. 26th IEEE Computer Society International Conference, February 1983, pp. 415-420.

Miscellaneous Publications

Jonathan Bell, Kendra M.L. Cooper, Gail Kaiser, and Swapneel Sheth. Report from the Second International Workshop on Games and Software Engineering (GAS 2012). ACM SIGSOFT Software Engineering Notes, 38(2), March 2013.

Swapneel Sheth and Gail Kaiser. The Tradeoffs of Societal Computing. Onward!: ACM Symposium on New Ideas in Programming and Reflections on Software, October 2011.

Swapneel Sheth, Jonathan Bell and Gail Kaiser. HALO (Highly Addictive, sociaLly Optimized) Software Engineering. Position paper in 1st Games and Software Engineering Workshop, May 2011.

Swapneel Sheth, Nipun Arora, Christian Murphy and Gail Kaiser. The weHelp Reference Architecture for Community-Driven Recommender Systems. Poster in 2nd International Workshop on Recommendation Systems for Software Engineering, May 2010.

Kevin M. Jackson, Gail Kaiser, Lyndon Wong, Daniel Rabinowitz and Michael F. Chiang. Comparing Speed of Provider Data Entry: Electronic Versus Paper Methods. Poster in Annual Meeting of the American Academy of Optometry, November 2009.

Rean Griffith, Gail Kaiser and Javier Alonso López. Multi-perspective Evaluation of Self-Healing Systems Using Simple Probabilistic Models. Poster in 6th International Conference on Autonomic Computing and Communications, June 2009.

Nipun Arora, Ravindra Babu Ganapathi, John Demmes, Simha Sethumadhavan and Gail Kaiser. COMPASS Community Driven Parallelization Advisor for Sequential Software Systems. Student poster in 14th International Conference on Architectural Support for Programming Languages and Operating Systems, March 2009.

Chris Murphy, Gail Kaiser and Matt Chu.  The In Vivo Approach to Testing Software Applications. Student poster in International Symposium on Software Testing and Analysis, July 2008.

Suhit Gupta, Hila Becker, Gail Kaiser and Salvatore Stolfo.  Verifying Genre-based Clustering Approach to Content Extraction. Poster in 15th World Wide Web Conference, May 2006.

Rean Griffith, Joseph L. Hellerstein, Gail Kaiser and Yixin Diao. Dynamic Adaptation of Temporal Event Correlation Rules. Position paper in 1st International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks, April 2006.

Suhit Gupta, Gail Kaiser and Salvatore Stolfo.  Extracting Content To Improve Accuracy for HTML Content Extraction. Poster in 14th World Wide Web Conference, May 2005, pp. 1114-1115. Best Student Poster Award.

Suhit Gupta and Gail Kaiser. Extracting Content from Accessible Web Pages.  Position paper in International Cross-Disciplinary Workshop on Web Accessibility, May 2005.

Yixin Diao, Joseph L. Hellerstein, Gail Kaiser, Sujay Parekh and Dan Phung. Self-managing Systems: A Control Theory Foundation. Position Paper in 1st Workshop on Operating System and Architectural Support for the on demand IT InfraStructure, October 2004.

Suhit Gupta and Gail Kaiser. CRUNCH – Web-based Collaboration for Persons with Disabilities. Position Paper in W3C Web Accessibility Initiative Teleconference on Making Collaboration Technologies Accessible for Persons with Disabilities, April 2003. (One of 3 position papers selected for presentation.)

Alpa Shah and Gail Kaiser. Decentralized Information Spaces for Composition and Unification of Web Services. Position Paper in Workshop on Object-Oriented Web Services, November 2002.

Dan Port and Gail Kaiser. Introducing a "Street Fair" Open Source Practice Within Project Based Software Engineering Courses. Position paper in 1st Workshop on Open Source Software Engineering, May 2001.

Gail Kaiser and Giuseppe Valetto. Ravages of Time: Synchronized Multimedia for Internet-Wide Process-Centered Software Engineering Environments. Position paper in 3rd Workshop on Software Engineering over the Internet, June 2000.

Barry Boehm, Gail Kaiser and Daniel Port. A Combined Curriculum Research and Curriculum Development (CRCD) Approach to Software Engineering Education. Position paper in Conference on Software Engineering Education and Training: Workshop on Developing Undergraduate Software Engineering Programs, March 2000.

Gail Kaiser, Adam Stone and Stephen Dossick. A Mobile Agent Approach to Lightweight Process Workflow.  Position paper in International Process Technology Workshop, September 1999.

Stephen E. Dossick and Gail E. Kaiser. Distributed Software Development with CHIME. Position paper in 2nd Workshop on Software Engineering over the Internet, May 1999.

Gail Kaiser. From Oz To TreatyMaker. Position paper in WACC '99 Workshop on Cross-Organisational Workflow Management and Co-ordination, February 1999 (36% selected for presentation).

Gregory Alan Bolcer and Gail Kaiser. Collaborative Work: SWAP: Leveraging the Web to Manage Workflow. Column in IEEE Internet Computing, 23(1):85-88, January/February 1999.

Daniel Port and Gail Kaiser. Collaborative Work: Collaborative Technologies for Evolving Software Systems. Column in IEEE Internet Computing, 2(6):79-83, November/December 1998.

Stephen E. Dossick and Gail E. Kaiser. Worklets for Adaptive Workflow. Position paper in CSCW-98 Workshop: Towards Adaptive Workflow Systems, November 1998.

Frank Maurer and Gail Kaiser. Software Engineering in the Internet Age.Guest Editors' Introduction in IEEE Internet Computing, 2(5):22-24, September/October 1998.

Shih-Fu Chang, Luis Gravano, Gail E. Kaiser, Kenneth Ross, Salvatore J. Stolfo. Database Research At Columbia University. Unrefereed article in SIGMOD RECORD, 27(3):75-80, September 1998.

Andrew P. Kosoresow and Gail E. Kaiser. Collaborative Work: Using Agents to Enable Collaborative Work. Column in IEEE Internet Computing, 2(4):85-87, July/August 1998.

Israel Ben-Shaul and Gail Kaiser. Collaborative Work: Coordinating Distributed Components over the Internet. Column in IEEE Internet Computing, 2(2):83-86, March/April 1998.

Wenyu Jiang, Gail E. Kaiser, Jack Jingshuang Yang and Stephen E. Dossick. WebCity: A WWW-based Hypermedia Environment for Software Development. Poster paper in 7th Workshop on Information Technologies and Systems, December 1997, pp. 241-245.

Peyman Oreizy and Gail Kaiser. Collaborative Work: The Web as Enabling Technology for Software Development and Distribution. Column in IEEE Internet Computing, 1(6):84-87, November/December 1997.

Stephen E. Dossick and Gail Kaiser. Collaborative Work: Tool Services for Intranets. Column in IEEE Internet Computing, 1(5):80-81, September/October 1997.

Roy T. Fielding and Gail Kaiser. Collaborative Work: The Apache HTTP Server Project. Column in IEEE Internet Computing, 1(4):88-90, July/August 1997.

Gail E. Kaiser, Stephen E. Dossick, Wenyu Jiang and Jack J. Yang. An Open Hypertext Collaboration Environment for the World Wide Web and Other Distributed Computing Infrastructures. Position paper in Uffe K. Wiil (ed.), 3rd Workshop on Open Hypermedia Systems, April 1997, pp. 86-92.

Gail Kaiser and Jim Whitehead. Collaborative Work: Distributed Authoring and Versioning. Column in IEEE Internet Computing, 1(2):76-77, March/April 1997.

Gail E. Kaiser, George T. Heineman, Peter D. Skopp and Jack J. Yang. On the Yellow Brick Road to Component-based Product Lines. Position paper in Barry Boehm (ed.), 10th International Software Process Workshop: Process Support of Software Product Lines, June 1996.

Gail E. Kaiser and Wenke Lee. Pay No Attention to the Man Behind the Curtain. Position paper in NSF Workshop on Workflow and Process Automation in Information Systems: State-of-the-Art and Future Directions, May 1996, pp. 46-52.

Giuseppe Valetto and Gail E. Kaiser. Enveloping ``Persistent'' Tools for a Process-Centered Environment. Position paper in 4th European Workshop on Software Process Technology, Wilhelm Schafer (ed.), Lecture Notes in Computer Science 913, Springer-Verlag, April 1995, pp. 200-204.

Gail E. Kaiser and Simon M. Kaplan. CSCW and Software Process. Session summary in Ninth International Software Process Workshop: The Role of Humans in the Process, October 1994, pp. 9-11.

Andrew Z. Tong and Gail E. Kaiser. Reducing the Technical Overhead of Software Reuse. Position paper in 6th Workshop on Software Reuse, November 1993.

Gail E. Kaiser. MARVEL 3.1: A Multi-User Software Development Environment. Invited talk abstract in International Symposium on Logic Programming, October 1993, pp. 36-39.

Shyhtsun F. Wu and Gail E. Kaiser. Shared Memory vs. Message Passing in the Real-Time Producers/Consumers Problem. Short paper in IEEE Workshop on Parallel and Distributed Real-Time Systems, April 1993, p. 257.

Gail E. Kaiser and Israel Z. Ben-Shaul. Process Evolution in the Marvel Environment. Position paper in 8th International Software Process Workshop: State of the Practice in Process Technology, March 1993, pp. 104-106.

Webb Stacy, Richard Helm, Gail E. Kaiser and Bertrand Meyer. Ensuring Semantic Integrity of Reusable Objects. Panel statement in Conference on Object-Oriented Programming Systems, Languages, and Applications, October 1992, pp. 298-302.

James Lee, Wenwey Hseush, Erik Hilsdale and Gail E. Kaiser. Dynamic Orthogonal Composition in Meld. Short paper presented and distributed at 2nd Workshop on Objects in Large Distributed Applications, October 1992.

Israel Z. Ben-Shaul, Gail E. Kaiser and George T. Heineman. Support for Concurrency in a Componentized SEE Architecture. Position paper presented and distributed at Process-Sensitive SEE Architectures Workshop, September 1992.

Gail E. Kaiser. We Need To Measure The Quality Of Our Work. Abstract in Walter F. Tichy, Nico Habermann and Lutz Prechelt (editors, Future Directions in Software Engineering, February 1992. In ACM Software Engineering Notes, 18(1):37, January 1993.

Karen E. Huff and Gail E. Kaiser. Change in the Software Process. Session summary in 7th International Software Process Workshop: Communication and Coordination in the Software Process, October 1991, pp. 10-13.

Gail E. Kaiser. A Rule-based Process Server Component for Constructing Rule-based Development Environments. Position paper in 7th International Software Process Workshop: Communication and Coordination in the Software Process, October 1991, pp. 76-78.

Michael Lowry, Gail Kaiser, Dorothy Setliffe and David Steier. Knowledge-Based Design Environments. Panel statement in 6th Knowledge-Based Software Engineering Conference, September 1991, pp. 239-244.

Gail E. Kaiser. Open Object-Oriented Database Requirements for Extended Transactions. Position paper in DARPA Open Object-Oriented Database Workshop II, September 1991.

Gail E. Kaiser. Marvel's Activity-Centered View of Configuration Management. Position paper in The International Workshop on Software Configuration Management Position Papers, June 1991, pp. 51-53.

Gail E. Kaiser. Open Object-Oriented Database Support for Multi-User Process-Oriented Environments. Position paper in DARPA Open Object-Oriented Database Workshop I, March 1991.

Naser S. Barghouti and Gail E. Kaiser. MARVEL 2.6 A Unix-Based Software Development Environment Kernel. Position paper in International Workshop on UNIX-Based Software Development Environments, January 1991.

Steven S. Popovich, Gail E. Kaiser and Shyhtsun F. Wu. Melding Transactions and Objects. Position paper in ECOOP-OOPSLA Workshop on Object-Based Concurrent Programming, special issue of OOPS Messenger, 2(2):94-98, April 1991.

Naser S. Barghouti and Gail E. Kaiser. Concurrency Control in Multi-Agent Object-Based Development Environments. Position paper in Workshop on Transactions and Objects, October 1990, pp. 21-25.

Israel Z. Ben-Shaul, Gail E. Kaiser and Naser S. Barghouti. An Object-Oriented Framework for Rule-Based Development Environments. Position paper in ECOOP/OOPSLA '90 Workshop on Object-Oriented Program Development Environments, October 1990.

Gail E. Kaiser, Israel Z. Ben-Shaul and Naser S. Barghouti. Preliminary Design of an Object Management System for Multi-User Marvel. Position paper in 6th International Software Process Workshop: Experience with Software Process Models, October 1990, pp. 121-123.

Simon M. Kaplan, Anthony Finkelstein, Gail Kaiser, Kevin Ryan and Wilhelm Schafer. Interactively Supporting the Software Process. Panel statement in IFIP TC 13 3rd International Conference on Human-Computer Interaction -- INTERACT '90, D. Diaper, D. Gilmore, G. Cockton and B. Shackel (eds.), North-Holland, August 1990, pp. 1047-1049.

Josephine Micallef, Gail E. Kaiser and Dewayne E. Perry. SETA1 Working Group on Ada Libraries, Configuration Management, and Version Control. Working group report in 1st Symposium on Environments and Tools for Ada, special issue of Ada Letters, 11(3):29-31, Spring 1991.

Gail E. Kaiser. Extended Transaction Models. Introduction to minitrack in 23rd Hawaii International Conference on System Sciences, January 1990, vol. II, p. 471.

Gail E. Kaiser. Modeling Configurations as Transactions. Position paper in 2nd International Workshop on Software Configuration Management, special issue of Software Engineering Notes, 17(7):129-132, November 1989.

Gail E. Kaiser. Mechanisms Session Report. Workshop session report in 5th International Software Process Workshop: Experience with Software Process Models, October 1989, pp. 13-15.

Gail E. Kaiser. Experience with Marvel. Position paper in 5th International Software Process Workshop: Experience with Software Process Models, October 1989, p. 82-84.

Michael H. Sokolsky and Gail E. Kaiser. Experiments with Rule Based Process Modeling in an SDE. Position paper in Software Engineering Environments International Workshop on Environments, Fred Long (ed.), Lecture Notes in Computer Science 467, Springer-Verlag, September 1989, pp. 107-114.

Gail E. Kaiser. Constructing Enactable Models. Workshop session report in 4th International Software Process Workshop: Representing and Enacting the Software Process, special issue of Software Engineering Notes, 14(4):15-16, June 1989.

Gail E. Kaiser. Rule-Based Modeling of the Software Development Process. Position paper in 4th International Software Process Workshop: Representing and Enacting the Software Process, special issue of ACM SIGSOFT Software Engineering Notes, 14(4):84-86, June 1989.

Gail E. Kaiser. Object-Based Concurrency. Position paper distributed at ECOOP '89 Workshop on Object-Based Concurrent Programming, July 1989.

Gail E. Kaiser. MARVELous Programming Environments. Public relations article in Columbia Engineering Research, Number 38, May 1989.

Gail E. Kaiser. Transactions for Concurrent Object-Oriented Programming Systems. Position paper in ACM SIGPLAN Workshop on Object-Based Concurrent Programming, special issue of SIGPLAN Notices, 24(4):120-122, April 1989.

Gail E. Kaiser. Concurrent Meld. Position paper in ACM SIGPLAN Workshop on Object-Based Concurrent Programming, special issue of SIGPLAN Notices, 24(4):136-138, April 1989.

Gail E. Kaiser. Marvel Software Development Environments. Position paper in Working Notes AAAI Spring Symposium Series Artificial Intelligence and Software Engineering, March 1989, pp. 40-42.

Gail E. Kaiser. Research in Software CAD Databases. Position paper in 1989 ACM SIGMOD Workshop on Software CAD Databases, February 1989, pp. 67-69.

Gail E. Kaiser. Concurrent Meld. Full paper presented and distributed at Workshop on Object-Based Concurrent Programming, September 1988. 

Gail Kaiser. Position paper in ISF Architecture: Report on an International Workshop, Alvey Information Systems Factory Study, January 1988, pp. 4-5.

Gail E. Kaiser. Use of AI Techniques for Software Design and Implementation. Introduction to minitrack in 21st Hawaii International Conference on System Sciences, January 1988, volume II, p. 11.

Peter H. Feiler and Gail E. Kaiser. Intelligent Assistance in Software Development Environments. In Annual Technical Review 1987, Carnegie Mellon University, Software Engineering Institute, 1987, pp. 43-56.

Gail E. Kaiser. Semantics for Structure Editing Environments. PhD Thesis, Carnegie Mellon University, Department of Computer Science CMU-CS-85-131, May 1985.

David Notkin, Nico Habermann, Robert Ellison, Gail Kaiser and David Garlan. Letter to the Editor. SIGPLAN Notices, 18(4):7-12, April 1983.

Gail E. Kaiser, Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations. Revision of ScB Thesis, Massachusetts Institute of Technology, Laboratory for Computer Science TR-233, April 1980.

Albert Vezza, P. David Lebling, Edward H. Black, Timothy A. Anderson, John F. Haverty, David Sherry and Gail E. Kaiser. Machine Recognition and Understanding of Manual Morse. In Distributed Sensor Nets, DARPA/ISTO Workshop, December 1978, pp. 125-136.

Invited Talks (selected)

2013: Testing 1...2...3..., CS Distinguished Lecture, University of Southern California, Los Angeles CA,

2004: Self-Management of Complex Legacy Systems and Systems of Systems, Technology Transfer Institute Vanguard conference on "The Challenge of Complexity", Los Angeles CA; An External Infrastructure Approach to Autonomic Computing, IBM T.J. Watson Research, Hawthorne NY.

2003: Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems, 5th Annual International Active Middleware Workshop (aka Autonomic Computing Workshop), Seattle WA.

2002: Autonomizing Legacy Systems, 2002 IBM Almaden Institute Symposium on Autonomic Computing, San Jose CA.

2001: A Mobile Agent Approach to Process-based Dynamic Adaptation of Complex Software Systems, Naval Research Laboratory, Washington DC.

1999: Component Technologies and Frameworks for Software Engineering Teams, 11th Annual Software Technology Conference, Salt Lake City UT; From Oz to TreatyMaker: An International Alliance Metaphor for Multi-Organization Workflows, Workshop on Cross-Organisational Workflow Management and Co-ordination, San Francisco CA.

1998: Component Technologies for Next-Generation Software Development Environments, Software Productivity Consortium, Herndon, VA.

1996: Pay No Attention to the Man Behind the Curtain, NSF Workshop on Workflow and Process Automation in Information Systems: State-of-the-Art and Future Directions, Athens GA.

1994: Oz Process-Centered Environment and CSCW, CSCW Workshop on Relationships between CSCW and Software Process, Chapel Hill NC.

1993: Marvelous Support for Semi-Structured Group Activities, ACM Conference on Organizational Computing Systems, Milpitas CA (keynote address); Rule-based Approaches to Software Process, International Symposium on Logic Programming, Vancouver British Columbia, Canada (keynote address); Cooperative Transactions for Engineering Environments, MIT Industrial Liaison Program Symposium on Collaborative Engineering, Cambridge MA.

1992: The Wizardry of Oz: Componentizing Marvel, 4th International Symposium on Future Software Environments, Sydney, Australia.

1991: MARVEL 3.0 A Unix-Based Software Development Environment Kernel, Soviet Unix Users Group Workshop on Unix and Applications, Moscow, Russia (USSR).

1990: Cooperative Transactions for Software Development Environments, 2nd International Symposium on Future Software Environments, Boulder CO; Change Propagation for Multi-User, Distributed Software Development Environments, National Science Foundation, Washington DC.

1989: Software Engineering Research at Columbia University, Syracuse University CASE Center Winter Conference, Syracuse NY.

1988: Marvel: An Expert System for Software Design and Development, Joint Statistical Meetings, New Orleans LA; Constructing Enactable Models, 4th International Software Process Workshop, Devon, United Kingdom.

Invited Panels

2004: OSS [Operations Support Systems] Re-systemization - Issues and Challenges, Applied Research 3rd Quarter Review, Telcordia, Piscataway NJ.

2003: Autonomic Computing briefing of the Foresight and Governance Project, Woodrow Wilson International Center for Scholars, Washington DC.

1998: What do we really need: More adaptive workflows, or less prescriptive process models?, Adaptive Workflow Workshop, Seattle, WA.

1992: Ensuring Semantic Integrity of Reusable Objects, Conference on Object-Oriented Programming Languages, Applications and Systems, Vancouver BC, Canada; Software Process and Knowledge-Based Tools, 7th Knowledge-Based Software Engineering Conference, McLean VA; Processes in Large Software Projects, IBM Worldwide Software Development Conference on Quality Process Improvements, Toronto ON, Canada.

1991: An Analysis of the Strengths and Weaknesses of Process Description Formalisms, 7th International Software Process Workshop, Yountville CA; Knowledge-Based Design, 6th Knowledge-Based Software Engineering Conference, Syracuse NY.

1990: Application of Process Models: how can rigorous software process models be beneficially applied?, Software Process Symposium, Washington DC; Interactively Supporting the Software Process, IFIP TC 13 3rd International Conference on Human-Computer Interaction -- INTERACT '90, Cambridge, United Kingdom.

1989: Database Support for Software Development Environments: Report from the 1989 Software CAD Database Workshop, Federal CASE Conference, Gaithersburg MD.

1988: Languages and Models for Concurrent Object-Based Programming, Workshop on Object-Based Concurrent Programming, San Diego CA; Object-Oriented Programming, 21st Hawaii International Conference on System Sciences, Kona HI.

Journal Editorships

Editorial Boards: World Wide Web: Internet and Web Information Systems, Kluwer, 1998-2004 (previously World Wide Web, Baltzer Science Publishers); Software Process Improvement and Practice, Wiley & Sons, Ltd., 1996-2003; IEEE Internet Computing, 1996-2001; ACM Transactions on Software Engineering and Methodology, 1989-1998;  International Journal of Intelligent & Cooperative Information Systems, World Scientific, 1991-92.

Misc: Guest Editor, with Frank Maurer, special issue on Software Engineering over the Internet, IEEE Internet Computing, Sept/Oct 1998; ACM Press Systems Editor, 1988-1993.

Program Committees

2013: 6th IEEE International Conference on Software Testing, Verification and Validation; Onward! Essays.

2012: Co-Chair for 2nd International Workshop on Games and Software Engineering (GAS 2012): Realizing User Engagement with Game Engineering Techniques.

2010: 3rd IEEE International Conference on Software Testing, Verification and Validation.

2009: Onward; 6th IEEE International Conference on Autonomic Computing; 4th International Workshop on Software Engineering for Adaptive and Self-Managing Systems.

2008: 5th IEEE International Conference on Autonomic Computing; 3rd International Workshop on Software Engineering for Adaptive and Self-Managing Systems.

2007: 4th IEEE International Conference on Autonomic Computing; 16th International World Wide Web Conference; 2nd Workshop on Software Engineering for Adaptive and Self-Managing Systems; 1st IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

2006: 3rd IEEE International Conference on Autonomic Computing; 15th International World Wide Web Conference, 2nd IEEE Symposium on Dependable Autonomic and Secure Computing.

2005: 2nd IEEE International Conference on Autonomic Computing, 3rd IEEE International Conference on Web Services, 1st IFIP Workshop on Trusted and Autonomic Ubiquitous and Embedded Systems.

2004: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations & Management, 13th International World Wide Web Conference, IASTED International Conference on Software Engineering.

2003: 25th International Conference on Software Engineering.

2001: 27th International Conference on Very Large Databases; 1st Workshop on Engineering of E-Business Applications at the IEEE 10th International Workshops on Enabling Technologies; Working Conference on Complex and Dynamic Systems Architectures.

2000: VLDB Workshop on Technologies for E-Services.

1998: Vice-Chair of Distributed Software Engineering and Languages for 18th International Conference on Distributed Computing Systems, 10th ACM Conference on Hypertext and Hypermedia.

1997: Vice-Chair of Programming Languages, Tools and Software Engineering for 17th International Conference on Distributed Computing Systems, 8th Israeli Conference on Computer Systems and Software Engineering.

1996: 11th Knowledge-Based Software Engineering Conference; International Conference on Information and Knowledge Management; Annual Workshop on Information Technologies and Systems.

1995: Chair for 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering, 17th International Conference on Software Engineering; 10th Knowledge-Based Software Engineering Conference.

1994: 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering; 9th International Software Process Workshop; ICSE Workshop on Research Issues in the Intersection Between Software Engineering and Databases.

1993: Vice-Chair of Programming Languages, Tools and Software Engineering for 13th International Conference on Distributed Computing Systems, Conference on Organizational Computer Systems; 15th International Conference on Software Engineering; 4th European Software Engineering Conference.

1992: Chair for 2nd International Symposium on Environments and Tools for Ada (ACM SIGADA), 5th SIGSOFT Symposium on Software Development Environments; 14th International Conference on Software Engineering; 4th International Conference on Computer Languages; 7th Knowledge-Based Software Engineering Conference.

1991: 6th ACM Conference on Object-Oriented Programming Systems, Languages, and Applications; 1st International Conference on the Software Process; 6th Knowledge-Based Software Engineering Conference; 3rd International Workshop on Software Configuration Management.

1990: 4th ACM SIGSOFT Symposium on Software Development Environments; 12th International Conference on Software Engineering; 6th International Software Process Workshop (keynote presenter); 1st International Symposium on Environments and Tools for Ada (working group moderator); 23rd Hawaii International Conference on System Sciences (minitrack chair).

1989: 11th International Conference on Software Engineering; 9th International Conference on Distributed Computing Systems.

1988: 3rd Ada Applications and Environments Conference; 21st Hawaii International Conference on System Sciences (minitrack chair).

Other Professional Activities

Patents: Systems and Methods for CONTENT EXTRACTION, with Suhit Gupta and Salvatore Stolfo, Provisional Patent Application No. 60/666,358, filed on March 30, 2005,  Nonprovisional Patent Application 11/395,579, filed on March 30, 2006.

Conference Organizing Committees: Grace Hopper Celebration of Women in Computing (PhD Forum Committee Member), 2010; IEEE International Workshop on Trusted and Autonomic Computing Systems (Advisory Committee), 2006; 1st IEEE International Conference on Autonomic Computing (Steering Committee), 2004; International Conference on Software Engineering (Tutorials Co-Chair), 2001; International Conference on Software Engineering (Formal Research Demos Chair), 1999.

Advisory Boards: Microsoft Research University Relations Faculty Advisory Board, Redmond WA, 2003.

Consulting: Educational Testing Service, Princeton NJ, December 1995 and April 2000; University of Massachusetts, Amherst MA, September 1999; Andersen Consulting, Chicago IL, August 1993; Siemens Corporate Research, Princeton NJ, June 1981-September 1992; AT&T Bell Laboratories, Murray Hill NJ, October 1985-December 1991; Software Design & Analysis (consulting firm), Boulder CO, May-August 1991; COMPASS, Inc., Wakefield MA, August 1988; Sun Microsystems, Inc., Mountain View CA, August 1986-January 1987; TRW Defense & Space Systems Group, Dayton OH, November 1980-September 1981.

Grant Panels and Site Visit Committees: NSF CISE site visit committee, 2012; NSF CISE panels 2004, 1998, 1995, 1989 (2); NSF CISE site visit committee, 1990; Polytechnic University Center for Advanced Technology in Telecommunications internal proposal review panel, 1992; New York State Science and Technology Foundation CAT site visit committee, 1990.

Grant Proposal Reviews (other than panels): The Netherlands Organisation for Scientific Research (NWO); Kuwait University Office of the Vice President of Research; United States-Israel Binational Science Foundation; Stichting informatica-onderzoek in Nederland (The Netherlands Computer Science Research Foundation); Fonds national suisse de la recherche scientifique (Switzerland NSF); Natural Sciences and Engineering Research Council of Canada (NSERC); Montanans On a New Trac for Science (State of Montana, part of NSF Experimental Program to Stimulate Competitive Research); New York State Science and Technology Foundation; numerous NSF programs (Visiting Professorships for Women; International Programs; Information Technology and Organizations; Operating Systems and Systems Software; Programming Languages and Compilers; Experimental Systems; Database and Expert Systems; Design, Tools and Test; Cooperative Science; New Technologies; Software Systems; Software Engineering; Networking and Communications; Computer Systems Architecture).

Journal Article and Book Reviews (in addition to editorial boards): IEEE Transactions on Computers, IEEE Multimedia, IEEE Transactions on Mobile Computing, Journal of Biomedical Informatics, IEEE Transactions on Systems, Man and Cybernetics, Pearson Education, Decision Support Systems, Annals of Software Engineering, Journal of Parallel and Distributed Computing, Journal of Empirical Software Engineering, Journal of Automated Software Engineering, The Computer Journal, Theory and Practice of Object Systems, Information Systems, Journal of Integrated Computer-Aided Engineering, Information and Software Technology, Trends in Software, ACM Letters on Programming Languages and Systems, Addison-Wesley, IEEE Computer Society Press, ACM Transactions on Information Systems, IEEE Parallel and Distributed Technology: Systems and Applications, Journal of Complexity, IEEE Transactions on Knowledge and Data Engineering, Machine Learning, ACM Transactions on Computer Systems, ACM Computing Surveys, IEEE Bulletin on Office Knowledge Engineering, IEEE Transactions on Parallel and Distributed Systems, International Journal of Parallel Programming, IEEE Expert, Acta Informatica, ACM Transactions on Programming Languages and Systems, Computer Science Press, IEEE Transactions on Software Engineering, Computer, IEEE Software, Software - Practice & Experience, Communications of the ACM.

Conference Paper Refereeing (in addition to program committees): 2nd IEEE International Conference on Computer and Communication Technology '11, IEEE International Conference on Data Engineering and Internet Technology '11, 8th Workshop on Hot Topics in Operating Systems '01, HICSS34 Mini-track on Software Tools '01, SIGPLAN Conference on Programming Language Design and Implementation '00, 8th WETICE workshop on Coordinating Distributed Software Development Projects, CASCON '94 and '93, 6th Architectural Support for Programming Languages and Operating Systems, World Computer Congress IFIP '94 and '89, 3rd IFIP Working Conference on Dependable Computing for Critical Applications, 21st International Conference on Fault-Tolerant Computing, 6th and 5th International Parallel Processing Symposium, 2nd IEEE Symposium on Parallel and Distributed Processing, SIGMOD '90, 1990 International Conference on Computer Languages, 26th, 25th, 24th, 22nd and 20th Hawaii International Conference on System Sciences, OOPSLA '88 Conference, 14th ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, 8th International Conference on Software Engineering, 1984 ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1982 ACM AdaTEC Conference on Ada.

Invited Meetings: ARO Workshop on Trustworthy Social Computing, 2009 (co-leader of discussion group on Applications and Requirements for Trustworthy Social Computing); NSF CyberTrust PI Meeting, 2008; XML and Data Binding, 2003; Future Directions in Software Engineering, 1992; Software Engineering Institute Process Definition Advisory Group, 1990; IFIP Working Group 2.4 Systems Implementation Languages, 1990 (observer); Software Engineering Institute Software Process Modeling Evaluation Symposium, 1989; Alvey Information Systems Factory Workshop, 1987.

Professional societies: Vice-Chair for Operations, ACM Special Interest Group on Programming Languages (SIGPLAN), elected term 1991-1993; ACM/SIGPLAN National Lecturer, 1989-1991; ACM SIGPLAN '90 Organizing Committee (Registration Chair), June 1990. Member of AAAI, ACM, IEEE (Senior Member Grade, about 8% of membership is promoted) Computer Society.

Misc.: Co-Investigator on an IRB-approved user study titled "Usability Evaluation of Software Reliability Techniques", led by Junfeng Yang, 2009-2011; Co-Investigator on an IRB-approved user study titled "FSTC - Authenticating the FI to the Consumer", led by Steven Bellovin, 2007-2009; Co-Investigator on an IRB-approved user study titled "Evaluation of Web Navigation by Visually Disabled Users", at Columbia University and the Jewish Guild for the Blind, led by Dr. Michael F. Chiang, MD, Instructor in Clinical Ophthalmology at Columbia University College of Physicians and Surgeons, 2003-2005; Session Chair at CMU School of Computer Science 25th Anniversary Symposium, 1990.

Current Graduate Student Advising

PhD Advisees: Leon Wu, Swapneel Sheth, Nipun Arora, Jonathan Bell, Fang-Hsiang (Mike) Su, Riley Spahn (co-advised with Prof. Geambasu).

MS GRAs: Nikhi Sarda.

PhD Dissertations Supervised

Swapneel Sheth, Societal Computing, proposed January 2013, defense expected fall 2013.

Leon Wu, Improving System Reliability for Cyber-Physical Systems, proposed July 2011, defense expected May 2013.

Christian Murphy, Using Metamorphic Testing at Runtime to Detect Defects in Applications without Test Oracles, defended April 2010, deposited May 2010; Lecturer, University of

Rean Griffith, Evaluating Software Systems via Fault-Injection and Reliability, Availability and Serviceability (RAS) Metrics and Models, defended September 2008, deposited October 2008; Senior Member of Technical Staff, VMware, Palo Alto CA.

Janak J. Parekh, Privacy-Preserving Distributed Event Correlation, defended March 2007, deposited May 2007; Google, New York NY.

Suhit Gupta, Context-Based Content Extraction of HTML Documents, defended June 2005, deposited December 2005; Bridgewater Associates, Westport CT.

Giuseppe Valetto, Orchestrating the Dynamic Adaptation of Distributed Software with Process Technology, defended October 2003, deposited April 2004; Assistant Professor of Computer Science, Drexel University, Philadelphia PA.

Stephen E. Dossick, A Virtual Environment Framework for Software Engineering, defended May 2000, deposited November 2000; Director of Engineering, Zumobi.

Jingshuang Jack Yang, External, Extensible Transaction Services for WWW-Based Collaborative Systems, defended November 1999, deposited May 2000; Executive Director, UBS, New York NY.

Steven S. Popovich, An Architecture for Extensible Workflow Process Servers, defended July 1996, deposited January 1997; Senior IT Analyst, Caterpillar, Peoria IL.

George T. Heineman, A Transaction Manager Component for Cooperative Transaction Models, defended May 1996, deposited June 1996; Associate Professor of Computer Science, Worcester Polytechnic Institute, Worcester MA.

Shyhtsun Felix Wu, Epsilon-Consistent Real-Time Monitoring for Rapidly Changing Data, defended March 1995, deposited July 1995; Professor of Computer Science, University of California at Davis, Davis CA.

Israel Z. Ben-Shaul, A Paradigm for Decentralized Process Modeling and its Realization in the OzEnvironment, defended December 1994, deposited April 1995; CTO & Co-Founder, Actona Technologies Inc., Haifa, Israel, acquired by Cisco, now CTO & Co-Founder, Metiis Technologies.

Ursula Wolz, co-supervised with Kathleen Mckeown, Extending User Expertise in Interactive Environments: A Task-Centered Approach to Automatic Assistance, defended November 1991, deposited May 1992; Associate Professor of Computer Science, The College of New Jersey, Trenton NJ.

Naser S. Barghouti, Concurrency Control in Rule-Based Software Development Environments, defended November 1991, deposited February 1992; Co-Founder, Seismic Software, Encinitas, CA.

Josephine Micallef, Incremental Attribute Evaluation for Multi-User Semantics-Based Editors, Columbia University, defended November 1990, deposited May 1991; Telcordia Fellow, Chief Scientist & Director, Telcordia, Piscataway NJ.

MS Dissertations Supervised

Huning (David) Dai, CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection, April 2010.

Nipun Arora, COMPASS: Community driven Parallelization advisor for legacy Software Systems, May 2009.

Suhit Gupta, AI2TV - Video Synchronization in a Collaborative Virtual Environment, May 2001.

Peter D. Skopp, Low-Bandwidth Operation in a Multi-User Software Development Environment, December 1995.

Giuseppe Valetto, Expanding the Repertoire of Process-based Tool Integration, November 1994.

Tushar M. Patel, Real-time Portfolio Management and Automatic Extensions, October 1991.

Madhav Krish Ponamgi, MpD: A Multiprocessor Debugger, September 1991.

Israel Z. Ben-Shaul, An Object Management System for Multi-User Programming Environments, April 1991.

Shyhtsun F. Wu, Towards a Framework for Comparing Object-Oriented Systems, July 1989.

Michael H. Sokolsky, Data Migration in an Object-Oriented Software Development Environment, April 1989.

Takahisa Ishizuka, Tool Extension in an ALOE Editor, September 1988.

Harris Morgenstern, An Inconsistency Management System, March 1987.

Undergraduate Theses Supervised

Janak J. Parekh, Palm-sized Hyperweb Manager, May 1999.

Stephen E. Dossick, OzWeb: Interfacing the Oz System to the World Wide Web, December 1996.

Teaching

W3998, W4901, W6901 Projects in Computer Science, Fall 1985-present (>200 total).

W4156 Advanced Software Engineering, upper-level undergraduates and graduate students, Fall 1989 (32), Spring 1998 (20), Spring 2002 (16), Fall 2002 (20), Fall 2003 (29), Spring 2005 (35), Fall 2006 (35), Fall 2007 (39), Fall 2008 (60), Fall 2009 (46), Fall 2010 (104), Fall 2011 (67).

E6125 Web-Enhanced Information Management, previously E6998 Web-Based Information Management, previously E6113 Topics in Database Systems: WWW-based Collaborative Work, graduate students, Fall 1997 (28), Fall 2000 (81), Spring 2003 (34), Spring 2004 (27), Spring 2007 (45), Spring 2008 (57), Spring 2009 (36), Spring 2010 (41), Spring 2011 (34), Spring 2012 (35).

W4111 Database Systems, previously E6101 Database Systems, upper-level undergraduates and graduate students, Spring 1988 (56), Fall 2004 (44).

W3156 Introduction to Software Engineering, undergraduates, Spring 1995 (60), Spring 1996 (48), Spring 1997 (68), Spring 1998 (91), Spring 2000 (90), Spring 2001 (110).

E6123 Programming Environments and Software Tools, graduate students, Spring 1987 (24), Spring 1989 (12), Spring 1991 (6), Spring 1993 (16), Fall 1996 (17), Fall 1999 (37).

W4115 Programming Languages and Translators, upper-level undergraduates and MS students, Spring 1986 (50), Fall 1986 (53), Fall 1987 (82), Fall 1988 (37), Fall 1990 (53), Fall 1992 (47).

W4118 Operating Systems, upper-level undergraduates and MS students, Spring 1992 (53).

W3131 Data Structures, undergraduates, Fall 1985 (71).

Carnegie Mellon University, Introduction to Computing, experimental section for liberal arts majors (in Lisp), lower-level undergraduates, Fall 1981 (approx. 25).

Short courses and Tutorials: University of Illinois at Urbana-Champaign, Software Management, Illinois Software Summer School, guest lecturer, July 1990; IEEE International Conference on Data Engineering, Database Management Systems for Software Engineering, full-day, February 1990; AT&T Bell Laboratories at Murray Hill and Holmdel, Programming Language Design, Winter 1986-1987 and Summer 1987.

Teaching Assistantships: Carnegie Mellon University, Software Engineering Methods, upper-level undergraduates, Spring 1981.

Other Educational Activities

PhD Dissertation Committees (other than advisees): Omer Boyaci, High Performance Multimedia Collaboration Tools for Application Sharing, Measuring Capture-to-display Latency, and User Created Services, July 2011; Dinesh Subhraveti, Record and vPlay: Problem Determination with Virtual Replay Across Heterogeneous Systems, July 2011; Oren Laaden, A Personal Virtual Computer Recorder, September 2010; Shaya Potter, Operating System Virtualization Mechanisms for Mobility, Security and System Administration, August 2009; Haoqiang Zheng, CPU Scheduling with Automatic Interactivity and Dependency Detection, July 2009; Knarig Arabshian, Ontology-based context-aware service discovery in a globally distributed network, May 2008; Marc Eaddy, An Empirical Assessment of the Crosscutting Concern Problem, April 2008; Maryam Kamvar, Using Context to Improve Query Formulation and Entry from Mobile Phones, April 2008; Ricardo A. Baratto, THINC: A Virtual and Remote Display Architecture for Desktop Computing, October 2007; Xiaotao Wu, Ubiquitous Programmable Internet Telephony End System Services, February 2007; Kundan Singh, Reliable, Scalable and Interoperable Internet Telephony, June 2006; Sinem Güvem, Authoring and Presenting Situated Media in Augmented and Virtual Reality, April 2006; Shlomo Hershkop, Behavior-based Email Analysis with Application to Spam Detection, August 2005; Gaurav S. Kc, Defending Software Against Process-Subversion Attacks, April 2005; Alexander V. Konstantinou, Towards Autonomic Computing, September 2003; Dongwen Wang, A Generic Execution Model for Sharing of Computer-Interpretable Clinical Practice Guidelines, Columbia University Department of Medical Informatics, January 2003; Sushil da Silva, Netscript: A Language System for Active Networks, October 2002; Kazi Atif-Uz Zaman, Computing and Querying Datacubes, December 2000; Jun Rao, Advanced Query Processing in Databases, May 2000; Wenke Lee, A Data Mining Framework for Constructing Features and Models for Intrusion Detection Systems, June 1999; Blair MacIntyre, Exploratory Programming of Distributed Augmented Environments, December 1998; David Gerstl, Semantic Concurrency Control, Recovery, and Performance Profiling for Improving Response Time in Database Systems, State University of New York at Stony Brook, Department of Computer Science, December 1998; Zhe Li, Distributed Join Query Processing Architecture and Techniques, August 1997; Bruce Zenel, A Proxy Based Filtering Mechanism for the Mobile Environment, July 1997; David Espinosa, Semantic Lego, March 1995; William N. Schilit, Context-Aware Software Reconfiguration Supporting Mobile Distributed Computing), December 1994; Victor Klig, The Effect of Representation on Learning to Reason with Problems involving Computer Program Oriented Complex Logic, Teachers College, November 1990; Subrata Mazumdar, Knowledge-Based Monitoring of Integrated Networks for Performance Management, Columbia University, Department of Electrical Engineering, August 1990; Scott A. Vorthmann, Syntax-Directed Editor Support for Incremental Consistency Maintenance, Georgia Institute of Technology, January 1990; Michael van Biema, The Constraint-Based Paradigm: The Integration of the Object-Oriented and the Rule-Based Programming Paradigms, November 1989; Nihal Nounou, A Methodology for Specification-Based Performance Analysis of Protocols, June 1986.

PhD Thesis Proposal Committees (other than advisees and dissertation committees): Jong Yul Kim, Ohan Oda, Philip Gross, Wenwey Hseush, Alexia (Henry) Massalin.

PhD Candidacy Exam Committees (other than advisees): Shen Wang, Kangkook Jee, Kyung Hwa Kim, Lauren Wilcox, Suman Srinivasan, Omer Boyaci, Dinesh Subhraveti, Hila Becker, Oren Laaden, Dan Phung, Maryam Kamvar, Josh Reich, Shaya Potter, Knarig Arabsian, Alpa Jain, Sinem Guven, Shlomo Hershkop, Haoqiang Zheng, Gaurav Kc, Dongwen Wang (Medical Informatics), Carl Tait, Michelle Baker, Monnett Hanvey, Michael van Biema.

Misc.: External Review Committee for Hunter College (CUNY) Computer Science Department, May 2003; Mentor for two recipients of Computing Research Association Distributed Mentoring Project, Summers 1995 and 1994; Committee of Examiners for Educational Testing Service Computer Science Advanced Test (GRE), 1990-1993; Faculty Mentor for one recipient of Columbia University GSAS Minority Summer Research Fellowship, Summer 1991.

University Service

Department of Computer Science: PhD Committee, Chair 1997-present except during sabbaticals (courtesy title Associate Chair for the Doctoral Program since January 2009), Member 1989-1997; PhD Admissions Committee, Chair 1999-2002, 1997-98, Member 1994-97, AA review for female and minority applicants 1988-92; MS Software Systems track advisor, 2006-present, 2004-2005; Representative to Columbia College and/or Columbia College registration advisor, 1999-2003, 1994-98 and 1987-91; Faculty Recruiting Committee, 1996-1997; Software PhD Qualifier Examination Committee, Member 1992-1997, Chair 1986-91, Member 1985-86; Budget Committee, Chair 1991-92, Member 1989-91; Scheduling PhD candidate instructors and teaching assistants, 1987-92; Faculty Service Committee, 1987-89; ``Marriage'' Committee (negotiates PhD advisors), 1987-89; Liaison to Software Engineering Institute Academic Affiliates Program, 1986-1991; Facilities Committee, 1985-89.

School of Engineering and Applied Science: CEPSR Space Committee, 1994-1997; Center for Advanced Technology - Computers & Information Systems Executive Committee, 1987-93; Center for Telecommunications Research Co-PI for REU summer program, 1990 and 1991; Center for Telecommunications Research Education Committee, 1989-1991.

University: Columbia Undergraduate Science Journal, Faculty Advisory Board, 2005-2007; Information Systems Subcommittee of the University Planning and Budget Committee, Fall 1992.