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