Mark Gabel

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Specification Language

Hardware Design

Delay Insensitive

Top Venues

Publications

Abram Hindle, Earl T. Barr, Mark Gabel, Zhendong Su, Premkumar T. Devanbu
On the naturalness of software. Commun. ACM 59 (5) (2016)
Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, Premkumar T. Devanbu
On the naturalness of software. ICSE (2012)
Mark Gabel, Zhendong Su
Testing mined specifications. SIGSOFT FSE (2012)
Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su
Scalable and systematic detection of buggy inconsistencies in source code. OOPSLA (2010)
Mark Gabel, Zhendong Su
Online inference and enforcement of temporal properties. ICSE (1) (2010)
Mark Gabel, Zhendong Su
A study of the uniqueness of source code. SIGSOFT FSE (2010)
Mark Gabel, Zhendong Su
Javert: fully automatic mining of general temporal properties from dynamic traces. SIGSOFT FSE (2008)
Mark Gabel, Lingxiao Jiang, Zhendong Su
Scalable detection of semantic clones. ICSE (2008)
Mark Gabel, Zhendong Su
Symbolic mining of temporal specifications. ICSE (2008)
Mark Gabel, Michael Haungs
CAMP: A Common API for Measuring Performance. LISA (2007)