Registered user since Thu 18 Dec 2014
I am an Assistant Professor in the Department of Computer Science at Indiana University.
|POPL 2018|| Soft Contract Verification for Higher-order Stateful Programs|
Soft Contract Verification for Higher-order Stateful Programs
|Show activities from other conferences|
View general profile