Theory and Practice of Parallel Programming