Apache Spark has become a key platform for Big Data Analytics, yet it lacks complete support for debugging analytics programs. As a result, the development of a new analytical toolkit can be a painstakingly long process [7, 2, 4]. To fill this gap, we are developing Spark-BDD (Big Data Debugger), which brings a traditional interactive debugger experience to the Spark platform. Analytic programm...

This paper introduces a novel approach to support runtime execution monitoring with nearly no negative impact on runtime. The monitoring is configurable to applicationspecific requirements and supports real-time behaviour during development and runtime. An extension of the basic approach for monitoring contains watchdog capabilities for a finegrained observation of runtime activities and a two-...

Although several profiling techniques for identifying performance bottlenecks in logic programs have been developed, they are generally not automatic and in most cases they do not provide enough information for identifying the root causes of such bottlenecks. This complicates using their results for guiding performance improvement. We present a profiling method and tool that provides such expla...

The digital logic rewiring technique has been shown to be one of the most powerful logic transformation methods . It has been proven that rewiring is able to further improve some already excellent results on many EDA problems, ranging from logic minimization, partitioning, FPGA technology mappings to final routings. Previous studies have shown that ATPG-based rewiring is one of the most powerfu...

Domain-specific formal languages are an essential part of computer science, combining theory and practice. Such languages are characterized by being tailor-made for specific application domains and thereby providing expressiveness on high abstraction levels and allowing specialized analysis and verification techniques. This dissertation describes two projects, each exploring one particular inst...

Due to the stochastic uncertainties in ramp area aircraft trajectories, the optimization of push back time windows has to account for randomness associated with the trajectories. This paper formulates a mixed integer linear program for computing the optimal chanceconstrained aircraft push back time windows. The solutions are chance-constrained because they allow for a non-zero but bounded proba...

This paper describes a fast retiming algorithm targeting delay while minimizing the number of flip-flops moved. The algorithm can be applied before placement to minimize logic level, or after placement to minimize the critical region annotated with wire delays. Experiments on a suite of industrial benchmarks show that the algorithm improves fMAX by 9% while increasing LUT count by 1% and flip-f...

RVMT-BIP is a tool for the runtime verification of multi-threaded componentbased systems described in the Behavior, Interaction, Priority (BIP) framework against linear-time and logic-independent properties. RVMT-BIP implements rigorous semantics-preserving transformations of BIP systems to instrument and inject a sound and concurrency-preserving global-state reconstructor for on-the-fly monito...

Partial Evaluation is an automatic technique for program optimization. The aim of partial evaluation is to specialize a program with respect to part of its input, which is known as the static data. Existing algorithms for on-line partial evaluation of logic programs, given an initial program and a description of runtime queries, deterministically produce a specialized program. The quality of th...