Login / Signup

A differential approach to undefined behavior detection.

Xi WangNickolai ZeldovichM. Frans KaashoekArmando Solar-Lezama
Published in: Commun. ACM (2016)
Keyphrases