Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. - Cui Zhang; Robert J. Shaw; Ronald A. Olsson; Karl N. Levitt; Myla Archer; Mark R. Heckman; Gregory D. Benson (HUG, 1993)

The Design of Microkernel Support for the Sr Concurrent Programming Language. - Gregory D. Benson; Ronald A. Olsson (LCR, 1995)

Towards Microkernel Support for the SR Concurrent Programming Language. - Gregory D. Benson; Ronald A. Olsson (PDPTA, 1996)

Experience with a Portability Layer for Implementing Parallel Prgroamming Systems. - Tim Rühl; Henri E. Bal; Raoul Bhoedjang; Koen Langendoen; Gregory D. Benson (PDPTA, 1996)

On Building Efficient Substrate Softwar. - Matthew Haines; Gregory D. Benson; Koen Langendoen (PDPTA, 1997)

A Framework for Specializing Threads in Concurrent Run-Time Systems. - Gregory D. Benson; Ronald A. Olsson (LCR, 1998)

Fairness in shared invocation servicing. - Ronald A. Olsson; Gregory D. Benson; Tingjian Ge; Aaron W. Keen (Comput. Lang. Syst. Struct., 2002)

A Comparison of MPICH Allgather Algorithms on Switched Networks. - Gregory D. Benson; Cho-Wai Chu; Qing Huang; Sadik G. Caglar (PVM/MPI, 2003)

The Performance of Parallel Disk Write Methods for Linux Multiprocessor Nodes. - Gregory D. Benson; Kai Long; Peter S. Pacheco (PVM/MPI, 2003)

Python-based Distributed Programming with Trickle. - Gregory D. Benson; Alexey Fedosov (PDPTA, 2007)

Communication with Super Flexible Messaging. - Alexey Fedosov; Gregory D. Benson (PDPTA, 2007)

State management for distributed Python applications. - Gregory D. Benson (IPDPS, 2008)