See also the overall HCOS project Web page.
| # | Title (click for html version) | Formats | Published In | Date | Comments |
| 1 | Software Monitoring with Controllable Overhead | BibTeX | International Journal on Software Tools for Technology Transfer (STTT) | Dec 2010 | invited submission, under review |
| # | Title (click for html version) | Formats | Published In | Date | Comments |
| 1 | Stopping Data Races Using Redflag | PS PDF BibTeX | Stony Brook U. CS TechReport FSL-10-02 | May 2010 | M.S. Thesis |
| 2 | Flexible Debugging with Controllable Overhead | PS PDF BibTeX | Stony Brook U. CS TechReport FSL-09-01 | Aug 2009 | Ph.D. Thesis |
| 3 | The Visual Development of GCC Plug-ins with GDE, | PS PDF BibTeX | Stony Brook U. CS TechReport FSL-09-04 | Apr 2009 | M.S. Thesis |
| 4 | On the Role of Static Analysis in Operating System Checking and Runtime Verification | PS PDF BibTeX | Stony Brook U. CS TechReport FSL-05-01 | May 2005 | Ph.D. Research Proficiency Exam (RPE) |
| # | Name (click for home page) | Program | Member Since |
| 1 | Justin Seyster | PhD | Jan 2006 |
| 2 | Prabakar Radhakrishnan | MS | Jan 2010 |
| # | Name (click for home page) | Program | Period | Current Location |
| 1 | Sean Callanan | PhD | Sep 2003 - Aug 2009 | Technical Staff Member, Apple (Cupertino, CA) |
| 2 | Abhishek Rai | PhD | Sep 2003 - Aug 2005 | Member of the Technical Staff, Structured Data Access group, VMware, Inc. (Palo Alto, CA) |
| 3 | Daniel J. Dean | MS | Sep 2007 - Jun 2009 | Medical University of South Carolina |
| 4 | Abhinav Duggal | MS | Sep 2008 - May 2010 | Software Engineer II, Platform OS Group DataDomain Inc. (Santa Clara, CA) |
| 5 | Nishant Nagalia | MS | Sep 2002 - May 2004 | Software Engineer, Ashley Laurent (Austin, TX) |
| 6 | Amit Purohit | MS | Sep 2001 - May 2003 | Technical Staff Member, IBM India Research Lab (New Delhi, India) |
| 7 | Daniel J. Dean | BS | May 2006 - Aug 2007 | Stony Brook U. CS M.S. program (Stony Brook, NY) |
| # | Sponsor | Amount | Period | Type | Title (click for award abstract) |
| 1 | NSF CSR--AES | $830,000 | 2005-2009 | PI | CSR--AES: Runtime Monitoring and Model Checking for High-Confidence System Software |