Title: Theory and Practice of Algorithms in  Systems