Yes, that's why they follow with: >We discuss why this view is the best we can do with current popular languages, and why it is inadequate moving forward. [...

Yes, that's why they follow with: >We discuss why this view is the best we can do with current popular languages, and why it is inadequate moving forward. [...] In particular, we argue that parallel languages should not only promote high-level disciplined models, but they should also enforce the discipline.