����Vlog

ISTD Seminar by Martin Sulzmann – Prof Martin will survey the state of the art in the area of controlled concurrency (CCT) testing for Go to explore schedules that reveal panic and blocking bugs, and discuss several new novel aspects such as the ability to perform controlled replay of programs to guarantee that new schedules are actually explored in this seminar.

ISTD PhD Oral Defence Seminar by Zeng Guangtao – Language models are foundational to modern artificial intelligence, but their development is often constrained by challenges in efficiency, controllability, and reasoning. In this thesis, we aim to address these limitations by introducing advanced paradigms at both the pre-training and post-training stages.