November 4, 2019

Gail E. Kaiser

Columbia University 
Department of Computer Science 
500 West 120th Street
New York, NY 10027

kaiser@cs.columbia.edu 
http://www.cs.columbia.edu/~kaiser/
http://psl.cs.columbia.edu/

google scholar: https://scholar.google.com/citations?user=LIdVlPsAAAAJ

Research Interests

Education

Professional Employment

Honors and Awards

Grants and Contracts -- Government

Grants and Contracts -- Industry

Articles in Journals

Papers in Refereed Proceedings 

Books

Invited Papers and Book Chapters

Miscellaneous Publications

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.

Invited Panels

Journal Editorships

Program Committees

2020: 42nd International Conference on Software Engineering (ICSE); 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) External Review Committee; ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).

2019: OOPSLA (part of SPLASH, the ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity); Late Breaking Results track at 34th IEEE/ACM International Conference on Automated Software Engineering (ASE-LBR); 4th International Workshop on Metamorphic Testing (MET).

2018: Co-Chair for New Ideas and Emerging Results Track at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE-NIER); 3rd International Workshop on Metamorphic Testing (MET).

2017: Onward! (part of SPLASH, the ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity); 2nd International Workshop on Metamorphic Testing (MET); 2nd Annual IEEE International Workshop on Cyber Resilience Economics (CRE).

2016: Visions and Reflections (VaR) Track at the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE); Onward! (part of SPLASH, the ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity); 5th International Workshop on Games and Software Engineering (GAS); 1st International Workshop on Metamorphic Testing (MET); 1st IEEE International Workshop on Cyber Resilience Economics (CRE); 8th International Workshop on Social Software Engineering (SSE).

2015: OOPSLA (part of SPLASH, the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity); 7th International Workshop on Social Software Engineering (SSE); 4th International Workshop on Games and Software Engineering (GAS).

2014: 7th IEEE International Conference on Software Testing, Verification and Validation (ICST); Onward! Essays (part of SPLASH, the ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity); 6th International Workshop on Social Software Engineering (SSE).

2013: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST); Onward! Essays (part of SPLASH, the ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity).

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

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

2009: Onward! (part of the ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity); 6th IEEE International Conference on Autonomic Computing (ICAC); 4th International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

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

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

2006: 3rd IEEE International Conference on Autonomic Computing (ICAC); 15th International World Wide Web Conference (WWW); 2nd IEEE Symposium on Dependable Autonomic and Secure Computing (DASC).

2005: 2nd IEEE International Conference on Autonomic Computing (ICAC); 3rd IEEE International Conference on Web Services (ICWS); 1st IFIP Workshop on Trusted and Autonomic Ubiquitous and Embedded Systems (TAUES).

2004: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations & Management (DSOM); 13th International World Wide Web Conference (WWW); IASTED International Conference on Software Engineering (SE).

2003: 25th International Conference on Software Engineering (ICSE).

2001: 27th International Conference on Very Large Databases (VLDB); 1st Workshop on Engineering of E-Business Applications (ICEBE) at the IEEE 10th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE); Working Conference on Complex and Dynamic Systems Architectures.

2000: Workshop on Technologies for E-Services (TES) affiliated with International Conference on Very Large Databases (VLDB).

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

1997: Vice-Chair of Programming Languages, Tools and Software Engineering for 17th International Conference on Distributed Computing Systems (ICDCS); 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

 

Current Graduate Student Advising

Doctoral Dissertations Supervised

Jeffrey Bender, Social Addictive Gameful Engineering (SAGE): An Intelligent Game-based Learning and Assessment System that Infuses Computational Thinking in Grade 6-8 Curricula, proposed December 2018. CBRE, Boston MA.

Riley Spahn, New Data Protection Abstractions for Emerging Mobile and Big Data Workloads, defended September 2019; Software Engineer, Google, Madison WI.

Fang-Hsiang "Mike" Su, Uncovering Features in Behaviorally Similar Programs, deposited January 2018; Research Scientist, Facebook, New York NY.

Nipun Arora, Sandboxed, Online Debugging of Production Bugs for SOA Systems, deposited January 2018; Senior Software Engineer, Dropbox, New York NY.

Jonathan Bell, Making Software More Reliable by Uncovering Hidden Dependencies, defended May 2016, deposited May 2016; Assistant Professor, George Mason University, Fairfax VA.

MS, Undergraduate and High School Research Supervised

Other Research Supervision

Teaching

 

University Service