ACM 2005 PLDI Tutorials

  Tutorial
T1
Saturday 11/06
9:00 -12:30

Atomicity for Reliable Concurrent Software

T2
Saturday 11/06
13:00 -17:00

Model Checking Concurrent Object-Oriented Systems with Bogor: An Extensible Software Model Checking Framework for Domain-Specific Model Checking

T3
Sunday 12/06
8:30 -12:30

Design, Implementation and Evaluation of Garbage Collectors with MMTk

T4
Sunday 12/06
8:30 -12:30

Pin: A Dynamic Instrumentation Tool for Compiler, Architectural and Microarchitectural Research

T5
Sunday 12/06
13:00 -18:00

abc: Workbench for Aspect-Oriented Programming Language and Compiler Research

T6
Sunday 12/06
13:00 -17:00

Static Analysis for Java in Eclipse