Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information.

Pavel Parzek

Browse the full FMCAD paper archive.