Yes, he used it. You can find Vocabprofile here:
http://www.er.uqam.ca/nobel/r21270/cgi-bin/webfreqs/web_vp.cgi
A bit more about his paper:
Laufer, B., & Nation, P. (1995). Vocabulary size & use: Lexical richness in L2 written productions. Applied Linguistics 16 (3), 307-322.
This study introduces and validates VP as a research instrument. The study first discusses problems associated with other approaches to automatic measurement of lexical richness of texts. One of these, for example, is type-token ratio analysis, which seeks to identify the number of different words appearing in a text, but (1) it tells us nothing about the quality (frequency) of the words, and (2) its results are known to vary with text length [demo]. On the other hand, VP analysis is frequency based and does not vary systematically with text length [demo]. But what useful work can VP do? Several predictions about vocabulary acquisition are tested and affirmed using VP.
VP score is reliable across two texts by the same learner (provided genre is the same).
VP score correlates with an independent measure of vocabulary knowledge (Nation's Levels Test which follows the same categorization).
VP score predicts broader language proficiency measure (learners at three proficiency levels have significantly different VP scores).