Research output

  1. Principled Syntactic Code Completion using Placeholders

    Research output: Scientific - peer-reviewConference contribution

  2. An Extensible Framework for Variable-Precision Data-flow Analyses in MPS

    Research output: Scientific - peer-reviewConference contribution

  3. IncA: A DSL for the Definition of Incremental Program Analyses

    Research output: Scientific - peer-reviewConference contribution

View all (11) »

ID: 110865