Charles N. Fischer

Proceedings of the Verification, 2009

2007

Interactive, scalable, declarative program analysis: from prototype to implementation.

(DOI)

William C. Benton

and

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2005

Using Pin as a memory reference generator for multiprocessor simulation.

(DOI)

Collin McCurdy

and

SIGARCH Computer Architecture News, 2005

2004

A localizing directory coherence protocol.

(DOI)

Collin McCurdy

and

Proceedings of the 3rd Workshop on Memory Performance Issues, 2004

2003

User-controllable coherence for high performance shared memory multiprocessors.

(DOI)

Collin McCurdy

and

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003

2000

Concurrent Garbage Collection Using Program Slices on Multithreaded Processors.

(DOI)

Manoj Plakal

and

Proceedings of the ISMM 2000, 2000

1997

Low-Cost, Concurrent Checking of Pointer and Array Accesses in C Programs.

(DOI)

Harish Patil

and

Softw., Pract. Exper., 1997

Exploiting Dead Value Information.

(DOI)

Milo M. K. Martin

Amir Roth

and

Proceedings of the Thirtieth Annual IEEE/ACM International Symposium on Microarchitecture, 1997

1996

Demand-Driven Register Allocation.

(DOI)

and

ACM Trans. Program. Lang. Syst., 1996

Minimum Cost Interprocedural Register Allocation.

(DOI)

Steven M. Kurlander

and

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

Efficient Instruction Scheduling for Delayed-Load Architectures.

(DOI)

Steven M. Kurlander

and

ACM Trans. Program. Lang. Syst., 1995

Efficient Run-time Monitoring Using Shadow Processing.

Harish Patil

and

AADEBUG, 1995

1994

Zero-cost Range Splitting.

(DOI)

Steven M. Kurlander

and

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

1992

SPARE: A Development Environment For Program Analysis Algorithms.

(DOI)

G. A. Venkatesh

and

IEEE Trans. Software Eng., 1992

A Simple, Fast, and Effective LL(1) Error Repair Algorithm.

(DOI)

and

Jon Mauney

Acta Inf., 1992

Probalistic Register Allocation.

(DOI)

and

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

1991

Linear-Time, Optimal Code Scheduling for Delayed-Load Architectures.

(DOI)

and

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

Crafting a Compiler with C

and

Benjamin/Cummings, ISBN: 0-8053-2166-7, 1991

1989

On the Minimization of Loads/Stores in Local Register Allocation.

(DOI)

Wei-Chung Hsu

and

James R. Goodman

IEEE Trans. Software Eng., 1989

1988

Determining the Extent of Lookahead in Syntactic Error Repair.

(DOI)

Jon Mauney

and

ACM Trans. Program. Lang. Syst., 1988

Integrating Code Generation and Peephole Optimization.

(DOI)

and

Acta Inf., 1988

1985

Affix Grammar Driven Code Generation.

(DOI)

and

ACM Trans. Program. Lang. Syst., 1985

A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors.

(DOI)

Gregory F. Johnson

and

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1984

A Simple Separate Compilation Mechanism for Block-Structured Languages.

(DOI)

and

IEEE Trans. Software Eng., 1984

Attributed Linear Intermediate Representations for Retargetable Code Generators.

(DOI)

and

Softw., Pract. Exper., 1984

The POE Language-Based Editor Project.

(DOI)

Anil Pal

Daniel L. Stock

Gregory F. Johnson

and

Jon Mauney

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

1982

A Case Study of Run-Time Errors in Pascal Programs.

(DOI)

and

Softw., Pract. Exper., 1982

Retargetable Compiler Code Generation.

(DOI)

and

John L. Hennessy

ACM Comput. Surv., 1982

A Forward Move Algorithm for LL and LR Parsers.

(DOI)

Jon Mauney

and

Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

Non-Syntactic Attribute Flow in Language Based Editors.

(DOI)

Gregory F. Johnson

and

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

Description-Driven Code Generation using Attribute Grammars.

(DOI)

and

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

1981

An Improvement to Immediate Error Detection in Strong LL(1) Parsers.

(DOI)

Jon Mauney

and

Inf. Process. Lett., 1981

1980

The Implementation of Run-Time Diagnostics in Pascal.

(DOI)

and

IEEE Trans. Software Eng., 1980

On Parsing and Compiling Arithmetic Expressions on Vector Computers.

(DOI)

ACM Trans. Program. Lang. Syst., 1980

On the Role of Error Productions in Syntactic Error Correction.

(DOI)

and

Jon Mauney

Comput. Lang., 1980

Efficient LL(1) Error Correction and Recovery Using Only Insertions.

(DOI)

and

S. B. Quiring

Acta Inf., 1980

1979

Immediate Error Detection in Strong LL(1) Parsers.

(DOI)

K. C. Tai

and

Inf. Process. Lett., 1979

On implementing separate compilation in block-structured languages.

(DOI)

and

Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, 1979

LL(k) Parsing for Attributed Grammars.

(DOI)

and

Proceedings of the Automata, 1979

1977

An Efficient Insertion-Only Error-Corrector for LL(1) Parsers.

(DOI)

and

S. B. Quiring

Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

Efficient Implementation and Optimization of Run-Time Checking in Pascal.

and

Language Design for Reliable Software, 1977

1976

Run-time checking of data access in Pascal-like languages.

(DOI)

and