Publications

Topological Online Learning for Displacement (TOLD) based Formation Control

S. Gupta*, S. Sharma*, S. Gunagi, S. Sundaram

IROS 2026

Instead of giving each robot a smarter local controller, TOLD adapts who each robot listens to — rewiring edge weights online via gradient descent to minimize formation error. No training, no centralized coordinator, stackable on any existing method.

Meow: Memory Evaluation through Optimized Workloads

S. Sharma, V. HV, M. U. Kumari

IEEE INDICON 2023 · 2023

An automated litmus-test synthesis tool that generates distinguishing tests between two versions of a memory model, used for formal verification of ARM's memory architecture.

[paper]