Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Danny van Velzen is active.

Publication


Featured researches published by Danny van Velzen.


conference on object-oriented programming systems, languages, and applications | 2014

Automated migration of build scripts using dynamic analysis and search-based refactoring

Milos Gligoric; Wolfram Schulte; Chandra Prasad; Danny van Velzen; Iman Narasamdya; Benjamin Livshits

The efficiency of a build system is an important factor for developer productivity. As a result, developer teams have been increasingly adopting new build systems that allow higher build parallelization. However, migrating the existing legacy build scripts to new build systems is a tedious and error-prone process. Unfortunately, there is insufficient support for automated migration of build scripts, making the migration more problematic. We propose the first dynamic approach for automated migration of build scripts to new build systems. Our approach works in two phases. First, from a set of execution traces, we synthesize build scripts that accurately capture the intent of the original build. The synthesized build scripts are typically long and hard to maintain. Second, we apply refactorings that raise the abstraction level of the synthesized scripts (e.g., introduce functions for similar fragments). As different refactoring sequences may lead to different build scripts, we use a search-based approach that explores various sequences to identify the best (e.g., shortest) build script. We optimize search-based refactoring with partial-order reduction to faster explore refactoring sequences. We implemented the proposed two phase migration approach in a tool called METAMORPHOSIS that has been recently used at Microsoft.


Archive | 2004

Managing XML documents containing hierarchical database information

Joseph J. Brychell; Xavier L. Bocken; Robert B. Jervis; Kamaljit S. Bath; Arungundram Narendran; Mikhail Vassiliev; Danny van Velzen; Nora S. Selim; Hagen Green


Archive | 2005

Template for rendering an electronic form

Amol S. Kelkar; Danny van Velzen; Jonathan E. Rivers-Moore


Archive | 2004

Digital signatures with an embedded view

Alessandro Catorcini; Arungundram Narendran; Danny van Velzen; Mihaela C. Cris


Archive | 2008

CROSS PLATFORM COMPOSITIONAL WIDGETS

Henricus Johannes Maria Meijer; Danny van Velzen; Jeffrey van Gogh; Brian C. Beckman


Archive | 2010

OPTIMAL INCREMENTAL WORKFLOW EXECUTION ALLOWING META-PROGRAMMING

Danny van Velzen; Jeffrey van Gogh; Henricus Johannes Maria Meijer


Archive | 2008

Security by construction for web applications

Benjamin Livshits; Henricus Johannes Maria Meijer; Brian Beckman; Jeffrey van Gogh; Danny van Velzen; Dragos A. Manolescu; Bryan Sullivan


Archive | 2006

Data-Driven Actions For Network Forms

Amol S. Kelkar; Danny van Velzen; David Airapetyan; Jonathan E. Rivers-Moore; Ranjan Aggarwal


Archive | 2007

Pre-fetching in distributed computing environments

Brian C. Beckman; Henricus Johannes Maria Meijer; Jeffrey van Gogh; Danny van Velzen


Archive | 2010

Distributed workflow execution

Danny van Velzen; Jeffrey van Gogh; Henricus Johannes Maria Meijer

Collaboration


Dive into the Danny van Velzen's collaboration.

Researchain Logo
Decentralizing Knowledge