Follow
Juliana Franco
Juliana Franco
DeepMind
Verified email at google.com
Title
Cited by
Cited by
Year
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
492021
A concurrent programming language with refined session types
J Franco, VT Vasconcelos
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014
272014
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
242017
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
162021
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
152017
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
132019
Ownership and reference counting based garbage collection in the actor world
S Clebsch, S Blessing, J Franco, S Drossopoulou
ICOOOLPS, 2015
122015
Behavioural types for non-uniform memory accesses
J Franco, S Drossopoulou
arXiv preprint arXiv:1602.03599, 2016
72016
Safely abstracting memory layouts
J Franco, A Tasos, S Drossopoulou, T Wrigstad, S Eisenbach
arXiv preprint arXiv:1901.08006, 2019
52019
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
52018
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
42018
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
32018
Calculating communication costs with Sessions Types and Sizes
J Franco, S Drossopoulou, N Yoshida
2014 Imperial College Computing Student Workshop, 2014
22014
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
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
2017 Imperial College Computing Student Workshop
F Leahy, J Franco
2018
Orca: Ownership and Reference Count Collection for Actors
JP Vicente Franco
Imperial College London, 2018
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, S Legg, P Wadler, E Belikov, E Bardsley, A Cropper, ...
2014
A concurrent programming language with session types
JPV Franco
2013
The system can't perform the operation now. Try again later.
Articles 1–20