Noah Van Es

Orcid: 0000-0003-2507-3970

According to our database1, Noah Van Es authored at least 9 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
A parallel worklist algorithm and its exploration heuristics for static modular analyses.
J. Syst. Softw., 2021

2020
Incremental Flow Analysis through Computational Dependency Reification.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

A Parallel Worklist Algorithm for Modular Analyses.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

MAF: A Framework for Modular Static Analysis of Higher-Order Languages.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

2019
Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact).
Dagstuhl Artifacts Ser., 2019

Garbage-Free Abstract Interpretation Through Abstract Reference Counting.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2017
Implementing a performant scheme interpreter for the web in asm.js.
Comput. Lang. Syst. Struct., 2017

Incrementalizing Abstract Interpretation.
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017

2016
A performant scheme interpreter in asm.js.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016


  Loading...