Model Predictive Control for Memory Profiling. - Sean Callanan; Radu Grosu; Justin Seyster; Scott A. Smolka; Erez Zadok (IPDPS, 2007)

Software monitoring with bounded overhead. - Sean Callanan; David J. Dean; Michael Gorbovitski; Radu Grosu; Justin Seyster; Scott A. Smolka; Scott D. Stoller; Erez Zadok (IPDPS, 2008)

Aspect-Oriented Instrumentation with GCC. - Justin Seyster; Ketan Dixit; Xiaowan Huang; Radu Grosu; Klaus Havelund; Scott A. Smolka; Scott D. Stoller; Erez Zadok (RV, 2010)

Redflag: A Framework for Analysis of Kernel-Level Concurrency. - Justin Seyster; Prabakar Radhakrishnan; Samriti Katoch; Abhinav Duggal; Scott D. Stoller; Erez Zadok (ICA3PP (1), 2011)

Runtime Verification with State Estimation. - Scott D. Stoller; Ezio Bartocci; Justin Seyster; Radu Grosu; Klaus Havelund; Scott A. Smolka; Erez Zadok (RV, 2011)

Adaptive Runtime Verification. - Ezio Bartocci; Radu Grosu; Atul Karmarkar; Scott A. Smolka; Scott D. Stoller; Erez Zadok; Justin Seyster (RV, 2012)

InterAspect: aspect-oriented instrumentation with GCC. - Justin Seyster; Ketan Dixit; Xiaowan Huang; Radu Grosu; Klaus Havelund; Scott A. Smolka; Scott D. Stoller; Erez Zadok (Formal Methods Syst. Des., 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)

Building workload-independent storage with VT-trees. - Pradeep Shetty; Richard P. Spillane; Ravikant Malpani; Binesh Andrews; Justin Seyster; Erez Zadok (FAST, 2013)