Faculty of Sciences

Postal address
Belgium

Informatics and Applied Informatics

Postal address
Pleinlaan 2
1050
Brussels
Belgium
Contact
Phone: +32-2-6293755

Software Languages Lab

Postal address
Pleinlaan 2
1050
Brussels
Belgium

Research output

  1. Incrementalizing Abstract Interpretation

    Research output: ResearchMeeting abstract (Book)

  2. Incrementalizing Abstract Interpretation

    Research output: ResearchWorking paper

  3. Implementing a Performant Scheme Interpreter for the Web in asm.js

    Research output: Research - peer-reviewArticle

View all (4) »

Activities

  1. The 2nd Winter School in Engineering and Computer Science on Formal Verification

    Activity: Participating in or organising an eventParticipation in workshop, seminar

  2. Incrementalizing Abstract Interpretation

    Activity: Talk or presentationTalk or presentation at a workshop/seminar

  3. A Performant Scheme Interpreter in asm.js

    Activity: Talk or presentationTalk or presentation at a conference

View all (3) »

ID: 11813522