This Friday Prof. Hein Meling (@meling) from the University of Stavanger is giving a guest lecture on Paxos and Autograder. The lecture is at Lille Aud. at 12:15 - 14:00. This talk is very relevant for your exams next week, so I expect to see you there!
Paxos Explained from Scratch
Abstract:
Paxos is a flexible and fault tolerant protocol for solving the consensus problem, where participants in a distributed system need to agree on a common value. However, Paxos is reputed for being difficult to understand. This tutorial aims to address this difficulty by visualizing Paxos in a completely new way. Starting from a naive solution and strong assumptions, Paxos is derived in a step-wise fashion. In each step, minimal changes are made to the solution and assumptions, aimed at understanding why the solution fails. In this manner, a correct solution that corresponds to Paxos is eventually reached.
Autograder: Better management and evaluation of lab assignments
Abstract:
Evaluating student submitted code is time consuming and error-prone, and providing useful feedback to students even more so. To solve this problem, we have developed an autograder system at the University of Stavanger. The objective is to provide student feedback quickly through test-driven development. Teachers/assistants develop skeleton code and bundles of test cases that student code should pass. Students submit their code to github (private repository), the code is checked against the test cases, and given a score. In addition, the students can see which tests fail, and for what reason. If the Demo Gods are with me, there will also be a demo.
Bio
Hein Meling is Professor of Computer Science at the University of Stavanger, Norway, where he works on systems and protocols to improve the robustness of network services. He was co-PI on the Tidal News project funded by the Norwegian Research Council. He runs a small research group focusing on building a Paxos-based middleware framework to build robust network services. He received a PhD in 2006 from the Norwegian University of Science and Technology.
Good morning @uit-inf-3203/students!
This Friday Prof. Hein Meling (@meling) from the University of Stavanger is giving a guest lecture on Paxos and Autograder. The lecture is at Lille Aud. at 12:15 - 14:00. This talk is very relevant for your exams next week, so I expect to see you there!
Paxos Explained from Scratch
Abstract: Paxos is a flexible and fault tolerant protocol for solving the consensus problem, where participants in a distributed system need to agree on a common value. However, Paxos is reputed for being difficult to understand. This tutorial aims to address this difficulty by visualizing Paxos in a completely new way. Starting from a naive solution and strong assumptions, Paxos is derived in a step-wise fashion. In each step, minimal changes are made to the solution and assumptions, aimed at understanding why the solution fails. In this manner, a correct solution that corresponds to Paxos is eventually reached.
Autograder: Better management and evaluation of lab assignments
Abstract: Evaluating student submitted code is time consuming and error-prone, and providing useful feedback to students even more so. To solve this problem, we have developed an autograder system at the University of Stavanger. The objective is to provide student feedback quickly through test-driven development. Teachers/assistants develop skeleton code and bundles of test cases that student code should pass. Students submit their code to github (private repository), the code is checked against the test cases, and given a score. In addition, the students can see which tests fail, and for what reason. If the Demo Gods are with me, there will also be a demo.
Bio
Hein Meling is Professor of Computer Science at the University of Stavanger, Norway, where he works on systems and protocols to improve the robustness of network services. He was co-PI on the Tidal News project funded by the Norwegian Research Council. He runs a small research group focusing on building a Paxos-based middleware framework to build robust network services. He received a PhD in 2006 from the Norwegian University of Science and Technology.