Research output

  1. FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

    Research output: Contribution to journalArticleScientificpeer-review

  2. From definitional interpreter to symbolic executor

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

View all (107) »

Activities

  1. Association for Computing Machinery (ACM) (Publisher)

    Activity: Publication peer-review and editorial workPublication peer-review

  2. ICMT 2011 (Event)

    Activity: Publication peer-review and editorial workEditorial activity

  3. Lecture Notes in Computer Science (Journal)

    Activity: Publication peer-review and editorial workEditorial activity

View all (6) »

ID: 202181