News

Congratulations to Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, and Deepak D'Souza for their work, titled "Specification Synthesis with Constrained Horn Clauses", which has received a Distinguished Paper Award at PLDI'21
Software Fault Tolerance via Environmental Diversity - Prof. V.V.S. Sarma Memorial Lecture (Second in the series)
CSA
Shikhar Vashishth, recent PhD graduate from CSA, has been awarded this year's ACM India Distinguished Dissertation Award.
Prof. Uday Reddy B. receives an Honorable mention in ACM India’s Early Career Research Award 2020 for his fundamental contributions in advancing the theory and practice of polyhedral compilation frameworks.
CSA
Vishakha Patil has received the Google PhD Fellowship 2020. She is one of the fifty-three recipients world-wide.

Announcements

Seminars

Jul
30
Network Anonymity, Privacy, (Anti-) Censorship and the Whole Nine Yards.
Microsoft teams - ON-LINE
Dr. Sambuddho ChakravartyAssistant ProfessorDepartment of Computer Science and Engineering Indraprastha Institute of Information Technology (IIIT Delhi)
Jul
30
Superpolynomial lower bounds against low-depth algebraic circuits
Microsoft Teams - ON-LINE
Dr. Nutan LimayeAssociate ProfessorDepartment of Computer Science and EngineeringIndian Institute of Technology, Bombay

Events

Theory

Intelligent Systems

Computer Systems