Linked Presentation: GAIA: A System for Interactive Analysis on Distributed Graphs Using a High-Level Language
