To Do: Academic

From SarahWiki

Contents 1 In Progress 2 AFRL Stuff 3 In the Queue 4 Done

In Progress

1. Camera ready changes for PEPM'06
2. Theory work on Semi-Achronous Analysis (new analysis that supports causal links between transitions)

AFRL Stuff

1. Complete and submit trip report for WOS grant
2. Define architecture at a mathematical level
3. Write up architecture
4. Implement Simulation
5. Write up simulation

In the Queue

1. Complete the QBF solver
2. Write up algorithm for QBF solver
3. Write up semi-achronous analysis ideas
4. Clean up HarPE for release
5. Write Wiki pages for HarPE

Done

1. Response to reviewers for Science of Computer Programming article