BSc szakdolgozati és MSc diplomamunka témák
C++-al kapcsolatos témák
A C++ programozási nyelv folyamattosan fejlődik és a C++17 már itt van a nyakunkon. Számos új, izgalmas nyelvi elemet találunk benne, miközben még a C++11 elemeit sem mindig értjük és alkalmazzuk helyesen.
Ezek a témák az új C++ nyelvi elemekkel, azok helyes és helytelen alkalmazásaival, ezek detektálhatóságával foglalkoznak.
Template metaprogramokkal kapcsolatos témák
Ezek a témák a C++ tudás mellett a template metaprogramok alapvető megértését követelik. Számos téma épít Dr. Sinkovics Ábel kutatásaira, illetve az általunk kifejlesztett nyílt forráskódú Templight. Ezeket érdemes jelentkezés előtt átnézni.
Statikus analízissel kapcsolatos témák
Ezek a témák részben kapcsolódnak a Szoftvertechnológiai laboratóriumban folytatott kutatásokhoz, részben attól függetlenek. Számos programozási nyelvet (pl. C++, Scala, Java, stb.) érintenek, de közös bennük, hogy szükség van a fordítóprogramok működésének alapvető ismereteire, különösen az Absztrakt Szintaxisfa (AST) szerepének megértésére. A C++ témák többsége az LLVM/Clang fordítóprogram infrastruktúrát alkalmazza.