Aditya Kanade -

Registered user since Sat 4 Apr 2015

Name:Aditya Kanade

Affiliation:Microsoft Research India

Personal website: https://www.microsoft.com/en-us/research/people/kanadeaditya/

Contributions

2024

ICSE

Committee Member in Research Track within the Research Track-track

ISEC

Area Chair (LLMs meet SE) in Program Committee within the Research Papers-track

2023

ESEC/FSE

2022

MAPS

Committee Member in Program Committee within the MAPS 2022-track

2021

PLDI

ICSE

Committee Member in Program Committee within the Technical Track-track

2020

PLDI

Committee Member in External Program Committee within the PLDI Research Papers-track

2018

PLDI

Committee Member in Program Committee

ICSE

Committee Member in Demonstrations Program Committee within the DEMO - Demonstrations -track

2017

ISSTA

Author of Efficient Computation of Happens-Before Relation for Event-Driven Programs within the Technical Papers-track

PLDI

Author of Static Deadlock Detection for Asynchronous C# Programs within the PLDI Research Papers-track

2016

POPL