Speaker: Kuldeep S. Meel (Georgia Institute of Technology) Abstract:  The dominant guiding philosophy in the first sixty years of Computer Science was for designers to design systems that were always correct, and to accept nothing less as users. But times have changed: Users and designers are accustomed to systems with statistical components and behaviors. What does it… Read More »Distribution Testing: The New Frontier for Formal Methods

Speaker: Kuldeep S. Meel (Georgia Institute of Technology)   Abstract:  The dominant guiding philosophy in the first sixty years of Computer Science was for designers to design systems that were always correct, and to accept nothing less as users. But times have changed: Users and designers are accustomed to systems with statistical components and behaviors. What… Read More »Distribution Testing: The New Frontier for Formal Methods

Prof. Venkata Koppula will be giving a talk on Wednesday, March 19th, in Bharti 501. Please note that this is not our usual Monday slot. The talk will begin at 12:00 PM, with refreshments served at 11:50 AM, prior to the talk. Below are the details: Abstract: Consider a resource-bounded client that wants to outsource some… Read More »Delegation and Verification of Quantum Computation

Abstract: Modern data centres serve as a backbone for executing diverse workloads. The growing demand for resources has led to high traffic volumes, requiring clusters to operate at high utilisation. In this talk, I will examine how current data centre schedulers, responsible for mapping workload tasks to resources, perform under such challenging conditions. I will… Read More »The Case for Decentralised Scheduling in Modern Data Centres

Abstract: From social media all the way to satellite images, we are capturing visual data at an unprecedented scale. These images tell a story about our planet. With advances in automatic recognition, we can build a collective understanding of world-scale events as recorded through visual media. In this talk, we will first explore the idea… Read More »Visual Discovery for Science

Speaker: Surender Baswana, IIT Kanpur   Abstract: Mincuts are one of the most well-researched topics in algorithms. In recent years, there has been phenomenal research on algorithms for computing (s, t)-mincuts and global mincuts. On the other hand, the data structural and graph theoretical aspects of mincuts have also been well-researched in the last 50… Read More »An amazing structure for representing all Steiner mincuts of a graph