Nils Fitinghoff

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Dynamic Analysis

Symbolic Execution

Functional Language

Top Venues

Publications

Per Lindgren, Nils Fitinghoff, Jorge Aparicio Rivera
Cargo-call-stack Static Call-stack Analysis for Rust. INDIN (2019)
Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren
Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach. INDIN (2019)
Per Lindgren, Marcus Lindner, Nils Fitinghoff
Introducing Certified Compilation in Education by a Functional Language Approach. TFPIE@TFP (2018)