Efficient and Safe Execution of User-Level Code in the Kernel. - Erez Zadok; Sean Callanan; Abhishek Rai; Gopalan Sivathanu; Avishay Traeger (IPDPS, 2005)

Compiler-assisted software verification using plug-ins. - Sean Callanan; Radu Grosu; Xiaowan Huang; Scott A. Smolka; Erez Zadok (IPDPS, 2006)

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. - Sean Callanan; Radu Grosu; Abhishek Rai; Scott A. Smolka; Mike R. True; Erez Zadok (MBT, 2006)

Model Predictive Control for Memory Profiling. - Sean Callanan; Radu Grosu; Justin Seyster; Scott A. Smolka; Erez Zadok (IPDPS, 2007)

Software monitoring with bounded overhead. - Sean Callanan; David J. Dean; Michael Gorbovitski; Radu Grosu; Justin Seyster; Scott A. Smolka; Scott D. Stoller; Erez Zadok (IPDPS, 2008)

A Machine Learning System for Identifying Hypertrophy in Histopathology Images. - Ross Foley; William M. Gallagher; Sean Callanan; Pádraig Cunningham (AICS, 2009)

Software monitoring with controllable overhead. - Xiaowan Huang; Justin Seyster; Sean Callanan; Ketan Dixit; Radu Grosu; Scott A. Smolka; Scott D. Stoller; Erez Zadok (Int. J. Softw. Tools Technol. Transf., 2012)