Travelled to:1 × India
1 × USA
Collaborated with:S.Doxsee J.D.Carter G.Gréwal
Talks about:synthesi (1) programm (1) softwar (1) librari (1) teller (1) specif (1) pilot (1) novic (1) autom (1) mpi (1)
Person: William B. Gardner
DBLP: Gardner:William_B=
Contributed to:
2010
2005Wrote 2 papers:
- PPoPP-2010-CarterGG #library
- The pilot library for novice MPI programmers (JDC, WBG, GG), pp. 351–352.
- SAC-2005-DoxseeG #automation #c++ #specification #synthesis
- Synthesis of C++ software for automated teller from CSPm specifications (SD, WBG), pp. 1565–1566.