1. 2018
  2. Compositional soundness proofs of abstract interpreters

    Keidel, S., Poulsen, C. & Erdweg, S., 1 Sep 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery (ACM), Vol. 2. 72

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. Scalable Incremental Building with Dynamic Task Dependencies

    Konat, G., Erdweg, S. & Visser, E., Sep 2018, ASE 2018 Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering . New York: Association for Computing Machinery (ACM), p. 76-86

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  4. To-many or to-one? All-in-one! Efficient purely functional multi-maps with type-heterogeneous hash-tries

    Steindorfer, M. J. & Vinju, J. J., 11 Jun 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 283-295 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. PIE: A Domain-Specific Language for Interactive Software Development Pipelines

    Konat, G., Steindorfer, M., Erdweg, S. & Visser, E., 29 Mar 2018, In : Art, Science, and Engineering of Programming. 2, 3, p. 1-31 31 p., 9.

    Research output: Contribution to journalArticleScientificpeer-review

  6. Towards Zero-Overhead Disambiguation of Deep Priority Conflicts

    de Souza Amorim, L. E., Steindorfer, M. J. & Visser, E., 29 Mar 2018, In : Art, Science, and Engineering of Programming. 2, 3, 26 p., 13.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E., 10 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16.

    Research output: Contribution to journalArticleScientificpeer-review

  8. RustBelt: securing the foundations of the rust programming language

    Jung, R., Jourdan, J-H., Krebbers, R. & Dreyer, D., Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 66:1-66:34 34 p., 66.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages

    de Souza Amorim, L. E., Erdweg, S., Steindorfer, M. J. & Visser, E., 2018, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018. Pearce, D., Friedrich, S. & Mayerhofer, T. (eds.). Association for Computing Machinery (ACM), p. 3-15 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Exploration of language specifications by compilation to first-order logic

    Grewe, S., Erdweg, S., Pacak, A., Raulf, M. & Mezini, M., 2018, In : Science of Computer Programming. 155, p. 146-172 27 p.

    Research output: Contribution to journalArticleScientificpeer-review

  11. Iris from the ground up: A modular foundation for higher-order concurrent separation logic

    Jung, R., Krebbers, R., Jourdan, J-H., Bizjak, A., Birkedal, L. & Dreyer, D., 2018, In : Journal of Functional Programming. 28, p. e20

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 3 4 5 6 7 Next

ID: 19976