Papers
N. Rosa, A. Wagner and H. Kamal. Towards Lightweight Formal Development of MPI Applications. Accepted to Communicating Process Architectures 2015. Open Channel Publishing Ltd., England., August 2015. (slides)
(doi) Humaira Kamal and Alan Wagner. An Integrated Fine-Grain Runtime System for MPI. In Journal of Computing: Volume 96, Issue 4 (2014), Page 293-309, ISSN 0010-485X.  Author version of the paper [pdf]. The final publication is available on the Springer website. [doi] [bib]
(PDF) Sarwar Alam, Humaira Kamal and Alan Wagner. A Service-oriented Scalable Dictionary in MPI. Accepted to Communicating Process Architectures 2014, 25 pages. Open Channel Publishing Ltd., England., August 2014.
(doi) Sarwar Alam, Humaira Kamal and Alan Wagner. A Scalable Distributed Skip List for Range Queries. In the 23rd ACM Symposium on High Performance Parallel and Distributed Computing (HPDC'14), June 23-27, 2014. [bib]
(PDF) Sarwar Alam, Humaira Kamal and Alan Wagner. Service Oriented Programming in MPI. In Communicating Process Architectures 2013. pp 93-112. ISBN: 978-0-9565409-7-3. Open Channel Publishing Ltd., England., August 2013. [bib]
(PDF) Humaira Kamal and Alan Wagner. Added Concurrency to Improve MPI Performance on Multicore. In Parallel Processing (ICPP), 2012 41st International Conference on, pages 229 –238, September 2012. [bib]
(PDF) Humaira Kamal and Alan Wagner. An Integrated Runtime Scheduler for MPI. In J. Traff, S. Benkner, and J. Dongarra, editors, Recent Advances in the Message Passing Interface, volume 7490 of Lecture Notes in Computer Science, pages 173–182. Springer Berlin Heidelberg, September 2012. [bib]