Sean Callanan

According to our database, Sean Callanan authored at least 7 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

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

2009

A Machine Learning System for Identifying Hypertrophy in Histopathology Images.

Ross Foley, William M. Gallagher, Sean Callanan, Pádraig Cunningham

Proceedings of the Artificial Intelligence and Cognitive Science - 20th Irish Conference, 2009

2008

Software monitoring with bounded overhead.

Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007

Model Predictive Control for Memory Profiling.

Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

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

Proceedings of the Second Workshop on Model Based Testing, 2006

Compiler-assisted software verification using plug-ins.

Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Efficient and Safe Execution of User-Level Code in the Kernel.

Erez Zadok, Sean Callanan, Abhishek Rai, Gopalan Sivathanu, Avishay Traeger

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005