Phased Type Checker For Java: A Type Checker For a Subset of Java Built On Scope Graph Semantics

Traditional type-checking programs are typically designed for specific programming languages, re- sulting in complex and tightly coupled imperative implementations. One of the challenges faced by type checkers is ensuring consistent name-binding resolution in the presence of new names and sym- bols added to the environment. To address this issue...

Detecting anti-patterns in a MSA using distributed tracing: Detecting anti-patterns in a MSA using distributed tracing at ING

Microservice architectures (MSA) have become a dominant architectural style choice in the service oriented software industry. Because of this, as with any other system, some unoptimized approaches might creep into architectures. These are what we call anti-patterns, they can be considered the opposite of design patterns. Furthermore, a...

Challenges in Applying Continuous Experimentation: A Practitioners' Perspective

Background: Applying Continuous Experimentation on a large scale is not easily achieved. Although the evolution within large tech organisations is well understood, we still lack a good understanding of how to transition a company towards applying more experiments. Objective: This study investigates how practitioners define, value and apply...

Multi-Objective Sustainability Optimization of Biomass Residues to Ethanol via Gasification and Syngas Fermentation: Trade-Offs between Profitability, Energy Efficiency, and Carbon Emissions

This work presents a strategy for optimizing the production process of ethanol via integrated gasification and syngas fermentation, a conversion platform of growing interest for its contribution to carbon recycling. The objective functions (minimum ethanol selling price (MESP), energy efficiency, and carbon footprint) were evaluated for the...

Spatio‐temporal hydrological model structure and parametrization analysis

Many grid‐based spatial hydrological models suffer from the complexity of setting up a coherent spatial structure to calibrate such a complex, highly parameterized system. There are essential aspects of model‐building to be taken into account: spatial resolution, the routing equation limitations, and calibration of spatial parameters, and...

Software Analytics in Continuous Delivery: A Case Study on Success Factors

Background: During the period of one year, ING developed an approach for software analytics within an environment of a large number of software engineering teams working in a Continuous Delivery as a Service setting. Goal: Our objective is to examine what factors helped and hindered the implementation of software analytics in such an environment...

An innovative design of a pop-up store: Using the unique properties of pop-up stores in the financial sector

The ING pop-up store Pop-up stores, were once considered an adventurous experimental retail strategy, but today it has become a more established channel for driving sales, generating buzz, building brand awareness, testing or co-creation of products. This innovative channel also raised attention at the ING Customer Experience Centre (ICEC) as...

Beating the Crunch: Real estate management of Dutch multinationals

The graduation thesis gives insight in corporate real estate management within Dutch multinationals. The credit crunch requires corporations to strategically respond. The real estate response is dependent on the impact of the credit crunch on the business results and corporate strategy. The cross-case analysis presents the mutual implementations.

Redesign of the application process for switching between banks

Every day ING receives thousands of digital or hardcopy requests from their customers that need to be processed and answered. A lot of these forms are rejected for various reasons every day. This causes not only huge paper flows and high turnaround times, but unsatisfied customers as well. One of these incoming requests is a hardcopy form to...

An urban geography of globalisation: New urban structures in the age of hyper-connectivity

How is Globalisation changing the form and spatial structure of cities today? Deceptively simple, this question presents us with a number of methodological challenges and unanswered theoretical problems. What is globalization? Can we define a series of distinctive new phenomena constituting a coherent and logical outline? Do these phenomena...