Charles N. Fischer

Proceedings of the Verification, 2009

2007

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

[BibT_eX]

[DOI]

William C. Benton

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

2006

Tool Support for Proof Engineering.

[BibT_eX]

[DOI]

Anne Mulhern

Ben Liblit

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

2005

Using Pin as a memory reference generator for multiprocessor simulation.

[BibT_eX]

[DOI]

Collin McCurdy

SIGARCH Comput. Archit. News, 2005

2004

A localizing directory coherence protocol.

[BibT_eX]

[DOI]

Collin McCurdy

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

2003

User-controllable coherence for high performance shared memory multiprocessors.

[BibT_eX]

[DOI]

Collin McCurdy

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

2000

Concurrent Garbage Collection Using Program Slices on Multithreaded Processors.

[BibT_eX]

[DOI]

Manoj Plakal

Proceedings of the ISMM 2000, 2000

1997

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

[BibT_eX]

[DOI]

Harish Patil

Softw. Pract. Exp., 1997

Exploiting Dead Value Information.

[BibT_eX]

[DOI]

Milo M. K. Martin

Amir Roth

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

1996

Demand-Driven Register Allocation.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1996

Minimum Cost Interprocedural Register Allocation.

[BibT_eX]

[DOI]

Steven M. Kurlander

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.

[BibT_eX]

[DOI]

Steven M. Kurlander

ACM Trans. Program. Lang. Syst., 1995

Efficient Run-time Monitoring Using Shadow Processing.

[BibT_eX]

Harish Patil

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

Zero-cost Range Splitting.

[BibT_eX]

[DOI]

Steven M. Kurlander

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

1992

SPARE: A Development Environment For Program Analysis Algorithms.

[BibT_eX]

[DOI]

G. A. Venkatesh

IEEE Trans. Software Eng., 1992

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

[BibT_eX]

[DOI]

Acta Informatica, 1992

Probalistic Register Allocation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Crafting a Compiler with C

[BibT_eX]

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

1989

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

[BibT_eX]

[DOI]

Wei-Chung Hsu

James R. Goodman

IEEE Trans. Software Eng., 1989

1988

Determining the Extent of Lookahead in Syntactic Error Repair.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1988

Integrating Code Generation and Peephole Optimization.

[BibT_eX]

[DOI]

Acta Informatica, 1988

1985

Affix Grammar Driven Code Generation.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1985

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

[BibT_eX]

[DOI]

Gregory F. Johnson

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1984

Attributed Linear Intermediate Representations for Retargetable Code Generators.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1984

The POE Language-Based Editor Project.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1982

Retargetable Compiler Code Generation.

[BibT_eX]

[DOI]

John L. Hennessy

ACM Comput. Surv., 1982

A Forward Move Algorithm for LL and LR Parsers.

[BibT_eX]

[DOI]

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

Non-Syntactic Attribute Flow in Language Based Editors.

[BibT_eX]

[DOI]

Gregory F. Johnson

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

Description-Driven Code Generation using Attribute Grammars.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1981

1980

The Implementation of Run-Time Diagnostics in Pascal.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1980

On Parsing and Compiling Arithmetic Expressions on Vector Computers.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1980

On the Role of Error Productions in Syntactic Error Correction.

[BibT_eX]

[DOI]

Comput. Lang., 1980

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

[BibT_eX]

[DOI]

S. B. Quiring

Acta Informatica, 1980

1979

Immediate Error Detection in Strong LL(1) Parsers.

[BibT_eX]

[DOI]

Kuo-Chung Tai

Inf. Process. Lett., 1979

On implementing separate compilation in block-structured languages.

[BibT_eX]

[DOI]

Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, 1979

LL(k) Parsing for Attributed Grammars.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1979

1977

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977

1976

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

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30, 1976

1975

On Parsing Context Free Languages in Parallel Environments.

[BibT_eX]