Gemini: a family of highly capable multimodal models G Team, R Anil, S Borgeaud, Y Wu, JB Alayrac, J Yu, R Soricut, ... arXiv preprint arXiv:2312.11805, 2023 | 1211 | 2023 |
Fast and memory-efficient neural code completion A Svyatkovskiy, S Lee, A Hadjitofi, M Riechert, JV Franco, M Allamanis 2021 IEEE/ACM 18th International Conference on Mining Software Repositories …, 2021 | 79 | 2021 |
A concurrent programming language with refined session types J Franco, VT Vasconcelos Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014 | 35 | 2014 |
Fast and memory-efficient neural code completion. In 2021 IEEE/ACM 18th International Conference on Mining Software Repositories (MSR) A Svyatkovskiy, S Lee, A Hadjitofi, M Riechert, JV Franco, M Allamanis IEEE, 329ś340, 2021 | 34 | 2021 |
Orca: GC and type system co-design for actor languages S Clebsch, J Franco, S Drossopoulou, AM Yang, T Wrigstad, J Vitek Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017 | 29 | 2017 |
Snmalloc: a message passing allocator P Liétar, T Butler, S Clebsch, S Drossopoulou, J Franco, MJ Parkinson, ... Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory …, 2019 | 28 | 2019 |
You can have it all: abstraction and good cache performance J Franco, M Hagelin, T Wrigstad, S Drossopoulou, S Eisenbach Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017 | 19 | 2017 |
Ownership and reference counting based garbage collection in the actor world S Clebsch, S Blessing, J Franco, S Drossopoulou ICOOOLPS’2015, 2015 | 11 | 2015 |
Behavioural types for non-uniform memory accesses J Franco, S Drossopoulou arXiv preprint arXiv:1602.03599, 2016 | 9 | 2016 |
Partitioning for an execution pipeline R Tomioka, JPV FRANCO, A MAGNI, NCP LOPES, S KRISHNA, R GOLIN US Patent App. 16/854,868, 2021 | 5 | 2021 |
Safely abstracting memory layouts J Franco, A Tasos, S Drossopoulou, T Wrigstad, S Eisenbach arXiv preprint arXiv:1901.08006, 2019 | 5 | 2019 |
Extending SHAPES for SIMD architectures: an approach to native support for struct of arrays in languages A Tasos, J Franco, T Wrigstad, S Drossopoulou, S Eisenbach Proceedings of the 13th Workshop on Implementation, Compilation …, 2018 | 5 | 2018 |
Correctness of a concurrent object collector for actor languages J Franco, S Clebsch, S Drossopoulou, J Vitek, T Wrigstad Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 5 | 2018 |
Reshape your layouts, not your programs: A safe language extension for better cache locality A Tasos, J Franco, S Drossopoulou, T Wrigstad, S Eisenbach Science of Computer Programming 197, 102481, 2020 | 2 | 2020 |
PartIR: Composing SPMD Partitioning Strategies for Machine Learning S Alabed, B Chrzaszcz, J Franco, D Grewe, D Maclaurin, J Molloy, ... arXiv preprint arXiv:2401.11202, 2024 | 1 | 2024 |
Reshape your layouts, not your programs: a safe language extension for better cache locality (SCICO journal-first) A Tasos, J Franco, S Drossopoulou, T Wrigstad, S Eisenbach 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 1 | 2020 |
Orca: Ownership and Reference Count Collection for Actors V Franco, J Patricia Imperial College London, 2019 | 1 | 2019 |
Automatic Discovery of Composite SPMD Partitioning Strategies in PartIR S Alabed, D Grewe, J Franco, B Chrzaszcz, T Natan, T Norman, NA Rink, ... arXiv preprint arXiv:2210.06352, 2022 | | 2022 |
Stash balancing in model parallelism B Pudipeddi, JPV FRANCO US Patent App. 16/940,293, 2022 | | 2022 |
Implementation of SHAPES Case Studies (Artifact) A Tasos, J Franco, S Drossopoulou, T Wrigstad, S Eisenbach Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2020 | | 2020 |