Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. - Matthew Fredrikson; Richard Joiner; Somesh Jha; Thomas W. Reps; Phillip A. Porras; Hassen Saïdi; Vinod Yegneswaran (CAV, 2012)

Efficient runtime-enforcement techniques for policy weaving. - Richard Joiner; Thomas W. Reps; Somesh Jha; Mohan Dhawan; Vinod Ganapathy (SIGSOFT FSE, 2014)

Specialization Slicing. - Min Aung; Susan Horwitz; Richard Joiner; Thomas W. Reps (ACM Trans. Program. Lang. Syst., 2014)