Publications
Scalable and Systematic Detection of Buggy
Inconsistencies in Source Code
Mark Gabel, Junfeng Yang, Yuan Yu, Moises Goldszmidt, and
Zhendong Su
In Proceedings of the 2010 ACM International Conference on Systems,
Programming, Languages, and Applications: Software for Humanity, OOPSLA
Research Papers Track (SPLASH/OOPSLA)
Reno, Nevada, USA.
A Study of the Uniqueness of Source Code
Mark Gabel and Zhendong Su
In Proceedings of the 2010 SIGSOFT International Symposium on Foundations
of Software Engineering (FSE)
Santa Fe, New Mexico, USA.
Online Inference and Enforcement of Temporal
Properties
Mark Gabel and Zhendong Su
In Proceedings of the 2010 International Conference on Software Engineering
(ICSE)
Cape Town, South Africa.
Javert: Fully Automatic Mining of General
Temporal Properties from Dynamic Traces
Mark Gabel and Zhendong Su
In Proceedings of the 2008 SIGSOFT International Symposium on Foundations
of Software Engineering (FSE)
Atlanta, Georgia, USA.
Symbolic Mining of Temporal Specifications
Mark Gabel and Zhendong Su
In Proceedings of the 2008 International Conference on Software Engineering
(ICSE)
Leipzig, Germany.
Scalable Detection of Semantic Clones
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, Texas, USA.
Please contact me for the PowerPoint slides of the conference presentations of any of these papers.