Registered user since Wed 7 Jan 2015

Name: David Pearce

Country: New Zealand

Affiliation: Victoria University of Wellington

Personal website: http://homepages.ecs.vuw.ac.nz/~djp/

SPLASH 2015 Activities

• SLE Steering Committee Member in Steering Committee for SLE 2015
• Author of The Whiley Rewrite Language (WyRL) within the SLE-track in SLE 2015
• Author of Whiley: a Better C? within the NOOL-track in NOOL 2015
• Committee Member in Program Committee for SLE 2015
• Author of Some Usability Hypotheses for Verification within the PLATEAU-track in PLATEAU 2015
• Session Chair of Tools I (part of SLE 2015)
• Show activities from other conferences