Explores changes in academic promotion processes, emphasizing the introduction of student recommendation letters for professors and addressing challenges of bias and evaluation methods.
Covers the implementation and evaluation of a practical project in Distributed Algorithms, focusing on building Perfect Links, FIFO Broadcast, and Localized Causal Broadcast.
Explores model interpretation, compilation via partial evaluation, function calls, and the transition to partial evaluation, emphasizing the importance of model interpreters in supporting modeling languages.
