Maik Riechert

According to our database, Maik Riechert authored at least 10 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Why Should I Trust Your Code?

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich

Commun. ACM, January, 2024

Aurora: A Foundation Model of the Atmosphere.

Cristian Bodnar, Wessel P. Bruinsma, Ana Lucic, Megan Stanley, Johannes Brandstetter, Patrick Garvan, Maik Riechert, Jonathan A. Weyn, Haiyu Dong, Anna Vaughan, Jayesh K. Gupta, Kit Thambiratnam, Alex Archibald, Elizabeth Heider, Max Welling, Richard E. Turner, Paris Perdikaris

CoRR, 2024

2023

Why Should I Trust Your Code?: Confidential computing enables users to authenticate code running in TEEs, but users also need evidence this code is trustworthy.

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich

ACM Queue, 2023

2021

Fast and Memory-Efficient Neural Code Completion.

Alexey Svyatkovskiy, Sebastian Lee, Anna Hadjitofi, Maik Riechert, Juliana Vicente Franco, Miltiadis Allamanis

Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

2019

WRF-CMake: integrating CMake support into the Advanced Research WRF (ARW) modelling system.

Maik Riechert, David Meyer

J. Open Source Softw., 2019

Open source QGIS toolkit for the Advanced Research WRF modelling system.

David Meyer, Maik Riechert

Environ. Model. Softw., 2019

2017

AMPNet: Asynchronous Model-Parallel Training for Dynamic Neural Networks.

Alex Gaunt, Matthew Johnson, Maik Riechert, Daniel Tarlow, Ryota Tomioka, Dimitrios Vytiniotis, Sam Webster

CoRR, 2017

Bringing LTL Model Checking to Biologists.

Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Algebraic dynamic programming for multiple context-free grammars.

Maik Riechert, Christian Höner zu Siederdissen, Peter F. Stadler

Theor. Comput. Sci., 2016

Coverages, JSON-LD and RDF Data Cubes.

Jon D. Blower, Maik Riechert

Proceedings of the Workshop on Spatial Data on the Web (SDW 2016) co-located with The 9th International Conference on Geographic Information Science (GIScience 2016), 2016