I'm actually trying to adapt some of the work in the network optimized datalog and other azure/msr nsdi papers to a related problem and or set of problems for one of my prjects at work. I'd love to chat some time. [im at a large Megacorp still piloting "cloud", and I'm involved in some efforts to build some open tools to make config and security stuff nicer/saner for large user bases ]