Mgr. Jiří Beneš

Researcher

Jiří Beneš
Software Engineering
FB Informatik
Universität Tübingen
Sand 13
72076 Tübingen
Germany

E-Mail: jiri.benes(at)uni-tuebingen.de
Office: B220
Office hours: by appointment

Assigned Thesis Topics

Lena Käufel (BSc)

December 12

Property Testing in Effekt

Testing is one of the most important methods for ensuring software quality. However, traditional example-based testing methods have inherent limitations: they are restricted to evaluating individual scenarios, yet they are often used to justify broader claims than these scenarios can support.

Finished Thesis Topics

Jonas Kräher (BSc)

November 14

Software Transactional Memory in Effekt

Concurrent programs are widely used in practice, but notoriously difficult to get right, particularly when dealing with the locking and synchronization of shared memory between threads. However, ensuring correctness becomes even more challenging when individual components, which may function correctly in isolation, interact with each other. Software Transactional Memory offers a solution by abstracting over the low-level details of concurrent programming, providing atomic blocks that enable modular composibility of transactions.