Currently browsing

Engineering Language-Parametric End-User Programming Environments for DSLs

Mauricio Verano Merino First promotor: prof.dr. J. Vinju (TU/e and CWI) Second promotor: prof.dr. M.G.J. van den Brand (TU/e) Co-promotor: prof. dr. T. van der Storm (RUG and CWI) Eindhoven University of Technology Date: 6 April, 2022 Thesis: PDF Summary Human-computer communication can be achieved through different interfaces such as Graphical …

Correct Optimized GPU Programs

Mohsen Safari promotor: prof.dr. M. Huisman (UT) University of Twente Date: 6 July 2022 Thesis: PDF Summary Software is widely incorporated in our daily lives. Almost all electronic devices around us, from smartphones and coffee machines to cars and planes are run by computer software. Thus our lives heavily depends …