Write a Blog >>
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Jeff Smits

Registered user since Mon 3 Oct 2016

Name:Jeff Smits

PhD student at Delft University of Technology with the Programming Languages research group. General interest in Programming Language related technologies including Parsing, Static Analysis, Static and Dynamic Semantics, etc etc. Currently looking into Static Analysis in the Control- and Data-Flow domain. First by building a Domain-Specific Language to explore the domain of flow analysis, second by leveraging this language for automatic correctness proofs, (object) language-independent analyses that can be reused easily, and a practically usable execution of flow specifications.

Affiliation:Delft University of Technology, Netherlands
Research interests:Programming Languages


SLE 2017 FlowSpec: Declarative Dataflow Analysis Specification
Show activities from other conferences

SPLASH 2017-profile
View general profile