Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Barton P. Miller

Efficient and Scalable Retrieval Techniques for Global File Properties

English

Extracting Compiler Provenance From Program Binaries

English

Nomenclator Descriptive Query Optimization for Large X.500 Environments

Computer Communication Review

Computer Networks

English

Diagnosing Distributed Systems With Self-Propelled Instrumentation

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

What Are Race Conditions?: Some Issues and Formalizations

ACM Letters on Programming Languages and Systems

English

Improving the Accuracy of Data Race Detection

ACM SIGPLAN Notices

English

Performance Measurement of Dynamically Compiled Java Executions

Concurrency: Practice and Experience

English