Month: December 2015

A Year in Papers

~ Adrian Colyer ~ 1 Comment
We've reached the end of term again, and I'm taking a break from writing up papers over the holidays - a chance to replenish my backlog and start planning for 2016 too! I want to see what I can do to improve the readability of the site as well. The Morning Paper will resume on ... Continue Reading

Reactive Vega: A Streaming Dataflow Architecture for Declarative Interactive Visualization

~ Adrian Colyer ~ 1 Comment
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

We Have a DREAM: Distributed Reactive Programming with Consistency Guarantees

~ Adrian Colyer ~ 1 Comment
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

A Survey on Reactive Programming

~ Adrian Colyer ~ 6 Comments
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

Functional Reactive Animation

~ Adrian Colyer ~ 7 Comments
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

The geometry of innocent flesh on the bone: Return-into-libc without function calls (on x86)

~ Adrian Colyer ~ 5 Comments
The geometry of innocent flesh on the bone: Return-into-libc without function calls (on x86) - Shacham 2007 Yesterday we saw that Data Execution Prevention W⊕X is one of the widely deployed defenses against code corruption attacks. Today's paper teaches us why that defense isn't as useful as it first appears! We present new techniques that ... Continue Reading