| SMT-based checking of predicate-qualified types for Scala GS Schmid, V Kuncak Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, 31-40, 2016 | 13 | 2016 |
| Automap: Towards ergonomic automated parallelism for ML models M Schaarschmidt, D Grewe, D Vytiniotis, A Paszke, GS Schmid, T Norman, ... arXiv preprint arXiv:2112.02958, 2021 | 9 | 2021 |
| Memory-efficient array redistribution through portable collective communication NA Rink, A Paszke, D Vytiniotis, GS Schmid arXiv preprint arXiv:2112.01075, 2021 | 4 | 2021 |
| Generalized Arrays for Stainless Frames GS Schmid, V Kunčak International Conference on Verification, Model Checking, and Abstract …, 2022 | 2 | 2022 |
| Scaling Language Features for Program Verification GS Schmid EPFL, 2022 | 1 | 2022 |
| Proving and disproving programs with shared mutable data G Schmid, V Kunčak arXiv preprint arXiv:2103.07699, 2021 | 1 | 2021 |
| Coming to Terms with Your Choices: An Existential Take on Dependent Types GS Schmid, O Blanvillain, J Hamza, V Kunčak arXiv preprint arXiv:2011.07653, 2020 | 1 | 2020 |
| LARA E Baranov, RW Blanc, M Bucev, S Buchard, M Cekic, PEGMG Cornilleau, ... | | |
