Home > Research > Researchers > Professor Mira Mezini > Publications

Research

Professor Mira Mezini

Formerly at Lancaster University

1 - 10 out of 16Page size: 10
RSS feed of this list
  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/ISSN › Conference contribution/Paper › peer-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/ISSN › Conference contribution/Paper › peer-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/ISSN › Conference contribution/Paper › peer-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/ISSN › Conference contribution/Paper › peer-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/ISSN › Conference contribution/Paper › peer-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/ISSN › Conference contribution/Paper › peer-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/ISSN › Conference contribution/Paper › peer-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 Journal/Magazine › Journal article › peer-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/ISSN › Conference contribution/Paper › peer-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 Journal/Magazine › Journal article › peer-review

Previous 1 2 Next

Back to top