June 1, 2023

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

2024: International Conference on Software Engineering (ICSE).

2023: ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).

2022: OOPSLA (part of SPLASH, the ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity); ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), with Distinguished Reviewer Award for 2022 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022) and invited to the 5-member (plus 2 PC chairs) selection committee for the ACM SIGSOFT Distinguished Paper Awards for ESEC/FSE 2022; 30th International Conference on Program Comprehension (ICPC); 1st ACM/IEEE Conference on AI Engineering - Software Engineering for AI (CAIN).

2021: 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).

2020: 42nd International Conference on Software Engineering (ICSE) Reliable Rapid Response Reviewer; 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

Anthony Saieva, Methodologies In Practical Software Testing and Maintenance, defending June 2023.

Jeffrey Bender, Social Addictive Gameful Engineering (SAGE): A Game-based Learning and Assessment System for Computational Thinking, defended April 2023; CBRE, Boston MA.

Riley Spahn, co-advised with Roxana Geambasu, New Data Protection Abstractions for Emerging Mobile and Big Data Workloads, deposited March 2020; Software Engineer, Google, Madison WI.

Fang-Hsiang "Mike" Su, co-advised with Simha Sethumadhavan, 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; Director of Engineering, Priceline, New York NY.

Jonathan Bell, Making Software More Reliable by Uncovering Hidden Dependencies, deposited May 2016; Assistant Professor, Northeastern University, Boston MA.

Postdoctoral, MS, Undergraduate and High School Research Supervised

Other Research Supervision

Teaching

 

University Service