Research output

  1. Compositional soundness proofs of abstract interpreters

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

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

    Research output: Contribution to journalArticleScientificpeer-review

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

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

View all (31) »

Activities

  1. IncAL: A DSL for Incremental Program Analysis with Lattices

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

  2. Privacy-aware Distributed Incremental Computation

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

View all (2) »

ID: 110865