1. 2018
  2. GUARDIA: specification and enforcement of javascript security policies without VM modifications

    Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 12 Sep 2018, Proceedings of the 15th International Conference on Managed Languages & Runtimes. Association for Computing Machinery (ACM), 15 p. 17

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  3. Toward Hybrid Enforcement of Security Policies in JavaScript Applications

    Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 12 Sep 2018.

    Research output: Unpublished contribution to conferencePosterResearch

  4. DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-Based Participatory Sensing Platforms

    Zaman, J., 4 Sep 2018.

    Research output: Unpublished contribution to conferencePosterResearch

  5. OCELOT: a Search-Based Test-Data Generation Tool for C

    Scalabrino, S., Grano, G., Di Nucci, D., Guerra, M., De Lucia, A., Gall, H. & Oliveto, R., 3 Sep 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). ACM / IEEE, p. 868-871 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  6. A Test Case Prioritization Genetic Algorithm guided by the Hypervolume Indicator

    Di Nucci, D., Panichella, A., Zaidman, A. & De Lucia, A., 30 Aug 2018, In : IEEE Transactions on Software Engineering. (Online First), p. 1-24 24 p.

    Research output: Contribution to journalArticleResearchpeer-review

  7. Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof

    Winant, T. & Devriese, D., 30 Jul 2018, arXiv. 42 p.

    Research output: Book/ReportOther reportResearch

  8. Assessing primitives performance on multi-stage execution

    Kaleba, S., Bera, C. & Miranda, E., 17 Jul 2018, Proceedings of the 13th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018 - Co-located with the European Conference on Object-Oriented Programming. p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  9. Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory

    Nuyts, A. & Devriese, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., p. 779-788 10 p. (Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  10. Static typing of complex presence constraints in interfaces

    Oostvogels, N., De Koster, J. & De Meuter, W., 5 Jul 2018, 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Millstein, T. (ed.). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 109. p. 14:1-14:27 27 p. 14

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  11. Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading

    Stiévenart, Q., Jul 2018, In : Journal of Functional Programming. 28, e17, p. 22-23 2 p.

    Research output: Contribution to journalMeeting abstract (Journal)Research

Previous 12 3 4 5 6 7 8 9 ...48 Next

ID: 25292