Hamid Bagheri

Hamid Bagheri is an Assistant Professor in the Department of Computer Science and Engineering at University of Nebraska-Lincoln. He is a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine. Bagheri is a co-director of the ESQuaReD Laboratory at UNL. Prior to joining UNL, he was a project scientist in ISR at University of California, Irvine, and also a postdoctoral research fellow at Massachusetts Institute of Technology. He obtained his PhD in Computer Science from University of Virginia in 2013. His research interest lies in Software Engineering and Formal methods, with a focus on advancing software reliability by developing new methods and tools relying on concepts from fields like lightweight formal methods, software synthesis, model-driven development, and software architecture. His publications in several conferences have been recognized as best papers.


News

  • [2017.07] Our paper is accepted to appear at ASE 2018
  • [2017.07] Our paper is accepted to appear at ESEC/FSE 2018, industry track
  • [2017.06] Our paper is shortlisted for a best paper award at ICSME 2018
  • [2017.12] Our paper is accepted to appear at ICSE 2018
  • [2017.12] Awarded NSF CISE Research Initiation Initiative (CRII) Grant
  • [2017.06] Awarded UNL Collaboration Initiative Seed Grant
  • [2017.05] Two papers are accepted to appear at IEEE TSE 2017
  • [2017.05] Paper presented at ICSA 2017
  • [2017.05] Awarded NSF EPSCoR First Award
  • [2016.11] Paper presented at FSE 2016
  • [2016.07] Paper presented at DSN 2016
  • [2016.05] Paper presented at ICSE 2016
  • [2016.05] Our paper is accepted to appear at ISSTA 2016
  • [2016.03] Awarded NSF SHF research Grant

  • Selected Publications

    2018
    • A Formal Approach for Detection of Security Flaws in the Android Permission System
      Hamid Bagheri, Eunsuk Kang, Sam Malek, and Daniel Jackson
      Springer Journal on Formal Aspects of Computing, Vol. 30, No. 5, pp. 525–544, September 2018.
      [PDF]
    2017
    • A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software
      Alireza Sadeghi, Hamid Bagheri, Joshua Garcia and Sam Malek
      IEEE Transactions on Software Engineering (IEEE TSE), Vol. 43, No. 6, pp. 492–530, 2017. (Journal First Paper)
      [PDF]
    • Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping
      Hamid Bagheri, Chong Tang, and Kevin Sullivan
      IEEE Transactions on Software Engineering (IEEE TSE), Vol. 43, No. 2, pp. 145–163, 2017.
      [PDF]
    • Towards designing effective data persistence through tradeoff space analysis
      Chong Tang, Hamid Bagheri, Sarun Paisarnsrisomsuk and Kevin Sullivan
      39th International Conference on Software Engineering - Companion Volume (ICSE 2017), Buenos Aires, Argentina, May 20-28, 2017.
    • Determination and Enforcement of Least-Privilege Architecture in Android
      Mahmoud Hammad, Hamid Bagheri and Sam Malek
      2017 IEEE International Conference on Software Architecture (ICSA), Gothenburg, Sweden, April 3-7, 2017. (22% acceptance rate)  (nominated for the Best Paper Award)
      [PDF]
    2016
    • Titanium: Efficient Analysis of Evolving Alloy Specifications
      Hamid Bagheri and Sam Malek
      24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), Seattle, WA, November 2016. (27% acceptance rate)
      [PDF]
    • Reducing Combinatorics in GUI Testing of Android Apps
      Nariman Mirzaei, Joshua Garcia, Hamid Bagheri, Alireza Sadeghi and Sam Malek
      38th International Conference on Software Engineering (ICSE 2016), Austin, TX, May 2016. (19% acceptance rate)
      [PDF]
    • Energy-Aware Test-Suite Minimization for Android Apps
      Reyhaneh Jabbarvand, Alireza Sadeghi, Hamid Bagheri and Sam Malek
      International Symposium on Software Analysis and Testing (ISSTA), Saarbrucken, Germany, July 2016. (25% acceptance rate)
      [PDF]
    • Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android
      Hamid Bagheri, Alireza Sadeghi, Reyhaneh Jabbarvand and Sam Malek
      46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), Toulouse, France, June 2016. (20% acceptance rate)
      [PDF]
    • Architecture Modeling and Analysis of Security in Android Systems
      Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Camara and David Garlan
      10th European Conference on Software Architecture (ECSA 2016), Copenhagen, Denmark, November 28–December 2, 2016. (14% acceptance rate)  (Invited for Journal special issue)
    • Software Architectural Principles in Contemporary Mobile Software: from Conception to Practice
      Hamid Bagheri, Joshua Garcia, Alireza Sadeghi, Sam Malek and Nenad Medvidovic
      Journal of Systems and Software (Elsevier JSS), Vol. 119, pp. 31–44, 2016.  (Journal First Paper)
      [PDF]
    • Model-Driven Synthesis of Formally Precise Stylized Software Architectures
      Hamid Bagheri and Kevin Sullivan
      Springer Journal on Formal Aspects of Computing, Vol. 28, No. 3, pp. 441–467, 2016.
      [PDF]
    2015
    • COVERT: Compositional Analysis of Android Inter-App Permission Leakage
      Hamid Bagheri, Alireza Sadeghi, Joshua Garcia and Sam Malek
      IEEE Transactions on Software Engineering (IEEE TSE), Vol. 41, No. 9, pp. 866–886, September 2015.  (Journal First Paper)
      [PDF]
    • Detection of Design Flaws in the Android Permission Protocol through Bounded Verification
      Hamid Bagheri, Eunsuk Kang, Sam Malek and Daniel Jackson
      20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 2015. (26% acceptance rate)  (Invited for Journal special issue)
      [PDF]
    • SIG-Droid: Automated System Input Generation for Android Applications
      Nariman Mirzaei, Hamid Bagheri, Riyadh Mahmood, and Sam Malek
      26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), Gaithersburg, MD, November 2015. (19% acceptance rate)
      [PDF]
    • A Study on the Role of Software Architecture in the Evolution and Quality of Software
      Ehsan Kouroshfar, Mehdi Mirakhorli, Hamid Bagheri, Lu Xiao, Sam Malek and Yuanfang Cai
      12th Working Conference on Mining Software Repositories (MSR 2015), Florence, Italy, May 2015. (30% acceptance rate)
      [PDF]
    2014 & before
    • TradeMaker: Automated Dynamic Analysis of Synthesized Tradespaces
      Hamid Bagheri, Chong Tang, and Kevin Sullivan
      36th International Conference on Software Engineering (ICSE 2014), May 2014. (20% acceptance rate)
      [PDF]
    • Bottom-up Model-driven Development
      Hamid Bagheri and Kevin Sullivan
      35th International Conference on Software Engineering (ICSE 2013), New Ideas and Emerging Results track, San Francisco, California, USA, May 2013. (22% acceptance rate)
      [PDF]
    • Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications
      Hamid Bagheri and Kevin Sullivan
      11th ACM SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE 2012), Dresden, Germany, 2012. (acceptance rate: 34%)
    • A Formal Approach to Software Synthesis for Architectural Platforms
      Hamid Bagheri
      33rd International Conference on Software Engineering (ICSE 2011), ACM Student Research Competition, Honolulu, HI, USA, May 2011.
    • Monarch: Model-based Development of Software Architectures
      Hamid Bagheri and Kevin Sullivan
      13th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, October 2010. (acceptance rate: 20%)
    • Architectural style as an Independent Variable
      Hamid Bagheri, Yuanyuan Song, and Kevin Sullivan
      25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, 2010.
    A complete list of publications is available at Google Scholar and DBLP. It typically takes a few months for these sources to be updated. Please send me an email if you are interested in a recent paper.


    Service

    • Journal Reviewer

                      IEEE Transactions on Software Engineering, since 2015
                      ACM Transactions on Software Engineering and Methodology, since 2016
                      IEEE Transactions on Software Reliability, since 2017
                      IEEE Transactions on Dependable and Secure Computing, since 2017
                      IEEE Software, since 2015
                      International Journal on Software Tools for Technology Transfer, since 2015
                      International Journal on Software Engineering and Knowledge Engineering, since 2014
                      Science of Computer Programming, since 2016
                      Journal of Information Security and Applications, since 2017

    • Conference Reviewer

                      ICSE New Ideas and Emerging Results (ICSE NIER), PC member 2019
                      IEEE/ACM International Conference on Automated Software Engineering (ASE), PC member 2018
                      International Symposium on Software Testing and Analysis Tool Demonstrations, PC Co-Chair 2018
                      International Symposium on Foundations of Software Engineering Demonstration, PC member 2018
                      International Workshop on Establishing the Community-Wide Infrastructure for Architecture-Based
                      Software Engineering, PC member 2017
                      International Conference on Software Engineering & Knowledge Engineering, PC member 2012–2017
                      Foundations of Software Engineering Doctoral Symposium, 2017
                      The European Conference on Software Architecture (ECSA), 2016
                      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


     


    Awards

    • NSF SHF CRII, Leveraging Synthesis for Dynamic Design Space Analysis, 2018 - 2020

    • NSF SHF, Efficient Formal Analysis of Evolving Software Systems, 2016 - 2019

    • UNL Collaboration Initiative Seed Grant, A Model-Based Approach to Dependability for a Family of Surgical Robots, 2017 - 2019

    • NSF EPSCoR First Award, Scalable Software Verification through Automated Derivation of Domain-Specific Optimization, 2017 - 2018

     


    My academic genealogy

    • Hamid Bagheri
    • -> Kevin Sullivan
    • -> David Notkin
    • -> Nico Habermann
    • -> Edsger Dijkstra