Skip to content

How Do We Involve People in AI Decision-Making? Towards Effective Participatory AI Designs

Bharti 501 IIT Campus, Hauz Khas, New Delhi

Vijay Keswani, Duke University.   The expanding capabilities of AI come with a surge in the reports of societal and personal harms related to its use. Examples range from systemic biases in AI decision-aid tools in healthcare and policing to stereotype propagation in AI-based search and translation tools. Technical research on mitigating such harms forward… Read More »How Do We Involve People in AI Decision-Making? Towards Effective Participatory AI Designs

Winter School 2024 on Data Systems

Bharti 501 IIT Campus, Hauz Khas, New Delhi

The Winter School 2024 on Data Systems, organized by the Data Systems Group of the Department of Computer Science and Engineering at IIT Delhi, will be held from December 2nd to December 6th, 2024. Supported by the Mohit Aron Endowment, this winter school provides an exceptional opportunity for final-year undergraduate students, master’s and PhD students,… Read More »Winter School 2024 on Data Systems

Winter School on Formal Verification and Program Synthesis

Bharti 501 IIT Campus, Hauz Khas, New Delhi

We are excited to invite you to the Winter School on Formal Verification and Program Synthesis, hosted at CSE IIT Delhi from December 3rd to 6th, 2024. This workshop is designed to provide participants with a comprehensive overview of recent advancements in constraint solvers and automated reasoning, along with their cutting-edge applications in diverse fields… Read More »Winter School on Formal Verification and Program Synthesis

New Algorithmic Challenges for Ethical Decision-Making

Bharti 501 IIT Campus, Hauz Khas, New Delhi

Swati Gupta, MIT. When someone is denied a job, offered a different price for the same goods or services, or declined a loan, intent to discriminate is often not the case. The decision system applies the same data and rules to all and yet has a disproportionate effect on various groups. The causes of such… Read More »New Algorithmic Challenges for Ethical Decision-Making

Global Search and Discovery with Differential Policy Optimization

Bharti 501 IIT Campus, Hauz Khas, New Delhi

Chandrajit Bajaj, UT Austin Reinforcement learning (RL) with continuous state and action spaces is arguably one the most challenging problems within the field of machine learning.  Most current learning methods focus on integral identities such as value (Q) functions to derive an optimal strategy for the learning agent. In this talk we present the dual… Read More »Global Search and Discovery with Differential Policy Optimization

Leveraging LLMs for Networking & Security in Cloud Environments

Bharti 501 IIT Campus, Hauz Khas, New Delhi

Deepak Bansal, Microsoft Abstract: Customer networks have grown, mostly organically, large and complex in cloud environments like Azure. Customers are often afraid to make changes and find it hard to diagnose when things go wrong. In this talk, I am going to share how Microsoft is using LLMs to simplify network operations at scale in… Read More »Leveraging LLMs for Networking & Security in Cloud Environments

A Theory of Alternating Paths and Blossoms, from the Perspective of Minimum Length

Bharti 501 IIT Campus, Hauz Khas, New Delhi

Vijay V. Vazirani , University of California, Irvine. It is well known that the proof of some prominent results in mathematics took a very long time --- decades and even centuries. The first proof of the Micali-Vazirani (MV) algorithm, for finding a maximum cardinality matching in general graphs, was recently completed --- over four decades… Read More »A Theory of Alternating Paths and Blossoms, from the Perspective of Minimum Length

Cybersecurity: Why its hard, solutions, and careers

Bharti 501 IIT Campus, Hauz Khas, New Delhi

Rajeev Barua, University of Maryland. The battle between cyber attackers and attack detection teams is an arms race that is not letting up. Attackers constantly devise new ways of exploiting system vulnerabilities, and new methods to hide from detection. In response, detection teams have responded with new technologies to detect attacks. This talk will overview… Read More »Cybersecurity: Why its hard, solutions, and careers

Online, greedy, and conceptually simple algorithms

Bharti 501 IIT Campus, Hauz Khas, New Delhi

Allan Borodin, University of Toronto What can and cannot be computed by “conceptually simple algorithms"? In this regard, my primary interest is in approximation algorithms for combinatorial optimization problems and the relation of such problems to areas such as scheduling, algorithmic game theory and computational social choice. Why do we care about conceptual simplicity, and… Read More »Online, greedy, and conceptually simple algorithms

Distinct Elements in Streams and the Klee’s Measure Problem

Bharti 501 IIT Campus, Hauz Khas, New Delhi

Sourav Chakraborty  (Indian Statistical Institute) We will present a very simple streaming algorithm on F0 estimation that also caught the eye of Donald E. Knuth.  In a recent article, Donald E. Knuth started with the following two paragraphs:   "Sourav Chakraborty, N. V. Vinodchandran, and Kuldeep S. Meel have recently proposed an interesting algorithm for the following… Read More »Distinct Elements in Streams and the Klee’s Measure Problem