Sean Callanan

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Computer Software

Design Patterns

Software Packages

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Ross Foley, William M. Gallagher, Sean Callanan, Pádraig Cunningham
A Machine Learning System for Identifying Hypertrophy in Histopathology Images. AICS (2009)
Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Software monitoring with bounded overhead. IPDPS (2008)
Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok
Model Predictive Control for Memory Profiling. IPDPS (2007)
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)
Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok
Compiler-assisted software verification using plug-ins. IPDPS (2006)
Erez Zadok, Sean Callanan, Abhishek Rai, Gopalan Sivathanu, Avishay Traeger
Efficient and Safe Execution of User-Level Code in the Kernel. IPDPS (2005)