Aditya Kanade -

Registered user since Sat 4 Apr 2015

Name: Aditya Kanade

Affiliation: Indian Institute of Science, Bangalore

Personal website: http://www.iisc-seal.net/kanade

Contributions

PLDI 2018	Committee Member in Program Committee
ISSTA 2017	Author of Efficient Computation of Happens-Before Relation for Event-Driven Programs within the Technical Papers-track
PLDI 2017	Author of Static Deadlock Detection for Asynchronous C# Programs within the PLDI Research Papers-track
* ICSE 2018 *	Committee Member in Demonstrations Program Committee within the DEMO - Demonstrations -track
POPL 2016	Committee Member in Program Committee Committee Member in Program Committee within the Research Papers-track