Reactive Vega: A Streaming Dataflow Architecture for Declarative Interactive Visualization

Reactive Vega: A Streaming Dataflow Architecture for Declarative Interactive Visualization - Satyanarayan et al. 2015 Today's paper choice combines Event-driven FRP (E-FRP) with dataflow and stream management techniques from the database community to implement declarative interactive visualisations on top of the existing Vega declarative visualisation grammar and supporting runtime. As a good example of what's … Continue reading Reactive Vega: A Streaming Dataflow Architecture for Declarative Interactive Visualization

We Have a DREAM: Distributed Reactive Programming with Consistency Guarantees

We Have a DREAM: Distributed Reactive Programming with Consistency Guarantees - Magara & Salvaneschi 2014 Earlier this week we saw in "A Survey on Reactive Programming" that (at least as of 2012) distributing reactive programs remained an active research challenge. Today's paper choice takes on that challenge and examines some consistency models for distributed reactive … Continue reading We Have a DREAM: Distributed Reactive Programming with Consistency Guarantees

Asynchronous Functional Reactive Programming for GUIs

Asynchronous Functional Reactive Programming for GUIs - Czaplicki & Chong 2013 Today's paper choice introduces the Elm language. Elm today is a functional reactive programming language for the browser. If you want to explore more check out the examples and live code editor. You might also like Richard Feldman's Strange Loop talk on "Making the … Continue reading Asynchronous Functional Reactive Programming for GUIs

A Survey on Reactive Programming

A Survey on Reactive Programming - Bainomugisha et al. 2012 Update: fixed broken link to Fran paper, thanks to Josef B for pointing it out. Today‚Äôs applications are increasingly becoming highly interactive, driven by all sorts of events originating from within the applications and their outside environment. Such event-driven applications maintain continuous interaction with their … Continue reading A Survey on Reactive Programming

Functional Reactive Animation

Functional Reactive Animation - Elliott & Hudak 1997 This is the paper widely acknowledged to have given birth to (Functional) Reactive Programming or FRP. The challenge that Elliott and Hudak faced was to provide an elegant and expressive way to specify animations without resorting to tedious frame-by-frame constructions. A key insight is that animations are … Continue reading Functional Reactive Animation

Prudent Engineering Practice for Cryptographic Protocols

Prudent Engineering Practice for Cryptographic Protocols - Abadi & Needham, 1994 Prudent engineering practice for cryptographic protocols for most of us is not to design cryptographic protocols! Today's paper serves to highlight how even the experts can get it wrong, and presents 11 design principles for cryptographic protocols - some of which may be useful … Continue reading Prudent Engineering Practice for Cryptographic Protocols