SMT-based checking of predicate-qualified types for Scala. - Georg Stefan Schmid; Viktor Kuncak (SCALA@SPLASH, 2016)

Coming to Terms with Your Choices: An Existential Take on Dependent Types. - Georg Stefan Schmid; Olivier Blanvillain; Jad Hamza; Viktor Kuncak (CoRR, 2020)

Proving and Disproving Programs with Shared Mutable Data. - Georg Stefan Schmid; Viktor Kuncak (CoRR, 2021)

Memory-efficient array redistribution through portable collective communication. - Norman A. Rink; Adam Paszke; Dimitrios Vytiniotis; Georg Stefan Schmid (CoRR, 2021)

Automap: Towards Ergonomic Automated Parallelism for ML Models. - Michael Schaarschmidt; Dominik Grewe; Dimitrios Vytiniotis; Adam Paszke; Georg Stefan Schmid; Tamara Norman; James Molloy; Jonathan Godwin; Norman Alexander Rink; Vinod Nair; Dan Belov (CoRR, 2021)

Generalized Arrays for Stainless Frames. - Georg Stefan Schmid; Viktor Kuncak (VMCAI, 2022)