I don't think the artists who name their own Homestuck tracks are privy to any special knowledge about where Dave or Dirk actually live. Austin, Atlantis is foremost just a name that sounds good.

Anyway by the time human civilisation died out the Texas Triangle had probably merged into one huge megacity so it's a moot point