Introduction

The course is intended to teach the students the advanced techniques that underlie the practice of Compiler Construction. The course will introduce the theory and tools that can be standardly employed in order to perform syntax-directed translation of a high-level programming language into an executable code.

These techniques can also be employed in wider areas of application, whenever we need a syntax-directed analysis of symbolic expressions and languages and their translation into a lower-level description. They have multiple applications for man-machine interaction, including verification and program analysis.

Objectives

• We are looking for a debugger which makes a chain of instructions affecting a faulty result when debugging a program. This technique is called backward slicing. Using the statistical method we could restrict this chain to those of segments which have been observed more frequently in the faulty execution rather than the successful one. Here the main difficulty is raised by accidentally passing execution. Another obstacle is the collective impact of statements on each other and the program execution results. In this respect, we have given some solutions based on information and game theory. For the time being, we are working on word embedding techniques to determine the impact of program statement on each other on the faulty results.

Motivations

• Compiler Research: The next 50 Years [pdf]