Activities per year
Activities
- 8 results
Search results
-
Summer School on Security Testing and Verification
Noah Van Es (Chair)
20 Sept 2022 → 22 Sept 2022Activity: Participating in or organising an event › Participation in workshop, seminar
-
MAF: A Framework for Modular Static Analysis of Higher-Order Languages
Noah Van Es (Speaker)
27 Sept 2020Activity: Talk or presentation › Talk or presentation at a conference
-
A Parallel Worklist Algorithm for Modular Analyses
Noah Van Es (Speaker)
27 Sept 2020Activity: Talk or presentation › Talk or presentation at a conference
-
Garbage-Free Abstract Interpretation through Abstract Reference Counting
Noah Van Es (Speaker)
17 Jul 2019Activity: Talk or presentation › Talk or presentation at a conference
-
40th International Conference on Software Engineering
Noah Van Es (Visitor)
27 May 2018 → 3 Jun 2018Activity: Participating in or organising an event › Participation in conference
-
Incrementalizing Abstract Interpretation
Noah Van Es (Speaker)
5 Dec 2017Activity: 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 2017Activity: Participating in or organising an event › Participation in workshop, seminar
-
A Performant Scheme Interpreter in asm.js
Noah Van Es (Speaker)
6 Apr 2016Activity: Talk or presentation › Talk or presentation at a conference
File