Much of my research since my PhD was on continuations. These days, I am not so much interested in classical typing for control operators, but more in using control constructs in a more low-level setting, including things like code pointers (see POPL'06) and signals (as in Unix). Signals are somewhere in between sequential control and concurrency, since they lead to non-deterministic interleaving, but this interleaving is only one-way as opposed to the symmetric interleaving that is produced by a parallel composition of processes.
PhD students
Max Strygin's's PhD thesis will be in this area.
Relevant papers
-
Maxim Strygin and Hayo Thielecke
Operational semantics for signal handling
9th Workshop on Structural Operational Semantics (EXPRESS/SOS 2012) -
Hayo Thielecke
Frame Rules from Answer Types for Code Pointers
POPL'06 (The 33rd SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
The slides of an extended talk I gave a the Cambridge Computer Laboratory are also available.