Not registered as user yet

Name: Kenneth L. McMillan

Affiliation: Microsoft Research

PLDI 2016 Activities

• Author of Ivy: Safety Verification by Interactive Generalization within the Research Papers-track in PLDI 2016
• Show activities from other conferences