Noah Van Es

Research activity per year

If you made any changes in Pure these will be visible here soon.

MAF: A Framework for Modular Static Analysis of Higher-Order Languages
Noah Van Es (Speaker)
27 Sep 2020
Activity: Talk or presentation › Talk or presentation at a conference
A Parallel Worklist Algorithm for Modular Analyses
Noah Van Es (Speaker)
27 Sep 2020
Activity: Talk or presentation › Talk or presentation at a conference
Garbage-Free Abstract Interpretation through Abstract Reference Counting
Noah Van Es (Speaker)
17 Jul 2019
Activity: Talk or presentation › Talk or presentation at a conference
40th International Conference on Software Engineering
Noah Van Es (Visitor)
27 May 2018 → 3 Jun 2018
Activity: Participating in or organising an event › Participation in conference
Incrementalizing Abstract Interpretation
Noah Van Es (Speaker)
5 Dec 2017
Activity: Talk or presentation › Talk or presentation at a workshop/seminar

File
The 2nd Winter School in Engineering and Computer Science on Formal Verification
Noah Van Es (Participant)
17 Dec 2017 → 21 Dec 2017
Activity: Participating in or organising an event › Participation in workshop, seminar
A Performant Scheme Interpreter in asm.js
Noah Van Es (Speaker)
6 Apr 2016
Activity: Talk or presentation › Talk or presentation at a conference

File

Activities