Siddharth Krishna - ECOOP and ISSTA 2018

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

Registered user since Wed 1 Nov 2017

Name:Siddharth Krishna

Country:United States

Affiliation:New York University

Personal website: http://www.cs.nyu.edu/~siddharth/

Research interests:Program Verification, Separation Logic, Concurrency

Contributions

2018

FTfJP

Committee Member in Program Committee within the FTfJP-track

Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile