Mikkel Milo

According to our database, Mikkel Milo authored at least 3 papers between 2021 and 2022.

Collaborative distances:

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

2022

Extracting functional programs from Coq, in Coq.

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters

J. Funct. Program., 2022

Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework.

Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters

Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022

2021

Extracting smart contracts tested and verified in Coq.

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021