Publications of Martin Rinard by Topic

• Automatic Patch Generation

• Code Transfer

• Approximate Computing

• Acceptability-Oriented Computing

• Analysis of Multithreaded Programs

• Pointer and Escape Analysis

• Automatic Parallelization

• Analysis and Optimization of Divide and Conquer Programs

• Synchronization Optimizations

• Credible Compilation

• Hardware Synthesis

• The Jade Programming Language

• Concurrent Constraint Programming