Research Homepage

Study : Ph.D. track in ACO, Georgia Institute of Technology
Visiting ToC Group, CSAIL, MIT
Research Adviser : Prof. Adam Kalai
Office : 32-G575 (Stata Center, MIT)


Research Interests
  • Learning Theory, Online Algorithms, Computational Complexity


Publications
  1. Reliable Agnostic Learning. Adam T. Kalai, Varun Kanade and Yishay Mansour. COLT 2009[pdf]
  2. Sleeping Experts and Bandits with Stochastic Action Availability and Adversarial Rewards. Varun Kanade, H. Brendan McMahan and Brent Bryan. AISTATS 2009. [pdf]
  3. Life (and routing) on the Wireless Manifold. Varun Kanade and Santosh Vempala. Hotnets VI, Atlanta, GA 2007. [pdf]
  4. SWARM : A Parallel Programming Framework for Mulit-Core Processors. David A. Bader, Varun Kanade, Kamesh Madduri. Workshop on Multithreaded Architectures and ApplicationsLong Beach, CA, USA 2007. [pdf]
  5. Approximate Symbolic Reachability of Networks of Transition Systems. Sudeep Juvekar, Ankur Taly, Varun Kanade and Supratik Chakraborty. Book chapters in Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Springer, Netherlands (Invited Paper).


Technical Reports
  1. Guided symbolic reachability using partitioning. Senior Thesis, IIT Bombay 2006[pdf]
  2. Abstractions in symbolic model checking. Junior Thesis, IIT Bombay 2005[pdf]


TA - Approximation Algorithms: Spring 2008

Instructor: Prof. Milena Mihail
Class Homepage: www.cc.gatech.edu/~mihail/index7520.html


Useful Links

Latex
  1. My own notes which are very incomplete at this point of time, but I will keep adding stuff that I find most useful.
  2. www.math.uiuc.edu/~hildebr/tex/
  3. Prof. Soumen's notes on latex at IIT Bombay sample.tex sample.bib sample.ps
  4. people.csail.mit.edu/jrennie/latex/
  5. alawi.csail.mit.edu/latex.php
  6. newton.ex.ac.uk/tex/pack/bibtex/btxdoc/btxdoc.html - for bibtex
  7. www.ams.org/authors/author-faq.html - for math

Home Research Photos Activities