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
Yield Theory
Yield Checker
Dynamic checker, in RR
read yield, write yield
Masters proj?
Yield Inference
Grants and Reviewing
Woda/Padtad Talks
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
Schedulers
projects/summer2009plan.txt · Last modified: 2009/06/11 15:04 by jaeheon