SCS Undergraduate Thesis Topics

Ownership types have the potential to strengthen encapsulation in object-oriented programming languages. However, annotating existing code can be tedious, and fully automated ownership type inference has not worked well enough, with the result that it is difficult to obtain the benefits of ownership types in practice. We address this problem with an interactive ownership type inference tool that obtains information from the programmer about intended encapsulation properties and use this to infer ownership types. This will allow developers to quickly annotate existing code, enabling them to obtain the benefits of ownership types.