| 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 | 64 | 2021 |
| A concurrent programming language with refined session types J Franco, VT Vasconcelos Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014 | 32 | 2014 |
| 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 | 28 | 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 | 22 | 2019 |
| 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, 2021 | 21 | 2021 |
| 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 | 17 | 2017 |
| Ownership and reference counting based garbage collection in the actor world S Clebsch, S Blessing, J Franco, S Drossopoulou ICOOOLPS, 2015 | 14 | 2015 |
| Behavioural types for non-uniform memory accesses J Franco, S Drossopoulou arXiv preprint arXiv:1602.03599, 2016 | 8 | 2016 |
| Safely abstracting memory layouts J Franco, A Tasos, S Drossopoulou, T Wrigstad, S Eisenbach arXiv preprint arXiv:1901.08006, 2019 | 6 | 2019 |
| 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 |
| 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 | 4 | 2018 |
| Soundness of a concurrent collector for actors (extended version) J Franco, S Clebsch, S Drossopoulou, J Vitek, T Wrigstad Department of Computing, Imperial College London, 2018 | 4 | 2018 |
| Calculating communication costs with Sessions Types and Sizes J Franco, S Drossopoulou, N Yoshida 2014 Imperial College Computing Student Workshop, 2014 | 2 | 2014 |
| 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 | 1 | 2020 |
| 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 |
| Orca: Ownership and Reference Count Collection for Actors JP Vicente Franco Imperial College London, 2019 | | 2019 |
| 2017 Imperial College Computing Student Workshop F Leahy, J Franco | | 2018 |
| Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations J Franco, T Wrigstad, S Drossopoulou International Workshop on Aliasing, Capabilities and Ownership (IWACO), 2016 | | 2016 |
| 2014 Imperial College Computing Student Workshop R Neykova, N Ng | | 2014 |
| A concurrent programming language with session types JPV Franco | | 2013 |
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
