BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Event Correlation with Algebraic Effects - Oliver Bracevac\, Unive
 rsity of Darmstadt
DTSTART:20170915T130000Z
DTEND:20170915T140000Z
UID:TALK77301@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:This talk addresses event correlation in the form of n-way joi
 ns over asynchronous event streams. Diverse domains exploit different vari
 ants of event joins\, e.g.\, stream-relational algebra\, event processing\
 , reactive and concurrent programming. We aim to uniformly model semantic 
 variants of joins as composable\, modular and open-ended libraries\, subsu
 ming different domains and enabling novel feature compositions. We specify
  a syntactic theory of joins in terms of reductions over their intensional
  specification embedded in a lambda calculus.  The key mechanism to define
  semantic variants are algebraic effects and handlers. Thus\, the meaning 
 of a join is a matter of context\, which is a first-class notion. The end 
 result is a framework for declaring the combination behavior of nodes in r
 eactive computations.  Our approach covers instances of joins that range f
 rom nondeterminism/speculation in the complex event processing domain to n
 on-speculative variants\, such as zip in reactive programming\, and beyond
 . The talk will give an account of our formal model and experiences with u
 sing algebraic effects.\n
LOCATION:FW26
END:VEVENT
END:VCALENDAR