Tanase G, Xu X, Buss A, Harshvardhan, Papadopoulos I, et al. (2010) The STAPL pList. Lecture Notes in Computer Science: 16–30. Available: http://dx.doi.org/10.1007/978-3-642-13374-9_2.
Acknowledgements
This research supported in part by NSF Grants EIA-0103742, ACR-0081510, ACR-0113971, CCR-0113974, ACI-0326350, CRI-0551685, CCF-0833199, CCF-0830753, by the DOE NNSA under the Predictive Science Academic Alliances Program by grant DE-FC52-08NA28616, by Chevron, IBM, Intel, HP, and by King Abdullah University of Science and Technology (KAUST) Award KUS-C1-016-04. This research used resources of the National Energy Research Scientific Computing Center,