Atze van der Ploeg

Computer science/Software enigineering researcher

Publications

  • Monadic Functional Reactive Programming

    (Accepted,to appear)
    Authors: Atze van der Ploeg
    Venue: Haskell Symposium 2013, Boston, USA
    Abstract: Functional Reactive Programming (FRP) is a way to program reactive systems in functional style, eliminating many of the problems that arise from imperative techniques. In this paper, we present an alternative FRP formulation that is based on the notion of a reac- tive computation: a monadic computation which may require the occurrence of external events to continue. A signal computation is a reactive computation that may also emit values. In contrast to signals in other FRP formulations, signal computations can end, leading to a monadic interface for sequencing signal phases. This interface has several advantages: routing is implicit, sequencing signal phases is easier and more intuitive than when using the switching combinators found in other FRP approaches, and dynamic lists require much less boilerplate code. In other FRP approaches, either the entire FRP expression is re-evaluated on each external stimulus, or impure techniques are used to prevent redundant re-computations. We show how Monadic FRP can be implemented straightforwardly in a purely functional way while preventing redundant re-computations.
    PDF Bibtex
    Talk  
  • Drawing Non-layered Trees in Linear Time

    (Accepted,to appear)
    Authors: Atze van der Ploeg
    Venue: Software: Practice & Experience (journal)
    Abstract: The well-known Reingold-Tilford algorithm produces tidy layered draw- ings of trees: drawings where all nodes at the same depth are vertically aligned. However, when nodes have varying heights, layered drawing may use more vertical space than necessary. A non-layered drawing of a tree places children at a fixed distance from the parent, thereby giving a more vertically compact drawing. Moreover, non-layered drawings can also be used to draw trees where the vertical position of each node is given, by adding dummy nodes. In this paper we present the first linear time algorithm for producing non-layered drawings. Our algorithm is a modification of the Reingold-Tilford algorithm, but the original complexity proof of the Reingold-Tilford algorithm uses an invariant that does not hold for the non-layered case. We give an alternative proof of the algorithm and its extension to non-layered drawings. To improve drawings of trees of unbounded degree, extensions to the Reingold-Tilford algorithm have been proposed. These extensions also work in the non-layered case, but we show that they then cause a O(n^2) run-time. We then propose a modification to these extensions that restores the O(n) run-time.
    PDF Bibtex
     
  • A Library for Declarative Resolution-Independent 2D Graphics


    Authors: Paul Klint, Atze van der Ploeg (in alphabetical order)
    Venue: Symposium on Practical Aspects of Declarative Languages (PADL) '13
    Abstract: The design of most 2D graphics frameworks has been guided by what the computer can draw efficiently, instead of by how graphics can best be expressed and composed. As a result, such frameworks restrict expressivity by providing a limited set of shape primitives, a limited set of textures and only affine transformations. For example, non-affine transformations can only be added by invasive modification or complex tricks rather than by simple composition. More general frameworks exist, but they make it harder to describe and analyze shapes. We present a new declarative approach to resolution-independent 2D graphics that generalizes and simplifies the functionality of traditional frameworks, while preserving their efficiency. As a real-world example, we show the implementation of a form of focus+context lenses that gives better image quality and better performance than the state-of-the-art solution at a fraction of the code. Our approach can serve as a versatile foundation for the creation of advanced graphics and higher level frameworks.
    PDF Bibtex Talk
     
  • Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software


    Authors: Paul Klint, Bert Lisser, Atze van der Ploeg (in alphabetical order)
    Venue: International Conference on Software Language Engineering (SLE) '11
    Abstract: Over the last two years we have been developing the meta- programming language RASCAL that aims at providing a concise and effective language for performing meta-programming tasks such as the analysis and transformation of existing source code and models, and the implementation of domain-specific languages. However, meta-programming tasks also require seamlessly integrated visualization facilities. We are therefore now aiming at a One-Stop-Shop for analysis, trans- formation and visualization. In this paper we give a status report on this ongoing effort and sketch the requirements for an interactive visualization framework and describe the solutions we came up with. In brief, we propose a coordinate-free, compositional, visualization framework, with fully automatic placement, scaling and alignment. It also provides user interaction. The current framework can handle various kinds of charts, trees, and graphs and can be easily extended to more advanced layouts. This work can be seen as a study in domain engineering that will eventually enable us to create a domain-specific language for software visualization. We conclude with examples that emphasize the integration of analysis and visualization.
    PDF Bibtex