Scalable Join-Pattern Matching for Observables

As more and more of our systems become reactive, and have to scale to ever-growing demands, it becomes clear that the democratization of asynchronous programming is an important research subject. We present a novel programming construct that enables declarative and scalable coordination of asynchronous streams of events. Our model is integrated...

A Generic and Automatic Test Strategy for Compiler Testing

Domain-specific Languages (DSLs) are languages specifically tailored for an application or expert domain. These can be implemented as compilers, which check the correctness of an input program and translates it to a target language. Manual testing of compilers is a time consuming and labor intensive task. This motivates the development of...

Stage registratie systeem voor Lentiz | Maaslandcollege

Er is in opdracht van de TU Delft faculteit Elektrotechniek, Wiskunde en Informatica (EWI) in de vorm van een Bachelor Eindproject (BEP) een stage registratiesysteem gemaakt voor het Lentiz | Maaslandcollege. Bij de opdrachtgever is er geïnventariseerd wat de wensen waren waarna wij uitkwamen op een stage registratie web applicatie waar de...

Field Of Threads: Master’s Thesis on a tool for clarifying thread behavior

Multithreaded programming is becoming increasingly important because of recent increase in the use of multiprocessor computing. Multithreaded or concurrent programming is inherently more complex than single threaded code, requiring the use of synchronization and causing possible problems like deadlock or dormancy. Dynamic analysis tools can aid...

Generating Web-based Semantically Aware Source Code Editors

This thesis describes spoofax2ace, the tool to generate source code editors which can run in the browser. The features which are common in state of the art desktop-computer based source code editors are investigated after which the difficulties in getting these features running on the Web are discussed. We present, implement, and compare...

The design and implementation of Google Swiffy: A Flash to HTML5 converter

As the web shifts towards mobile devices without support for Adobe Flash, developers need to use new technologies to bring the type of animated, interactive content they used to develop in Flash to those mobile devices. In this thesis, we present the design and implementation of a tool that eases this transition by automatically converting Flash...

MATLAB to Fixed-Point C Code Generation and its Application to Real-Time Heartbeat Detection

MATLAB is a popular very-high-level-language used for visualizing, prototyping and perform- ing design-space exploration of algorithms. But, this flexibility comes at the price of high memory consumption and slow execution times, making it unsuitable for use in an embedded system. The possibility of using Embedded MATLAB (EML), a small subset of...

Automated Regression Testing of Ajax Web Applications

There is a growing trend of moving desktop applications to the Web by using AJAX to create user-friendly and interactive interfaces. Well-known examples include GMail, Hotmail, Google Wave and office applications. One common way to provide assurance about the correctness of such complex and evolving systems is through regression testing....