Author: Kaiser, Gail E. / Series: Columbia University Computer Science Technical Reports | Search Results

: Keromytis, Angelos D.; Parekh, Janak J.; Gross, Philip N.; Kaiser, Gail E.; Misra, Vishal; Nieh, Jason; Rubenstein, Daniel Stuart; Stolfo, Salvatore
: 2003
: Reports
: Computer science

14. AI Techniques in Software Engineering

: Kaiser, Gail E.
: 1989
: Reports
: Computer science

15. A Large-Scale, Longitudinal Study of Player Achievements in World of Warcraft

: Bell, Jonathan Schaffer; Sheth, Swapneel Kalpesh; Kaiser, Gail E.
: 2011
: Reports
: Computer science

16. A Metalinguistic Approach to Process Enactment Extensibility

: Kaiser, Gail E.; Ben-Shaul, Israel Z.; Popovich, Steven S.; Dossick, Stephen E.
: 1996
: Reports
: Computer science

17. A Mobile Agent Approach to Lightweight Process Workflow

: Kaiser, Gail E.; Stone, Adam; Dossick, Stephen E.
: 1999
: Reports
: Computer science

18. An Active Events Model for Systems Monitoring

: Gross, Philip N.; Gupta, Suhit; Kaiser, Gail E.; Kc, Gaurav S.; Parekh, Janak J.
: 2001
: Reports
: Computer science

19. An Approach to Autonomizing Legacy Systems

: Kaiser, Gail E.; Gross, Philip N.; Kc, Gaurav S.; Valetto, Giuseppe; Parekh, Janak J.
: 2002
: Reports
: Computer science

20. An Approach to Software Testing of Machine Learning Applications

: Murphy, Christian; Kaiser, Gail E.; Arias, Marta
: 2007
: Reports
: Computer science

21. An Architecture for Dynamic Reconfiguration in a Distributed Object-Based Programming Language

: Hailpern, Brent; Kaiser, Gail E.
: 1991
: Reports
: Computer science

22. An Architecture for Integrating Concurrency Control into Environment Frameworks

: Heineman, George T.; Kaiser, Gail E.
: 1994
: Reports
: Computer science

23. An Architecture for Integrating OODBs with WWW

: Yang, Jack Jingshuang; Kaiser, Gail E.
: 1996
: Reports
: Computer science

24. An Architecture for Multi-User Software Development Environments

: Ben-Shaul, Israel Z.; Kaiser, Gail E.; Heineman, George E.
: 1992
: Reports
: Computer science

25. An Architecture for WWW-based Hypercode Environments

: Kaiser, Gail E.; Dossick, Stephen E.; Jiang, Wenyu; Yang, Jack Jingshuang
: 1996
: Reports
: Computer science

26. An Automated Consultant for Interactive Environments

: Wolz, Ursula; Kaiser, Gail E.
: 1988
: Reports
: Computer science

27. An Autonomic Reliability Improvement System for Cyber-Physical Systems

: Wu, Leon Li; Kaiser, Gail E.
: 2012
: Reports
: Computer science

28. An Information Retrieval Approach for Automatically Constructing Software Libraries

: Maarek, Yoelle S.; Berry, Daniel M.; Kaiser, Gail E.
: 1990
: Reports
: Computer science

29. An Interoperability Model for Process-Centered Software Engineering Environments and Its Implementation in Oz

: Ben-Shaul, Israel Z.; Kaiser, Gail E.
: 1995
: Reports
: Computer science

30. An Object-Based Approach to Implementing Distributed Concurrency Control

: Popovich, Steven S.; Kaiser, Gail E.; Wu, Shyhtsun Felix
: 1990
: Reports
: Computer science

31. An Object Model for Shared Data

: Kaiser, Gail E.; Hailpern, Brent
: 1989
: Reports
: Computer science

32. Architectures for Federation of Process-Centered Environments

: Ben-Shaul, Israel Z.; Kaiser, Gail E.
: 1996
: Reports
: Computer science

33. A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation

: Kaiser, Gail E.; Feiler, Peter H.; Jalili, Fahimeh; Schlichter, Johann H.
: 1988
: Reports
: Computer science

34. A Runtime Adaptation Framework for Native C and Bytecode Applications

: Griffith, Rean; Kaiser, Gail E.
: 2006
: Reports
: Computer science

35. A Software Checking Framework Using Distributed Model Checking and Checkpoint/Resume of Virtualized PrOcess Domains

: Keetha, Nageswar; Wu, Leon Li; Kaiser, Gail E.; Yang, Junfeng
: 2009
: Reports
: Computer science

36. A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems

: Valetto, Giuseppe; Kaiser, Gail E.
: 2005
: Reports
: Computer science

37. A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems

: Valetto, Giuseppe; Kaiser, Gail E.; Phung, Dan
: 2005
: Reports
: Computer science

38. Automated Tutoring in Interactive Environments: A Task Centered Approach

: Wolz, Ursula; McKeown, Kathleen; Kaiser, Gail E.
: 1988
: Reports
: Computer science

39. Automatic Detection of Defects in Applications without Test Oracles

: Murphy, Christian; Kaiser, Gail E.
: 2010
: Reports
: Computer science

40. Automatic Detection of Previously-Unseen Application States for Deployment Environment Testing and Analysis

: Murphy, Christian; Vaughan, Moses; Ilahi, Waseem; Kaiser, Gail E.
: 2010
: Reports
: Computer science

41. Automatic System Testing of Programs without Test Oracles

: Murphy, Christian; Shen, Kuang; Kaiser, Gail E.
: 2009
: Reports
: Computer science

42. Automating Content Extraction of HTML Documents

: Gupta, Suhit; Kaiser, Gail E.; Grimm, Peter; Starren, Justin
: 2004
: Reports
: Computer science

43. Autonomic Control for Quality Collaborative Video Viewing

: Phung, Dan; Valetto, Giuseppe; Kaiser, Gail E.
: 2004
: Reports
: Computer science

44. Backstop: A Tool for Debugging Runtime Errors

: Murphy, Christian; Kim, Eunhee; Kaiser, Gail E.; Cannon, Adam
: 2007
: Reports
: Computer science

45. Baseline: Metrics for setting a baseline for web vulnerability scanners

: Dai, Huning; Glass, Michael; Kaiser, Gail E.
: 2010
: Reports
: Computer science

46. BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports

: Wu, Leon Li; Xie, Boyi; Kaiser, Gail E.; Passonneau, Rebecca
: 2011
: Reports
: Computer science

47. CASPER: Compiler-Assisted Securing of Programs at Runtime

: Kc, Gaurav S.; Edwards, Stephen A.; Kaiser, Gail E.
: 2002
: Reports
: Computer science

48. Change Management Support for Large Software Systems

: Kaiser, Gail E.; Perry, Dewayne E.; Schwanke, Robert W.
: 1986
: Reports
: Computer science

49. CHIME: A Metadata-Based Distributed Software Environment

: Dossick, Stephen E.; Kaiser, Gail E.
: 1999
: Reports
: Computer science

50. Chronicler: Lightweight Recording to Reproduce Field Failures

: Bell, Jonathan Schaffer; Sarda, Nikhil; Kaiser, Gail E.
: 2012
: Reports
: Computer science

51. Code Relatives: Detecting Similar Software Behavior

: Su, Fang-Hsiang; Harvey, Kenneth; Sethumadhavan, Simha; Kaiser, Gail E.; Jebara, Tony
: 2015
: Reports
: Programming languages (Electronic computers)Software engineeringComputer science

52. Combining Mobile Agents and Process-based Coordination to Achieve Software Adaptation

: Valetto, Giuseppe; Kaiser, Gail E.
: 2002
: Reports
: Computer science

53. Comparing Speed of Provider Data Entry: Electronic Versus Paper Methods

: Jackson, Kevin M.; Kaiser, Gail E.; Wong, Lyndon; Rabinowitz, Daniel; Chiang, Michael F.
: 2010
: Reports
: Computer science

54. COMPASS: A Community-driven Parallelization Advisor for Sequential Software

: Sethumadhavan, Lakshminarasimhan; Kaiser, Gail E.
: 2009
: Reports
: Computer science

55. Concurrency Control in Advanced Database Applications

: Barghouti, Naser S.; Kaiser, Gail E.
: 1989
: Reports
: Computer science

56. Configuration Fuzzing for Software Vulnerability Detection

: Dai, Huning; Murphy, Christian; Kaiser, Gail E.
: 2009
: Reports
: Computer science

57. CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection

: Dai, Huning; Murphy, Christian; Kaiser, Gail E.
: 2010
: Reports
: Computer science

58. Consistency and Automation in Multi-User Rule-Based Development Environments

: Barghouti, Naser S.; Kaiser, Gail E.
: 1990
: Reports
: Computer science

59. Constructing Subtle Concurrency Bugs Using Synchronization-Centric
Second-Order Mutation Operators

: Wu, Leon Li; Kaiser, Gail E.
: 2011
: Reports
: Computer science

60. Cooperative Transactions for Multi-User Environments

: Kaiser, Gail E.
: 1993
: Reports
: Computer science

61. CPU Torrent -- CPU Cycle Offloading to Reduce User Wait Time and Provider Resource Requirements

: Sheth, Swapneel Kalpesh; Kaiser, Gail E.
: 2008
: Reports
: Computer science

62. Data Quality Assurance and Performance Measurement of Data Mining for Preventive Maintenance of Power Grid

: Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Anderson, Roger N.
: 2011
: Reports
: Computer science

63. Deriving Utility from a Self-Healing Benchmark Report

: Virmani, Ritika; Griffith, Rean; Kaiser, Gail E.
: 2006
: Reports
: Computer science

64. Deux: Autonomic Testing System for Operating System Upgrades

: Wu, Leon L.; Kaiser, Gail E.; Nieh, Jason; Murphy, Christian
: 2008
: Reports
: Computer science

65. Deux: Autonomic Testing System for Operating System Upgrades

: Wu, Leon L.; Kaiser, Gail E.; Nieh, Jason; Murphy, Christian
: 2008
: Reports
: Computer science

66. Disconnected Operation in a Multi-User Software Development Environment

: Skopp, Peter D.; Kaiser, Gail E.
: 1993
: Reports
: Computer science

67. Distributed eXplode: A High-Performance Model Checking Engine to Scale Up State-Space Coverage

: Keetha, Nageswar; Wu, Leon Li; Kaiser, Gail E.; Yang, Junfeng
: 2008
: Reports
: Computer science

68. Distributed In Vivo Testing of Software Applications

: Chu, Matt; Murphy, Christian; Kaiser, Gail E.
: 2007
: Reports
: Computer science

69. Distributed Tool Services via the World Wide Web

: Dossick, Stephen E.; Kaiser, Gail E.; Yang, Jack Jingshuang
: 1996
: Reports
: Computer science

70. DOM-based Content Extraction of HTML Documents

: Gupta, Suhit; Neistadt, David; Kaiser, Gail E.; Grimm, Peter
: 2002
: Reports
: Computer science

71. Dynamic Adaptation of Rules for Temporal Event Correlation in Distributed Systems

: Griffith, Rean; Hellerstein, Joseph L.; Diao, Yixin; Kaiser, Gail E.
: 2005
: Reports
: Computer science

72. Dynamic Adaptation of Temporal Event Correlation Rules

: Griffith, Rean; Kaiser, Gail E.; Hellerstein, Joseph; Diao, Yixin
: 2005
: Reports
: Computer science

73. Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing

: Su, Fang-Hsiang; Bell, Jonathan Schaffer; Murphy, Christian; Kaiser, Gail E.
: 2015
: Reports
: Computer programs--TestingDebugging in computer scienceComputer science

74. Dynamic Taint Tracking for Java with Phosphor (Demo)

: Bell, Jonathan Schaffer; Kaiser, Gail E.
: 2015
: Reports
: Computer scienceComputer software--TestingJava (Computer program language)

75. Effecting Runtime Reconfiguration in Managed Execution Environments

: Griffith, Rean; Valetto, Giuseppe; Kaiser, Gail E.
: 2005
: Reports
: Computer science

76. Effectiveness of Teaching Metamorphic Testing

: Mishra, Kunal Swaroop; Kaiser, Gail E.
: 2012
: Reports
: Computer science

77. Effectiveness of Teaching Metamorphic Testing, Part II

: Mishra, Kunal S.; Kaiser, Gail E.; Sheth, Swapneel Kalpesh
: 2013
: Reports
: Computer science

78. Empirical Evaluation of Approaches to Testing Applications without Test Oracles

: Murphy, Christian; Kaiser, Gail E.
: 2010
: Reports
: Computer science

79. Empirical Study of Concurrency Mutation Operators for Java

: Wu, Leon Li; Kaiser, Gail E.
: 2010
: Reports
: Computer science

80. End-User Regression Testing for Privacy

: Sheth, Swapneel Kalpesh; Kaiser, Gail E.
: 2012
: Reports
: Computer science

81. Enveloping Sophisticated Tools into Computer-Aided Software Engineering Environments

: Valetto, Giuseppe; Kaiser, Gail E.
: 1994
: Reports
: Computer science

82. Enveloping Sophisticated Tools into Process-Centered Environments

: Valetto, Giuseppe; Kaiser, Gail E.
: 1995
: Reports
: Computer science

83. Estimation of System Reliability Using a Semiparametric Model

: Wu, Leon Li; Teravainen, Timothy Kaleva; Kaiser, Gail E.; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia
: 2011
: Reports
: Computer science

84. Evaluating Machine Learning for Improving Power Grid Reliability

: Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Waltz, David L.; Anderson, Roger N.; Boulanger, Albert G.; Salleb-Aouissi, Ansaf; Dutta, Haimonti; Pooleery, Manoj
: 2011
: Reports
: Computer science

85. Experiences in Teaching eXtreme Programming in a Distance Learning Program

: Murphy, Christian; Phung, Dan; Kaiser, Gail E.
: 2007
: Reports
: Computer science

86. Experience with Process Modeling in the Marvel Software Development Environment Kernel

: Kaiser, Gail E.
: 1989
: Reports
: Computer science

87. Extended Transaction Models for Software Development Environments

: Kaiser, Gail E.
: 1988
: Reports
: Computer science

88. Extending a Tool Integration Language

: Gisi, Mark A.; Kaiser, Gail E.
: 1991
: Reports
: Computer science

89. Extending Attribute Grammars to Support Programming-in-the-Large

: Micallef, Josephine; Kaiser, Gail E.
: 1993
: Reports
: Computer science

90. Extending the MERCURY System to Support Teams of Ada Programmers

: Micallef, Josephine; Kaiser, Gail E.
: 1989
: Reports
: Computer science

91. Extracting Context To Improve Accuracy For HTML Content Extraction

: Gupta, Suhit; Kaiser, Gail E.; Stolfo, Salvatore
: 2004
: Reports
: Computer science

92. Failure Analysis of the New York City Power Grid

: Wu, Leon; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia; Kaiser, Gail E.
: 2014
: Reports
: Smart power gridsComputer science

93. FARE: A Framework for Benchmarking Reliability of Cyber-Physical Systems

: Wu, Leon; Kaiser, Gail E.
: 2013
: Reports
: Computer science

94. Federating Process-Centered Environments: The Oz Experience

: Ben-Shaul, Israel Z.; Kaiser, Gail E.
: 1997
: Reports
: Computer science

95. GAEA Action Equations Paradigm

: Kaiser, Gail E.; Kaplan, Simon M.
: 1988
: Reports
: Computer science

96. Generation of Distributed Programming Environments

: Kaiser, Gail E.; Kaplan, Simon M.; Micallef, Josephine
: 1986
: Reports
: Computer science

97. Genre Classification of Websites Using Search Engine Snippets

: Gupta, Suhit; Kaiser, Gail E.; Stolfo, Salvatore; Becker, Hila
: 2005
: Reports
: Computer science

98. genSpace: Exploring Social Networking Metaphors for Knowledge Sharing and Scientific Collaborative Work

: Murphy, Christian; Sheth, Swapneel Kalpesh; Kaiser, Gail E.; Wilcox, Lauren
: 2008
: Reports
: Computer science

99. HALO (Highly Addictive, sociaLly Optimized) Software Engineering

: Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Kaiser, Gail E.
: 2011
: Reports
: Computer science

100. Identifying Functionally Similar Code in Complex Codebases

: Su, Fang-Hsiang; Bell, Jonathan; Kaiser, Gail E.; Sethumadhavan, Simha
: 2016
: Reports
: Software engineeringComputer softwareComputer software--DevelopmentComputer programmingComputer science

Academic Commons

Refine your search

Author

Academic Unit

Subject

Type

Date Published

Series

Language

Search Constraints

Search Results

1. A Case Study In Software Adaptation

2. A Competitive-Collaborative Approach for Introducing Software Engineering in a CS2 Class

3. A Configuration Process for a Distributed Software Development Environment

4. A Control Theory Foundation for Self-Managing Computing Systems

5. Adaptive Interactive Internet Team Video

6. Adaptive Synchronization of Semantically Compressed Instructional Videos for Collaborative Distance Learning

7. Adding Self-healing capabilities to the Common Language Runtime

8. A Distance Learning Approach to Teaching eXtreme Programming

9. A Flexible Transaction Model for Software Engineering

10. A Framework for Quality Assurance of Machine Learning Applications

11. A Gameful Approach to Teaching Software Design and Software Testing - Assignments and Quests

12. A Genre-based Clustering Approach to Content Extraction

13. A Holistic Approach to Service Survivability

14. AI Techniques in Software Engineering

15. A Large-Scale, Longitudinal Study of Player Achievements in World of Warcraft

16. A Metalinguistic Approach to Process Enactment Extensibility

17. A Mobile Agent Approach to Lightweight Process Workflow

18. An Active Events Model for Systems Monitoring

19. An Approach to Autonomizing Legacy Systems

20. An Approach to Software Testing of Machine Learning Applications

21. An Architecture for Dynamic Reconfiguration in a Distributed Object-Based Programming Language

22. An Architecture for Integrating Concurrency Control into Environment Frameworks

23. An Architecture for Integrating OODBs with WWW

24. An Architecture for Multi-User Software Development Environments

25. An Architecture for WWW-based Hypercode Environments

26. An Automated Consultant for Interactive Environments

27. An Autonomic Reliability Improvement System for Cyber-Physical Systems

28. An Information Retrieval Approach for Automatically Constructing Software Libraries

29. An Interoperability Model for Process-Centered Software Engineering Environments and Its Implementation in Oz

30. An Object-Based Approach to Implementing Distributed Concurrency Control

31. An Object Model for Shared Data

32. Architectures for Federation of Process-Centered Environments

33. A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation

34. A Runtime Adaptation Framework for Native C and Bytecode Applications

35. A Software Checking Framework Using Distributed Model Checking and Checkpoint/Resume of Virtualized PrOcess Domains

36. A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems

37. A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems

38. Automated Tutoring in Interactive Environments: A Task Centered Approach

39. Automatic Detection of Defects in Applications without Test Oracles

40. Automatic Detection of Previously-Unseen Application States for Deployment Environment Testing and Analysis

41. Automatic System Testing of Programs without Test Oracles

42. Automating Content Extraction of HTML Documents

43. Autonomic Control for Quality Collaborative Video Viewing

44. Backstop: A Tool for Debugging Runtime Errors

45. Baseline: Metrics for setting a baseline for web vulnerability scanners

46. BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports

47. CASPER: Compiler-Assisted Securing of Programs at Runtime

48. Change Management Support for Large Software Systems

49. CHIME: A Metadata-Based Distributed Software Environment

50. Chronicler: Lightweight Recording to Reproduce Field Failures

51. Code Relatives: Detecting Similar Software Behavior

52. Combining Mobile Agents and Process-based Coordination to Achieve Software Adaptation

53. Comparing Speed of Provider Data Entry: Electronic Versus Paper Methods

54. COMPASS: A Community-driven Parallelization Advisor for Sequential Software

55. Concurrency Control in Advanced Database Applications

56. Configuration Fuzzing for Software Vulnerability Detection

57. CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection

58. Consistency and Automation in Multi-User Rule-Based Development Environments

59. Constructing Subtle Concurrency Bugs Using Synchronization-CentricSecond-Order Mutation Operators

60. Cooperative Transactions for Multi-User Environments

61. CPU Torrent -- CPU Cycle Offloading to Reduce User Wait Time and Provider Resource Requirements

62. Data Quality Assurance and Performance Measurement of Data Mining for Preventive Maintenance of Power Grid

63. Deriving Utility from a Self-Healing Benchmark Report

64. Deux: Autonomic Testing System for Operating System Upgrades

65. Deux: Autonomic Testing System for Operating System Upgrades

66. Disconnected Operation in a Multi-User Software Development Environment

67. Distributed eXplode: A High-Performance Model Checking Engine to Scale Up State-Space Coverage

68. Distributed In Vivo Testing of Software Applications

69. Distributed Tool Services via the World Wide Web

59. Constructing Subtle Concurrency Bugs Using Synchronization-Centric
Second-Order Mutation Operators