I am investigating whether we can exploit the semantics of functional programming languages to generate, monitor, and dynamically adapt a real-time stream processing system for the internet of things. By partitioning the graph of computation we can decide the best deployment strategy, and transform the system during run time based on the non-functional constraints.
