Speaker:Sukriti Gupta (PhD student), CSE Dept., IIT Delhi Abstract - We consider the problem of file sharing among peers who are connected to a common core network through links of… Read More »Approximating Optimal Broadcast of Files in a Hose-Model Network
Venue: Bharti501 / Teams link will also be shared Abstract: Multiparty session types (MPST) are a type discipline for enforcing the structured, deadlock-free communication of concurrent and message-passing programs. Traditional… Read More »Multiparty Session Types: Separation and Encodability Results by Prof. Nobuko Yoshida
Venue: Bharti501 Abstract: Pretrained transformers readily adapt to new sequence modeling tasks via zero-shot prompting, but relational domains still lack architectures that transfer across datasets and tasks. The core challenge is… Read More »Relational Transformer: Toward Zero-Shot Foundation Models for Relational Data by Rishabh Ranjan
Abstract: We show that if the ground set of a matroid can be partitioned into k≥2 bases, then for any given subset S of the ground set, there is a… Read More »Matroids are Equitable by Hannaneh Akrami
Venue: Bharti 501 Abstract: Suppose Alice uses a t-out-of-n secret sharing to store her secret key on n servers. Her secret key is protected as long as t of them… Read More »Traceable Secret Sharing: Strong Security and Efficient Constructions by Aditi Partap
Venue: Bharti501 Abstract: We study the online busy time scheduling model on heterogeneous machines. In our setting, jobs with uniform length arrive online with a deadline that becomes known to… Read More »Online Flexible Busy Time Scheduling on Heterogeneous Machines by Gruia Calinescu
Venue: Bharti-501/MS Teams Abstract: The goal of error correcting codes is to encode data in a way that allows for this data to be recovered even if the encoded copy is… Read More »Coping with choices – List Decoding in Coding Theory by Dr. Shashank Srivastava
Venue: SIT001 Abstract: The vast expansion of online information has shifted the challenge from simply locating data to efficiently filtering and aggregating relevant content from diverse sources. This talk introduces innovative… Read More »Agentic Information Seeking for Knowledge Acquisition by Revanth Reddy
Venue: SIT113 Abstract: The Android operating system uses a permission framework that allows users to control access to their private data, such as location and contacts, when using apps. However, many… Read More »WhiteLie: A Robust System for Spoofing User Data in Android Platforms by Harish Yadav
Venue: Bharti501 Abstract: Authenticated data structures (ADSs) allow untrusted third parties to carry out operations which produce proofs that can be used to verify an operation’s output. Such data structures… Read More »Logical Relations for Formally Verified Authenticated Data Structures by Chaitanya Agarwal
