Nils Fitinghoff

According to our database, Nils Fitinghoff authored at least 3 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach.

Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Cargo-call-stack Static Call-stack Analysis for Rust.

Per Lindgren, Nils Fitinghoff, Jorge Aparicio Rivera

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

2018

Introducing Certified Compilation in Education by a Functional Language Approach.

Per Lindgren, Marcus Lindner, Nils Fitinghoff

Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018