dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sean Callanan Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaowan 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss Foley, William Gallagher, Sean Callanan, Pádraig Cunningham: A Machine Learning System for Identifying Hypertrophy in Histopathology Images. AICS 2009: 72-81
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok: Model Predictive Control for Memory Profiling. IPDPS 2007: 1-7
2006
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok: Compiler-assisted software verification using plug-ins. IPDPS 2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErez Zadok, Sean Callanan, Abhishek Rai, Gopalan Sivathanu, Avishay Traeger: Efficient and Safe Execution of User-Level Code in the Kernel. IPDPS 2005

Coauthor Index

1Padraig Cunningham (Pádraig Cunningham) [6]
2David J. Dean [5]
3Ketan Dixit [7]
4Ross Foley [6]
5William Gallagher [6]
6Michael Gorbovitski [5]
7Radu Grosu [2] [3] [4] [5] [7]
8Xiaowan Huang [3] [7]
9Abhishek Rai [1] [2]
10Justin Seyster [4] [5] [7]
11Gopalan Sivathanu [1]
12Scott A. Smolka [2] [3] [4] [5] [7]
13Scott D. Stoller [5] [7]
14Avishay Traeger [1]
15Mike R. True [2]
16Erez Zadok [1] [2] [3] [4] [5] [7]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page