- Intrusion and Anomaly Detection Model Exchange for Mobile Ad-Hoc Networks
- Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
- Enveloping Sophisticated Tools into ProcessCentered Environments *
- Concurrency Control in RuleBased Software Development Environments
- 0 Kaiser et al., WWW Collaboration Environments Short Running Title: WWW Collaboration Environments
- Extending Attribute Grammars to Support ProgrammingintheLarge
- The SPLENDORS Real Time Portfolio Management System Tushar M. Patel Gail E. Kaiser
- On Hard RealTime Management Information Shyhtsun F. Wu \Lambda Gail E. Kaiser y
- Multiple Concurrency Control Policies in an ObjectOriented Programming System
- Configuration Fuzzing for Software Vulnerability Detection Huning Dai, Christian Murphy, Gail Kaiser
- Dynamic Reconfiguration in an ObjectBased Programming Language with
- Garp : Graph Abstractions for Concurrent Programming Simon M. Kaplan #
- A Transaction Manager Component Supporting Extended Transaction Models
- An Architecture for Extensible Workflow Process Servers
- DejaView: A Personal Virtual Computer Recorder Oren Laadan, Ricardo A. Baratto, Dan B. Phung, Shaya Potter, and Jason Nieh
- On the Performance of Wide-Area Thin-Client Computing
- Retina: Helping Students and Instructors Based on Observed Programming Activities
- CHIME: A Metadata-Based Distributed Software
- A MARVELOUS EXTENDED TRANSACTION PROCESSING MODEL
- A Paradigm for Decentralized Process Modeling and its Realization in the
- An ObjectBased Approach to Implementing Distributed Concurrency Control
- An ObjectBased Programming Model for Shared Data
- An Architecture for MultiUser Software Development Environments
- We have been working for several years on rulebased process modeling and the implementation of such models as an architecture
- Process Support for Incremental ComponentBased Software Engineering
- Introduction TaskWeb is a hypertext system designed particularly for small devices, especially Personal Digital Assis-
- ASSURE: Automatic Software Self-healing Using REscue points Stelios Sidiroglou, Oren Laadan, Carlos R. Perez, Nicolas Viennot,
- MobiDesk: Mobile Virtual Desktop Computing Ricardo A. Baratto, Shaya Potter, Gong Su, and Jason Nieh
- RSIO: Automatic User Interaction Detection and Scheduling
- pTHINC: A Thin-Client Architecture for Mobile Wireless Web
- Kinesthetics eXtremeKinesthetics eXtreme Gail KaiserGail Kaiser
- weHelp: A Reference Architecture for Social Recommender Swapneel Sheth, Nipun Arora, Christian Murphy, Gail Kaiser
- Manipulating Managed ExecutionManipulating Managed Execution Runtimes to support Self-HealingRuntimes to support Self-Healing
- Examining VMware Dr. Dobb's Journal August 2000
- The Role of RAS-Models in the Design and Evaluation of Self-Healing Systems
- Appears in Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004) ksniffer: Determining the Remote Client Perceived Response Time
- Backstop: A Tool for Debugging Runtime Errors Christian Murphy, Eunhee Kim, Gail Kaiser, Adam Cannon
- Towards using Cached Data Mining for Large Scale Recommender Systems
- Transparent, Lightweight Application Execution Replay on Commodity Multiprocessor Operating Systems
- Appears in Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI 2002), Boston, MA, December 2002. We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a
- CHIME: A Metadata-Based Distributed Software Development Environment
- genSpace: Community-Driven Knowledge Sharing for the Discovery and Visualization of Workflows in geWorkbench
- A SMART Scheduler for Multimedia Applications
- Giuseppe Valetto PhD Thesis Proposal, Columbia University
- A Workgroup Model for Smart Pushing and Pulling Gail Kaiser, Christopher Vaill and Stephen Dossick
- Enable "go/no-go" decision for re-configuration tasks
- Metrics for setting a baseline for web vulnerability scanners
- Dynamic Emulation and Fault-Dynamic Emulation and Fault-Injection usingInjection using DyninstDyninst
- THINC: A Virtual Display Architecture for Thin-Client Computing
- Appears in Proceedings of the First Symposium on Networked Systems Design and Implementation (NSDI 2004) SWAP: A Scheduler With Automatic Process Dependency Detection
- Quality Assurance of Software Applications Using the In Vivo Testing Approach Christian Murphy, Gail Kaiser, Ian Vo, Matt Chu
- Introduction The CHIME (Columbia Hypermedia IMmersion Environment) 3D virtual
- RAS-Models: A Building Block for Self-Healing Benchmarks
- A Rule-Based Process Server Component for Constructing
- RULE-BASED SOFTWARE DEVELOPMENT ENVIRONMENTS Naser S. Barghouti Gail E. Kaiser
- Process Modeling with Cooperative Agents George T. Heineman1
- Dynamic Adaptation of Temporal Event Correlation Rules
- Tools and Techniques for DesigningTools and Techniques for Designing and Evaluating Self-Healing Systemsand Evaluating Self-Healing Systems
- genSpace: Exploring Social Networking Metaphors for Scientific Collaborative Work
- genSpace: Exploring Social Networking Metaphors for Knowledge Sharing and Scientific Collaborative Work
- Kinesthetics eXtreme -KX Gail Kaiser
- Proceedings of the 2005 IEEE Workshop on Information Assurance and Security
- A Virtual Environment Framework For Software Engineering
- HALO (Highly Addictive, sociaLly Optimized) Software Engineering
- Automatic System Testing of Programs without Test Christian Murphy, Kuang Shen, Gail Kaiser
- The weHelp Reference Architecture for Community-Driven Recommender Systems --Short Position Paper
- Properties of Machine Learning Applications for Use in Metamorphic Testing Christian Murphy, Gail Kaiser, Lifeng Hu, Leon Wu
- A Distance Learning Approach to Teaching eXtreme Programming
- The Role of Reliability, Availability and Serviceability (RAS) Models in the Design and Evaluation of Self-Healing Systems
- Programming Systems Lab, Columbia University http://www.psl.cs.columbia.edu
- An Active Events Model Systems Monitoring
- A Mobile Agent Approach to Process-based Dynamic Adaptation of Complex Software Systems
- Introduction The CHIME (Columbia Hypermedia IMmersion Environment) 3D virtual environment framework sup-
- TASKWEB: ENABLING HYPERTEXT Janak J Parekh
- Introduction Hi-C is a source code to hypercode translation system. Utilizing the GNU etags utility, Hi-C parses source
- Experiences Teaching Operating Systems Using Virtual Platforms and Linux
- Application of Metamorphic Testing to Supervised Classifiers Xiaoyuan Xie1, Joshua Ho2, Christian Murphy3
- Embedding Model-Based Architecting in a Collaborative Environment 1 Embedding Model-Based Architecting in a
- Process Evolution in the Marvel Environment Gail E. Kaiser Israel Z. Ben-Shaul
- Introducing a "Street Fair" Open source Practice Within Project Based Software Engineering Courses
- Disconnected Operation in a Multi-User Software Development Environment
- A Case Study in Software Adaptation Giuseppe Valetto
- DYSWIS: An Architecture for Automated Diagnosis of Networks1 Vishal K. Singh, Henning Schulzrinne
- CPU Torrent CPU Cycle Offloading to Reduce User Wait Time and Provider Resource Requirements
- WebCity: A WWW-based Hypermedia Environment for Software Development Wenyu Jiang, Gail E. Kaiser, Jack Jingshuang Yang, Stephen E. Dossick
- Automated Information Aggregation for Scaling Scale-Resistant Services
- Automatic Detection of Previously-Unseen Application States for Deployment Environment Testing and Analysis
- List of Figures List of Tables
- Distributed In Vivo Testing of Software Applications Matt Chu, Christian Murphy, Gail Kaiser
- Programming Systems Lab, Columbia University XML Universal Event Service
- Making Progress in Cooperative Transaction Models
- Secure "Selecticast" for Collaborative Intrusion Detection Systems Philip Gross, Janak Parekh and Gail Kaiser
- Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems
- Secret Ninja Testing with HALO Software Engineering Jonathan Bell, Swapneel Sheth, Gail Kaiser
- Computer and World Wide Web Accessibility by Visually Disabled Patients: Problems and Solutions
- DOM-based Content Extraction of HTML Documents Suhit Gupta
- R.W.H. Lau et al. (Eds.): ICWL 2005, LNCS 3583, pp. 86 98, 2005. Springer-Verlag Berlin Heidelberg 2005
- Self-Managing Systems: A Control Theory Foundation Yixin Diao, Joseph L. Hellerstein, and Sujay Parekh
- Secret Ninja Testing with HALO Software Engineering Jonathan Bell, Swapneel Sheth, Gail Kaiser
- Record and Transplay: Partial Checkpointing for Replay Debugging Across Heterogeneous Systems
- A Runtime Adaptation Framework for Native C and Bytecode Applications Rean Griffith
- Cluster Comput (2006) 9: 141159 DOI 10.1007/s10586-006-7560-6
- Automating Content Extraction of HTML Documents Automating Content Extraction of HTML Documents
- Adaptive Internet Interactive Team Video , Giuseppe Valetto2
- Secret Ninja Testing with HALO Software Engineering
- IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 23, NO. 12, DECEMBER 2005 2213 A Control Theory Foundation for Self-Managing
- Cells: A Virtual Mobile Smartphone Architecture Jeremy Andrus, Christoffer Dall, Alexander Van't Hof, Oren Laadan, and Jason Nieh
- The Tradeoffs of Societal Computing Swapneel Sheth Gail Kaiser
- Pervasive Detection of Process Races in Deployed Systems
- Swapneel Sheth swapneel@cs.columbia.edu
