I found a PhD thesis very interesting to automatic deduce the best memory implementation for distributed data - I would say DistributedArrays will have good use for it. The link is here.
In general terms, given a Syntax Tree of operations, one defines a cost function for each operation and minimze the total cost.
I don’t have expertise in Julia Abstract Syntax Tree (AST), but in principle, does not look impossible to do something similar in Julia. If someone that actually knows how to implement this ideia, needs help, I volunteer myself to help.