Invited Papers -- Static Analysis of Concurrent Programs Using Ordinary