Title: STOC'12
Subjects: Computer programming, Computational complexity, Machine theory