I am working with Prof. Rajeev
Alur on formal methods for software and embedded systems.
Earlier I was a Ph.D. student at the
Dept. of Computer Science and Engg.,
IIT Bombay (2002-2007).
I was also affiliated with the
Centre for Formal Design and Verification of
Software.
Here is my old homepage.
|
Research Interests
My research interests include techniques for improving quality of software design and implementation
using programming methodologies, software engineering, and formal methods.
|
Software Tools
SPOTS: A System for Proving Optimizing Transformations Sound
|
Publications
-
Rajeev Alur, Aditya Kanade, and Gera Weiss,
Ranking Automata and Games for Prioritized Requirements,
in Proceedings of the 20th International Conference on Computer Aided Verification (CAV'08), July 2008 (To appear).
-
Aditya Kanade, Amitabha Sanyal, and Uday Khedker,
Structuring Optimizing Transformations and Proving them Sound,
in Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification (COCV'06), ENTCS, Volume 176(3), July 2007.
-
Aditya Kanade, Amitabha Sanyal, and Uday Khedker,
A PVS based Framework for Validating Compiler Optimizations,
in Proceedings of the 4th IEEE International Conference on
Software Engineering and Formal Methods (SEFM'06), September 2006.
-
Aditya Kanade, Uday Khedker, and Amitabha Sanyal,
Heterogeneous Fixed Points with Applications to Points-to Analysis,
in Proceedings of the 3rd Asian Symposium on Programming Languages and Systems (APLAS'05), LNCS, Volume 3780, November 2005.
|
Other writings
- Aditya Kanade, SPOTS: A
System for Proving Optimizing Transformations Sound,
Ph.D. Thesis, Department of Computer Science and Engineering, IIT Bombay, 2007.
-
Aditya Kanade,
Down-toad-den: A Series of Unfortunate Events,
an observation based photo-article on a series of attacks on
a Common Indian Toad (Bufo melanostictus) by several predators
and its successful struggle for survival,
in Hornbill, Jan-Mar, 2006, a popular publication by
Bombay Natural History Society (BNHS).
Copyright notice: The published work is presented here to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
|
Personal
I am a nature and photography enthusiast.
|
