Gail E. Kaiser

Orcid: 0000-0002-8791-1178

Affiliations:
  • Columbia University, New York City, USA


According to our database1, Gail E. Kaiser authored at least 198 papers between 1981 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
CYCLE: Learning to Self-Refine the Code Generation.
CoRR, 2024

TRACED: Execution-aware Pre-training for Source Code.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles.
IEEE Trans. Software Eng., April, 2023

Integrating Parsons puzzles within Scratch enables efficient computational thinking learning.
Res. Pract. Technol. Enhanc. Learn., 2023

Vignat: Vulnerability identification by learning code semantics via graph attention networks.
CoRR, 2023

Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain.
CoRR, 2023

Vector Embeddings by Sequence Similarity and Context for Improved Compression, Similarity Search, Clustering, Organization, and Manipulation of cDNA Libraries.
CoRR, 2023

On Contrastive Learning of Semantic Similarity forCode to Code Search.
CoRR, 2023

CONCORD: Clone-Aware Contrastive Learning for Source Code.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022
Update with care: Testing candidate bug fixes and integrating selective updates through binary rewriting.
J. Syst. Softw., 2022

VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements.
Proceedings of the IEEE International Conference on Software Analysis, 2022

Learning Computational Thinking Efficiently: How Parsons Programming Puzzles within Scratch Might Help.
Proceedings of the ACE '22: Australasian Computing Education Conference, Virtual Event, Australia, February 14, 2022

2021
Metamorphic Detection of Repackaged Malware.
Proceedings of the 6th IEEE/ACM International Workshop on Metamorphic Testing, 2021

2020
Sequence Model Design for Code Completion in the Modern IDE.
CoRR, 2020

Ad hoc Test Generation Through Binary Rewriting.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

Testing DNN image classifiers for confusion & bias errors.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Detecting Sensor-Based Repackaged Malware.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019
Side channel attack on smartphone sensors to infer gender of the user: poster abstract.
Proceedings of the 17th Conference on Embedded Networked Sensor Systems, 2019

Toward Optimal Selection of Information Retrieval Models for Software Engineering Tasks.
Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

2018
A Case Study on the Impact of Similarity Measure on Information Retrieval based Software Engineering Tasks.
CoRR, 2018

Obfuscation resilient search through executable classification.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

Replay without recording of production bugs for service oriented applications.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2016
Challenges in Behavioral Code Clone Detection.
Proceedings of the 10th International Workshop on Software Clones, 2016

Code relatives: detecting similarly behaving software.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Identifying functionally similar code in complex codebases.
Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

2015
Vroom: Faster Build Processes for Java.
IEEE Softw., 2015

Efficient dependency detection for safe Java test acceleration.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Dynamic taint tracking for Java with phosphor (demo).
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing.
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

Accelerating Maven by Delaying Test Dependencies.
Proceedings of the 3rd IEEE/ACM International Workshop on Release Engineering, 2015

2014
Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Phosphor: illuminating dynamic data flow in commodity jvms.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Us and them: a study of privacy requirements across north america, asia, and europe.
Proceedings of the 36th International Conference on Software Engineering, 2014

VMVM: unit test virtualization for Java.
Proceedings of the 36th International Conference on Software Engineering, 2014

Unit test virtualization with VMVM.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
A large-scale, longitudinal study of user profiles in world of warcraft.
Proceedings of the 22nd International World Wide Web Conference, 2013

Chronicler: lightweight recording to reproduce field failures.
Proceedings of the 35th International Conference on Software Engineering, 2013

A competitive-collaborative approach for introducing software engineering in a CS2 class.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012
Report from the second international workshop on games and software engineering (GAS 2012).
ACM SIGSOFT Softw. Eng. Notes, 2012

An Autonomic Reliability Improvement System for Cyber-Physical Systems.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011
Testing and validating machine learning classifiers by metamorphic testing.
J. Syst. Softw., 2011

BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

The tradeoffs of societal computing.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

On effective testing of health care simulation software.
Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

2010
CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection.
Int. J. Secur. Softw. Eng., 2010

weHelp: A Reference Architecture for Social Recommender Systems.
Proceedings of the Software Engineering 2010, 2010

The weHelp reference architecture for community-driven recommender systems.
Proceedings of the 2nd International Workshop on Recommendation Systems for Software Engineering, 2010

Automatic detection of previously-unseen application states for deployment environment testing and analysis.
Proceedings of the 5th Workshop on Automation of Software Test, 2010

Configuration Fuzzing for Software Vulnerability Detection.
Proceedings of the ARES 2010, 2010

2009
Retina: helping students and instructors based on observed programming activities.
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

Application of Metamorphic Testing to Supervised Classifiers.
Proceedings of the Ninth International Conference on Quality Software, 2009

Automatic system testing of programs without test oracles.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Quality Assurance of Software Applications Using the In Vivo Testing Approach.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

COMPASS: A Community-driven Parallelization Advisor for Sequential Software.
Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, 2009

Multi-perspective evaluation of self-healing systems using simple probabilistic models.
Proceedings of the 6th International Conference on Autonomic Computing, 2009

Adaptive Synchronization of Semantically Compressed Instructional Videos for Collaborative Distance Learning.
Proceedings of the Methods and Applications for Advancing Distance Education Technologies, 2009

2008
Backstop: a tool for debugging runtime errors.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Properties of Machine Learning Applications for Use in Metamorphic Testing.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

RUST: A Retargetable Usability Testbed for Web Site Authentication Technologies.
Proceedings of the Usability, Psychology, and Security, 2008

genSpace: Exploring social networking metaphors for knowledge sharing and scientific collaborative work.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

A distance learning approach to teaching eXtreme programming.
Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

Distributed In Vivo Testing of Software Applications.
Proceedings of the First International Conference on Software Testing, 2008

Towards Self-adaptable Monitoring Framework for Self-healing.
Proceedings of the Grid and Services Evolution, 2008

2007
Adaptive Synchronization of Semantically Compressed Instructional Videos for Collaborative Distance Learning.
Int. J. Distance Educ. Technol., 2007

An Approach to Software Testing of Machine Learning Applications.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

2006
Retrofitting Autonomic Capabilities onto Legacy Systems.
Clust. Comput., 2006

Verifying genre-based clustering approach to content extraction.
Proceedings of the 15th international conference on World Wide Web, 2006

Automated Information Aggregation for Scaling Scale-Resistant Services.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Dynamic Adaptation of Temporal Event Correlation for QoS Management in Distributed Systems.
Proceedings of the Quality of Service - IWQoS 2006: 14th International Workshop, 2006

A Runtime Adaptation Framework for Native C and Bytecode Applications.
Proceedings of the 3rd International Conference on Autonomic Computing, 2006

2005
Automating Content Extraction of HTML Documents.
World Wide Web, 2005

Manipulating managed execution runtimes to support self-healing systems.
ACM SIGSOFT Softw. Eng. Notes, 2005

A control theory foundation for self-managing computing systems.
IEEE J. Sel. Areas Commun., 2005

Extracting context to improve accuracy for HTML content extraction.
Proceedings of the 14th international conference on World Wide Web, 2005

Extracting content from accessible web pages.
Proceedings of the International Cross-Disciplinary Workshop on Web Accessibility, 2005

Adaptive Internet Interactive Team Video.
Proceedings of the Advances in Web-Based Learning - ICWL 2005, 4th International Conference, Hong Kong, China, July 31, 2005

P2P Video Synchronization in a Collaborative Virtual Environment.
Proceedings of the Advances in Web-Based Learning - ICWL 2005, 4th International Conference, Hong Kong, China, July 31, 2005

A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Self-Managing Systems: A Control Theory Foundation.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004
A Virtual Environment for Collaborative Distance Learning with Video Synchronization.
Proceedings of the 7th IASTED International Conference on Computers and Advanced Technology in Education, 2004

2003
DOM-based content extraction of HTML documents.
Proceedings of the Twelfth International World Wide Web Conference, 2003

Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems.
Proceedings of the 5th Annual International Workshop on Active Middleware Services (AMS 2003) 2003 Autonomic Computing Workshop, 2003

Using Process Technology to Control and Coordinate Software Adaptation.
Proceedings of the 25th International Conference on Software Engineering, 2003

A holistic approach to service survivability.
Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003

GESDOR - A Generic Execution Model for Sharing of Computer-Interpretable Clinical Practice Guidelines.
Proceedings of the AMIA 2003, 2003

2002
A case study in software adaptation.
Proceedings of the First Workshop on Self-Healing Systems, 2002

2001
A Mobile Agent Approach to Process-Based Dynamic Adaptation of Complex Software Systems.
Proceedings of the Software Process Technology, 8th European Workshop, 2001

2000
Internet-based information management technology.
ACM SIGSOFT Softw. Eng. Notes, 2000

Building Computer Ethics from the Ground Up.
Proceedings of the 28th annual ACM SIGUCCS conference on User services: Building the future, Richmond, Virginia, USA, October 29, 2000

A Combined Curriculum Research and Curriculum Development Approach to Software Engineering Education.
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

1999
JPernLite: Extensible Transaction Services for the WWW.
IEEE Trans. Knowl. Data Eng., 1999

Interfacing Oz with the PCTE OMS: A Case Study of Integrating a Legacy System with a Standard Object Management System.
J. Syst. Integr., 1999

Collaborative Work: SWAP: Leveraging the Web To Manage Workflow.
IEEE Internet Comput., 1999

From Oz to TreatyMaker: An International Alliance for Multi-Organization Workflow.
Proceedings of the Workshop on Cross-Organisational Workflow Management and Co-ordination, 1999

A Workgroup Model for Smart Pushing and Pulling.
Proceedings of the 8th Workshop on Enabling Technologies (WETICE '99), 1999

CHIME: A Metadata-Based Distributed Software Development Environment.
Proceedings of the Software Engineering, 1999

1998
WWW-Based Collaboration Environments with Distributed Tool Services.
World Wide Web, 1998

Database Research at Columbia University.
SIGMOD Rec., 1998

Collaborative Work: Collaborative Technologies for Evolving Software Systems.
IEEE Internet Comput., 1998

Software Engineering in the Internet Age - Guest Editors' Introduction.
IEEE Internet Comput., 1998

Collaborative Work: Using Agents to Enable Collaborative Work.
IEEE Internet Comput., 1998

Collaborative Work: Coordinating Distributed Components over the Internet.
IEEE Internet Comput., 1998

Federating Process-Centered Environments: The Oz Experience.
Autom. Softw. Eng., 1998

Workgroup Middleware for Distributed Projects*.
Proceedings of the 7th Workshop on Enabling Technologies (WETICE '98), 1998

JPernLite: An Extensible Transaction Server for the World Wide Web.
Proceedings of the HYPERTEXT '98. Proceedings of the Ninth ACM Conference on Hypertext and Hypermedia: Links, Objects, Time and Space, 1998

1997
Collaborative Work: The Web as Enabling Technology for Software Development and Distribution.
IEEE Internet Comput., 1997

Collaborative Work: Distributed Authoring and Versioning.
IEEE Internet Comput., 1997

The Apache HTTP Server Project.
IEEE Internet Comput., 1997

Collaborative Work: Tool Services for Intranets.
IEEE Internet Comput., 1997

An Architecture for WWW-based Hypercode Environments.
Proceedings of the Pulling Together, 1997

The CORD Appraoch to Extensible Concurrency Control.
Proceedings of the Thirteenth International Conference on Data Engineering, 1997

1996
An Architecture for Integrating OODBs with WWW.
Comput. Networks, 1996

WWW Access to Legacy Client/Server Applications.
Comput. Networks, 1996

Enveloping Sophisticated Tools into Process-Centered Environments.
Autom. Softw. Eng., 1996

On the yellow brick road to component-based product lines.
Proceedings of the 10th International Software Process Workshop, 1996

1995
Divergence Control for Distributed Database Systems.
Distributed Parallel Databases, 1995

An Architecture for Integrating Concurrency Control into Environment Frameworks.
Proceedings of the 17th International Conference on Software Engineering, 1995

Enveloping "Persistent" Tools for a Process-Centered Environment.
Proceedings of the Software Process Technology, 4th European Workshop, 1995

Cooperative Transactions for Multiuser Environments.
Proceedings of the Modern Database Systems: The Object Model, 1995

1994
Extending Attribute Grammars to Support Programming-in-the-Large.
ACM Trans. Program. Lang. Syst., 1994

Emerging Technologies that Support a Software Process Life Cycle.
IBM Syst. J., 1994

A Flexible Rule-Chaining Engine for Process-Based Software Engineering.
Proceedings of the Proceedings KBSE'94, 1994

Incremental Process Support for Code Reengineering.
Proceedings of the International Conference on Software Maintenance, 1994

A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment.
Proceedings of the 16th International Conference on Software Engineering, 1994

A configuration process for a distributed software development environment.
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1993
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements.
IEEE Trans. Software Eng., 1993

Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multiuser Software Development Environments.
ACM Trans. Softw. Eng. Methodol., 1993

An Architecture for Multi-User Software Development Environments.
Comput. Syst., 1993

The Design and Implementation of Late Binding in a Distributed Programming Language.
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

MARVEL 3: 1: A Multi-User Software Development Environment.
Proceedings of the Logic Programming, 1993

Process Evolution in the Marvel Environment.
Proceedings of the State of the Practice in Process Technology, 1993

A Bi-Level Language for Software Process Modeling.
Proceedings of the 15th International Conference on Software Engineering, 1993

Distributed Divergence Control for Epsilon Serializability.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

1992
An Object-Based Programming Model for Shared Data.
ACM Trans. Program. Lang. Syst., 1992

Scaling up Rule-Based Software Development Environments.
Int. J. Softw. Eng. Knowl. Eng., 1992

An Architectural Survey of Object Management Systems.
Int. J. Cooperative Inf. Syst., 1992

Rule Chaining in Marvel: Dynamic Binding of Parameters.
IEEE Expert, 1992

Using Tool Abstraction to Compose Systems.
Computer, 1992

Ensuring Semantic Integrity of Reusable Objects (Panel).
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

Dynamic Restructuring of Transactions
Proceedings of the Database Transaction Models for Advanced Applications., 1992

1991
Models of Software Development Environments.
IEEE Trans. Software Eng., 1991

An Information Retrieval Approach For Automatically Constructing Software Libraries.
IEEE Trans. Software Eng., 1991

Debugging Multithreaded Programs with MPD.
IEEE Softw., 1991

A framework for immigrating existing software to new software development environments.
Softw. Eng. J., 1991

Making Progress in Cooperative Transaction Models.
IEEE Data Eng. Bull., 1991

Concurrency Control in Advanced Database Applications.
ACM Comput. Surv., 1991

Knowledge-Based Design.
Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

A rule-based process server component for constructing rule-based.
Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

An object-based approach to implementing distributed concurrency control.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

Dynamic reconfiguration in an object-based programming language with distributed shared data.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1990
MELDing transactions and objects.
Proceedings of the Workshop on Object-based Concurrent Programming, 1990

Modeling Concurrency in Rule-Based Development Environments.
IEEE Expert, 1990

Multiple concurrency control policies in an object-oriented programming system.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

SETA1 working group on Ada libraries, configuration management, and version control.
Proceedings of the First International Symposium on Environments and Tools for Ada, 1990

Extending the MERCURY system to support teams of Ada programmers.
Proceedings of the First International Symposium on Environments and Tools for Ada, 1990

Modeling Concurrency in Parallel Debugging.
Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), 1990

Preliminary design of an object management system for multi-user MARVEL.
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

Interactively supporting the software process.
Proceedings of the Human-Computer Interaction, 1990

A Flexible Transaction Model for Software Engineering.
Proceedings of the Sixth International Conference on Data Engineering, 1990

An Object Model of Shared Data.
Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989
Incremental Dynamic Semantics for Language-Based Programming Environments.
ACM Trans. Program. Lang. Syst., 1989

Testing Reliable Distributed Applications Through Simulated Events.
Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989

Experiments with Rule Based Process Modelling in an SDE.
Proceedings of the Software Engineering Environments, 1989

Mechanisms (session summary).
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Marvel strategy language example.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Experience with marvel.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

A Marvelous Extended Transaction Processing Model.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

MELDing Multiple Granularities of Parallelism.
Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989

Infuse: fusing integration test management with change management.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988
Smarter Recompilation.
ACM Trans. Program. Lang. Syst., 1988

A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation.
Softw. Pract. Exp., 1988

Intelligent Assistance for Software Development and Maintenance.
IEEE Softw., 1988

Transactions for concurrent object-oriented programming systems.
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

Concurrent meld.
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

A network architecture for reliable distributed computing.
IEEE Netw., 1988

Database Support for Knowledge-Based Engineering Environments.
IEEE Expert, 1988

Split-Transactions for Open-Ended Activities.
Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

Living With Inconsistency in Large Systems.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

Version and Configuration Control in Distributed Language-Based Environments.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

Data Path Debugging: Data-Oriented Debugging for a Concurrent Programming Language.
Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

Rule-based modelling of the software development process.
Proceedings of the Forth International Software Process Workshop, 1988

Rapid Prototyping of Concurrent Programming Languages.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

Garp: Graph Abstractions for Concurrent Programming.
Proceedings of the ESOP '88, 1988

1987
Multiuser, Distributed Language-Based Environments.
IEEE Softw., 1987

Melding Software Systems from Reusable Building Blocks.
IEEE Softw., 1987

Reliability in Distributed Programming Environments.
Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, 1987

Using conceptual clustering for classifying reusable Ada code.
Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, 1987

MELDing Data Flow and Object-Oriented Programming.
Proceedings of the Conference on Object-Oriented Programming Systems, 1987

An Architecture for Intelligent Assistance in Software Development.
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

Intelligent Assistance without Artificial Intelligence.
Proceedings of the COMPCON'87, 1987

Infuse: a tool for automatically managing and coordinating source changes in large systems.
Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986
Generation of run-time environments.
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Incremental Attribute Evaluation in Distributed Language-Based Environments.
Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, 1986

1985
Incremental parsing without a parser.
J. Syst. Softw., 1985

1984
Generation of Language-Oriented Editors.
Proceedings of the Programmierumgebungen und Compiler, 1984

1981
Automatic Extension of an ATN Knowledge Base.
Commun. ACM, 1981


  Loading...