If DateTime is not a requirement, and short month names are ok (difficult to say with "May" as the only example), then I offer this:

printf('"%s %d,%d?"',substr(gmtime(34e6*('19830501'=~/(....)(..)(..)/)
+[1]),4,3),$3,$1);
[download]