Parallel Program Analysis via Range Splitting.

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim

Browse the full FASE paper archive.