Justin Seyster

According to our database, Justin Seyster authored at least 9 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Building workload-independent storage with VT-trees.

Pradeep Shetty, Richard P. Spillane, Ravikant Malpani, Binesh Andrews, Justin Seyster, Erez Zadok

Proceedings of the 11th USENIX conference on File and Storage Technologies, 2013

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

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

Adaptive Runtime Verification.

Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Runtime Verification with State Estimation.

Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok

Proceedings of the Runtime Verification - Second International Conference, 2011

Redflag: A Framework for Analysis of Kernel-Level Concurrency.

Justin Seyster, Prabakar Radhakrishnan, Samriti Katoch, Abhinav Duggal, Scott D. Stoller, Erez Zadok

Proceedings of the Algorithms and Architectures for Parallel Processing, 2011

2010

Aspect-Oriented Instrumentation with GCC.

Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Proceedings of the Runtime Verification - First International Conference, 2010

2008

Software monitoring with bounded overhead.

Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007

Model Predictive Control for Memory Profiling.

Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007