Activiteiten

Activiteiten per jaar 2016 2016 2017 2018 2019 2020 2022 2022

• 4 Talk or presentation at a conference
• 2 Participation in workshop, seminar
• 1 Participation in conference
• 1 Talk or presentation at a workshop/seminar

Activiteiten per jaar

Zoekresultaten

• Summer School on Security Testing and Verification

  Noah Van Es (Chair)

  20 sep. 2022 → 22 sep. 2022

  Activiteit: Participation in workshop, seminar

• MAF: A Framework for Modular Static Analysis of Higher-Order Languages

  Noah Van Es (Speaker)

  27 sep. 2020

  Activiteit: Talk or presentation at a conference

• A Parallel Worklist Algorithm for Modular Analyses

  Noah Van Es (Speaker)

  27 sep. 2020

  Activiteit: Talk or presentation at a conference

• Garbage-Free Abstract Interpretation through Abstract Reference Counting

  Noah Van Es (Speaker)

  17 jul. 2019

  Activiteit: Talk or presentation at a conference

• 40th International Conference on Software Engineering

  Noah Van Es (Visitor)

  27 mei 2018 → 3 jun. 2018

  Activiteit: Participation in conference

• Incrementalizing Abstract Interpretation

  Noah Van Es (Speaker)

  5 dec. 2017

  Activiteit: Talk or presentation at a workshop/seminar

  Bestand

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

  Noah Van Es (Participant)

  17 dec. 2017 → 21 dec. 2017

  Activiteit: Participation in workshop, seminar

• A Performant Scheme Interpreter in asm.js

  Noah Van Es (Speaker)

  6 apr. 2016

  Activiteit: Talk or presentation at a conference

  Bestand