Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, and Tobias Wrigstad. Correctness of a Concurrent Object Collector for Actor Languages. ESOP'18 (To appear). [paper] [full version]


Proceedings of the 6th Imperial College Computing Student Workshop (ICCSW'17). Editors: Fergus Leahy and Juliana Franco. [Proceedings] [ICCSW'18]

As part of my internship with the V8 team, Google Munich, I wrote: An Internship on Laziness: Lazy deoptimization without code patching and An Internship on Laziness: Lazy Unlinking of Deoptimized Functions.

Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Yang, Tobias Wrigstad and Jan Vitek. Orca: GC and Type System Co-Design for Actor Languages. OOPSLA'17. [paper]

Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, and Susan Eisenbach. You can have it all: Abstraction and good cache Performance. ONWARD!'17. [paper]


Juliana Franco, Tobias Wrigstad and Sophia Drossopoulou. Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations. IWACO'16. [paper] [slides in pdf] [slides in keynote]


Sylvan Clebsch, Sebastian Blessing, Juliana Franco and Sophia Drossopoulou. Ownership and Reference Counting based Garbage Collection in the Actor World. ICOOOLPS’15. [paper]

Juliana Franco and Sophia Drossopoulou, Behavioural types for NUMA. PLACES’15. [paper]


Juliana Franco, Sophia Drossopoulou and Nobuko Yoshida, Calculating communication costs with Sessions Types and Sizes. ICCSW’14. [paper]


Juliana Franco and Vasco T. Vasconcelos, A concurrent programming language with refined session types, In Behavioural Types, p. 33-42, 2013. [paper]

Juliana Franco, A concurrent programming language with session types. Master Thesis, University of Lisbon, 2013. [Thesis]