Microbending loss in optical fibers. - William B. Gardner (Bell Syst. Tech. J., 1975)

An Object-Oriented Layered Approach to Interfaces for Hardware/Software Codesign of Embedded Systems. - William B. Gardner; Micaela Serra (HICSS (7), 1998)

CSP++: an object-oriented application framework for software synthesis from CSP specifications. - William B. Gardner (1999)

Bridging CSP and C++ with Selective Formalism and Executable Specifications. - William B. Gardner (MEMOCODE, 2003)

Synthesis of C++ Software from Verifiable CSPm Specifications. - Stephen Doxsee; William B. Gardner (ECBS, 2005)

Rapid Prototyping of Embedded Software Using Selective Formalism. - John D. Carter; Ming Xu; William B. Gardner (IEEE International Workshop on Rapid System Prototyping, 2005)

Prototyping a Residential Gateway Using Xilinx ISE. - S. W. Song 002; J. D. Zheng; William B. Gardner (IEEE International Workshop on Rapid System Prototyping, 2005)

Synthesis of C++ software for automated teller from CSPm specifications. - Stephen Doxsee; William B. Gardner (SAC, 2005)

CSP++: How Faithful to CSPm? - William B. Gardner (CPA, 2005)

Converging CSP specifications and C++ programming via selective formalism. - William B. Gardner (ACM Trans. Embed. Comput. Syst., 2005)

A Formal CSP Framework for Message-Passing HPC Programming. - John D. Carter; William B. Gardner (CCECE, 2006)

Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. - John D. Carter; William B. Gardner (SEW, 2007)

Converting scenarios to CSP traces with Mise en Scene for requirements-based programming. - John D. Carter; William B. Gardner (Innov. Syst. Softw. Eng., 2008)

The pilot approach to cluster programming in C. - John D. Carter; William B. Gardner; Gary Gréwal (IPDPS Workshops, 2010)

The pilot library for novice MPI programmers. - John D. Carter; William B. Gardner; Gary Gréwal (PPoPP, 2010)

CellPilot: A Seamless Communication Solution for Hybrid Cell Clusters. - N. Girard; William B. Gardner; John D. Carter; Gary Gréwal (ICPP Workshops, 2011)

Supporting Timed CSP Operators in CSP++. - William B. Gardner; Yuriy Solovyov (CPA, 2012)

AutoPilot: message passing parallel programming for a cache incoherent embedded manycore processor. - Ben Kelly; William B. Gardner; Shorin Kyo (MES, 2013)

Using the pilot library to teach message-passing programming. - William B. Gardner; John D. Carter (EduHPC@SC, 2014)

Supporting Selective Formalism in CSP++ with Process-Specific Storage. - William B. Gardner; Alicia Gumtie; John D. Carter (HPCC/CSS/ICESS, 2015)

A new Canadian interdisciplinary Ph.D. in computational sciences. - William B. Gardner; Gary Gréwal; Deborah A. Stacey; David A. Calvert; Stefan C. Kremer; Fangju Wang (J. Comput. Sci., 2015)

BHive: Towards Behaviour-Driven Development Supported by B-Method. - John D. Carter; William B. Gardner (IRI, 2016)

Log Visualization Tool for Message-Passing Programming in Pilot. - Tianyi Bao; William B. Gardner (IPDPS Workshops, 2017)

Should We Be Teaching Parallel Programming? - William B. Gardner (WCCCE, 2017)