rename denlab -> dataprog