Modular Program Monitors David Walker Princeton University (joint work with Lujo Bauer and Jay Ligatti)