April 15, 2025
Columbia University |
kaiser@cs.columbia.edu |
Software systems, static and dynamic program analysis, software testing, software security, AI for software engineering (AI4SE) and software engineering for AI (SE4AI).
PhD Computer Science, August 1985. MS Computer Science, December 1980. Carnegie Mellon University, Pittsburgh PA. PhD Dissertation: Semantics for Structure Editing Environments, advisor Nico Habermann.
ScB Computer Science and Engineering, June 1979. Massachusetts Institute of Technology, Cambridge MA. ScB Dissertation: Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations, advisor Al Vezza.
September 1985 - present: Columbia University Department of Computer Science, New York NY. Professor, January 1998 - present. Associate Professor, January 1990 - December 1997. Tenure effective July 1992. Assistant Professor, September 1985 - December 1989.
August 2005 - August 2006 and June - August 2007: Columbia University Center for Computational Learning Systems, New York NY. Adjunct Senior Research Scientist.
July 2000 - August 2001: Activium Inc. (SDN startup), New York NY. Strategic Technology Research Advisor, full-time summers, consulting academic year.
May - July 2000: Telcordia Technologies Applied Research, Morristown NJ. Academic Visitor.
June - August 1990 and June - August 1988: International Business Machines Thomas J. Watson Research Center, Hawthorne NY. Academic Visitor.
June - August 1986: Carnegie Mellon University Software Engineering Institute, Pittsburgh PA. Visiting Computer Scientist.
September 1979 - July 1985: Carnegie Mellon University Department of Computer Science, Pittsburgh PA. Graduate Research Assistant.
January-October 1983: Mindbank Inc. (startup), Pittsburgh PA. Project Director, half-time.
June 1981 - November 1984: Siemens Corporate Research, Princeton NJ. Member of Technical Staff, full-time summers, consulting during academic years.
February 1978 - August 1979: Massachusetts Institute of Technology Laboratory for Computer Science, Cambridge MA. Division of Sponsored Research Staff Member, full-time June - August 1979, part-time (casual) February 1978 - May 1979.
Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025. 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 (JSS), Elsevier, 84(4):544-558, April 2011. https://doi.org/10.1016/j.jss.2010.11.920 Award info at: https://www.slideshare.net/slideshow/icst-awards-18th-ieee-international-conference-on-software-testing-verification-and-validation-icst-2025/277728128. ""This paper has heavily influenced the critical intersection of software testing and machine learning
by addressing one of the critical challenges of the field: the oracle problem in verifying machine learning applications.
By pioneering the application of metamorphic testing to machine learning classification algorithms, it bridged a gap that had hindered quality assurance in this domain.
The study not only introduced an innovative methodology but also validated its practicality through multiple means. Importantly, it was also an early paper that showed how ideas from the software testing community can add value and new perspectives in machine learning and AI.”"
Best Research Paper Award for "REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models", by Anthony Saieva, Saikat Chakraborty and Gail Kaiser, 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024.
Distinguished Reviewer Award for 2024 IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), October 2024.
Distinguished Reviewer Award for 2024 ACM International Conference on the Foundations of Software Engineering (FSE 2024), July 2024.
Invited Speaker, "(Nearly) 40 Years of SE+AI", University of California at Irvine Department of Informatics, May 2024.
ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", by Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail Kaiser and Baishakhi Ray, 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), July 2023.
Distinguished Reviewer Award for 2022 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022). Also invited to the 5-member (plus 2 PC chairs) selection committee for the ACM SIGSOFT Distinguished Paper Awards for ESEC/FSE 2022.
Best Overall Paper Nominee and Best Student Paper Nominee. "Integrating Parsons Puzzles with Scratch", by Jeff Bender, Bingpu Zhao, Lalitha Madduri, Alex Dziena, Alex Liebeskind and Gail Kaiser. 29th International Conference on Computers in Education (ICCE), Asia-Pacific Society for Computers in Education, November 2021.
ACM SIGSOFT Distinguished Paper Award for "Identifying Functionally Similar Code in Complex Codebases", by Fang-Hsiang Su, Jonathan Bell, Gail Kaiser, and Simha Sethumadhavan, 24th IEEE International Conference on Program Comprehension, May 2016. This was one of two best paper awards from ICPC 2016.
People's Choice Award for Best Position Paper for"Challenges in Behavioral Code Clone Detection", by Fang-Hsiang Su, Jonathan Bell, and Gail Kaiser, 10th International Workshop on Software Clones, March 2016.
ACM SIGSOFT Distinguished Paper Award, "Unit Test Virtualization with VMVM", by Jonathan Bell and Gail Kaiser. 36th International Conference on Software Engineering, June 2014.
Invited Panelist on "Future directions and open problems" at the NSF and Microsoft sponsored Future of Software Engineering Symposium, July 2013. Video at http://research.microsoft.com/apps/video/default.aspx?id=199240 (the panel part starts at about 1:04 hours in).
Best Paper Award, "Application of Metamorphic Testing to Supervised Classifiers", by Xiaoyuan Xie, Joshua Ho, Christian Murphy, Gail Kaiser, Baowen Xu and Tsong Yueh Chen. 9th International Conference on Quality Software, August 2009.
Best Student Paper Award, "Adaptive Internet Interactive Team Video", by Dan Phung, Giuseppe Valetto and Gail Kaiser. 4th International Conference on Web-based Learning, August 2005.
Best Student Poster Award, "Extracting Content To Improve Accuracy for HTML Content Extraction", by Suhit Gupta, Gail Kaiser and Salvatore Stolfo, 14th World Wide Web Conference, May 2005.
Invited Speaker (of 3), "Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems", 5th Annual International Active Middleware Workshop (aka Autonomic Computing Workshop), June 2003.
NSF. SaTC: CORE: Medium: Cannot Trust Anything: A Tiny TCB Architecture for Secure Containers, CNS-2247370. PI, with Jason Nieh as co-PI. $1,200,000 for October 1, 2023 - September 30, 2028.
NSF. Collaborative Research: SHF: Medium: Learning Semantics of Code To Automate Software Assurance Tasks, CCF-2313055. With Wei Le, Iowa State University, Lead PI and Baishakhi Ray, Columbia PI, Gail Kaiser as co-PI. Columbia portion $666,000 for October 1, 2023 - September 30, 2027.
DARPA and NIWC Pacific (Defense Advanced Research Projects Agency and Naval Information Warfare Center Pacific) under Contract No. N66001-21-C-4018. V-SPELLS program, REFUEL: Verified Composition and Flattening of Unified Enclave Layers. Yale Prime. Jason Nieh Columbia PI, Gail Kaiser and Ronghui Gu co-PIs. Columbia portion $2,162,427 for April 1, 2021 - June 30, 2025.
NSF. SHF: Small: Preponderance of the Evidence for Behavioral Code Similarities, CCF-1815494. Sole PI. $496,571 for October 1, 2018 - September 30, 2022.
NSF. TWC: Medium: Toward Trustworthy Mutable Replay for Security Patches, CNS-1563555. PI, with Jason Nieh as co-PI. $1,200,000 for September 1, 2016 - August 31, 2021.
NSF. SaTC: CORE: EAGER: Finding Semantic Security Bugs with Pseudo-Oracle Testing, CNS-1842456. With Baishahki Ray (PI) and Suman Jana. $200,000 for October 1, 2018 - September 30, 2020.
GLCPC. Blue Waters Allocations for Broadening Participation in Petascale Parallel Computational Research: Materials Simulations in Geophysics. With Renata Wentzcovitch (PI) and Steve Nowick. May 1, 2018-April 30, 2019.
NSF. SHF: Medium: Overcoming the Intuition Wall: Automatic Graphical Analysis of Programs to Discover and Program New Computer Architectures, CCF-1302269. With Simha Sethumadhavan (PI) and Tony Jebara. $400,654 for September 1, 2013 - December 31, 2016.
NSF. SHF: Medium: Achieving Software Reliability without True Test Oracles, CCF-1161079. Sole PI. $894,582 for September 1, 2012 - August 31, 2016.
NIH. Training Program in Computational Biology, 2T32GM082797-06. PI: Barry Honig. July 1, 2013 - June 30, 2016.
NIH. National Center for the Multiscale Analysis of Genomic and Cellular Networks II (MAGNet II), U54 CA121852. PI: Andrea Califano. $18,709,230 for September 1, 2010 - July 31, 2015.
NSF. CSR: Medium: Guanyin: a Thousand hands with a Thousand eyes for Distributed Software Checking, CNS-0905246. With Junfeng Yang (PI) and Jason Nieh. $1,012,000 for September 1, 2009 - August 31, 2014.
NIH. Training Program in Computational Biology, 1T32GM082797-01. PI: Barry Honig. July 1, 2008 - June 30, 2013.
NSF. CSR-VCM: Autonomic Mechanisms for Reducing System Downtime due to Maintenance and Upgrades, CNS-0717544. With Jason Nieh (PI). $350,000 for August 1, 2007 - July 31, 2010.
New York State Office of Science, Technology and Academic Research, Center for Advanced Technology at Polytechnic University. Better Mutual Authentication. With Steven Bellovin (PI). $50,000 for September 1, 2006 - June 30, 2007. (Matching for FSTC industry grant.)
NSF. CT-T: Enabling Collaborative Self-healing Software Systems, CNS-0627473. With Angelos Keromytis (PI) and Salvatore Stolfo. $800,000 for September 1, 2006 - August 31, 2011.
NIH. MAGNet: A Center for the Multiscale Analysis of Genomic and Cellular Networks, 1 U54 CA121852-01. PI: Andrea Califano. $19,117,667 for September 26, 2005 - August 31, 2010.
NSF. ITR - (NHS) - (int/dmc): Secure Remote Computing Services, CNS-0426623. With Jason Nieh (PI) and Angelos Keromytis. $1,200,000 for September 1, 2004 - August 31, 2011. Broadening Participation in Research supplement, $133,565 for September 1, 2005 - August 31, 2011.
NSF. CISE Research Infrastructure: Pervasive Pixels, EIA-0202063. With Henning Schulzrinne (PI), Steven Feiner, Kathleen McKeown and John Kender. $1,485,098 for September 1, 2002 - August 31, 2008.
NSF. Smart Event Models and Architectures, CCR-0203876. Sole PI. $270,000 for September 1, 2002 - August 31, 2006.
NSF. Adaptive Internet Interactive Team Video, EIA-0071954. With John Kender (PI) and Jason Nieh. $1,589,998 for September 15, 2000 - August 31, 2004.
DARPA, monitored by Air Force Research Laboratory. Coping with Complexity: A standards-based kinesthetic approach to monitoring non-standard component-based systems. F30602-00-2-0611 (DARPA Order K503). Lead PI, with George T. Heineman of Worcester Polytechnic Institute (subcontractor). $940,000 for June 30, 2000 - December 31, 2003.
NSF. Component Technologies for Next-Generation Software Development, CCR-9970790. Sole PI. $225,000 for September 15, 1999-August 2003.
ONR. Survivable Enterprise Middleware, N000140110441. Sole PI. $255,443 for February 28, 2001 - February 27, 2002.
DARPA, monitored by Air Force Research Laboratory. A New Infrastructure for Evolutionary Design and Implementation. F30602-97-2-0022 (DARPA Order E101). Columbia PI. $1,349,090 for December 1996-May 2001.
DARPA, monitored by Air Force Rome Laboratory. Atlantis: An Open Architecture for Synergy of Process-Centered Environments and Computer-Supported Cooperative Work. F30602-94-C-0197 (ARPA Order B128). Columbia PI. $1,050,195 for June 1994-September 1997.
NSF. CISE Research Instrumentation, CDA-9529304. Semantics-based Prefetching for Mobile Computing. With Daniel Duchamp. $46,680 for equipment, February 1996-January 1997.
NSF. Components for Decentralized Process-Centered Environments, CCR-9301092. Sole PI. $217,000 for September 1993-August 1996.
NSF. Multi-Agent Rule-Based Development Environments, CCR-9106368. Sole PI. $236,334 for September 1991-August 1993.
NSF. Distributed Language-based Environments. CCR-9000930 (renewal). Sole PI. $99,990 for September 1990-August 1992. CCR-8802741. $146,330 for July 1988-June 1990.
NSF. CISE Research Instrumentation, CDA-8920080. Research in Software Engineering and Software Systems. With Daniel Duchamp. $44,097 for equipment, March 1990.
NSF. Presidential Young Investigator Award in Software Engineering and Software Systems, CCR-8858029. $312,000 for October 1988-September 1993.
NSF Engineering Research Center, Center for Telecommunications Research. Multimedia. PI: Tony Acampora. 1 month for February 1994-January 1995 and 2 GRAs for September 1994-January 1995. 1 month for February 1995-January 1996.
NSF Engineering Research Center for Telecommunications Research. Software for Telecommunications. 2 months and 4 GRAs per year November 1987-January 1989. 3 months and 4 GRAs for February 1989-January 1990. 3.5 months and 4 GRAs for February 1990-January 1991. 3 months, 3.5 GRAs and $17,500 for equipment for February 1991-January 1992. 1.5 months and 2 GRAs for February-July 1992. 2 GRAs for September 1992-May 1993.
New York State Science and Technology Foundation, Center for Advanced Technology -- High Performance Computing and Communications in Healthcare. Workflow Technology for Healthcare Delivery. $70,000 per year July 1994-June 1995 and July 1995-June 1996. $39,877 for July 1996-June 1997.
New York State Science and Technology Foundation, Center for Advanced Technology -- Computer & Information Systems. Focal Project: Extended Transaction Systems. With Calton Pu and Michael Foster, $147,567 for July 1987-June 1988. With Calton Pu, $195,545 for July 1988-June 1989. With Daniel Duchamp, $205,959 for July 1989-June 1990. As sole PI, $200,660 for July 1990-June 1991, $180,000 for July 1991-June 1992, $180,000 for July 1992-June 1993, 2 GRAs for July 1993-June 1994.
New York State Science and Technology Foundation, Center for Advanced Technology -- Computer & Information Systems. Seed Project. $10,000 for July 1986-June 1987. $20,000 for July 1987-June 1988.
Financial Services Technology Consortium. Better Mutual Authentication.
With Steven Bellovin. $100,000 for September 2006-December 2007. IBM. Joint Study in Autonomic Computing, Agreement No. W0143710. December
2004-December 2005. IBM. Eclipse Innovation Award. $28,000 for 2003. Lucent Technologies Foundation. Technical Special Purpose
Grant. $20,000 for Fall 1996-Spring 1997.
Microsoft Research. Trustworthy Computing Curriculum. With Angelos
Keromytis $50,000 for 2005.
Microsoft Research. Grant. $5,000 cash and $49,554 in-kind (hardware,
software, training) for Spring 2002. $3,000 cash and $37,302 in-kind for Fall 2002.
$20,000 cash and $3,276 hardware and software for 2003. $19,575 hardware and
software for 2004. NEC Computers. Equipment. May 2001.
Sun Microsystems, Inc. Academic Excellent Grant. Sun Ultra 40 M2
Workstation valued at $4,730. June 2007.
Daniel Um, David A. Knowles and Gail E. Kaiser. Vector Embeddings by Sequence Similarity and Context for Improved Compression, Similarity Search, Clustering, Organization, and Manipulation of cDNA Libraries. Computational Biology and Chemistry, Elsevier, 114:108251, February 2025. https://doi.org/10.1016/j.compbiolchem.2024.108251
Yangruibo Ding, Marcus J. Min, Gail Kaiser and Baishakhi Ray. CYCLE: Learning to Self-Refine the Code Generation. Proceedings of the ACM on Programming Languages (PACMPL), Volume 8, issue OOPSLA1, pp. 392-418, October 2024. 30.9% accepted. https://doi.org/10.1145/3649825
Ziyuan Zhong, Gail Kaiser and Baishakhi Ray. Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles. IEEE Transactions on Software Engineering (TSE), 49(4):1860-1875, April 2023. https://doi.org/10.1109/TSE.2022.3195640. (Also appears at the 45th International Conference on Software Engineering (ICSE) as a journal-first paper, Melbourne Australia, May 2023.)
Jeff Bender, Alex Dziena, Bingpu Zhao and Gail Kaiser. Integrating Parsons Puzzles within Scratch Enables Efficient Computational Thinking Learning. Research and Practice in Technology Enhanced Learning (RPTEL), Asia-Pacific Society for Computers in Education (APSCE), 18(22), February 2023. https://doi.org/10.58459/rptel.2023.18022.
Anthony Saieva and Gail Kaiser. Update with Care: Testing Candidate Bug Fixes and Integrating Selective Updates through Binary Rewriting. The Journal of Systems & Software (JSS), 191(111381), September 2022. https://doi.org/10.1016/j.jss.2022.111381.
Jonathan Bell, Eric Melski, Mohan Dattatreya and Gail E. Kaiser. Vroom: Faster Build Processes for Java. IEEE Software, 32(2):97-104, Mar/Apr 2015. https://doi.org/10.1109/MS.2015.32.
Jonathan Bell, Christian Murphy and Gail Kaiser. Metamorphic Runtime Checking of Applications Without Test Oracles. Crosstalk the Journal of Defense Software Engineering, 28(2):9-13, Mar/Apr 2015. Published by U.S. Air Force STSC in concert with Lumin Publishing. ISSN 2160-1577 (print); ISSN 2160-1593 (online). http://static1.1.sqspcdn.com/static/f/702523/25999119/1425257561223/201503-Bell.pdf.
Swapneel Sheth and Gail Kaiser. Towards using Cached Data Mining for Large Scale Recommender Systems. Recent Progress in Data Engineering and Internet Technology, Ford Lumban Gaol (ed.), Lecture Notes in Electrical Engineering, 156:349-357, Springer, Berlin, Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28807-4_49 (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 (JSS), Elsevier, 84(4):544-558, April 2011. https://doi.org/10.1016/j.jss.2010.11.920 (Solicited expansion of Application of Metamorphic Testing to Supervised Classifiers, 9th International Conference on Quality Software, August 2009. 28% accepted. https://doi.org/10.1109/QSIC.2009.26.) Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025. Award info at: https://www.slideshare.net/slideshow/icst-awards-18th-ieee-international-conference-on-software-testing-verification-and-validation-icst-2025/277728128.
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. https://academiccommons.columbia.edu/doi/10.7916/D8T44206. (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, IGI Global, 5(2):56-73. http://doi.org/10.4018/jdet.2007040105. (Also published as Dan Phung, Giuseppe Valetto, Gail E. Kaiser, Tiecheng Liu and John R. Kender. Adaptive Synchronization of Semantically Compressed Instructional Videos for Collaborative Distance Learning. Methods and Applications for Advancing Distance Education Technologies: International Issues and Solutions, IGI Global, chapter 6, pages 72-86, 2009, http://doi.org/10.1145/3355369.3355585)
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. https://doi.org/10.1007/s10586-006-7560-6.
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. https://doi.org/10.1109/JSAC.2005.857206.
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. https://doi.org/10.1016/j.survophthal.2005.04.004.
Yangruibo Ding, Jinjun Peng, Marcus J. Min, Gail Kaiser, Junfeng Yang and Baishakhi Ray. SemCoder: Training Code Language Models with Comprehensive Semantics. 38th Annual Conference on Neural Information Processing Systems (NeurIPS), Vancouver, Canada, December 2024. 25.8% accepted. https://openreview.net/forum?id=PnlCHQrM69
Anthony Saieva, Saikat Chakraborty and Gail Kaiser. REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models. 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), Flagstaff AZ, October 2024. (Best Research Paper Award) https://doi.ieeecomputersociety.org/10.1109/SCAM63643.2024.00026
Marcus J. Min, Yangruibo Ding, Luca Buratti, Saurabh Pujar, Gail Kaiser, Suman Jana and Baishakhi Ray. Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with Identity Chain. 12th International Conference on Learning Representations (ICLR), Vienna, Austria, May 2024. 30.81% accepted. https://openreview.net/forum?id=caW7LdAALh
Yangruibo Ding, Benjamin Steenhoek, Kexin Pei, Gail Kaiser, Wei Le and Baishakhi Ray. TRACED: Execution-aware Pre-training for Source Code. 46th International Conference on Software Engineering (ICSE), Lisbon, Portugal, April 2024. 22% accepted. https://doi.org/10.1145/3597503.3608140
Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail Kaiser and Baishakhi Ray. CONCORD: Clone-aware Contrastive Learning for Source Code. 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Seattle WA, July 2023, pp. 26-38. (ACM SIGSOFT Distinguished Paper Award) 28.8% accepted. https://doi.org/10.1145/3597926.3598035
Jeff Bender, Alex Dziena and Gail Kaiser. Learning Computational Thinking Efficiently with Block-based Parsons Puzzles. 30th International Conference on Computers in Education (ICCE), Asia-Pacific Society for Computers in Education, Kuala Lumpur, Malaysia, November-December 2022, pp. 439-448. 26.6% accepted. https://icce2022.apsce.net/uploads/P1_C5_69.pdf.
Yangruibo Ding, Sahil Suneja, Yunhui Zheng, Jim Laredo, Alessandro Morari, Gail Kaiser and Baishakhi Ray. VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements. 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Honolulu HI, March 2022, pp. 959-970. 36.2% accepted. https://doi.org/10.1109/SANER53432.2022.00114. Video at https://www.youtube.com/watch?v=caoQkTaxyYc
Jeff Bender, Bingpu Zhao, Alex Dziena and Gail Kaiser. Learning Computational Thinking Efficiently: How Parsons Programming Puzzles within Scratch Might Help. 24th Australasian Computing Education Conference (ACE), Virtual, February 2022, pp. 66-75. 38% accepted. https://doi.org/10.1145/3511861.3511869.
Jeff Bender, Bingpu Zhao, Lalitha Madduri, Alex Dziena, Alex Liebeskind and Gail Kaiser. Integrating Parsons Puzzles with Scratch. 29th International Conference on Computers in Education (ICCE), Asia-Pacific Society for Computers in Education, Virtual, November 2021, pp. 421-431. 25.9% accepted. Best Overall Paper Nominee and Best Student Paper Nominee. https://icce2021.apsce.net/wp-content/uploads/2021/12/ICCE2021-Vol.I-PP.-421-431.pdf.
Vikram Nitin, Anthony Saieva, Baishakhi Ray and Gail Kaiser. DIRECT : A Transformer-based Model for Decompiled Identifier Renaming. 1st Workshop on Natural Language Processing for Programming (NLP4Prog), co-located with ACL-IJCNLP, Virtual, August 2021, pp. 48-57.
http://dx.doi.org/10.18653/v1/2021.nlp4prog-1.6.
Shirish Singh and Gail Kaiser. Metamorphic Detection of Repackaged Malware. 6th International Workshop on Metamorphic Testing (MET), co-located with ICSE, Virtual, June 2021, pp. 9-16. https://doi.org/10.1109/MET52542.2021.00009. Video at https://www.youtube.com/watch?v=SHWQXbHZ8ts&list=PLXTjhGKkSnI_oHTA_Og6n7IkKpBepWmcS&index=8
Anthony Saieva and Gail Kaiser. Binary Quilting to Generate Patched Executables without Compilation. ACM Workshop on Forming an Ecosystem Around Software Transformation (FEAST), Virtual, November 2020, pp. 3-8. https://doi.org/10.1145/3411502.3418424. Video at https://youtu.be/cvjY1Zl_L-A
Anthony Saieva, Shirish Singh and Gail Kaiser. Ad hoc Test Generation Through Binary Rewriting. 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), Virtual, September 2020, pp. 115-126. https://doi.org/10.1109/SCAM51674.2020.00018. 27.6% accepted. Video at https://youtu.be/4xR-Tocyq-A
Yuchi Tian, Ziyuan Zhong, Vicente Ordonez, Gail Kaiser and Baishakhi Ray. Testing DNN Image Classifier for Confusion & Bias Errors. 42nd International Conference on Software Engineering (ICSE), Virtual, June 2020, pp. 1122-1134. 22.8% accepted. https://doi.org/10.1145/3377811.3380400.
Md Masudur Rahman, Saikat Chakraborty, Gail Kaiser and Baishakhi Ray. Toward Optimal Selection of Information Retrieval Models for Software Engineering Tasks. 19th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), Cleveland OH, September 2019, pp. 127-138. 39.6% accepted. https://doi.org/10.1109/SCAM.2019.00022.
Nipun Arora, Jonathan Bell, Franjo Ivančić, Gail Kaiser and Baishakhi Ray. Replay without Recording of Production Bugs for Service Oriented Applications. 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE), Montpellier, France, September 2018, pp. 452-463. 19.9% accepted. https://doi.org/10.1145/3238147.3238186.
Fang-Hsiang Su, Jonathan Bell, Gail Kaiser and Baishakhi Ray. Obfuscation Resilient Search through Executable Classification. 2nd ACM SIGPLAN Workshop on Machine Learning and Programming Languages (MAPL), Philadelphia PA, June 2018, pp. 20-30. https://doi.org/10.1145/3211346.3211352.
Fang-Hsiang Su, Jonathan Bell, Kenneth Harvey, Simha Sethumadhavan, Gail Kaiser and Tony Jebara. Code Relatives: Detecting Similarly Behaving Software. 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Seattle WA, November 2016, pp. 702-714. https://doi.org/10.1145/2950290.2950321. 27% accepted. Artifact accepted as platinum. Download software from https://github.com/Programming-Systems-Lab/dyclink.
Fang-Hsiang Su, Jonathan Bell, Gail Kaiser and Simha Sethumadhavan. Identifying Functionally Similar Code in Complex Codebases. 24th IEEE International Conference on Program Comprehension (ICPC), Austin TX, May 2016, pp. 1-10. https://doi.org/10.1109/ICPC.2016.7503720. (ACM SIGSOFT Distinguished Paper Award) 30% accepted. Download software from https://github.com/Programming-Systems-Lab/ioclones.
Jonathan Bell, Gail Kaiser, Eric Melski and Mohan Dattatreya. Efficient Dependency Detection for Safe Java Test Acceleration. 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Bergamo, Italy, August 2015, pp. 770-781. https://doi.org/10.1145/2786805.2786823. 25.4% accepted.
Fang-Hsiang Su, Jonathan Bell, Christian Murphy and Gail Kaiser. Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing. 10th IEEE/ACM International Workshop on Automation of Software Test (AST), Florence, Italy, May 2015, pp. 55-59. https://doi.org/10.1109/AST.2015.19. Download software from https://github.com/Programming-Systems-Lab/kabu.
Riley Spahn, Jonathan Bell, Michael Z. Lee, Sravan Bhamidipati, Roxana Geambasu and Gail Kaiser. Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Broomfield CO, October 2014, pp. 113-129. https://www.usenix.org/node/186156. 18.4% accepted.
Jonathan Bell and Gail Kaiser. Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs. Object-oriented Programming, Systems, Languages, and Applications (OOPSLA), Portland OR, October 2014, pp. 83-101. 28% accepted. https://doi.org/10.1145/2660193.2660212. Artifact accepted as meeting reviewer expectations. Download software from https://github.com/Programming-Systems-Lab/phosphor.
Swapneel Sheth, Gail Kaiser and Walid Maalej. Us and Them: A Study of Privacy Requirements Across North America, Asia, and Europe. 36th International Conference on Software Engineering (ICSE), Hyderabad, India, June 2014, pp. 859-870. https://doi.org/10.1145/2568225.2568244. 20% accepted.
Jonathan Bell and Gail Kaiser. Unit Test Virtualization with VMVM. 36th International Conference on Software Engineering (ICSE), Hyderabad, India, June 2014, pp. 550-561. https://doi.org/10.1145/2568225.2568248. 20% accepted. (ACM SIGSOFT Distinguished Paper Award) Video at https://www.youtube.com/watch?v=MbajYvQVB30. Download software from https://github.com/Programming-Systems-Lab/vmvm.
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 (LISAT), Farmingdale NY, May 2013, pp. 1-6. https://doi.org/10.1109/LISAT.2013.6578226.
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, Companion Proceedings of 22nd International Conference on World Wide Web, Rio de Janeiro, Brazil, May 2013, pp. 1175-1184. https://doi.org/10.1145/2487788.2488146.
Jonathan Bell, Nikhil Sarda and Gail Kaiser. Chronicler: Lightweight Recording to Reproduce Field Failures. 35th International Conference on Software Engineering (ICSE), San Francisco CA, May 2013, pp. 362-371. https://doi.org/10.1109/ICSE.2013.6606582. 18.5% accepted. Video at https://www.youtube.com/watch?v=4IYGfdDnAJg. Download software from https://github.com/Programming-Systems-Lab/chroniclerj.
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, San Francisco CA, May 2013, pp. 41-50. https://doi.org/10.1109/CSEET.2013.6595235.
Leon Wu and Gail Kaiser. An Autonomic Reliability Improvement System for Cyber-Physical Systems. 14th IEEE International Symposium on High-Assurance Systems Engineering (HASE), Omaha NE, October 2012, pp. 56-61. https://doi.org/10.1109/HASE.2012.33.
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. 8th IEEE Long Island Systems, Applications and Technology Conference (LISAT), Farmingdale NY, May 2012, pp. 1-6. https://doi.org/10.1109/LISAT.2012.6223192.
Swapneel Sheth and Gail Kaiser. The Tradeoffs of Societal Computing. Onward!: ACM Symposium on New Ideas in Programming and Reflections on Software, Portland OR, October 2011, pp. 149-156. https://doi.org/10.1145/2089131.2089137.
Jonathan Bell, Swapneel Sheth and Gail Kaiser. Secret Ninja Testing with HALO Software Engineering. Short paper in 4th International Workshop on Social Software Engineering, Szeged, Hungary, September 2011, pp. 43-77. https://doi.org/10.1145/2024645.2024657.
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 (KDD4Service), San Diego CA, August 2011, pp. 28-32. https://doi.org/10.1145/2018673.2018679.
Leon Wu, Boyi Xie, Gail Kaiser and Rebecca Passonneau. BugMiner: Software Reliability Analysis via Data Mining of Bug Reports. 23rd International Conference on Software Engineering and Knowledge (SEKE), July 2011, pp. 95-100. https://academiccommons.columbia.edu/doi/10.7916/D8W95JCN.
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 (SEKE), Miama Beach FL, July 2011, pp. 244-249. https://academiccommons.columbia.edu/doi/10.7916/D81261TG
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. https://academiccommons.columbia.edu/doi/10.7916/D8SB4F1Z.
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 (SEHC), Waikiki, Honolulu HI, May 2011, pp. 40-47. https://doi.org/10.1145/1987993.1988003.
Leon Wu, Timothy Ter¨av¨ainen, Gail Kaiser, Roger Anderson, Albert Boulanger, Cynthia Rudin. Estimation of System Reliability Using a Semiparametric Model. IEEE EnergyTech, Cleveland OH, May 2011, pp. 1-6. https://doi.org/10.1109/EnergyTech.2011.5948537.
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 (AST), May 2010, pp. 16-23. https://doi.org/10.1145/1808266.1808269.
Swapneel Sheth, Nipun Arora, Christian Murphy and Gail Kaiser. weHelp: A Reference Architecture for Social Recommender Systems. 3rd International Workshop on Social Software Engineering, Lecture Notes in Informatics: Software Engineering 2010 -Workshopband, P-160, pp. 461-472, February 2010. https://subs.emis.de/LNI/Proceedings/Proceedings160/461.pdf. Gesellschaft für Informatik, Bonn.
Christian Murphy, Kuang Shen and Gail Kaiser. Automatic System Testing of Programs without Test Oracles. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), July 2009, pp. 189-200. https://doi.org/10.1145/1572272.1572295
Simha Sethumadhavan, Nipun Arora, Ravindra Babu Ganapathi, John Demme and Gail E. Kaiser. COMPASS: A Community-Driven Parallelization Advisor for Sequential Software. 2nd International Workshop on Multicore Software Engineering (IWMSE), May 2009, pp. 41-48. http://dx.doi.org/10.1109/IWMSE.2009.5071382
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 (ICST), April 2009, pp. 111-120. 33% accepted. https://doi.org/10.1109/ICST.2009.18
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 (ICST), April 2009, pp. 436-445. 33% accepted. http://dx.doi.org/10.1109/ICST.2009.19
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, pp. 179-182. 33% accepted. http://doi.acm.org/10.1145/1508865.1508929.
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, at 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), September 2008, pp. II-34-II-41. https://doi.org/10.1109/ASEW.2008.4686308.
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 (SEKE), July 2008, pp. 867-872. https://www.researchgate.net/publication/221389610_Properties_of_Machine_Learning_Applications_for_Use_in_Metamorphic_Testing
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, pp. 199-203. 39% accepted. http://doi.acm.org/10.1145/1384271.1384325
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 (ICST), April 2008, pp. 509-512. 29% accepted. https://doi.org/10.1109/ICST.2008.13
Maritza L. Johnson, Chaitanya Atreya, Adam Aviv, Mariana Raykova, Steven M. Bellovin and Gail E. Kaiser. Rust: A Retargetable Usability Testbed for Website Authentication Technologies. Short paper in 1st Conference on Usability, Psychology, and Security (UPSEC), April 2008, San Francisco CA, pp. 1-7. https://www.usenix.org/conference/upsec-08/rust-retargetable-usability-testbed-web-site-authentication-technologies
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, pp. 173-177. 31% accepted. http://doi.acm.org/10.1145/1352135.1352193.
Christian Murphy, Gail Kaiser and Marta Arias. Parameterizing Random Test Data According to Equivalence Classes. 2nd ACM International Workshop on Random Testing (RT), November 2007, pp. 38-41. https://doi.org/10.1145/1292414.1292425
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. https://doi.org/10.7916/D8PC398G
Christian Murphy, Gail Kaiser and Marta Arias. An Approach to Software Testing of Machine Learning Applications. 19th International Conference on Software Engineering and Knowledge Engineering (SEKE), July 2007, pp. 167-172. https://doi.org/10.7916/D8R49ZNR
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. https://doi.org/10.1109/ASE.2006.18
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. https://doi.org/10.1109/ICAC.2006.1662386.
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, Hong Kong, China, 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. https://doi.org/10.1007/11528043_7
Suhit Gupta and Gail Kaiser. P2P Video Synchronization in a Collaborative Virtual Environment. 4th International Conference on Web-based Learning, Hong Kong, China, 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. https://doi.org/10.1007/11528043_9
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 With Video Synchronization. 7th IASTED International Conference on Computers and Advanced Technology in Education, Vladimir Uskov (ed.), ACTA Press, Kauai HI, August 2004, pp. 357-362. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.3718
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 (WWW), May 2003, pp. 207-214. (Best Paper Finalist) https://doi.org/10.1145/775152.775182.
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 (ESEC/FSE), September 1999, pp. 464-475. <21% 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, 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. http://doi.acm.org/10.1145/253228.253231 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. 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.
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. https://doi.org/10.1109/ICSE.1993.346050. 20% accepted.
(Also appears as 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.) 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 (ICDCS), May 1993, pp.
449-456. <21% 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. https://doi.org/10.1145/142882.143765 (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 (ESEC), A. van Lamsweerde
and A. Fugetta (eds), Lecture Notes in Computer Science 550,
Springer-Verlag, October 1991, pp. 380-395. <17% accepted. https://doi.org/10.1007/3540547428_59
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 (KBSE), September 1991, pp. 215-222. https://doi.org/10.1109/64.180406
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. https://doi.org/10.1145/112629.112637 (Special issue of Ada Letters, 11(3), Spring
1991.) Wenwey Hseush and Gail E. Kaiser. Modeling Concurrency
in Parallel Debugging. 2nd ACM SIGPLAN Symposium on Principles
and Practice of Parallel Programming (PPoPP), March 1990, Seattle, WA, USA, pp. 11-20.
21% accepted. https://doi.org/10.1145/99163.99166 (Special issue of
SIGPLAN Notices, 25(3), March 1990.)
Dewayne E. Perry and Gail E. Kaiser. Models of Software
Development Environments. 10th International
Conference on Software Engineering (ICSE), April 1988, pp. 60-68. 20% accepted. https://dl.acm.org/doi/10.5555/55823.55830
Naser S. Barghouti and Gail E. Kaiser. Implementation of a Knowledge-Based
Programming Environment. 21st Hawaii
International Conference on System Sciences (HICSS), Kailua-Kona, HI, USA, January 1988, vol. II, pp.
54-63.
https://doi.org/10.1109/HICSS.1988.11788 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 (ICSE), March 1987, pp. 180-188.
11.5% accepted.
https://dl.acm.org/doi/10.5555/41765.41783
Gail E. Kaiser and Simon M. Kaplan. Reliability in
Distributed Programming Environments. 6th Symposium on Reliability in
Distributed Software and Database Systems (SRDS), March 1987, pp.
45-55. 32% accepted. https://academiccommons.columbia.edu/doi/10.7916/D87H1SKW Gail E. Kaiser and David Garlan. Composing Software Systems from
Reusable Building Blocks. 20th
Hawaii International Conference on System Sciences (HICSS), 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.
https://apps.dtic.mil/sti/citations/tr/ADA182981
Simon M.
Kaplan and Gail E. Kaiser. Incremental Attribute Evaluation in Distributed
Language-Based Environments. 5th ACM Symposium
on Principles of Distributed Computing (PODC), August 1986, pp.
121-130. 20% accepted. https://doi.org/10.1145/10590.10601
Gail E. Kaiser.
Generation of Run-Time Environments. SIGPLAN '86 Symposium
on Compiler Construction, Palo Alto, CA, USA, June 1986, pp. 51-57. 20% accepted.
https://doi.org/10.1145/13310.13316 (Special issue of SIGPLAN Notices, 21(7), July 1986.)
Israel Ben-Shaul and Gail E. Kaiser. A Paradigm for Decentralized Process Modeling. Kluwer, 1995. Volume 337 of The Springer International Series in Engineering and Computer Science, Springer Science & Business Media, 2012. (301 pages .) ISBN 1461523052, 9781461523055. https://books.google.com/books?id=LPrjBwAAQBAJ
Rean Griffith, Giuseppe Valetto and Gail Kaiser. Effecting
Runtime Reconfiguration in Managed Execution Environments. In Manish Parishar
and Salim Hariri (eds.),
Gail Kaiser, Janak Parekh, Philip Gross and Giuseppe Valetto. Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems. In 5th Annual International Active Middleware Workshop (aka Autonomic Computing Workshop), June 2003, pp. 22-30. https://doi.org/10.1109/ACW.2003.1210200
Gail E. Kaiser. Cooperative Transactions for Multi-User Environments. In Won Kim (ed.), Modern Database Systems: The Object Model, Interoperability, and Beyond, ACM Press, 1994, ch. 20, pp. 409-433.
Gail E. Kaiser, Wenwey Hseush, Steven S. Popovich and Shyhtsun F. Wu. Multiple Concurrency Control Policies in an Object-Oriented Programming System. In Gul Agha, Peter Wegner and Akinori Yonezawa (eds.), Research Directions in Concurrent Object Oriented Programming, MIT Press, 1993, ch. 7, pp. 195-210.
Gail E. Kaiser and Calton Pu. Dynamic Restructuring of Transactions. In Ahmed K. Elmagarmid (ed.), Database Transaction Models for Advanced Applications, Morgan Kaufmann, 1992, ch. 8, pp. 265-295. https://dl.acm.org/doi/10.5555/137678.137686
Boyu Liu, Duanyue Yun, Xin Guo, Xiao Ji, Huiyu Song, Shirish Singh and Gail Kaiser. Detecting Sensor-Based Repackaged Malware. Poster in IEEE International Conference on Big Data, Virtual, December 2020. https://doi.org/10.1109/BigData50022.2020.9378145.
Yuchi Tian, Ziyuan Zhong, Vicente Ordonez, Gail Kaiser and Baishakhi Ray. Testing DNN Image Classifier for Confusion & Bias Errors. Poster in 42nd International Conference on Software Engineering (ICSE), Virtual, June 2020, pp 304-305. https://doi.org/10.1145/3377812.3390799.
Shirish Singh, Devu Manikantan Shila and Gail Kaiser. Side Channel Attack on Smartphone Sensors to Infer Gender of the User. Poster in 17th ACM Conference on Embedded Networked Sensor Systems (SenSys), New York NY, November 2019, pp. 436-437. https://doi.org/10.1145/3356250.3361939.
Johan Sulaiman, Alex Dziena, Jeff Bender and Gail Kaiser. SAGE-RA: A Reference Architecture to Advance the Teaching and Learning of Computational Thinking. International Conference on Embedding Artificial Intelligence (AI) in Education Policy and Practice for Southeast Asia, September 2019. Jakarta, Indonesia.
Fang-Hsiang Su, Jonathan Bell, and Gail Kaiser. Challenges in Behavioral Code Clone Detection (Position Paper). 10th International Workshop on Software Clones (IWSC), affiliated with IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), Osaka, Japan, March 2016, volume 3, pp. 21-22. (People's Choice Award for Best Position Paper) https://doi.org/10.1145/2786805.2786823.
Jonathan Bell and Gail Kaiser. Dynamic Taint Tracking for Java with Phosphor (Demo). ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Baltimore MD, July 2015, pp. 409-413. https://doi.org/10.1145/2771783.2784768. Download software from https://github.com/gmu-swe/phosphor.
Jonathan Bell, Eric Melski, Gail Kaiser and Mohan Dattatreya. Accelerating Maven by Delaying Dependencies. Poster in 3rd International Workshop on Release Engineering, May 2015, p. 28. http://dx.doi.org/10.1109/RELENG.2015.16.
Jonathan Bell and Gail Kaiser. VMVM: Unit Test Virtualization for Java (Demo). ICSE 2014 Formal Demonstrations Track, Companion Proceedings of 36th International Conference on Software Engineering, Hyderabad, India, June 2014, pp. 576-579. https://doi.org/10.1145/2568225.2568248. Video at https://www.youtube.com/watch?v=sRpqF3rJERI.
Jonathan Bell and Gail Kaiser. Unit Test Virtualization: Optimizing Testing Time. Poster in 2nd International Workshop on Release Engineering, April 2014.
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):34-35, March 2013. http://dx.doi.org/10.1145/2382756.2382763.
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. https://doi.org/10.1145/1984674.1984685
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, pp. 46-47. http://doi.acm.org/10.1145/1808920.1808930
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. https://doi.org/10.1145/1555228.1555245
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. https://www.researchgate.net/publication/228749746_The_In_Vivo_Approach_to_Testing_Software_Applications
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. https://doi.org/10.1145/1135777.1135922
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. https://doi.org/10.1109/4236.747328
2024: (Nearly) 40 Years of SE+AI, Distinguished Lecture, University of California at Irvine (UCI) Department of Informatics, Irvine CA.
2013: Testing 1...2...3..., Distinguished Lecture, University of Southern California (USC) Department of Computer Science, 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.
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.
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;
Misc: Guest Editor, with Frank Maurer, special issue on Software
Engineering over the Internet, IEEE Internet Computing, Sept/Oct 1998;
2025: International Conference on Software Engineering (ICSE), International Conference on Automated Software Engineering (ASE), Annual Conference on Neural Information Processing Systems (NeurIPS).
2024: Programming Language Design and Implementation (PLDI); International Conference on Software Engineering (ICSE); International Conference on the Foundations of Software Engineering (FSE); International Conference on Automated Software Engineering (ASE).
2023: 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; International Conference on Program Comprehension (ICPC); 1st ACM/IEEE Conference on AI Engineering - Software Engineering for AI (CAIN).
2021: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
2020: International Conference on Software Engineering (ICSE) Reliable Rapid Response Reviewer; 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 IEEE/ACM International Conference on Automated Software Engineering (ASE-LBR); 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 (KBSE); 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 (FSE), 17th International Conference on Software Engineering (ICSE); 10th Knowledge-Based Software Engineering Conference (KBSE).
1994: 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE); 9th International Software Process Workshop (ISPW); 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 (ICDCS), Conference on Organizational Computer Systems; 15th International Conference on Software Engineering (ICSE); 4th European Software Engineering Conference (ESEC).
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 (ICSE); 4th International Conference on Computer Languages (ICCL); 7th Knowledge-Based Software Engineering Conference (KBSE).
1991: 6th ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA); 1st International Conference on the Software Process; 6th Knowledge-Based Software Engineering Conference (ICSE); 3rd International Workshop on Software Configuration Management.
1990: 4th ACM SIGSOFT Symposium on Software Development Environments; 12th International Conference on Software Engineering (ICSE); 6th International Software Process Workshop (keynote presenter); 1st International Symposium on Environments and Tools for Ada (working group moderator); Minitrack Chair for 23rd Hawaii International Conference on System Sciences (HICSS).
1989: 11th International Conference on Software Engineering (ICSE); 9th International Conference on Distributed Computing Systems (ICDCS).
1988: 3rd Ada Applications and Environments Conference; Minitrack Chair for 21st Hawaii International Conference on System Sciences (HICSS).
Patents: CODE RELATIVES DETECTION, with Fang-hsiang Su, Lakshminarasimhan Sethumadhavan, Tony Jebara, publication number 20180046441, preliminary February 10, 2015, application filed February 9, 2016, published February 15, 2018; US Patent 10061753, 9372838, 8468445, SYSTEMS AND METHODS FOR CONTENT EXTRACTION [FROM A MARK-UP LANGUAGE TEXT ACCESSIBLE AT AN INTERNET DOMAIN], with Suhit Gupta, Salvatore J. Stolfo, publication number 20170031883, 20130326332, 20070050708, application filed March 30, 2006 published March 1, 2007, application filed May 23, 2013 published December 5, 2013, application filed June 21, 2016 published February 2, 2017; IT TO20030327, Procedimento E Piattaforma Per La Gestione Automatizzata, Gail Kaiser and Giuseppe Valetto, application filed May 2, 2003 (also Method and platform for the automated management of distributed system, corresponding telecommunications network and computer program product, publication number 20060075087, application filed February 17, 2004, published April 6, 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: Bergen County [New Jersey] Technical School Computer Science/Information Technology Advisory board, 2016-2018; Microsoft Research University Relations Faculty Advisory Board, Redmond WA, 2003.
Consulting: Trustforte Corp., New York NY, 2008-2018; 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 panels 2022, 2016, 2015, 2013, 2004, 1998, 1995, 1989 (2); NSF CISE site visit committees 2014, 2012, 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.
Journal Article and Book Reviews (in addition to editorial
boards): Computers & Security; IEEE Access; IEEE Transactions on Reliability; IEEE Transactions on Emerging Topics in Computing, Springer's International Journal on Software Tools for Technology Transfer , ACM Transactions on Internet Technology, 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): OOPSLA 2023 external reviewer; 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.
Yangruibo (Robin) Ding, From Code Completion to Program Reasoning:Advancing Code Intelligence for Software Engineering, proposed January 2025.
Anthony Saieva [Narin], Methods and Tools for Practical Software Testing and Maintenance, deposited December 2023; IBM Research, Yorktown Heights NY.
Jeffrey Bender, Social Addictive Gameful Engineering (SAGE): A Game-based Learning and Assessment System for Computational Thinking, deposited June 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.
Leon L Wu, Improving System Reliability for Cyber-Physical Systems, deposited September 2015; Founder and CEO, Briskpoint, New York NY.
Swapneel Sheth, Exploring Societal Computing based on the Example of Privacy, deposited April 2014; Associate Professor of Practice, University of Pennsylvania, Philadelphia PA.
Christian Murphy, Using Metamorphic Testing at Runtime to Detect Defects in Applications without Test Oracles, deposited May 2010; Visiting Assistant Professor, Swarthmore College, Swarthmore PA.
Janak J. Parekh, co-advised with Salvatore Stolfo, Privacy-Preserving Distributed Event Correlation, deposited May 2007; Staff Software Engineer, Google, Mountain View CA.
Suhit Gupta, Context-Based Content Extraction of HTML Documents, deposited December 2005; CIO, General Atlantic, New York NY.
Giuseppe Valetto, Orchestrating the Dynamic Adaptation of Distributed Software with Process Technology, deposited April 2004; Artificial Intelligence Team Leader, Docebo, Milano Italy.
Stephen E. Dossick, A Virtual Environment Framework for Software Engineering, deposited November 2000; Senior Director, T-Mobile, Seattle WA.
Mariya Delyakova, Columbia College I.I. Rabi Scholars Program, rising junior in Summer 2019.
Francis Hinson, BA thesis, An Electrocardiogram-Integrated Wearable Shirt For Continuous Heart Monitoring, June 2019. (Theodore R. Bashkow undergraduate research award)
Winston Yang, High School summer intern starting as rising sophomore, Summers 2016, 2017, 2018.
Huning (David) Dai, MS thesis, CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection, April 2010.
Nipun Arora, MS thesis, COMPASS: Community driven Parallelization advisor for legacy Software Systems, May 2009.
Suhit Gupta, MS thesis, AI2TV - Video Synchronization in a Collaborative Virtual Environment, May 2001.
Janak J. Parekh, BS thesis, Palm-sized Hyperweb Manager, May 1999. (Theodore Bashkow undergraduate research award, CRA Outstanding Undergraduate Research Honorable Mention)
Stephen E. Dossick, BA thesis, OzWeb: Interfacing the Oz System to the World Wide Web, December 1996.
Peter D. Skopp, MS thesis, Low-Bandwidth Operation in a Multi-User Software Development Environment, December 1995.
Deborah Freedman, CRA Distributed Mentoring Project, Summer 1995.
Shelley Tselepis, CRA Distributed Mentoring Project, Summer 1994.
Toni Bünter, Postdoctoral Scholar funded by a Swiss government fellowship, 1992-1993.
Wilfredo Marrero, Columbia University GSAS
Minority Summer Research Fellowship, Summer 1991.
PhD Dissertation Committees (other than advisees): Ziyuan Zhong, Simulation Based Testing for Autonomous Driving Systems, January 2024; Lingmei Weng, Improve the effectiveness of performance diagnostic tools with annotations, April 2023; Saikat Chakraborty, Learning To Edit Code, July 2022; Yuchi Tian, Detect and repair errors for DNN-based software, July 2021; Gang Hu, Techniques for Efficient and Effective Mobile Testing, January 2018; Kyung Hwa Kim, Towards Trouble-Free Networks for End Users, August 2017; Suman Srinivasan, Improving Content Delivery and Service Discovery in Networks, February 2016; Ohan Oda, Supporting Multi-User Interactions in Co-Located and Remote Augmented Reality by Improving Reference Performance and Decreasing Physical Interference, December 2015; Jong Yul Kim, On SIP Server Clusters and the Migration to Cloud Computing Platforms, June 2015; Heming Cui, Stable Multithreading: A New Paradigm for Reliable and Secure Threads, November 2014; Jeremy Andrus, Multi-Persona Mobile Computing, May 2014; Christopher W.A. Dragert, Model-Driven Development of AI for Digital Games, McGill University, School of Computing, January 2014; Wonsang Song, Next Generation Emergency Call System with Enhanced Indoor Positioning, December 2013; 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.
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), Spring 2015 (11). 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), Spring 2014 (5). 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).
W3131 Data Structures, undergraduates, Fall 1985
(71).
School of Engineering and Applied Science: Data Science PhD Specialization Committee 2018-present (We developed and manage a joint specialization option in Data Science available to PhD students in the Applied Mathematics, Computer Science, Electrical Engineering, Industrial Engineering and Operations Research, and Statistics departments at Columbia University.); PhD [COVID-19] Working Group 2020; CEPSR Space Committee
1994-1997;
University: Reviewer for Internal Selection of Nominees for External Awards, 2024; Reviewer for Internal Funding Opportunities, 2024, 2022; Columbia Undergraduate Science Journal Faculty Advisory
Board, 2005-2007; Information Systems Subcommittee of the University Planning
and Budget Committee Fall 1992.