Mark Gabel

According to our database, Mark Gabel authored at least 9 papers between 2007 and 2016.

Collaborative distances:

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

2016

On the naturalness of software.

Abram Hindle, Earl T. Barr, Mark Gabel, Zhendong Su, Premkumar T. Devanbu

Commun. ACM, 2016

2012

Testing mined specifications.

Mark Gabel, Zhendong Su

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

2010

A study of the uniqueness of source code.

Mark Gabel, Zhendong Su

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Scalable and systematic detection of buggy inconsistencies in source code.

Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Online inference and enforcement of temporal properties.

Mark Gabel, Zhendong Su

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2008

Javert: fully automatic mining of general temporal properties from dynamic traces.

Mark Gabel, Zhendong Su

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Symbolic mining of temporal specifications.

Mark Gabel, Zhendong Su

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Scalable detection of semantic clones.

Mark Gabel, Lingxiao Jiang, Zhendong Su

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

CAMP: A Common API for Measuring Performance.

Mark Gabel, Michael Haungs

Proceedings of the 21th Large Installation System Administration Conference, 2007