Via Giuseppe Buffi 13,
+41 58 666 4308
My research is broadly in systems and applied programming langauges.
Currently, I am working on languages for software defined networks. In the
past, I have worked on stream
processing, replication systems, and content distribution networks.
I received my Ph.D. from NYU, where I was co-advised by
Robert Grimm and
(IBM Research). Before
joining USI, I was a post-doctoral associate at Cornell University working with Nate Foster.
I am looking for students. If you are interested in programming languages,
networking, or distributed systems, please get in touch.
See my complete list
of publications, or links to
An adaptive storage mechanism for interaction graphs.
A network management framework that allows administrators to program the network as a unified whole, using
a high-level, policy language.
A compositional architecture for gossip protocols.
A language for streaming and signal processing applications.
- Brooklet: A universal calculus for for stream processing languages.
- SPL (formerly Spade): The stream processing language for IBM's System S.
- R/Overlog: The Overlog language, adapted for use with replication systems.
- Na Kika: Secure, dynamic, decentralized content distribution.
Network Programming Languages
Domain Specific Languages