10 citations · 15 across the 13 of their papers we have counts for
4 papers · 1 filter
Extending Lattice linearity for Self-Stabilizing Algorithms
Arya Tanmay Gupta, Sandeep S Kulkarni
In this article, we focus on extending the notion of lattice linearity to self-stabilizing programs. Lattice linearity allows a node to execute its actions with old information abo…
A secure home automation prototype built on raspberry-pi
Arya Tanmay Gupta, Himani Gupta, Muskan Sharma +1
With the development of sensors, wireless mobile communication, embedded system, the technologies of the Internet of Things have been widely used in SmartMeter, public security, in…
Technical Report: Using Static Analysis to Compute Benefit of Tolerating Consistency
Duong Nguyen, Arya Tanmay Gupta, Sandeep S. Kulkarni
Synchronization is the Achilles heel of concurrent programs. Synchronization requirement is often used to ensure that the execution of the concurrent program can be serialized. Wit…
Spread and defend infection in graphs
Arya Tanmay Gupta
The spread of an infection, a contagion, meme, emotion, message and various other spreadable objects have been discussed in several works. Burning and firefighting have been discus…