Aurojit Panda - PLDI 2016

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

Registered user since Thu 15 Jan 2015

Name:Aurojit Panda

Contributions

2016

PLDI

Ivy: Safety Verification by Interactive Generalization

Show activities from other conferences

PLDI 2016-profile
View general profile