A redux from the team that sparked discussions last Spring and the eventual formation of SG12. http://pdos.csail.mit.edu/~xi/papers/stack-sosp13.pdf (Thanks to Donn for bringing this follow up paper to my attention.) -- Gaby