pldb: programming languages papers

Skip to main content

673 papers · page 23 of 34

Modular Static Program Analysis

Patrick Cousot, Radhia Cousot

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Building an Interpreter with Vmgen

M. Anton Ertl, David Gregg

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Compiler Construction Using LOTOS NT

Hubert Garavel, Frédéric Lang, Radu Mateescu

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Precise Exception Semantics in Dynamic Compilation

Michael Gschwind, Erik R. Altman

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

A Representation for Bit Section Based Analysis and Optimization

Rajiv Gupta, Eduard Mehofer, Youtao Zhang

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Compiling Mercury to High-Level C Code

Fergus Henderson, Zoltan Somogyi

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems

Mahmut T. Kandemir, Ibrahim Kolcu, Ismail Kadayif

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

LISA: An Interactive Environment for Programming Language Development

Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Decompiling Java Bytecode: Problems, Traps and Pitfalls

Jerome Miecznikowski, Laurie J. Hendren

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Effective Enhancement of Loop Versioning in Java

Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

A Graph-Free Approach to Data-Flow Analysis

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Linear Scan Register Allocation in the Context of SSA Form and Register Constraints

Hanspeter Mössenböck, Michael Pfeiffer

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Online Subpath Profiling

David Oren, Yossi Matias, Shmuel Sagiv

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

A Comprehensive Approach to Array Bounds Check Elimination for Java

Feng Qian, Laurie J. Hendren, Clark Verbrugge

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Optimizing Static Power Dissipation by Functional Units in Superscalar Processors

Siddharth Rele, Santosh Pande, Soner Önder, Rajiv Gupta

Abstract elided by the publisher.

DOI dblp Copy BibTeX

StreamIt: A Language for Streaming Applications

William Thies, Michal Karczmarek, Saman P. Amarasinghe

We characterize high-performance streaming applications as a new and distinct domain of programs that is becoming increasingly important. The StreamIt language provides novel high-level representations to improve programmer productivity and program robustness within the streaming…

PDF DOI dblp Copy BibTeX

Value-Profile Guided Stride Prefetching for Irregular Code

Youfeng Wu, Mauricio J. Serrano, Rakesh Krishnaiyer, Wei Li, Jesse Fang

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Forwarding in Attribute Grammars for Modular Language Design

Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Data Compression Transformations for Dynamically Allocated Data Structures

Youtao Zhang, Rajiv Gupta

Abstract elided by the publisher.

DOI dblp Copy BibTeX