I love the approach of using a programming language as the model of computation, instead of Turing machines or RAM models. The credit for this idea belongs to Neil D. Jones and to Amir Ben Amram, for whom Boaz Barak was a TA back when Boaz was a grad student.