Home > Research > Researchers > Professor Mira Mezini > Publications

Professor Mira Mezini

Formerly at Lancaster University

  1. 2016
  2. Published

    Jumping through hoops: why do Java developers struggle with cryptography APIs?

    Nadi, S., Kruger, S., Mezini, E. & Bodden, E., 04/2016, ICSE '16 Proceedings of the 38th International Conference on Software Engineering. New York: ACM, p. 935-946 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    Cooperative decoupled processes: the e-calculus and linearity

    Bejleri, A., Mezini, E. & Eugster, P., 14/03/2016, MODULARITY 2016 Proceedings of the 15th International Conference on Modularity. New York: ACM, p. 82-93 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  4. Published

    CPL: a core language for cloud computing

    Bračevac, O., Erdweg, S., Salvaneschi, G. & Mezini, E., 2016, MODULARITY 2016 Proceedings of the 15th International Conference on Modularity. New York: ACM, p. 94-105 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Published

    MUBench: a benchmark for API-misuse detectors

    Amani, S., Nadi, S., Nguyen, H. A., Nguyen, T. N. & Mezini, E., 2016, MSR '16 Proceedings of the 13th International Conference on Mining Software Repositories. New York: ACM, p. 464-467 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. 2015
  7. Published

    Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T)

    Lerch, J., Späth, J., Bodden, E. & Mezini, E., 9/11/2015, Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on . Nebraska: IEEE Press, p. 619-629 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    A co-contextual formulation of type rules and its application to incremental type checking

    Erdweg, S., Bračevac, O., Kuci, E., Krebs, M. & Mezini, E., 25/10/2015, OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. New York: ACM, p. 880-897 18 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  9. Published

    Type systems for the masses: deriving soundness proofs and efficient checkers

    Grewe, S., Erdweg, S., Wittmann, P. & Mezini, E., 23/10/2015, Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!). New York: ACM, p. 137-150 14 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  10. 2013
  11. Published

    Detecting missing method calls as violations of the majority rule

    Monperrus, M. & Mezini, M., 02/2013, In: ACM Transactions on Software Engineering and Methodology. 22, 1, 25 p., 7.

    Research output: Contribution to journalJournal articlepeer-review

  12. Published

    SPLLIFT: statically analyzing software product lines in minutes instead of years

    Bodden, E., Tolêdo, T., Ribeiro, M., Brabrand, C., Borba, P. & Mezini, M., 2013, Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation (PLDI 2013). New York, NY, USA: ACM, p. 355-364 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  13. 2012
  14. Published

    What should developers be aware of? an empirical study on the directives of API documentation

    Monperrus, M., Eichberg, M., Tekes, E. & Mezini, M., 1/12/2012, In: Empirical Software Engineering. 17, 6, p. 703-737 35 p.

    Research output: Contribution to journalJournal articlepeer-review

  15. Published

    Semi-automatically extracting FAQs to improve accessibility of software development knowledge

    Henss, S., Monperrus, M. & Mezini, M., 2012, Software Engineering (ICSE), 2012 34th International Conference on. Piscataway, NJ, USA: IEEE Press, p. 793-803 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  16. 2011
  17. Published

    Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine

    Sewe, A., Mezini, M., Sarimbekov, A. & Binder, W., 2011, OOPSLA '11 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications. New York, NY, USA: ACM, p. 657-676 20 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  18. Published

    Taming reflection: aiding static analysis in the presence of reflection and custom class loaders

    Bodden, E., Sewe, A., Sinschek, J., Oueslati, H. & Mezini, M., 2011, Proceedings of the 33rd International Conference on Software Engineering (ICSE '11). New York, NY, USA: ACM, p. 241-250 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  19. 2009
  20. Published

    Learning from examples to improve code completion systems

    Bruch, M., Monperrus, M. & Mezini, M., 2009, Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM Symposium on the Foundations of Software Engineering (ESEC/FSE '09). New York: ACM, p. 213-222 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  21. 2008
  22. Published

    Defining and continuous checking of structural program dependencies

    Eichberg, M., Kloppenburg, S., Klose, K. & Mezini, M., 2008, Proceedings of the 30th International Conference on Software Engineering (ICSE '08) . New York: ACM, p. 391-400 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  23. Published

    Mining framework usage changes from instantiation code

    Schäfer, T., Jonas, J. & Mezini, M., 2008, ICSE '08 Proceedings of the 30th international conference on Software engineering. New York: ACM, p. 471-480 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top