Travelled to:1 × Germany
1 × South Africa
1 × Switzerland
4 × USA
Collaborated with:Z.Su L.Jiang A.Hindle E.T.Barr P.T.Devanbu J.Yang Y.Yu M.Goldszmidt
Talks about:tempor (3) mine (3) properti (2) scalabl (2) specif (2) detect (2) sourc (2) code (2) inconsist (1) systemat (1)
Person: Mark Gabel
DBLP: Gabel:Mark
Contributed to:
2012
201220102010
201020082008Wrote 8 papers:
- FSE-2012-GabelS #specification #testing
- Testing mined specifications (MG, ZS), p. 4.
- ICSE-2012-HindleBSGD #on the
- On the naturalness of software (AH, ETB, ZS, MG, PTD), pp. 837–847.
- FSE-2010-GabelS #case study #source code
- A study of the uniqueness of source code (MG, ZS), pp. 147–156.
- ICSE-2010-GabelS #online
- Online inference and enforcement of temporal properties (MG, ZS), pp. 15–24.
- OOPSLA-2010-GabelYYGS #consistency #detection #nondeterminism #scalability #source code
- Scalable and systematic detection of buggy inconsistencies in source code (MG, JY, YY, MG, ZS), pp. 175–190.
- FSE-2008-GabelS #automation #mining #named
- Javert: fully automatic mining of general temporal properties from dynamic traces (MG, ZS), pp. 339–349.
- ICSE-2008-GabelJS #detection #scalability #semantics
- Scalable detection of semantic clones (MG, LJ, ZS), pp. 321–330.
- ICSE-2008-GabelS #mining #specification
- Symbolic mining of temporal specifications (MG, ZS), pp. 51–60.