Skip to content
cs-conference-ranking.org

William B. Gardner

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

9

Active years

2003–2016

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2016IRIBHive: Towards Behaviour-Driven Development Supported by B-Method.John D. Carter, William B. Gardner
2015HPCCSupporting Selective Formalism in CSP++ with Process-Specific Storage.William B. Gardner, Alicia Gumtie, John D. Carter
2014SCUsing the pilot library to teach message-passing programming.William B. Gardner, John D. Carter
2013ISCAAutoPilot: message passing parallel programming for a cache incoherent embedded manycore processor.Ben Kelly, William B. Gardner, Shorin Kyo
2010PPoPPThe pilot library for novice MPI programmers.John D. Carter, William B. Gardner, Gary Grwal
2007SEWMise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming.John D. Carter, William B. Gardner
2005SACSynthesis of C++ software for automated teller from CSPm specifications.Stephen Doxsee, William B. Gardner
2005RSPRapid Prototyping of Embedded Software Using Selective Formalism.John D. Carter, Ming Xu, William B. Gardner
2005RSPPrototyping a Residential Gateway Using Xilinx ISE.S. W. Song, J. D. Zheng, William B. Gardner
2003MEMOCODEBridging CSP and C++ with Selective Formalism and Executable Specifications.William B. Gardner