Danil Annenkov

Publications

Citations

H-Index

2018

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Danil Annenkov is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and parallel programming.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringParallel ProgrammingFinanceBusinessSimulation

Publications per year

2018–2023

Publications

Two-level type theory and applications

Danil Annenkov, Paolo Capriotti, Nicolai Kraus · Mathematical Structures in Computer Science · 2023 · 23 citations · Full text

Static interpretation of higher-order modules in Futhark: functional GPU programming in the large

Martin Elsman, Troels Henriksen, Danil Annenkov et al. · Proceedings of the ACM on Programming Languages · 2018 · 13 citations · Full text

Engineering, Computer Architecture, Module Language +20

Certified Compilation of Financial Contracts

Danil Annenkov, Martin Elsman · 2018 · 11 citations · Full text

Engineering, Coq Development, Software Engineering +25

Rows per page

1–3 of 3