Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Video
Students develop analytics engine for the Lab of Things
University College London students have developed an analytics engine to scrutinize data collected from experiments and research applications running on the Lab of Things (LoT) research platform. The LoT enhances field studies in such diverse…
Publication
Software Analytics in Practice
Video
A Framework for Automatically Enforcing Privacy Policies
It is increasingly important for applications to protect sensitive data. Security policies are difficult to manage because their global nature requires coordinated reasoning and enforcement. To mitigate this, we propose a policy-agnostic programming model in…
