


default search action
Gail E. Kaiser
Person information
- affiliation: Columbia University, New York City, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j62]Daniel H. Um, David A. Knowles, Gail E. Kaiser:
Vector embeddings by sequence similarity and context for improved compression, similarity search, clustering, organization, and manipulation of cDNA libraries. Comput. Biol. Chem. 114: 108251 (2025) - 2024
- [j61]Yangruibo Ding
, Marcus J. Min
, Gail E. Kaiser
, Baishakhi Ray:
CYCLE: Learning to Self-Refine the Code Generation. Proc. ACM Program. Lang. 8(OOPSLA1): 392-418 (2024) - [c141]Marcus J. Min, Yangruibo Ding, Luca Buratti, Saurabh Pujar, Gail E. Kaiser, Suman Jana, Baishakhi Ray:
Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain. ICLR 2024 - [c140]Yangruibo Ding
, Benjamin Steenhoek
, Kexin Pei
, Gail E. Kaiser
, Wei Le
, Baishakhi Ray
:
TRACED: Execution-aware Pre-training for Source Code. ICSE 2024: 36:1-36:12 - [c139]Yangruibo Ding, Jinjun Peng, Marcus J. Min, Gail E. Kaiser, Junfeng Yang, Baishakhi Ray:
SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning. NeurIPS 2024 - [c138]Anthony Saieva, Saikat Chakraborty, Gail E. Kaiser:
Reinforest: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models. SCAM 2024: 177-188 - [i15]Yangruibo Ding, Marcus J. Min, Gail E. Kaiser, Baishakhi Ray:
CYCLE: Learning to Self-Refine the Code Generation. CoRR abs/2403.18746 (2024) - [i14]Yangruibo Ding, Jinjun Peng, Marcus J. Min, Gail E. Kaiser, Junfeng Yang, Baishakhi Ray:
SemCoder: Training Code Language Models with Comprehensive Semantics. CoRR abs/2406.01006 (2024) - [i13]Ira Ceka, Feitong Qiao, Anik Dey, Aastha Valechia, Gail E. Kaiser, Baishakhi Ray:
Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection. CoRR abs/2412.12039 (2024) - 2023
- [j60]Jeff Bender, Bingpu Zhao, Alex Dziena, Gail E. Kaiser
:
Integrating Parsons puzzles within Scratch enables efficient computational thinking learning. Res. Pract. Technol. Enhanc. Learn. 18: 22 (2023) - [j59]Ziyuan Zhong
, Gail E. Kaiser
, Baishakhi Ray
:
Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles. IEEE Trans. Software Eng. 49(4): 1860-1875 (2023) - [c137]Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser
, Baishakhi Ray:
CONCORD: Clone-Aware Contrastive Learning for Source Code. ISSTA 2023: 26-38 - [i12]Anthony Saieva, Saikat Chakraborty, Gail E. Kaiser:
On Contrastive Learning of Semantic Similarity forCode to Code Search. CoRR abs/2305.03843 (2023) - [i11]Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray:
CONCORD: Clone-aware Contrastive Learning for Source Code. CoRR abs/2306.03234 (2023) - [i10]Yangruibo Ding, Benjamin Steenhoek, Kexin Pei, Gail E. Kaiser, Wei Le, Baishakhi Ray:
TRACED: Execution-aware Pre-training for Source Code. CoRR abs/2306.07487 (2023) - [i9]Daniel H. Um, David A. Knowles, Gail E. Kaiser:
Vector Embeddings by Sequence Similarity and Context for Improved Compression, Similarity Search, Clustering, Organization, and Manipulation of cDNA Libraries. CoRR abs/2308.05118 (2023) - [i8]Marcus J. Min, Yangruibo Ding, Luca Buratti, Saurabh Pujar, Gail E. Kaiser, Suman Jana, Baishakhi Ray:
Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain. CoRR abs/2310.14053 (2023) - [i7]Shuo Liu, Gail E. Kaiser:
Vignat: Vulnerability identification by learning code semantics via graph attention networks. CoRR abs/2310.20067 (2023) - 2022
- [j58]Anthony Saieva
, Gail E. Kaiser
:
Update with care: Testing candidate bug fixes and integrating selective updates through binary rewriting. J. Syst. Softw. 191: 111381 (2022) - [c136]Jeff Bender, Bingpu Zhao, Alex Dziena, Gail E. Kaiser
:
Learning Computational Thinking Efficiently: How Parsons Programming Puzzles within Scratch Might Help. ACE 2022: 66-75 - [c135]Jeff Bender, Alex Dziena, Gail E. Kaiser:
Learning Computational Thinking Efficiently with Block-based Parsons Puzzles. ICCE 2022 - [c134]Yangruibo Ding, Sahil Suneja, Yunhui Zheng, Jim Laredo, Alessandro Morari, Gail E. Kaiser
, Baishakhi Ray:
VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements. SANER 2022: 959-970 - 2021
- [c133]Shirish Kumar Singh, Gail E. Kaiser
:
Metamorphic Detection of Repackaged Malware. MET@ICSE 2021: 9-16 - [i6]Shirish Kumar Singh, Gail E. Kaiser:
Metamorphic Detection of Repackaged Malware. CoRR abs/2104.13295 (2021) - [i5]Ziyuan Zhong, Gail E. Kaiser, Baishakhi Ray:
Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles. CoRR abs/2109.06126 (2021) - [i4]Yangruibo Ding, Sahil Suneja, Yunhui Zheng, Jim Laredo, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray:
VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements. CoRR abs/2112.10893 (2021) - 2020
- [c132]Boyu Liu, Duanyue Yun, Xin Guo, Xiao Ji, Huiyu Song, Shirish Kumar Singh, Gail E. Kaiser:
Detecting Sensor-Based Repackaged Malware. IEEE BigData 2020: 5759-5761 - [c131]Anthony Saieva, Gail E. Kaiser
:
Binary Quilting to Generate Patched Executables without Compilation. FEAST@CCS 2020: 3-8 - [c130]Yuchi Tian, Ziyuan Zhong, Vicente Ordonez
, Gail E. Kaiser, Baishakhi Ray:
Testing DNN image classifiers for confusion & bias errors. ICSE (Companion Volume) 2020: 304-305 - [c129]Yuchi Tian, Ziyuan Zhong, Vicente Ordonez, Gail E. Kaiser
, Baishakhi Ray:
Testing DNN image classifiers for confusion & bias errors. ICSE 2020: 1122-1134 - [c128]Anthony Saieva, Shirish Kumar Singh, Gail E. Kaiser
:
Ad hoc Test Generation Through Binary Rewriting. SCAM 2020: 115-126 - [i3]Gareth Ari Aye, Gail E. Kaiser:
Sequence Model Design for Code Completion in the Modern IDE. CoRR abs/2004.05249 (2020)
2010 – 2019
- 2019
- [c127]Md. Masudur Rahman, Saikat Chakraborty
, Gail E. Kaiser
, Baishakhi Ray:
Toward Optimal Selection of Information Retrieval Models for Software Engineering Tasks. SCAM 2019: 127-138 - [c126]Shirish Kumar Singh, Devu Manikantan Shila, Gail E. Kaiser:
Side channel attack on smartphone sensors to infer gender of the user: poster abstract. SenSys 2019: 436-437 - 2018
- [c125]Nipun Arora, Jonathan Bell, Franjo Ivancic, Gail E. Kaiser
, Baishakhi Ray:
Replay without recording of production bugs for service oriented applications. ASE 2018: 452-463 - [c124]Fang-Hsiang Su, Jonathan Bell, Gail E. Kaiser
, Baishakhi Ray:
Obfuscation resilient search through executable classification. MAPL@PLDI 2018: 20-30 - [i2]Fang-Hsiang Su, Jonathan Bell, Gail E. Kaiser, Baishakhi Ray:
Obfuscation Resilient Search through Executable Classification. CoRR abs/1806.02432 (2018) - [i1]Md. Masudur Rahman, Saikat Chakraborty, Gail E. Kaiser, Baishakhi Ray:
A Case Study on the Impact of Similarity Measure on Information Retrieval based Software Engineering Tasks. CoRR abs/1808.02911 (2018) - 2016
- [c123]Fang-Hsiang Su, Jonathan Bell, Gail E. Kaiser
, Simha Sethumadhavan:
Identifying functionally similar code in complex codebases. ICPC 2016: 1-10 - [c122]Fang-Hsiang Su, Jonathan Bell, Kenneth Harvey, Simha Sethumadhavan, Gail E. Kaiser
, Tony Jebara:
Code relatives: detecting similarly behaving software. SIGSOFT FSE 2016: 702-714 - [c121]Fang-Hsiang Su, Jonathan Bell, Gail E. Kaiser:
Challenges in Behavioral Code Clone Detection. IWSC 2016: 21-22 - 2015
- [j57]Jonathan Bell, Eric Melski, Mohan Dattatreya, Gail E. Kaiser
:
Vroom: Faster Build Processes for Java. IEEE Softw. 32(2): 97-104 (2015) - [c120]Jonathan Bell, Eric Melski, Gail E. Kaiser, Mohan Dattatreya:
Accelerating Maven by Delaying Test Dependencies. RELENG@ICSE 2015: 28 - [c119]Fang-Hsiang Su, Jonathan Bell, Christian Murphy, Gail E. Kaiser
:
Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing. AST@ICSE 2015: 55-59 - [c118]Jonathan Bell, Gail E. Kaiser:
Dynamic taint tracking for Java with phosphor (demo). ISSTA 2015: 409-413 - [c117]Jonathan Bell, Gail E. Kaiser
, Eric Melski, Mohan Dattatreya:
Efficient dependency detection for safe Java test acceleration. ESEC/SIGSOFT FSE 2015: 770-781 - 2014
- [c116]Jonathan Bell, Gail E. Kaiser
:
Unit test virtualization with VMVM. ICSE 2014: 550-561 - [c115]Jonathan Bell, Gail E. Kaiser:
VMVM: unit test virtualization for Java. ICSE Companion 2014: 576-579 - [c114]Swapneel Sheth, Gail E. Kaiser
, Walid Maalej:
Us and them: a study of privacy requirements across north america, asia, and europe. ICSE 2014: 859-870 - [c113]Jonathan Bell, Gail E. Kaiser
:
Phosphor: illuminating dynamic data flow in commodity jvms. OOPSLA 2014: 83-101 - [c112]Riley Spahn, Jonathan Bell, Michael Lee, Sravan Bhamidipati, Roxana Geambasu, Gail E. Kaiser:
Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems. OSDI 2014: 113-129 - 2013
- [j56]Jonathan Bell, Kendra M. L. Cooper, Gail E. Kaiser, Swapneel Sheth:
Report from the second international workshop on games and software engineering (GAS 2012). ACM SIGSOFT Softw. Eng. Notes 38(1): 34-35 (2013) - [c111]Swapneel Sheth, Jonathan Bell, Gail E. Kaiser:
A competitive-collaborative approach for introducing software engineering in a CS2 class. CSEE&T 2013: 41-50 - [c110]Jonathan Bell, Nikhil Sarda, Gail E. Kaiser:
Chronicler: lightweight recording to reproduce field failures. ICSE 2013: 362-371 - [c109]Jonathan Bell, Swapneel Sheth, Gail E. Kaiser:
A large-scale, longitudinal study of user profiles in world of warcraft. WWW (Companion Volume) 2013: 1175-1184 - 2012
- [j55]Jonathan Bell, Kendra M. L. Cooper, Gail E. Kaiser, Swapneel Sheth:
Report from the second international workshop on games and software engineering (GAS 2012). ACM SIGSOFT Softw. Eng. Notes 37(6): 26-27 (2012) - [c108]Leon Wu, Gail E. Kaiser:
An Autonomic Reliability Improvement System for Cyber-Physical Systems. HASE 2012: 56-61 - [e2]Jonathan Bell, Kendra M. L. Cooper, Gail E. Kaiser, Swapneel Sheth:
Proceedings of the Second International Workshop on Games and Software Engineering: Realizing User Engagement with Game Engineering Techniques, GAS 2012, Zurich, Switzerland, June 9, 2012. IEEE/ACM 2012, ISBN 978-1-4673-1768-9 [contents] - 2011
- [j54]Xiaoyuan Xie, Joshua Wing Kei Ho
, Christian Murphy, Gail E. Kaiser
, Baowen Xu
, Tsong Yueh Chen
:
Testing and validating machine learning classifiers by metamorphic testing. J. Syst. Softw. 84(4): 544-558 (2011) - [c107]Christian Murphy, M. S. Raunak, Andrew L. King, Sanjian Chen, Christopher Imbriano, Gail E. Kaiser, Insup Lee, Oleg Sokolsky
, Lori A. Clarke, Leon J. Osterweil:
On effective testing of health care simulation software. SEHC@ICSE 2011: 40-47 - [c106]Swapneel Sheth, Gail E. Kaiser:
The tradeoffs of societal computing. Onward! 2011: 149-156 - [c105]Leon Wu, Boyi Xie, Gail E. Kaiser, Rebecca J. Passonneau:
BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports. SEKE 2011: 95-100 - [c104]Leon Wu, Gail E. Kaiser:
Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators. SEKE 2011: 244-249 - 2010
- [j53]Huning Dai, Christian Murphy, Gail E. Kaiser:
CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection. Int. J. Secur. Softw. Eng. 1(3): 41-55 (2010) - [c103]Huning Dai, Christian Murphy, Gail E. Kaiser:
Configuration Fuzzing for Software Vulnerability Detection. ARES 2010: 525-530 - [c102]Christian Murphy, Moses Vaughan, Waseem Ilahi, Gail E. Kaiser:
Automatic detection of previously-unseen application states for deployment environment testing and analysis. AST 2010: 16-23 - [c101]Swapneel Sheth, Nipun Arora, Christian Murphy, Gail E. Kaiser:
The weHelp reference architecture for community-driven recommender systems. RSSE@ICSE 2010: 46-47 - [c100]Swapneel Sheth, Nipun Arora, Christian Murphy, Gail E. Kaiser:
weHelp: A Reference Architecture for Social Recommender Systems. Software Engineering (Workshops) 2010: 461-472
2000 – 2009
- 2009
- [c99]Rean Griffith, Gail E. Kaiser, Javier Alonso López:
Multi-perspective evaluation of self-healing systems using simple probabilistic models. ICAC 2009: 59-60 - [c98]Simha Sethumadhavan, Nipun Arora, Ravindra Babu Ganapathi, John Demme, Gail E. Kaiser:
COMPASS: A Community-driven Parallelization Advisor for Sequential Software. IWMSE@ICSE 2009: 41-48 - [c97]Christian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu:
Quality Assurance of Software Applications Using the In Vivo Testing Approach. ICST 2009: 111-120 - [c96]Christian Murphy, Kuang Shen, Gail E. Kaiser:
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles. ICST 2009: 436-445 - [c95]Christian Murphy, Kuang Shen, Gail E. Kaiser:
Automatic system testing of programs without test oracles. ISSTA 2009: 189-200 - [c94]Xiaoyuan Xie, Joshua Wing Kei Ho
, Christian Murphy, Gail E. Kaiser, Baowen Xu
, Tsong Yueh Chen
:
Application of Metamorphic Testing to Supervised Classifiers. QSIC 2009: 135-144 - [c93]Christian Murphy, Gail E. Kaiser, Kristin Loveland, Sahar Hasan:
Retina: helping students and instructors based on observed programming activities. SIGCSE 2009: 178-182 - [p3]Dan B. Phung, Giuseppe Valetto
, Gail E. Kaiser, Tiecheng Liu, John R. Kender:
Adaptive Synchronization of Semantically Compressed Instructional Videos for Collaborative Distance Learning. Methods and Applications for Advancing Distance Education Technologies 2009: 72-86 - 2008
- [c92]Javier Alonso, Jordi Torres
, Rean Griffith, Gail E. Kaiser, Luís Moura Silva:
Towards Self-adaptable Monitoring Framework for Self-healing. CoreGRID Workshop on Grid Middleware 2008: 1-9 - [c91]Matt Chu, Christian Murphy, Gail E. Kaiser:
Distributed In Vivo Testing of Software Applications. ICST 2008: 509-512 - [c90]Christian Murphy, Dan B. Phung, Gail E. Kaiser:
A distance learning approach to teaching eXtreme programming. ITiCSE 2008: 199-203 - [c89]Christian Murphy, Swapneel Sheth, Gail E. Kaiser, Lauren Wilcox
:
genSpace: Exploring social networking metaphors for knowledge sharing and scientific collaborative work. ASE Workshops 2008: 34-41 - [c88]Maritza L. Johnson, Chaitanya Atreya, Adam J. Aviv, Steven M. Bellovin, Gail E. Kaiser:
RUST: A Retargetable Usability Testbed for Web Site Authentication Technologies. UPSEC 2008 - [c87]Christian Murphy, Gail E. Kaiser, Lifeng Hu, Leon Wu:
Properties of Machine Learning Applications for Use in Metamorphic Testing. SEKE 2008: 867-872 - [c86]Christian Murphy, Eunhee Kim, Gail E. Kaiser, Adam Cannon:
Backstop: a tool for debugging runtime errors. SIGCSE 2008: 173-177 - 2007
- [j52]Dan B. Phung, Giuseppe Valetto, Gail E. Kaiser, Tiecheng Liu, John R. Kender:
Adaptive Synchronization of Semantically Compressed Instructional Videos for Collaborative Distance Learning. Int. J. Distance Educ. Technol. 5(2): 56-73 (2007) - [c85]Chris Murphy, Gail E. Kaiser, Marta Arias:
An Approach to Software Testing of Machine Learning Applications. SEKE 2007: 167- - 2006
- [j51]Janak J. Parekh, Gail E. Kaiser, Philip Gross, Giuseppe Valetto
:
Retrofitting Autonomic Capabilities onto Legacy Systems. Clust. Comput. 9(2): 141-159 (2006) - [c84]Rean Griffith, Gail E. Kaiser:
A Runtime Adaptation Framework for Native C and Bytecode Applications. ICAC 2006: 93-104 - [c83]Rean Griffith, Joseph L. Hellerstein, Gail E. Kaiser, Yixin Diao:
Dynamic Adaptation of Temporal Event Correlation for QoS Management in Distributed Systems. IWQoS 2006: 290-294 - [c82]Philip Gross, Gail E. Kaiser:
Automated Information Aggregation for Scaling Scale-Resistant Services. ASE 2006: 15-24 - [c81]Suhit Gupta, Hila Becker, Gail E. Kaiser, Salvatore J. Stolfo:
Verifying genre-based clustering approach to content extraction. WWW 2006: 875-876 - 2005
- [j50]Yixin Diao, Joseph L. Hellerstein, Sujay S. Parekh, Rean Griffith, Gail E. Kaiser, Dan B. Phung:
A control theory foundation for self-managing computing systems. IEEE J. Sel. Areas Commun. 23(12): 2213-2222 (2005) - [j49]Rean Griffith, Gail E. Kaiser:
Manipulating managed execution runtimes to support self-healing systems. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j48]Suhit Gupta, Gail E. Kaiser, Peter Grimm, Michael F. Chiang
, Justin Starren:
Automating Content Extraction of HTML Documents. World Wide Web 8(2): 179-224 (2005) - [c80]Yixin Diao, Joseph L. Hellerstein, Sujay S. Parekh, Rean Griffith, Gail E. Kaiser, Dan B. Phung:
Self-Managing Systems: A Control Theory Foundation. ECBS 2005: 441-448 - [c79]Giuseppe Valetto
, Gail E. Kaiser, Dan B. Phung:
A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems. ICAC 2005: 286-297 - [c78]Dan B. Phung, Giuseppe Valetto, Gail E. Kaiser:
Adaptive Internet Interactive Team Video. ICWL 2005: 66-77 - [c77]Suhit Gupta, Gail E. Kaiser:
P2P Video Synchronization in a Collaborative Virtual Environment. ICWL 2005: 86-98 - [c76]Suhit Gupta, Gail E. Kaiser:
Extracting content from accessible web pages. W4A 2005: 26-30 - [c75]Suhit Gupta, Gail E. Kaiser, Salvatore J. Stolfo:
Extracting context to improve accuracy for HTML content extraction. WWW (Special interest tracks and posters) 2005: 1114-1115 - 2004
- [c74]Suhit Gupta, Gail E. Kaiser:
A Virtual Environment for Collaborative Distance Learning with Video Synchronization. CATE 2004: 357-362 - 2003
- [c73]Dongwen Wang, Mor Peleg, Davis Bu, Michael N. Cantor, Giora Landesberg, Eitan Lunenfeld, Samson W. Tu, Gail E. Kaiser, George Hripcsak, Vimla L. Patel, Edward H. Shortliffe:
GESDOR - A Generic Execution Model for Sharing of Computer-Interpretable Clinical Practice Guidelines. AMIA 2003 - [c72]Angelos D. Keromytis, Janak J. Parekh, Philip Gross, Gail E. Kaiser, Vishal Misra, Jason Nieh, Dan Rubenstein, Salvatore J. Stolfo:
A holistic approach to service survivability. SSRS@CCS 2003: 11-22 - [c71]Giuseppe Valetto, Gail E. Kaiser:
Using Process Technology to Control and Coordinate Software Adaptation. ICSE 2003: 262-273 - [c70]Gail E. Kaiser, Janak J. Parekh, Philip Gross, Giuseppe Valetto:
Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems. Active Middleware Services 2003: 22-31 - [c69]Suhit Gupta, Gail E. Kaiser, David Neistadt, Peter Grimm:
DOM-based content extraction of HTML documents. WWW 2003: 207-214 - 2002
- [c68]Giuseppe Valetto, Gail E. Kaiser:
A case study in software adaptation. WOSS 2002: 73-78 - 2001
- [c67]Giuseppe Valetto, Gail E. Kaiser, Gaurav S. Kc:
A Mobile Agent Approach to Process-Based Dynamic Adaptation of Complex Software Systems. EWSPT 2001: 102-116 - 2000
- [j47]Gail E. Kaiser:
Internet-based information management technology. ACM SIGSOFT Softw. Eng. Notes 25(1): 98 (2000) - [j46]Gail E. Kaiser:
Internet-based information management technology. ACM SIGSOFT Softw. Eng. Notes 25(1): 103 (2000) - [c66]Barry W. Boehm, Gail E. Kaiser, Daniel Port:
A Combined Curriculum Research and Curriculum Development Approach to Software Engineering Education. CSEE&T 2000: 310- - [c65]Gail E. Kaiser:
Building Computer Ethics from the Ground Up. SIGUCCS 2000: 146-148
1990 – 1999
- 1999
- [j45]Gregory Alan Bolcer, Gail E. Kaiser:
Collaborative Work: SWAP: Leveraging the Web To Manage Workflow. IEEE Internet Comput. 3(1): 85-88 (1999) - [j44]Wenke Lee, Gail E. Kaiser:
Interfacing Oz with the PCTE OMS: A Case Study of Integrating a Legacy System with a Standard Object Management System. J. Syst. Integr. 9(4): 329-358 (1999) - [j43]Jack Jingshuang Yang, Gail E. Kaiser:
JPernLite: Extensible Transaction Services for the WWW. IEEE Trans. Knowl. Data Eng. 11(4): 639-657 (1999) - [c64]Stephen E. Dossick, Gail E. Kaiser:
CHIME: A Metadata-Based Distributed Software Development Environment. ESEC / SIGSOFT FSE 1999: 464-475 - [c63]Gail E. Kaiser, Christopher Vaill, Stephen E. Dossick:
A Workgroup Model for Smart Pushing and Pulling. WETICE 1999: 15-21 - [c62]Gail E. Kaiser:
From Oz to TreatyMaker: An International Alliance for Multi-Organization Workflow. Cross-Organisational Workflow Management and Co-ordination 1999 - 1998
- [j42]Israel Ben-Shaul, Gail E. Kaiser:
Federating Process-Centered Environments: The Oz Experience. Autom. Softw. Eng. 5(1): 97-132 (1998) - [j41]Israel Ben-Shaul, Gail E. Kaiser:
Collaborative Work: Coordinating Distributed Components over the Internet. IEEE Internet Comput. 2(2): 83-86 (1998) - [j40]Andrew P. Kosoresow, Gail E. Kaiser:
Collaborative Work: Using Agents to Enable Collaborative Work. IEEE Internet Comput. 2(4): 85-87 (1998) - [j39]Frank Maurer
, Gail E. Kaiser:
Software Engineering in the Internet Age - Guest Editors' Introduction. IEEE Internet Comput. 2(5): 22-24 (1998) - [j38]Daniel Port, Gail E. Kaiser:
Collaborative Work: Collaborative Technologies for Evolving Software Systems. IEEE Internet Comput. 2(6): 79-83 (1998) - [j37]Shih-Fu Chang, Luis Gravano, Gail E. Kaiser, Kenneth A. Ross, Salvatore J. Stolfo:
Database Research at Columbia University. SIGMOD Rec. 27(3): 75-80 (1998) - [j36]Gail E. Kaiser, Stephen E. Dossick, Wenyu Jiang, Jack Jingshuang Yang, Sonny Xi Ye:
WWW-Based Collaboration Environments with Distributed Tool Services. World Wide Web 1(1): 3-25 (1998) - [c61]Jack Jingshuang Yang, Gail E. Kaiser:
JPernLite: An Extensible Transaction Server for the World Wide Web. Hypertext 1998: 256-266 - [c60]Gail E. Kaiser, Stephen E. Dossick:
Workgroup Middleware for Distributed Projects*. WETICE 1998: 63-68 - 1997
- [j35]Gail E. Kaiser, E. James Whitehead Jr.:
Collaborative Work: Distributed Authoring and Versioning. IEEE Internet Comput. 1(2): 76-77 (1997) - [j34]Roy T. Fielding, Gail E. Kaiser:
The Apache HTTP Server Project. IEEE Internet Comput. 1(4): 88-90 (1997) - [j33]Stephen E. Dossick, Gail E. Kaiser:
Collaborative Work: Tool Services for Intranets. IEEE Internet Comput. 1(5): 80-81 (1997) - [j32]Peyman Oreizy, Gail E. Kaiser:
Collaborative Work: The Web as Enabling Technology for Software Development and Distribution. IEEE Internet Comput. 1(6): 84-87 (1997) - [c59]George T. Heineman, Gail E. Kaiser:
The CORD Appraoch to Extensible Concurrency Control. ICDE 1997: 562-571 - [c58]Gail E. Kaiser, Stephen E. Dossick, Wenyu Jiang, Jack Jingshuang Yang:
An Architecture for WWW-based Hypercode Environments. ICSE 1997: 3-13 - 1996
- [j31]Giuseppe Valetto, Gail E. Kaiser:
Enveloping Sophisticated Tools into Process-Centered Environments. Autom. Softw. Eng. 3(3/4): 309-345 (1996) - [j30]Stephen E. Dossick, Gail E. Kaiser:
WWW Access to Legacy Client/Server Applications. Comput. Networks 28(7-11): 931-940 (1996) - [j29]Jack Jingshuang Yang, Gail E. Kaiser:
An Architecture for Integrating OODBs with WWW. Comput. Networks 28(7-11): 1243-1254 (1996) - [c57]Gail E. Kaiser, Peter D. Skopp, Jack Jingshuang Yang, George T. Heineman:
On the yellow brick road to component-based product lines. ISPW 1996: 93-96 - 1995
- [j28]Wenwey Hseush, Gail E. Kaiser, Calton Pu, Kun-Lung Wu, Philip S. Yu:
Divergence Control for Distributed Database Systems. Distributed Parallel Databases 3(1): 85-109 (1995) - [c56]Giuseppe Valetto, Gail E. Kaiser:
Enveloping "Persistent" Tools for a Process-Centered Environment. EWSPT 1995: 200-204 - [c55]George T. Heineman, Gail E. Kaiser:
An Architecture for Integrating Concurrency Control into Environment Frameworks. ICSE 1995: 305-313 - [p2]Gail E. Kaiser:
Cooperative Transactions for Multiuser Environments. Modern Database Systems 1995: 409-433 - [e1]Gail E. Kaiser:
Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1995, Washington, DC, USA, October 10-13, 1995. ACM 1995, ISBN 978-0-89791-716-2 [contents] - 1994
- [j27]George T. Heineman, John E. Botsford, Gianluigi Caldiera, Gail E. Kaiser, Marc I. Kellner, Nazim H. Madhavji:
Emerging Technologies that Support a Software Process Life Cycle. IBM Syst. J. 33(3): 501-529 (1994) - [j26]Josephine Micallef, Gail E. Kaiser:
Extending Attribute Grammars to Support Programming-in-the-Large. ACM Trans. Program. Lang. Syst. 16(5): 1572-1612 (1994) - [c54]Israel Ben-Shaul, Gail E. Kaiser:
A configuration process for a distributed software development environment. CDS 1994: 123-134 - [c53]Israel Ben-Shaul, Gail E. Kaiser:
A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment. ICSE 1994: 179-188 - [c52]George T. Heineman, Gail E. Kaiser:
Incremental Process Support for Code Reengineering. ICSM 1994: 282-290 - [c51]Andrew Z. Tong, Gail E. Kaiser, Steven S. Popovich:
A Flexible Rule-Chaining Engine for Process-Based Software Engineering. KBSE 1994: 79-88 - 1993
- [j25]Israel Ben-Shaul, Gail E. Kaiser, George T. Heineman:
An Architecture for Multi-User Software Development Environments. Comput. Syst. 6(2): 65-103 (1993) - [j24]Gail E. Kaiser, Simon M. Kaplan:
Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multiuser Software Development Environments. ACM Trans. Softw. Eng. Methodol. 2(1): 47-92 (1993) - [j23]Josephine Micallef, Gail E. Kaiser:
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements. IEEE Trans. Software Eng. 19(3): 231-252 (1993) - [c50]Calton Pu, Wenwey Hseush, Gail E. Kaiser, Kun-Lung Wu, Philip S. Yu:
Distributed Divergence Control for Epsilon Serializability. ICDCS 1993: 449-456 - [c49]Gail E. Kaiser, Steven S. Popovich, Israel Ben-Shaul:
A Bi-Level Language for Software Process Modeling. ICSE 1993: 132-143 - [c48]Gail E. Kaiser, Israel Ben-Shaul:
Process Evolution in the Marvel Environment. ISPW 1993: 104-106 - [c47]Gail E. Kaiser:
MARVEL 3: 1: A Multi-User Software Development Environment. ILPS 1993: 36-39 - [c46]Wenwey Hseush, Gail E. Kaiser:
The Design and Implementation of Late Binding in a Distributed Programming Language. SPDP 1993: 438-447 - 1992
- [j22]David Garlan, Gail E. Kaiser, David Notkin:
Using Tool Abstraction to Compose Systems. Computer 25(6): 30-38 (1992) - [j21]George T. Heineman, Gail E. Kaiser, Naser S. Barghouti, Israel Ben-Shaul:
Rule Chaining in Marvel: Dynamic Binding of Parameters. IEEE Expert 7(6): 26-33 (1992) - [j20]Steven S. Popovich, Gail E. Kaiser:
An Architectural Survey of Object Management Systems. Int. J. Cooperative Inf. Syst. 1(3-4): 515-578 (1992) - [j19]Naser S. Barghouti, Gail E. Kaiser:
Scaling up Rule-Based Software Development Environments. Int. J. Softw. Eng. Knowl. Eng. 2(1): 59-78 (1992) - [j18]Gail E. Kaiser, Brent Hailpern:
An Object-Based Programming Model for Shared Data. ACM Trans. Program. Lang. Syst. 14(2): 201-264 (1992) - [c45]Webb Stacy, Richard Helm, Gail E. Kaiser, Bertrand Meyer:
Ensuring Semantic Integrity of Reusable Objects (Panel). OOPSLA 1992: 298-302 - [c44]Israel Ben-Shaul, Gail E. Kaiser, George T. Heineman:
An architecture for multi-user software development environments. SDE 1992: 149-158 - [p1]Gail E. Kaiser, Calton Pu:
Dynamic Restructuring of Transactions. Database Transaction Models for Advanced Applications 1992: 265-295 - 1991
- [j17]Naser S. Barghouti, Gail E. Kaiser:
Concurrency Control in Advanced Database Applications. ACM Comput. Surv. 23(3): 269-317 (1991) - [j16]Gail E. Kaiser, Dewayne E. Perry:
Making Progress in Cooperative Transaction Models. IEEE Data Eng. Bull. 14(1): 19-23 (1991) - [j15]Michael H. Sokolsky, Gail E. Kaiser:
A framework for immigrating existing software to new software development environments. Softw. Eng. J. 6(6): 435-453 (1991) - [j14]M. Krish Ponamgi, Wenwey Hseush, Gail E. Kaiser:
Debugging Multithreaded Programs with MPD. IEEE Softw. 8(3): 37-43 (1991) - [j13]Dewayne E. Perry, Gail E. Kaiser:
Models of Software Development Environments. IEEE Trans. Software Eng. 17(3): 283-295 (1991) - [j12]Yoëlle S. Maarek, Daniel M. Berry, Gail E. Kaiser:
An Information Retrieval Approach For Automatically Constructing Software Libraries. IEEE Trans. Software Eng. 17(8): 800-813 (1991) - [c43]Naser S. Barghouti, Gail E. Kaiser:
Scaling Up Rule-Based Software Development Environments. ESEC 1991: 380-395 - [c42]Steven S. Popovich, Shyhtsun Felix Wu, Gail E. Kaiser:
An object-based approach to implementing distributed concurrency control. ICDCS 1991: 65-72 - [c41]Brent Hailpern, Gail E. Kaiser:
Dynamic reconfiguration in an object-based programming language with distributed shared data. ICDCS 1991: 73-80 - [c40]Gail E. Kaiser:
A rule-based process server component for constructing rule-based. ISPW 1991: 76-78 - [c39]George T. Heineman, Gail E. Kaiser, Naser S. Barghouti, Israel Ben-Shaul:
Rule Chaining in MARVEL: Dynamic Binding of Parameters. KBSE 1991: 215-222 - [c38]Michael R. Lowry, Gail E. Kaiser, Dorothy E. Setliff, David M. Steier:
Knowledge-Based Design. KBSE 1991: 239-244 - 1990
- [j11]Naser S. Barghouti, Gail E. Kaiser:
Modeling Concurrency in Rule-Based Development Environments. IEEE Expert 5(6): 15-27 (1990) - [c37]Gail E. Kaiser, Brent Hailpern:
An Object Model of Shared Data. ICCL 1990: 136-144 - [c36]Gail E. Kaiser:
A Flexible Transaction Model for Software Engineering. ICDE 1990: 560-567 - [c35]Simon M. Kaplan, Anthony Finkelstein, Gail E. Kaiser, Kevin Ryan, Wilhelm Schäfer:
Interactively supporting the software process. INTERACT 1990: 1047-1049 - [c34]Gail E. Kaiser, Israel Ben-Shaul, Naser S. Barghouti:
Preliminary design of an object management system for multi-user MARVEL. ISPW 1990: 121-124 - [c33]Wenwey Hseush, Gail E. Kaiser:
Modeling Concurrency in Parallel Debugging. PPoPP 1990: 11-20 - [c32]Josephine Micallef, Gail E. Kaiser, Dewayne E. Perry:
SETA1 working group on Ada libraries, configuration management, and version control. SETA 1990: 29-31 - [c31]Josephine Micallef, Gail E. Kaiser:
Extending the MERCURY system to support teams of Ada programmers. SETA 1990: 49-60 - [c30]Gail E. Kaiser, Wenwey Hseush, Steven S. Popovich, Shyhtsun Felix Wu:
Multiple concurrency control policies in an object-oriented programming system. SPDP 1990: 623-626 - [c29]Steven S. Popovich, Gail E. Kaiser, Shyhtsun Felix Wu:
MELDing transactions and objects. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990: 94-98
1980 – 1989
- 1989
- [j10]Gail E. Kaiser:
Incremental Dynamic Semantics for Language-Based Programming Environments. ACM Trans. Program. Lang. Syst. 11(2): 169-193 (1989) - [c28]Gail E. Kaiser
, Dewayne E. Perry, William M. Schell:
Infuse: fusing integration test management with change management. COMPSAC 1989: 552-558 - [c27]Gail E. Kaiser, Steven S. Popovich, Wenwey Hseush, Shyhtsun Felix Wu:
MELDing Multiple Granularities of Parallelism. ECOOP 1989: 147-166 - [c26]Gail E. Kaiser:
A Marvelous Extended Transaction Processing Model. IFIP Congress 1989: 707-712 - [c25]Gail E. Kaiser:
Mechanisms (session summary). ISPW 1989: 13-15 - [c24]Gail E. Kaiser:
Experience with marvel. ISPW 1989: 82-84 - [c23]Gail E. Kaiser:
Marvel strategy language example. ISPW 1989: 159-160 - [c22]Michael H. Sokolsky, Gail E. Kaiser:
Experiments with Rule Based Process Modelling in an SDE. SEE 1989: 107-114 - [c21]Travis L. Winfrey, Gail E. Kaiser:
Testing Reliable Distributed Applications Through Simulated Events. SRDS 1989: 160-166 - 1988
- [j9]Gail E. Kaiser, Naser S. Barghouti, Peter H. Feiler, Robert W. Schwanke:
Database Support for Knowledge-Based Engineering Environments. IEEE Expert 3(2): 18-32 (1988) - [j8]Wenwey Hseush, Gail E. Kaiser:
A network architecture for reliable distributed computing. IEEE Netw. 2(4): 28-33 (1988) - [j7]Gail E. Kaiser
, Peter H. Feiler, Steven S. Popovich:
Intelligent Assistance for Software Development and Maintenance. IEEE Softw. 5(3): 40-49 (1988) - [j6]Gail E. Kaiser, Peter H. Feiler, Fahimeh Jalili, Johann H. Schlichter:
A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation. Softw. Pract. Exp. 18(8): 733-748 (1988) - [j5]Robert W. Schwanke, Gail E. Kaiser:
Smarter Recompilation. ACM Trans. Program. Lang. Syst. 10(4): 627-632 (1988) - [c20]Simon M. Kaplan, Gail E. Kaiser:
Garp: Graph Abstractions for Concurrent Programming. ESOP 1988: 191-205 - [c19]Gail E. Kaiser, Simon M. Kaplan:
Rapid Prototyping of Concurrent Programming Languages. ICDCS 1988: 250-255 - [c18]Dewayne E. Perry, Gail E. Kaiser:
Models of Software Development Environments. ICSE 1988: 60-68 - [c17]Gail E. Kaiser:
Rule-based modelling of the software development process. ISPW 1988: 84-86 - [c16]Wenwey Hseush, Gail E. Kaiser:
Data Path Debugging: Data-Oriented Debugging for a Concurrent Programming Language. Workshop on Parallel and Distributed Debugging 1988: 236-247 - [c15]Robert W. Schwanke, Gail E. Kaiser:
Living With Inconsistency in Large Systems. SCM 1988: 98-118 - [c14]Josephine Micallef, Gail E. Kaiser:
Version and Configuration Control in Distributed Language-Based Environments. SCM 1988: 119-143 - [c13]Calton Pu, Gail E. Kaiser, Norman C. Hutchinson:
Split-Transactions for Open-Ended Activities. VLDB 1988: 26-37 - [c12]Gail E. Kaiser:
Concurrent meld. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988: 120-122 - [c11]Gail E. Kaiser:
Transactions for concurrent object-oriented programming systems. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988: 136-138 - 1987
- [j4]Gail E. Kaiser, David Garlan:
Melding Software Systems from Reusable Building Blocks. IEEE Softw. 4(4): 17-24 (1987) - [j3]Gail E. Kaiser, Simon M. Kaplan, Josephine Micallef:
Multiuser, Distributed Language-Based Environments. IEEE Softw. 4(6): 58-67 (1987) - [c10]Dewayne E. Perry, Gail E. Kaiser:
Infuse: a tool for automatically managing and coordinating source changes in large systems. ACM Conference on Computer Science 1987: 292-299 - [c9]Gail E. Kaiser, Peter H. Feiler:
Intelligent Assistance without Artificial Intelligence. COMPCON 1987: 236-241 - [c8]Gail E. Kaiser, Peter H. Feiler:
An Architecture for Intelligent Assistance in Software Development. ICSE 1987: 180-188 - [c7]Gail E. Kaiser, David Garlan:
MELDing Data Flow and Object-Oriented Programming. OOPSLA 1987: 254-267 - [c6]Yoëlle S. Maarek, Gail E. Kaiser:
Using conceptual clustering for classifying reusable Ada code. SIGAda 1987: 208-215 - [c5]Wenwey Hseush, Gail E. Kaiser:
A network architecture for reliable distributed computing. Simulation of Computer Networks 1987: 11-22 - [c4]Gail E. Kaiser, Simon M. Kaplan:
Reliability in Distributed Programming Environments. SRDS 1987: 45-55 - 1986
- [c3]Simon M. Kaplan, Gail E. Kaiser:
Incremental Attribute Evaluation in Distributed Language-Based Environments. PODC 1986: 121-130 - [c2]Gail E. Kaiser:
Generation of run-time environments. SIGPLAN Symposium on Compiler Construction 1986: 51-57 - 1985
- [j2]Gail E. Kaiser, Elaine Kant:
Incremental parsing without a parser. J. Syst. Softw. 5(2): 121-144 (1985) - 1984
- [c1]Gail E. Kaiser, Peter H. Feiler:
Generation of Language-Oriented Editors. Programmierumgebungen und Compiler 1984: 31-45 - 1981
- [j1]Gail E. Kaiser:
Automatic Extension of an ATN Knowledge Base. Commun. ACM 24(9): 587-593 (1981)
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-03 01:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint