Founder & CEO
|[Link to OpenRefactory] [Publications]|
I am the founder and CEO of OpenRefactory, Inc., focusing on building software tools to allow developers to automatically fix security problems. Currently, OpenRefactory is offering tools for C and Java (+ Android) developers.
I was a Senior Software Engineer at Coverity from 2015-2016 and an Assistant Professor at the Department of Computer Science and Software Engineering at Auburn University from 2011-2015. I got my Ph.D. from University of Illinois at Urbana-Champaign in 2010.
My company is currently funded by an SBIR award from the National Science Foundation. My research was previously supported by awards from the National Science Foundation (NSF), Google, Mozilla, and Auburn University Startup Fund.
Currently at OpenRefacory:
OpenRefactory/C and OpenRefactory/Java: Go to OpenRefactory company page.
07/20 - iCR for Java 2.0 is released.
07/16 - OpenRefactory, Inc. receives NSF SBIR award.
05/16 - Two Papers at ICSE 2016. Winner of the Best Paper Award at ICSE 2016.
11/14 - ACM Distinguished Paper Award Nominee at FSE 2014.
09/14 - Best Paper Award at ESEM 2014.
06/13 - Zack Coker from my Group wins
the ACM SRC Grand Finals 2013 in undergrad category. Earlier, he won the ACM SRC at SPLASH 2012.
1. S. Hasan, Z. King, M. Hafiz, M. Sayagh, B. Adams and A. Hindle. Energy Profiles for Java Collection Classes. In Proceedings of the 38th International Conference of Software Engineering (ICSE 2016), Austin, TX, May 2016. [Best Paper Award] [Acceptance Rate: 101/530 (19%)]
2. N. Sultana, J. Middleton, J, Overbey and M. Hafiz. Understanding and Fixing Multiple Language Interoperability Issues: The C/Fortran Case. In Proceedings of the 38th International Conference of Software Engineering (ICSE 2016), Austin, TX, May 2016. [Acceptance Rate: 101/530 (19%)]
3. J. Overbey, F. Behrang and M. Hafiz. A Foundation for Refactoring C with Macros. In Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014, Hong Kong, Nov 2014. [Acceptance Rate: 61/273 (22%)]
4. A. Bosu, J. Carver, M. Hafiz, P. Hilley and D. Janni. Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study. In Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014, Hong Kong, Nov 2014. [Acceptance Rate: 61/273 (22%)]
5. M. Fang and M. Hafiz. Discovering Buffer Overflow Vulnerabilities In The Wild: An Empirical Study. In Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2014, Torino, Italy, September 2014. [Best Paper Award]
[Acceptance Rate: 23/123 (18.7%)]
7. A. Shaw, D. Doggett and M. Hafiz. Program Transformations to fix C Buffer Overflows. In Proceedings of the 44th Annual IEEE/IFIP Conference on Dependable Systems and Networks, DSN 2013, Atlanta, GA, June 2014. [Acceptance Rate: 56/242 (23.1%)]
8. J. Overbey, R. Johnson and M. Hafiz. Differential Precondition Checking: A Language-Independent, Reusable Analysis for Refactoring Engines. To be published in Automated Software Engineering, 2014.
9. M. Gligoric, F. Behrang, J. Overbey, M. Hafiz and D. Marinov. Systematic Testing of Refactoring Engines on Real Software Projects. In Proceedings of the European Conference on Object-Oriented Programming, ECOOP 2013, Montpellier, France, July 2013. [Acceptance Rate: 29/116 (25%)]
10. Z. Coker and M. Hafiz. Program Transformations to Fix C Integers. In Proceedings of the 35th International Conference of Software Engineering (ICSE 2013), San Francisco, CA, May 2013. [Acceptance Rate: 85/461 (18.5%)]
11. C. Liu, J. Yang, L. Tan and M. Hafiz. R2Fix: Automatically Generating Bug Fixes from Bug Reports. In Proceedings of the International Conference on Software Testing, Verification, and Validation, ICST 2013, Luxembourg, March 2013. [Acceptance Rate: 38/152 (25%)]
12. M. Hafiz, P. Adamczyk, and R. Johnson. Growing a Pattern Language (for Security). In OOPSLA12: Proceedings of the ACM International Conference on Object-oriented Programming Systems Languages and Applications. Tucson, AZ. Oct, 2012. [Acceptance Rate: 11/43 (26%)]
13. M. Hafiz, P. Adamczyk and R. Johnson. Systematically Eradicating Data Injection Attacks using Security-oriented Program Transformations. In ESSoS09: Symposium on Engineering Secure Software and Systems. Leuven, Belgium. Feb, 2009. [Acceptance Rate: 9/52 (17%)]
14. M. Hafiz and R. Johnson. Evolution of the MTA Architecture: An Impact of Security. Software---Practice and Experience, 38(15):1569-1599, Dec 2008.
Last modified: Jan 14, 2017