Panda: A Portable Platform to Support Parallel Programming Languages