Javascript must be enabled to use this form.

UTDallas Research Explorer
 View Profile
    Faculty Profile — Is this you? Login to edit.Last Modified Time: 06:25:24 PM Fri, 29 Jun 2012 

This site is going away soon - please visit the new URL for this page.

You will be automatically redirected in 10 seconds.

Image of  Mark  Gabel
 Contact InformationHelpHelp  
Mark Gabel
Assistant Professor-Computer Science, Department of
Office MailstopMail Box: EC31, Room No.: ECSS 4.406 | 
Email Address    Secondary Phone Number 972-883-4246    Media Contact
Keywords Software Engineering, program understanding, software maintenance, software bugs   
 Professional Preparation
 BSComputer ScienceCalifornia Polytechnic State University 
 MSComputer ScienceCalifornia Polytechnic State University 
 PhDComputer ScienceUC Davis 
Collapse Section Expand Section Research and Expertise
About Me

 I am an Assistant Professor of Computer Science at the University of Texas at Dallas.  I completed my Ph.D. at UC Davis under the guidance of Professor Zhendong Su.  My focus then and now has been solving research problems in Software Engineering.

News (6/17): I'm happy to announce that my new paper "Testing Mined Specifications" has been accepted for publication at FSE 2012.  This research is part of my doctoral dissertation on specification inference.  My dissertation also includes research described in the papers "Symbolic Mining of Temporal Specifications" (ICSE 2008), "Javert: Fully Automatic Detection of General Temporal Properties" (FSE 2008), and "Online Inference and Enforcement of Temporal Properties" (ICSE 2010).


I have been working with software for over a decade now and it has always fascinated me: I find software systems (when they work) to be incredible feats of human organization and automation.

Unfortunately, the development process is difficult and frustratingly inconsistent.  My research aims to improve this situation with new automated program analysis tools that assist with the difficult tasks of program understanding, software maintenance, and finding and fixing software bugs.

I am actively recruiting M.S. and Ph.D. students to join my research group.  If you are interested and are currently a student at UT Dallas, please consider enrolling in my course this fall.  I would also encourage any interested prospective students to apply to UT Dallas.

Please see my research page and my papers for more information.

Collapse Section Expand Section Publications
 1  2  
  YearPublication  Type
Testing Mined Specifications. Mark Gabel and Zhendong Su. To appear in Proceedings of the 2012 SIGSOFT International Symposium on the Foundations of Software Engineering (FSE '12). Research Triangle Park, North Carolina, USA.
On the Naturalness of Software. Abram Hindle, Earl Barr, Zhendong Su, Mark Gabel, and Premkumar Devanbu. In Proceedings of the 2012 International Conference on Software Engineering (ICSE '12). Zurich, Switzerland.
A Study of the Uniqueness of Source Code. Mark Gabel and Zhendong Su. In Proceedings of the 2010 SIGSOFT International Symposium on the Foundations of Software Engineering (FSE '10). Santa Fe, New Mexico, USA.
Online Inference and Enforcement of Temporal Properties. Mark Gabel and Zhendong Su
In Proceedings of the 2010 International Conference on Software Engineering (ICSE '10). Cape Town, South Africa.

Scalable and Systematic Detection of Buggy Inconsistencies in Source Code. Mark Gabel, Junfeng Yang, Yuan Yu, Moises Goldszmidt, and Zhendong Su. In Proceedings of the 2010 ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, OOPSLA Research Papers Track (SPLASH/OOPSLA '10). Reno, Nevada, USA.
       Teaching HelpHelp  
Please verify the information in this request and mention any changes or suggestions in the comments section. Email notifications and confirmations regarding this will be sent to you at fromEmail and the profile owner. If you would like to receive it at a different email address, please change the email address listed on your profile.
© 2018-2019 The University of Texas at Dallas About Explorer | Accessibility | Contact Explorer Team