If it was an "experienced" WordPress developer then the ones you listed SHOULD be very well known, even if that person doesn't use them.
I would also add these to that list:
W3 Total Cache
WP Super Cache
Contact Form 7
Googly analytics dashboard for WP
Mailchimp
bbPress
There are many others but these are some of the more widely used. I would say that if the developer doesn't know these then they haven't enough experience for me. Even if they don't use them, they should know then because of their usage numbers and for how well known they are.
Each developer seems to have their preferences as far as what plugins they prefer and a few can be kind of well, let's say quirky.