Justin Seyster

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Tree Construction

Software Package

Aspect Oriented Programming

Crosscutting Concerns

Top Venues

Int. J. Softw. Tools Technol. Transf.

Formal Methods Syst. Des.

Publications

Pradeep Shetty, Richard P. Spillane, Ravikant Malpani, Binesh Andrews, Justin Seyster, Erez Zadok
Building workload-independent storage with VT-trees. FAST (2013)
Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
InterAspect: aspect-oriented instrumentation with GCC. Formal Methods Syst. Des. 41 (3) (2012)
Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster
Adaptive Runtime Verification. RV (2012)
Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok
Runtime Verification with State Estimation. RV (2011)
Justin Seyster, Prabakar Radhakrishnan, Samriti Katoch, Abhinav Duggal, Scott D. Stoller, Erez Zadok
Redflag: A Framework for Analysis of Kernel-Level Concurrency. ICA3PP (1) (2011)
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Aspect-Oriented Instrumentation with GCC. RV (2010)
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)
Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok
Model Predictive Control for Memory Profiling. IPDPS (2007)