Maik Riechert

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 11

Top Topics

Data Cube Construction

Iterative Deepening

External Memory

Top Venues

Publications

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
Why Should I Trust Your Code? Commun. ACM 67 (1) (2024)
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
Aurora: A Foundation Model of the Atmosphere. CoRR (2024)
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
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. ACM Queue 21 (4) (2023)
Alexey Svyatkovskiy, Sebastian Lee, Anna Hadjitofi, Maik Riechert, Juliana Vicente Franco, Miltiadis Allamanis
Fast and Memory-Efficient Neural Code Completion. MSR (2021)
Alexey Svyatkovskiy, Sebastian Lee, Anna Hadjitofi, Maik Riechert, Juliana Franco, Miltiadis Allamanis
Fast and Memory-Efficient Neural Code Completion. CoRR (2020)
David Meyer, Maik Riechert
Open source QGIS toolkit for the Advanced Research WRF modelling system. Environ. Model. Softw. 112 (2019)
Maik Riechert, David Meyer
WRF-CMake: integrating CMake support into the Advanced Research WRF (ARW) modelling system. J. Open Source Softw. 4 (41) (2019)
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
Bringing LTL Model Checking to Biologists. VMCAI (2017)
Alex Gaunt, Matthew Johnson, Maik Riechert, Daniel Tarlow, Ryota Tomioka, Dimitrios Vytiniotis, Sam Webster
AMPNet: Asynchronous Model-Parallel Training for Dynamic Neural Networks. CoRR (2017)
Jon D. Blower, Maik Riechert
Coverages, JSON-LD and RDF Data Cubes. SDW@GIScience (2016)
Maik Riechert, Christian Höner zu Siederdissen, Peter F. Stadler
Algebraic dynamic programming for multiple context-free grammars. Theor. Comput. Sci. 639 (2016)