A design problem is the result of design decisions that negatively impact quality attributes.
For example, a stakeholder introduces a design problem when he decides to addresses …

To support C++ exception handling, compilers generate metadata that is a rich source of
information about the code layout. On Linux, this metadata is also used to support stack …

In this work, we address the problem of algorithm plagiarism, which occurs when a
plagiarist, violating intellectual property rights, steals others' algorithms and covertly …

The features of modularity and inheritance in C++ facilitate the developers' usage, but also
give rise to the problem of type confusion. As an ancestor class may have a different data …

Static analysis is a great approach to find bugs and code smells. Some of the errors span
across multiple translation units. Unfortunately, separate compilation makes cross …

Nowadays, many dynamic languages come with (some sort of) type inference in order to
detect type errors statically. Often, in order not to unnecessarily reject programs which are …

This paper presents Apex, a system that can automatically generate explanations for
programming assignment bugs, regarding where the bugs are and how the root causes led …

Pointer aliasing still hinders compiler optimizations, in spite of years of research on pointer
disambiguation. Because the automatic disambiguation of pointers is a difficult endeavor …

We present a new technique for automatically detecting logical errors in functional
programming assignments. Compared to syntax or type errors, detecting logical errors …

We present a novel approach to detect refactoring opportunities by measuring the
participation of references between types in instances of patterns representing design flaws …