Click here to apply for this internship.

Affiliated to

IBM

Location

IBM Research Lab in Haifa, Israel

Timing

3 months. The timing is flexible.

Description

We routinely encounter programs that used to work but after some change show an incorrect behavior at runtime. For example, a small change in the compiler, or a post-link optimizer can produce such incorrect version. Locating the exact point of failure may become a difficult task.

The research will use the following principles:
1) Explore various ways for automatically locating this point of failure, given a correct and incorrect versions of the program.
2) Use the concept of differential debugging in order to overcome trace size explosion.
3) Employ static binary program analysis to guide the debugging operation

---

Click here to apply for this internship.
Click here for a list of all applications for this PhD.
Click here to go to an overview off all internships (and applications) for this call.