About

I received my Ph.D. in Computer Science from the University of Virginia in 2013, where I studied under the mentorship of Kevin Sullivan. Since my graduation, I have been working as a postdoctoral researcher with Sam Malek of University of California, Irvine. I have also visited CSAIL MIT as a postdoctoral research fellow working with Daniel Jackson.
I am broadly interested in software engineering, and particularly in advancing software security and reliability by developing new methods and tools relying on concepts from fields like lightweight formal methods, software synthesis, software testing, model-driven development, and software architecture. 

Refereed Publications

Journal Articles

Hamid Bagheri, Alireza Sadeghi, Joshua Garcia and Sam Malek, “COVERT: Compositional Analysis of Android Inter-App Permission Leakage,” IEEE Transactions on Software Engineering (IEEE TSE), Vol. 41, No. 9, pp. 866–886, September 2015.  (Nominated for the Journal First Paper)

Hamid Bagheri and Kevin Sullivan, “Model-Driven Synthesis of Formally Precise Stylized Software Architectures,” Journal of Formal Aspects of Computing (Springer FAoC). (accepted)

Hamid Bagheri, Chong Tang, and Kevin Sullivan, “Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping,” IEEE Transactions on Software Engineering (IEEE TSE). (accepted with minor revision)

Conference Papers

Hamid Bagheri, Alireza Sadeghi, Reyhaneh Jabbarvand Behrouz and Sam Malek, “Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android,” To appear in Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2016. (acceptance rate: 20%)

Nariman Mirzaei, Joshua Garcia, Hamid Bagheri, Alireza Sadeghi and Sam Malek, “Reducing Combinatorics in GUI Testing of Android Apps,” To appear in Proceedings of the International Conference on Software Engineering (ICSE) 2016. (acceptance rate: 19%)

Hamid Bagheri, Eunsuk Kang, Sam Malek and Daniel Jackson, “Detection of Design Flaws in the Android Permission Protocol through Bounded Verification,” International Symposium on Formal Methods (FM 2015), Oslo, Norway, pp. 73–89, 2015. (acceptance rate: 26%)  (Invited for Journal special issue)

Nariman Mirzaei, Hamid Bagheri, Riyadh Mahmood, and Sam Malek, “SIG-Droid: Automated System Input Generation for Android Applications,” Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), Gaithersburg, MD, 2015. (acceptance rate: 19%)

Ehsan Kouroshfar, Mehdi Mirakhorli, Hamid Bagheri, Lu Xiao, Sam Malek and Yuanfang Cai. “A Study on the Role of Software Architecture in the Evolution and Quality of Software,” International Conference on Mining Software Repositories (MSR'15), Florence, Italy, pp. 246–257, 2015. (acceptance rate: 30%)

Hamid Bagheri, Chong Tang and Kevin Sullivan, “TradeMaker: Automated Dynamic Analysis of Synthesized Tradespaces,” Proceedings of the International Conference on Software Engineering (ICSE 2014), pp. 106–116, 2014. (acceptance rate: 20%)

Hamid Bagheri, Kevin Sullivan, “Bottom-up Model-driven Development,” Proceedings of the International Conference on Software Engineering (ICSE 2013), New Ideas and Emerging Results track, San Francisco, California, pp. 1221–1224, 2013. (acceptance rate: 22%)

Hamid Bagheri, Kevin Sullivan, “Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications,” Proceedings of the 11th ACM SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE 2012), Dresden, Germany, pp. 93–102. 2012. (acceptance rate: 34%)

Hamid Bagheri, Kevin Sullivan, Sang Son, “Spacemaker: Practical formal synthesis of tradeoff spaces for object-relational mapping,” Proceedings of the 24th Inter- national Conference on Software Engineering and Knowledge Engineering (SEKE 2012), San Francisco Bay, California, 2012. (acceptance rate: 27%)  (Distinguished Paper)

Hamid Bagheri, Kevin Sullivan, “Monarch: Model-based Development of Software Architectures,” Proceedings of the 13th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Lecture Notes in Computer Science 6395, pp. 376–390, 2010. (acceptance rate: 20%)

Hamid Bagheri, Yuanyuan Song, Kevin Sullivan, “Architectural style as an Independent Variable,” Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, pp. 159–162, 2010.

Hamid Bagheri, Kevin Sullivan, “A Formal Approach to Software Synthesis for Architectural Platforms,” Proceedings of the International Conference on Software Engineering -- ACM Student Research Competition, Honolulu, HI, USA, 2011.

Hamid Bagheri, Kevin Sullivan, “A Formal Approach for Incorporating Architectural Tactics into the Software Architecture,” Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering, Miami, USA, 2011. (acceptance rate: 33%)

Hamid Bagheri, Kevin Sullivan, “Towards a Systematic Approach for Software Synthesis,” Proceedings of the 3rd International Workshop On Model Based Architecting And Construction Of Embedded Systems, Oslo, Norway, 2010.

Hamid Bagheri, Kevin Sullivan, “Architecture as an Independent Variable for Aspect-Oriented Application Descriptions,” Proceedings of the international conference on Abstract State Machines, B and Z (ABZ 2010), LNCS 5977, Canada, 2010.

Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi, “An Evaluation Method for Aspectual Modeling of Distributed Software Architecture,” Proceedings of the 6th IEEE/ACS International Conference on Computer Systems and Applications, 2008.

Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, “Injecting security as aspectable NFR into Software Architecture,” Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), Japan, pp. 310–317, 2007. (acceptance rate: 31%)

Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hesam Chiniforooshan Esfahani, “An Aspect Enhanced Method of NFR Modeling in Software Architecture,” Proceedings of the 10th IEEE International Conference on Information Technology, 2007.
 

Submissions/Working Papers

Hamid Bagheri and Sam Malek, “Titanium: Efficient Analysis of Evolving Alloy Specifications,” Submitted to ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), 2016.

Hamid Bagheri, Joshua Garcia, Alireza Sadeghi, Sam Malek and Nenad Medvidovic, “Software Architectural Principles in Contemporary Mobile Software: from Conception to Practice,” Journal of Systems and Software (JSS), In preparation for resubmission after a major revision.

Technical Reports

Chong Tang, Kevin Sullivan and Hamid Bagheri, “Specification-Driven Tradespace Analysis,” Technical Report #CS-2015-1, Department of Computer Science, University of Virginia, Feb. 2015.

Hamid Bagheri, Kevin Sullivan, “Architecturally Correct-by-Construction Synthesis for Contemporary Frameworks and Middleware Platforms,” Technical Report #CS-2010-15, Department of Computer Science, University of Virginia, Dec. 2010.

Hamid Bagheri, Yuanyuan Song, Kevin Sullivan, “Architecture as an Independent Variable,” Technical Report #CS-2009-11, Department of Computer Science, University of Virginia, Nov. 2009.

Teaching Experience

Guest Lecturer, Introduction to Computing: Explorations in Language, Logic, and Machines, University of Virginia, 2013.
Guest Lecturer, Introduction to Computing: Explorations in Language, Logic, and Machines, University of Virginia, 2012.
Guest Lecturer, Special Topics in Computer Science, Computational Photography, University of Virginia, 2010.
Teaching Assistant, Software Engineering, Sharif University of Technology, 2007.
Teaching Assistant, Software Engineering, Sharif University of Technology, 2006.
Teaching Assistant, Internet Engineering, University of Tehran, 2004.
Instructor, Computer Course, Rouzbeh High School, Tehran, Iran, 2004.

Services

                  IEEE Transactions on Software Engineering (IEEE TSE),
                  IEEE Software,
                  International Journal on Software Engineering and Knowledge Engineering,
                  International Conference on Fundamental Approaches to Software Engineering (FASE 2015),
                  The European Conference on Software Architecture (ECSA 2015),
                  Working IEEE/IFIP Conference on Software Architecture (WICSA 2014),
                  International Conference on Software Engineering (ICSE 2010)

                  International Conference on Software Engineering and Knowledge Engineering, 2012– 2015
 

My academic genealogy