Research output

  1. Scalable Incremental Building with Dynamic Task Dependencies

    Research output: Scientific - peer-reviewConference contribution

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

    Research output: Scientific - peer-reviewArticle

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

    Research output: Scientific - peer-reviewArticle

View all (24) »

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