Defended Thesis
(Under construction ...)
Doctoral Dissertations
- Jevgeni Kabanov. Towards a more productive Java EE ecosystem, 2013.
- Vesal Vojdani. Static Data Race Analysis of Heap-Manipulating C Programs, 2010.
- Härmel Nestra. Iteratively defined transfinite trace semantics and program slicing with respect to them, 2006.
M.Sc. Theses
- Dmitri Gabbasov. Adding Nim programming language support to IntelliJ IDEA, 2016.
- Ostap Maliuvanchuk. Performance optimization of a Java instrumentation agent for calling context encoding, 2016.
- Tõnis Pool. Generic Reloading for Languages Based on the Truffle Framework, 2016.
Related publication: TruffleReloader: A Low-Overhead Language-Neutral Reloader, ICOOOLPS'16. - Vootele Rõtov. Time Partitioning in Goblint: Extending region analysis with happens-before information, 2016.
Related publication: Static race detection for device drivers: the Goblint approach, ASE'16. - Urmas Tamm. Eclipse plugin for analyzing embedded SQL queries in PHP programs, 2015.