| 2024 | ICLR | Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain. | Marcus J. Min, Yangruibo Ding, Luca Buratti, Saurabh Pujar, Gail E. Kaiser, Suman Jana, Baishakhi Ray |
| 2024 | ICSE | TRACED: Execution-aware Pre-training for Source Code. | Yangruibo Ding, Benjamin Steenhoek, Kexin Pei, Gail E. Kaiser, Wei Le, Baishakhi Ray |
| 2024 | SCAM | Reinforest: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models. | Anthony Saieva, Saikat Chakraborty, Gail E. Kaiser |
| 2023 | ISSTA | CONCORD: Clone-Aware Contrastive Learning for Source Code. | Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray |
| 2022 | ACE | Learning Computational Thinking Efficiently: How Parsons Programming Puzzles within Scratch Might Help. | Jeff Bender, Bingpu Zhao, Alex Dziena, Gail E. Kaiser |
| 2022 | ICCE | Learning Computational Thinking Efficiently with Block-based Parsons Puzzles. | Jeff Bender, Alex Dziena, Gail E. Kaiser |
| 2020 | ICSE | Testing DNN image classifiers for confusion & bias errors. | Yuchi Tian, Ziyuan Zhong, Vicente Ordonez, Gail E. Kaiser, Baishakhi Ray |
| 2020 | ICSE | Testing DNN image classifiers for confusion & bias errors. | Yuchi Tian, Ziyuan Zhong, Vicente Ordonez, Gail E. Kaiser, Baishakhi Ray |
| 2020 | SCAM | Ad hoc Test Generation Through Binary Rewriting. | Anthony Saieva, Shirish Kumar Singh, Gail E. Kaiser |
| 2019 | SENSYS | Side channel attack on smartphone sensors to infer gender of the user: poster abstract. | Shirish Kumar Singh, Devu Manikantan Shila, Gail E. Kaiser |
| 2019 | SCAM | Toward Optimal Selection of Information Retrieval Models for Software Engineering Tasks. | Md. Masudur Rahman, Saikat Chakraborty, Gail E. Kaiser, Baishakhi Ray |
| 2018 | PLDI | Obfuscation resilient search through executable classification. | Fang-Hsiang Su, Jonathan Bell, Gail E. Kaiser, Baishakhi Ray |
| 2015 | ICSE | Accelerating Maven by Delaying Test Dependencies. | Jonathan Bell, Eric Melski, Gail E. Kaiser, Mohan Dattatreya |
| 2015 | ICSE | Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing. | Fang-Hsiang Su, Jonathan Bell, Christian Murphy, Gail E. Kaiser |
| 2015 | ISSTA | Dynamic taint tracking for Java with phosphor (demo). | Jonathan Bell, Gail E. Kaiser |
| 2014 | ICSE | Unit test virtualization with VMVM. | Jonathan Bell, Gail E. Kaiser |
| 2014 | ICSE | VMVM: unit test virtualization for Java. | Jonathan Bell, Gail E. Kaiser |
| 2014 | ICSE | Us and them: a study of privacy requirements across north america, asia, and europe. | Swapneel Sheth, Gail E. Kaiser, Walid Maalej |
| 2014 | OOPSLA | Phosphor: illuminating dynamic data flow in commodity jvms. | Jonathan Bell, Gail E. Kaiser |
| 2014 | OSDI | Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems. | Riley Spahn, Jonathan Bell, Michael Lee, Sravan Bhamidipati, Roxana Geambasu, Gail E. Kaiser |
| 2013 | ICSE | Chronicler: lightweight recording to reproduce field failures. | Jonathan Bell, Nikhil Sarda, Gail E. Kaiser |
| 2013 | WWW | A large-scale, longitudinal study of user profiles in world of warcraft. | Jonathan Bell, Swapneel Sheth, Gail E. Kaiser |
| 2011 | ICSE | On effective testing of health care simulation software. | 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 |
| 2011 | OOPSLA | The tradeoffs of societal computing. | Swapneel Sheth, Gail E. Kaiser |
| 2011 | SEKE | Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators. | Leon Wu, Gail E. Kaiser |
| 2011 | SEKE | BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports. | Leon Wu, Boyi Xie, Gail E. Kaiser, Rebecca J. Passonneau |
| 2010 | ICSE | Automatic detection of previously-unseen application states for deployment environment testing and analysis. | Christian Murphy, Moses Vaughan, Waseem Ilahi, Gail E. Kaiser |
| 2010 | ICSE | The weHelp reference architecture for community-driven recommender systems. | Swapneel Sheth, Nipun Arora, Christian Murphy, Gail E. Kaiser |
| 2009 | ICSE | COMPASS: A Community-driven Parallelization Advisor for Sequential Software. | Simha Sethumadhavan, Nipun Arora, Ravindra Babu Ganapathi, John Demme, Gail E. Kaiser |
| 2009 | ICST | Quality Assurance of Software Applications Using the In Vivo Testing Approach. | Christian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu |
| 2009 | ICST | Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles. | Christian Murphy, Kuang Shen, Gail E. Kaiser |
| 2009 | ISSTA | Automatic system testing of programs without test oracles. | Christian Murphy, Kuang Shen, Gail E. Kaiser |
| 2009 | SIGCSE | Retina: helping students and instructors based on observed programming activities. | Christian Murphy, Gail E. Kaiser, Kristin Loveland, Sahar Hasan |
| 2008 | ICST | Distributed In Vivo Testing of Software Applications. | Matt Chu, Christian Murphy, Gail E. Kaiser |
| 2008 | ITiCSE | A distance learning approach to teaching eXtreme programming. | Christian Murphy, Dan B. Phung, Gail E. Kaiser |
| 2008 | NSDI | RUST: A Retargetable Usability Testbed for Web Site Authentication Technologies. | Maritza L. Johnson, Chaitanya Atreya, Adam J. Aviv, Steven M. Bellovin, Gail E. Kaiser |
| 2008 | SIGCSE | Backstop: a tool for debugging runtime errors. | Christian Murphy, Eunhee Kim, Gail E. Kaiser, Adam Cannon |
| 2008 | SEKE | Properties of Machine Learning Applications for Use in Metamorphic Testing. | Christian Murphy, Gail E. Kaiser, Lifeng Hu, Leon Wu |
| 2007 | SEKE | An Approach to Software Testing of Machine Learning Applications. | Chris Murphy, Gail E. Kaiser, Marta Arias |
| 2006 | IWQoS | Dynamic Adaptation of Temporal Event Correlation for QoS Management in Distributed Systems. | Rean Griffith, Joseph L. Hellerstein, Gail E. Kaiser, Yixin Diao |
| 2006 | WWW | Verifying genre-based clustering approach to content extraction. | Suhit Gupta, Hila Becker, Gail E. Kaiser, Salvatore J. Stolfo |
| 2005 | WWW | Extracting context to improve accuracy for HTML content extraction. | Suhit Gupta, Gail E. Kaiser, Salvatore J. Stolfo |
| 2003 | AMIA | GESDOR - A Generic Execution Model for Sharing of Computer-Interpretable Clinical Practice Guidelines. | 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 |
| 2003 | CCS | A holistic approach to service survivability. | Angelos D. Keromytis, Janak J. Parekh, Philip Gross, Gail E. Kaiser, Vishal Misra, Jason Nieh, Dan Rubenstein, Salvatore J. Stolfo |
| 2003 | ICSE | Using Process Technology to Control and Coordinate Software Adaptation. | Giuseppe Valetto, Gail E. Kaiser |
| 2003 | WWW | DOM-based content extraction of HTML documents. | Suhit Gupta, Gail E. Kaiser, David Neistadt, Peter Grimm |
| 2000 | SIGUCCS | Building Computer Ethics from the Ground Up. | Gail E. Kaiser |
| 1999 | WETICE | A Workgroup Model for Smart Pushing and Pulling. | Gail E. Kaiser, Christopher Vaill, Stephen E. Dossick |
| 1998 | WETICE | Workgroup Middleware for Distributed Projects*. | Gail E. Kaiser, Stephen E. Dossick |
| 1997 | ICDE | The CORD Appraoch to Extensible Concurrency Control. | George T. Heineman, Gail E. Kaiser |
| 1997 | ICSE | An Architecture for WWW-based Hypercode Environments. | Gail E. Kaiser, Stephen E. Dossick, Wenyu Jiang, Jack Jingshuang Yang |
| 1995 | ICSE | An Architecture for Integrating Concurrency Control into Environment Frameworks. | George T. Heineman, Gail E. Kaiser |
| 1994 | ICSE | A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment. | Israel Ben-Shaul, Gail E. Kaiser |
| 1993 | ICDCS | Distributed Divergence Control for Epsilon Serializability. | Calton Pu, Wenwey Hseush, Gail E. Kaiser, Kun-Lung Wu, Philip S. Yu |
| 1993 | ICSE | A Bi-Level Language for Software Process Modeling. | Gail E. Kaiser, Steven S. Popovich, Israel Ben-Shaul |
| 1992 | OOPSLA | Ensuring Semantic Integrity of Reusable Objects (Panel). | Webb Stacy, Richard Helm, Gail E. Kaiser, Bertrand Meyer |
| 1991 | ICDCS | Dynamic reconfiguration in an object-based programming language with distributed shared data. | Brent Hailpern, Gail E. Kaiser |
| 1991 | ICDCS | An object-based approach to implementing distributed concurrency control. | Steven S. Popovich, Shyhtsun Felix Wu, Gail E. Kaiser |
| 1990 | ICDE | A Flexible Transaction Model for Software Engineering. | Gail E. Kaiser |
| 1990 | Interact | Interactively supporting the software process. | Simon M. Kaplan, Anthony Finkelstein, Gail E. Kaiser, Kevin Ryan, Wilhelm Schfer |
| 1990 | PPoPP | Modeling Concurrency in Parallel Debugging. | Wenwey Hseush, Gail E. Kaiser |
| 1989 | COMPSAC | Infuse: fusing integration test management with change management. | Gail E. Kaiser, Dewayne E. Perry, William M. Schell |
| 1989 | ECOOP | MELDing Multiple Granularities of Parallelism. | Gail E. Kaiser, Steven S. Popovich, Wenwey Hseush, Shyhtsun Felix Wu |
| 1989 | SRDS | Testing Reliable Distributed Applications Through Simulated Events. | Travis L. Winfrey, Gail E. Kaiser |
| 1988 | ESOP | Garp: Graph Abstractions for Concurrent Programming. | Simon M. Kaplan, Gail E. Kaiser |
| 1988 | ICDCS | Rapid Prototyping of Concurrent Programming Languages. | Gail E. Kaiser, Simon M. Kaplan |
| 1988 | ICSE | Models of Software Development Environments. | Dewayne E. Perry, Gail E. Kaiser |
| 1988 | VLDB | Split-Transactions for Open-Ended Activities. | Calton Pu, Gail E. Kaiser, Norman C. Hutchinson |
| 1987 | ICSE | An Architecture for Intelligent Assistance in Software Development. | Gail E. Kaiser, Peter H. Feiler |
| 1987 | OOPSLA | MELDing Data Flow and Object-Oriented Programming. | Gail E. Kaiser, David Garlan |
| 1987 | SRDS | Reliability in Distributed Programming Environments. | Gail E. Kaiser, Simon M. Kaplan |
| 1986 | PODC | Incremental Attribute Evaluation in Distributed Language-Based Environments. | Simon M. Kaplan, Gail E. Kaiser |