Interests
I am primarily interested in the technical side of software engineering, especially problems with a strong practical motivation. I also enjoy working on research problems that include a significant scaling challenge.
Publications
Javert: Fully Automatic Mining of General Temporal Properties from Dynamic
Traces.
Mark Gabel and Zhendong Su
To appear in Proceedings of the 2008 SIGSOFT International Symposium on Foundations of Software Engineering (FSE), Atlanta, GA.
Symbolic Mining of Temporal Specifications. [slides]
Mark Gabel and Zhendong Su
In Proceedings of the 2008 International Conference on Software Engineering (ICSE), Leipzig, Germany.
Scalable Detection of Semantic Clones. [slides]
Mark Gabel, Lingxiao Jiang, and Zhendong Su
In Proceedings of the 2008 International Conference on Software Engineering (ICSE), Leipzig, Germany.
CAMP: A Common API for Measuring Performance.
Mark Gabel and Michael Haungs
In Proceedings of the 2007 USENIX Large Installation System Administration Conference (LISA), Dallas, TX.