Research

For a quick overview see DBLP, Google Scholar or Google research page.

Conference Papers

Journal Papers

Service

Talks

Technical Reports

  • Parallelism in Haskell (CS653, IIT Kanpur 2010) [report] [slides] [code]

  • Some results in circuit lower-bounds (CS640, IIT Kanpur 2011) [slides]

  • The Borsuk-Ulam theorem and its application to graph theory (CS697, IIT Kanpur 2011) [report] [slides]

  • Random walks on directed graphs (CS698P, IIT Kanpur 2011) [report] [slides]