Juliana Franco
Juliana Franco
Verified email at microsoft.com
Title
Cited by
Cited by
Year
A concurrent programming language with refined session types
J Franco, VT Vasconcelos
International Conference on Software Engineering and Formal Methods, 15-28, 2013
212013
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
182017
Fast and Memory-Efficient Neural Code Completion
A Svyatkovskoy, S Lee, A Hadjitofi, M Riechert, J Franco, M Allamanis
arXiv preprint arXiv:2004.13651, 2020
142020
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
112017
Ownership and reference counting based garbage collection in the actor world
S Clebsch, S Blessing, J Franco, S Drossopoulou
ICOOOLPS, 2015
112015
Behavioural types for non-uniform memory accesses
J Franco, S Drossopoulou
arXiv preprint arXiv:1602.03599, 2016
72016
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
62019
Correctness of a concurrent object collector for actor languages
J Franco, S Clebsch, S Drossopoulou, J Vitek, T Wrigstad
European Symposium on Programming, 885-911, 2018
52018
Safely abstracting memory layouts
J Franco, A Tasos, S Drossopoulou, T Wrigstad, S Eisenbach
arXiv preprint arXiv:1901.08006, 2019
32019
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
Front Matter, Table of Contents, Preface, Conference Organization
C Geary, MJ Patitz
26th International Conference on DNA Computing and Molecular Programming …, 2020
2020
OASIcs, Volume 66, ICCSW'18, Complete Volume
E Pirovano, E Graversen
2018 Imperial College Computing Student Workshop (ICCSW 2018), 2019
2019
Orca: Ownership and Reference Count Collection for Actors
JP Vicente Franco
Imperial College London, 2018
2018
Front Matter, Table of Contents, Preface, Conference Organization
Y Azar, H Bast
26th Annual European Symposium on Algorithms (ESA 2018), 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
OASIcs, Volume 43, ICCSW'14, Complete Volume
R Neykova, N Ng
2014 Imperial College Computing Student Workshop, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20