- I'm getting really excited about examining what it means to search and to link. I will keep mum about that work, publicly, until I have sufficient momentum. In preparation for stage 1 of this, I have done the SSA conversion, added logging, and have the basic bisimulation of programs set up. Raluca already has event simulation and generation setup, so that means we are about ready to perform partial order reduction and introduce concolic execution. From there, I parallelize the heck out of it [17 days to go - perhaps we should skip concolic execution for now and just focus on reduction!] From there, say near the end of May, we'll be in a position to start innovating. I started doing reading for stage 2 as part of my semantics course, though luckily both stages 1 and 2 can extend indefinitely long, and in parallel.
Friday, May 2, 2008
All is Quiet on the Western Front
Some ups, some downs.