Juliana Franco

Affiliations:
  • Microsoft Research Cambridge, UK
  • Imperial College London, UK


According to our database1, Juliana Franco authored at least 16 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
PartIR: Composing SPMD Partitioning Strategies for Machine Learning.
CoRR, 2024

2022
Automatic Discovery of Composite SPMD Partitioning Strategies in PartIR.
CoRR, 2022

2021
Fast and Memory-Efficient Neural Code Completion.
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

2020
Reshape your layouts, not your programs: A safe language extension for better cache locality.
Sci. Comput. Program., 2020

Implementation of SHAPES Case Studies (Artifact).
Dagstuhl Artifacts Ser., 2020

Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first).
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Safely Abstracting Memory Layouts.
CoRR, 2019

snmalloc: a message passing allocator.
Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory Management, 2019

2018
Orca: Ownership and Reference Count Collection for Actors.
PhD thesis, 2018

Correctness of a Concurrent Object Collector for Actor Languages.
Proceedings of the Programming Languages and Systems, 2018

Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages.
Proceedings of the 13th Workshop on Implementation, 2018

2017
Orca: GC and type system co-design for actor languages.
Proc. ACM Program. Lang., 2017

You can have it all: abstraction and good cache performance.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2015
Behavioural types for non-uniform memory accesses.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

2014
Calculating communication costs with Sessions Types and Sizes.
Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

2013
A Concurrent Programming Language with Refined Session Types.
Proceedings of the Software Engineering and Formal Methods, 2013


  Loading...