 | 2012 |
| 7 |  | Xiaowan Huang,
Justin Seyster,
Sean Callanan,
Ketan Dixit,
Radu Grosu,
Scott A. Smolka,
Scott D. Stoller,
Erez Zadok:
Software monitoring with controllable overhead.
STTT 14(3): 327-347 (2012) |
| 2009 |
| 6 |  | Ross Foley,
William Gallagher,
Sean Callanan,
Pádraig Cunningham:
A Machine Learning System for Identifying Hypertrophy in Histopathology Images.
AICS 2009: 72-81 |
| 2008 |
| 5 |  | 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: 1-8 |
| 2007 |
| 4 |  | Sean Callanan,
Radu Grosu,
Justin Seyster,
Scott A. Smolka,
Erez Zadok:
Model Predictive Control for Memory Profiling.
IPDPS 2007: 1-7 |
| 2006 |
| 3 |  | Sean Callanan,
Radu Grosu,
Xiaowan Huang,
Scott A. Smolka,
Erez Zadok:
Compiler-assisted software verification using plug-ins.
IPDPS 2006 |
| 2 |  | Sean Callanan,
Radu Grosu,
Abhishek Rai,
Scott A. Smolka,
Mike R. True,
Erez Zadok:
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach.
Electr. Notes Theor. Comput. Sci. 164(4): 41-52 (2006) |
| 2005 |
| 1 |  | Erez Zadok,
Sean Callanan,
Abhishek Rai,
Gopalan Sivathanu,
Avishay Traeger:
Efficient and Safe Execution of User-Level Code in the Kernel.
IPDPS 2005 |