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