On the construction of soundness oracles.

Jens Dietrich, Li Sui, Shawn Rasheed, Amjed Tahir

Browse the full PLDI paper archive.