Research-I Seminar Series

Research-I Seminar Series

The Research-I Seminar Series is organized by the department to invite speakers from around the globe to visit the department and talk about their research. The series is supported by the Research-I Foundation. Given below is a list of Research-I seminars that have been organized so far.

• Aditya Nori (September 2nd, 2013)
  SAP Labs, Bangalore,
  Program Verification via Machine Learning
• Thakurdas Paul (June 6th, 2013)
  SAP Labs, Bangalore,
  Introduction to In Memory Computing and HANA
• Vidit Jain (April 3rd, 2013)
  Yahoo! Labs, Bangalore,
  Using Gaussian Process Regression for Adapting Pre-trained Machine Learned Systems
• Manoj Gupta (March 14th, 2013)
  IIT Delhi,
  Fully Dynamic (1+epsilon)-Approximate Matchings
• Partha Sarathi Roy (March 1st, 2013)
  Hyderabad Central University,
  Biodiversity Information to Knowledge: A Geospatial Perspective
• Stephan Winter (January 28th, 2013)
  University of Melbourne,
  Intelligent Geo-spatial Systems
• Abhinav Agarwal (January 16th, 2013)
  Massachusetts Institute of Technology,
  High-throughput and low-power implementation of a million point sparse FFT
• Ankit Sharma (January 9th, 2013)
  Carnegie Mellon University,
  Welfare and Profit maximization with Procurement costs
• David Culler (January 7th, 2013)
  University of California, Berkeley,
  Enabling a Sustainable Energy Infrastructure - a role for Information Technology
• Bipin Indurkhya (January 4th, 2013)
  IIIT Hyderabad and AGH University of Science & Technology, Krakow Poland,
  Perceptual Similarity, Visual Metaphor and Creativity
• Vijay V. Vazirani (January 4th, 2013)
  Georgia Institute of Technology,
  Matching: A New Proof for an Ancient Algorithm
• Saurabh Gupta (December 5th, 2012)
  North Carolina State University,
  Locality-Driven Cache Partitioning: A Case for Leveraging Spatial Locality for Effective Cache Sharing
• Ruzica Piskac (September 24-26, 2012)
  Max Planck Institute for Software Systems,
  Program verification using SMT Solvers (Seminar Series)
• Sathya Perri (April 13th, 2012)
  IIT Patna,
  Addressing concurrency issues in Multicore Systems: Software Transactional Memory Systems
• Sumit Gulwani (February 22nd, 2012)
  Microsoft Research, Redmond,
  Automating End-user Programming and Education using Program Synthesis
• Ulf Troppens and Gopal Kulkarni (November 17, 2011)
  IBM, India,
  Storage Networks
• Chandan Saha (September 2nd, 2011)
  Max-Planck-Institut fur Informatik, Saarbrucken,
  On the Sum of Square Roots of Polynomials and Related Problems
• Anindya De (September 2nd, 2011)
  Univeristy of California, Berkeley,
  Extractors and lower bounds for locally samplable sources

Research Areas | Publications | Books | Seminars | Projects