Some computations and applications of Heegaard Floer correction terms