Georg Stefan Schmid

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 6

Top Topics

Iterative Deepening

External Memory

Top Venues

Publications

Georg Stefan Schmid, Viktor Kuncak
Generalized Arrays for Stainless Frames. VMCAI (2022)
Michael Schaarschmidt, Dominik Grewe, Dimitrios Vytiniotis, Adam Paszke, Georg Stefan Schmid, Tamara Norman, James Molloy, Jonathan Godwin, Norman Alexander Rink, Vinod Nair, Dan Belov
Automap: Towards Ergonomic Automated Parallelism for ML Models. CoRR (2021)
Georg Stefan Schmid, Viktor Kuncak
Proving and Disproving Programs with Shared Mutable Data. CoRR (2021)
Norman A. Rink, Adam Paszke, Dimitrios Vytiniotis, Georg Stefan Schmid
Memory-efficient array redistribution through portable collective communication. CoRR (2021)
Georg Stefan Schmid, Olivier Blanvillain, Jad Hamza, Viktor Kuncak
Coming to Terms with Your Choices: An Existential Take on Dependent Types. CoRR (2020)
Georg Stefan Schmid, Viktor Kuncak
SMT-based checking of predicate-qualified types for Scala. SCALA@SPLASH (2016)