projects:summer2009plan
Summer 2009 & Theses Research Plan
RaceGen (IFL)
- Deadline: September 6, ICSE/PLDI/ISSTA
- Fault injection (gawk/remove 10% of syncs)
- Atomic sync block tool/proof obligation (serializability-in-isolation)
- Barriers - ignore their benign races
- Update analysis section to match
- Proof of correctness
- Try more benchmarks (e.g., jigsaw, tomcat)
- Maybe a noisemaker to perturb scheduling
TraceGen (SideTrack)
- Deadline: September 6, ICSE/ESOP/ISSTA
- Volatiles, Barriers, Wait-Notify
- Proof of correctness
- Implementation work
- Compare with Velodrome & Atomizer
- Try more benchmarks
DeadlockGen
- Small paper: perhaps 2 weeks work
- What benchmarks to use? (look at sen, gadara)
- Make tool
Yield Theory
- Deadline: August 28 Masters; paper by October; ESOP/TLDI/PLPV
- Small effect systems paper:
- IMP + functions, and proof
Yield Checker
- Dynamic checker, in RR
- read yield, write yield
- Masters proj?
Yield Inference
- More challenging
- Apply to Eclipse and auto-annotate source base
Grants and Reviewing
- Help Cormac write a grant
- Help Cormac review papers
Woda/Padtad Talks
- Talk is July 20
- Create slides
- Schedule talk rehearsals
- Tiddle Hackage - make it work
Thesis Proposal & Continuing
- Caitlin - thesis on generalization: trace gen, race gen, dl gen, etc.
- Jaeheon - yield idiom and more: yield system, yield checker, yield inf
- Aiming for completion by June 2011. Look for jobs late 2010.
RTSS paper
- Shepherd through submission process
Schedulers
- Op. sem. of RBED scheduler
projects/summer2009plan.txt · Last modified: 2009/06/11 15:04 by jaeheon
