User Tools

Site Tools


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