Mark Gabel

According to our database1, Mark Gabel authored at least 10 papers between 2007 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
On the naturalness of software.
Commun. ACM, 2016

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

On the naturalness of software.
Proceedings of the 34th International Conference on Software Engineering, 2012

2010
A study of the uniqueness of source code.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Scalable and systematic detection of buggy inconsistencies in source code.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Online inference and enforcement of temporal properties.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2008
Javert: fully automatic mining of general temporal properties from dynamic traces.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Symbolic mining of temporal specifications.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Scalable detection of semantic clones.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
CAMP: A Common API for Measuring Performance.
Proceedings of the 21th Large Installation System Administration Conference, 2007


  Loading...