Danny van Velzen
Microsoft
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Danny van Velzen.
conference on object-oriented programming systems, languages, and applications | 2014
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
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
Amol S. Kelkar; Danny van Velzen; Jonathan E. Rivers-Moore
Archive | 2004
Alessandro Catorcini; Arungundram Narendran; Danny van Velzen; Mihaela C. Cris
Archive | 2008
Henricus Johannes Maria Meijer; Danny van Velzen; Jeffrey van Gogh; Brian C. Beckman
Archive | 2010
Danny van Velzen; Jeffrey van Gogh; Henricus Johannes Maria Meijer
Archive | 2008
Benjamin Livshits; Henricus Johannes Maria Meijer; Brian Beckman; Jeffrey van Gogh; Danny van Velzen; Dragos A. Manolescu; Bryan Sullivan
Archive | 2006
Amol S. Kelkar; Danny van Velzen; David Airapetyan; Jonathan E. Rivers-Moore; Ranjan Aggarwal
Archive | 2007
Brian C. Beckman; Henricus Johannes Maria Meijer; Jeffrey van Gogh; Danny van Velzen
Archive | 2010
Danny van Velzen; Jeffrey van Gogh; Henricus Johannes Maria Meijer