Mark Gabel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2008–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICSE | On the naturalness of software. | Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, Premkumar T. Devanbu |
| 2010 | ICSE | Online inference and enforcement of temporal properties. | Mark Gabel, Zhendong Su |
| 2010 | OOPSLA | Scalable and systematic detection of buggy inconsistencies in source code. | Mark Gabel, Junfeng Yang, Yuan Yu, Moiss Goldszmidt, Zhendong Su |
| 2008 | ICSE | Scalable detection of semantic clones. | Mark Gabel, Lingxiao Jiang, Zhendong Su |
| 2008 | ICSE | Symbolic mining of temporal specifications. | Mark Gabel, Zhendong Su |