@Unpublished{spoons+:sched,
  author = 	 {Daniel Spoonhower, Guy E. Blelloch, and Robert Harper},
  title = 	 {A Semantic Framework for Scheduling Parallel Programs},
  note = 	 {(Submitted for publication.)},
  month = 	 {October},
  year = 	 2007}