Items where Author is "Mezini, Ermira"

Contribution in Book/Report/Proceedings

Nadi, Sarah and Kruger, Stefan and Mezini, Ermira and Bodden, Eric (2016) Jumping through hoops : why do Java developers struggle with cryptography APIs? In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering :. ACM, New York, pp. 935-946. ISBN 9781450339001

Bejleri, Andi and Mezini, Ermira and Eugster, Patrick (2016) Cooperative decoupled processes : the e-calculus and linearity. In: MODULARITY 2016 Proceedings of the 15th International Conference on Modularity :. ACM, New York, pp. 82-93. ISBN 9781450339957

Bračevac, Oliver and Erdweg, Sebastian and Salvaneschi, Guido and Mezini, Ermira (2016) CPL : a core language for cloud computing. In: MODULARITY 2016 Proceedings of the 15th International Conference on Modularity :. ACM, New York, pp. 94-105. ISBN 9781450339957

Amani, Sven and Nadi, Sarah and Nguyen, Hoan A. and Nguyen, Tien N. and Mezini, Ermira (2016) MUBench : a benchmark for API-misuse detectors. In: MSR '16 Proceedings of the 13th International Conference on Mining Software Repositories :. ACM, New York, pp. 464-467. ISBN 9781450341868

Lerch, Johannes and Späth, Johannes and Bodden, Eric and Mezini, Ermira (2015) Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T). In: Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on :. IEEE Press, Nebraska, pp. 619-629. ISBN 978150900025815

Erdweg, Sebastian and Bračevac, Oliver and Kuci, Edlira and Krebs, Matthias and Mezini, Ermira (2015) A co-contextual formulation of type rules and its application to incremental type checking. In: OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications :. ACM, New York, pp. 880-897. ISBN 9781450336895

Grewe, Sylvia and Erdweg, Sebastian and Wittmann, Pascal and Mezini, Ermira (2015) Type systems for the masses : deriving soundness proofs and efficient checkers. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) :. ACM, New York, pp. 137-150. ISBN 9781450336888