Travelled to:1 × France
1 × United Kingdom
2 × Italy
2 × USA
3 × India
Collaborated with:A.Santhiar R.Alur S.Kaleeswaran V.Tulsian M.Afraz D.Saha P.Maiya R.Majumdar O.Pandita G.Weiss A.Sanyal U.P.Khedker A.Orso S.K.Rajamani G.Ramalingam S.Gulwani R.Kumar A.Lal A.V.Nori F.Ivancic S.Ramesh S.Sankaranarayanan K.C.Shashidhar
Talks about:program (2) generat (2) detect (2) model (2) test (2) hint (2) stateflow (1) represent (1) framework (1) asynchron (1)
Person: Aditya Kanade
DBLP: Kanade:Aditya
Contributed to:
2015
2014
2014
2014
2013
2010
20092008
200620162017Wrote 11 papers:
- ESEC-FSE-2015-AfrazSK #named #profiling
- P3: partitioned path profiling (MA, DS, AK), pp. 485–495.
- ICSE-2014-KaleeswaranTKO #automation #named #synthesis
- MintHint: automated synthesis of repair hints (SK, VT, AK, AO), pp. 266–276.
- MSR-2014-TulsianKKLN #algorithm #model checking #named
- MUX: algorithm selection for software model checkers (VT, AK, RK, AL, AVN), pp. 132–141.
- PLDI-2014-MaiyaKM #android #concurrent #detection
- Race detection for Android applications (PM, AK, RM), p. 34.
- FASE-2013-SanthiarPK #api #mining #testing
- Discovering Math APIs by Mining Unit Tests (AS, OP, AK), pp. 327–342.
- FSE-2010-KanadeARR #dependence #representation #testing #using
- Representation dependence testing using program inversion (AK, RA, SKR, GR), pp. 277–286.
- CAV-2009-KanadeAIRSS #generative #modelling
- Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.
- CAV-2008-AlurKW #automaton #game studies #ranking #requirements
- Ranking Automata and Games for Prioritized Requirements (RA, AK, GW), pp. 240–253.
- SEFM-2006-KanadeSK #compilation #framework #optimisation #validation
- A PVS Based Framework for Validating Compiler Optimizations (AK, AS, UPK), pp. 108–117.
- FSE-2016-KaleeswaranSKG #feedback #generative
- Semi-supervised verified feedback generation (SK, AS, AK, SG), pp. 739–750.
- PLDI-2017-SanthiarK #c# #concurrent #detection #source code
- Static deadlock detection for asynchronous C# programs (AS, AK), pp. 292–305.