# overview
I am interested in distributed computing systems, especially loosely-coupled, heterogeneous and failure-prone ones. My research approach encompasses formal models, algorithm design and analysis, and lower bounds and impossibility proofs. I am interested in problems that arise in a wide variety of contexts, whose common thread is the difficulties that arise from concurrency and uncertainty, especially that due to asynchrony and/or failures. The problems I have studied generally arise in providing infrastructure services (or "middleware") that can be used by end-user distributed applications, as opposed to the applications themselves. In more theoretical language, I have focused on ways to simulate more powerful (or better-behaved) systems on top of less powerful (or more poorly-behaved) systems.

# keywords[]
4606 Distributed Computing And Systems Software

# keywords[]
4606 Distributed Computing And Systems Software

# keywords[]
4607 Graphics, Augmented Reality And Games

# keywords[]
4606 Distributed Computing And Systems Software

# keywords[]
4606 Distributed Computing And Systems Software

# keywords[]
4606 Distributed Computing And Systems Software

# keywords[]
4606 Distributed Computing And Systems Software

# keywords[]
4606 Distributed Computing And Systems Software

# keywords[]
4606 Distributed Computing And Systems Software

# keywords[]
4606 Distributed Computing And Systems Software

# keywords[]
4606 Distributed Computing And Systems Software

# educationAndTraining[].organization.label
The University of Texas at Austin - (Austin, Texas, United States)

# educationAndTraining[].field
Liberal Arts (Honors Program) with concentration in Mathematics

# educationAndTraining[].organization.label
Massachusetts Institute of Technology - (Cambridge, Massachusetts, United States)

# educationAndTraining[].organization.label
Massachusetts Institute of Technology - (Cambridge, Massachusetts, United States)

# awardsAndHonors[].label
Association of Former Students University-Level Distinguished Achievement Award, The

# awardsAndHonors[].label
Association of Former Students College-Level Teaching Distinguished Achievement Award, The

# awardsAndHonors[].label
Association of Former Students College-Level Teaching Distinguished Achievement Award, The

# publications[].label
Applications of probabilistic quorums to iterative algorithms

# publications[].label
Reliable neighbor discovery for mobile ad hoc networks

# publications[].label
Dynamic regular registers in systems with churn

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Improving Average Performance by Relaxing Distributed Data Structures

# publications[].label
Reliable networks with unreliable sensors

# publications[].label
A MODULAR DRINKING PHILOSOPHERS ALGORITHM

# publications[].label
Anomalies and similarities among consensus numbers of variously-relaxed queues

# publications[].label
Competitive analysis for retransmission timeout

# publications[].label
Brief Announcement: Time Bounds for Shared Objects in Partially Synchronous Systems

# publications[].label
Neighbor Discovery in Mobile Ad Hoc Networks Using an Abstract MAC Layer

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Neighbor Knowledge of Mobile Nodes in a Road Network

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Link Reversal: How to Play Better to Work Less

# publications[].label
A FAULT-TOLERANT LAYERED APPROACH TO FIBEROPTIC NETWORKS

# publications[].publisher
SPIE, the international society for optics and photonics

# publications[].label
Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks

# publications[].label
Dynamic Regular Registers in Systems with Churn

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Using adaptive timeouts to achieve at-most-once message delivery

# publications[].label
A new fault-tolerant algorithm for clock synchronization

# publications[].label
Corrigendum: weakest failure detector for wait-free dining under eventual weak exclusion

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Self-stabilizing topology maintenance protocols for high-speed networks

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Reliable Networks with Unreliable Sensors

# publications[].label
Stabilizing Dining with Failure Locality 1

# publications[].label
Random walk for self-stabilizing group communication in ad-hoc networks

# publications[].label
Brief announcement: A tight lower bound for clock synchronization in odd-ary m-toroids

# publications[].label
Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks

# publications[].label
Corrigendum: Weakest Failure Detector for Wait-Free Dining under Eventual Weak Exclusion

# publications[].label
Deterministic Collision Free Communication Despite Continuous Motion

# publications[].label
Reliable neighbor discovery for mobile ad hoc networks

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Distributed data sources for lifecycle design

# publications[].label
A lattice-structured proof of a minimum spanning

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
The impact of timing knowledge on the session problem

# publications[].publisher
Society for Industrial & Applied Mathematics (SIAM)

# publications[].label
Upper and lower bounds for one-write multivalued regular registers

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
LINK REVERSAL ROUTING WITH BINARY LINK LABELS: WORK COMPLEXITY

# publications[].publisher
Society for Industrial & Applied Mathematics (SIAM)

# publications[].label
Transaction commit in a realistic timing model

# publications[].label
Relaxed Data Types as Consistency Conditions

# publications[].label
Optimal clock synchronization under energy constraints in wireless ad-hoc networks - (Extended abstract)

# publications[].label
Improved Time Bounds for Linearizable Implementations of Abstract Data Types

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
The Weakest Failure Detector for Wait-Free Dining under Eventual Weak Exclusion

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Time bounds for shared objects in partially synchronous systems

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Shared memory consistency conditions for nonsequential execution: Definitions and programming strategies

# publications[].publisher
Society for Industrial & Applied Mathematics (SIAM)

# publications[].label
Time bounds on synchronization in a periodic distributed system

# publications[].label
Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Modified tree structure for location management in mobile environments

# publications[].label
Proceedings of the Joint Workshop on Foundations of Mobile Computing: Foreword

# publications[].label
GeoQuorums: implementing atomic memory in mobile ad hoc networks

# publications[].label
Implementation of recoverable distributed shared memory by logging writes

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Finding available parking spaces made easy

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Generic proofs of consensus numbers for abstract data types

# publications[].label
Location tracking using quorums in mobile ad hoc networks

# publications[].label
Location-based broadcasting for dense mobile ad hoc networks

# publications[].label
Brief announcement: Randomized shared queues

# publications[].label
An Asynchronous Leader Election Algorithm for Dynamic Networks

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers

# publications[].label
Implementing (sic)P with Bounded Messages on a Network of ADD Channels

# publications[].label
Crash resilient communication in dynamic networks

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Leader election algorithms for mobile ad hoc networks

# publications[].label
Virtual mobile nodes for mobile ad hoc networks

# publications[].label
Self-stabilizing clock synchronization in the presence of Byzantine faults

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Concurrent metamorphosis of hexagonal robot chains into simple connected configurations

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Distributed token circulation on mobile ad hoc networks

# publications[].label
A Distributed Pool Architecture for Genetic Algorithms

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Brief Announcement: Failure Detectors Encapsulate Fairness

# publications[].label
Full Reversal Routing as a Linear Dynamical System

# publications[].label
Time Complexity of Link Reversal Routing

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Brief announcement: Scheduling sensors by tiling lattices

# publications[].label
Brief Announcement: How Fast Reads Affect Multi-Valued Register Simulations

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Distributed reconfiguration of metamorphic robot chains

# publications[].label
A competitive analysis for retransmission timeout (extended abstract)

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks

# publications[].label
GeoQuorums: Implementing atomic memory in mobile ad hoc networks

# publications[].label
Modular construction of a Byzantine agreement protocol with optimal message bit complexity

# publications[].label
Quorum-based dynamic regular registers in systems with churn

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Byzantine Fault-Tolerant Implementation of a Multi-Writer Regular Register

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Bounded Reordering Allows Efficient Reliable Message Transmission

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Anomalies and Similarities Among Consensus Numbers of Variously-Relaxed Queues

# publications[].label
Wait-Free Stabilizing Dining Using Regular Registers

# publications[].label
Distributed reconfiguration of metamorphic robot chains

# publications[].label
Random walk for self-stabilizing group communication in ad hoc networks

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Emulating a Shared Register in a System That Never Stops Changing

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Role of data-race-free programs in recoverable DSM

# publications[].label
Deterministic collision free communication despite continuous motion

# publications[].label
Randomized shared queues applied to distributed optimization algorithms

# publications[].label
Crash Fault Detection in Celerating Environments

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Bounds on the costs of register implementations

# publications[].label
Brief announcement: Random walk for self-stabilizing group communication in ad hoc networks

# publications[].label
A simple Byzantine-fault-tolerant algorithm for a multi-writer regular register

# publications[].label
BOUNDS ON THE COSTS OF MULTIVALUED REGISTER IMPLEMENTATIONS

# publications[].publisher
Society for Industrial & Applied Mathematics (SIAM)

# publications[].label
Shared memory consistency conditions for non-sequential execution: definitions and programming strategies

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Brief announcement: full reversal routing as a linear dynamical system

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Finding available parking spaces made easy

# publications[].label
Distributed token circulation in mobile ad hoc networks

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
One-write algorithms for multivalued regular and atomic registers

# publications[].label
Randomized registers and iterative algorithms

# publications[].label
Regional consecutive leader election in mobile ad-hoc networks

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Efficient distributed recovery using message logging

# publications[].label
Distributed reconfiguration of hexagonal metamorphic robots in two dimensions

# publications[].publisher
SPIE, the international society for optics and photonics

# publications[].label
A mutual exclusion algorithm for ad hoc mobile networks

# publications[].label
MODIFIED TREE STRUCTURE FOR LOCATION MANAGEMENT IN MOBILE ENVIRONMENTS

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
MONET special issue on foundations of mobile computing

# publications[].label
GeoQuorums: Implementing atomic memory in mobile ad hoc networks: (Extended abstract)

# publications[].label
Maintaining Information About Nearby Processors in a Mobile Environment

# publications[].label
Accurate multihop clock synchronization in mobile ad hoc networks

# publications[].label
Multi-writer consistency conditions for shared memory objects

# publications[].label
MODULAR CONSTRUCTION OF AN EFFICIENT 1-BIT BYZANTINE AGREEMENT PROTOCOL

# publications[].label
Relaxed Data Types as Consistency Conditions

# publications[].label
A leader election algorithm for dynamic networks with causal clocks

# publications[].label
CRASH RESILIENT COMMUNICATION IN DYNAMIC NETWORKS

# publications[].label
Simulating a Shared Register in an Asynchronous System that Never Stops Changing

# publications[].label
MULTIWRITER CONSISTENCY CONDITIONS FOR SHARED MEMORY REGISTERS

# publications[].publisher
Society for Industrial & Applied Mathematics (SIAM)

# publications[].label
A competitive analysis for retransmission timeout

# publications[].label
Store-collect in the presence of continuous churn with application to snapshots and lattice agreement

# publications[].label
Optimal regional consecutive leader election in mobile ad-hoc networks

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Closed form bounds for clock synchronization under simple uncertainty assumptions

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Modular construction of nearly optimal Byzantine agreement protocols

# publications[].label
Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Improved time bounds for linearizable implementations of abstract data types

# publications[].label
Using adaptive timeouts to achieve at-most-once message delivery

# publications[].publisher
Association for Computing Machinery (ACM)

# researcherOn[].label
AF : Small : Relaxed Distributed Data Structures:  Implementations and Applications

# researcherOn[].awardedBy.label
National Science Foundation - (Arlington, Virginia, United States)

# researcherOn[].label
AF: Medium: A Fair Prescription for Partial Synchrony

# researcherOn[].awardedBy.label
National Science Foundation - (Arlington, Virginia, United States)

# researcherOn[].awardedBy.label
National Science Foundation - (Arlington, Virginia, United States)

# streetAddress
Texas A&M University; Computer Science & Engineering; 3112 TAMU

# etdChairOf[].label
Chen, Yu (2006-10). Design and analysis of distributed primitives for mobile ad hoc networks. Doctoral Dissertation.

# etdChairOf[].label
Roy, Gautam (2011-02). A Distributed Pool Architecture for Genetic Algorithms. Master's Thesis.

# etdChairOf[].label
Subramanian, Sivaramakrishnan (2009-05). Deterministic knowledge about nearby nodes in a mobile one dimensional environment. Master's Thesis.

# etdChairOf[].label
Neumann, Nicholas Gerard (2005-02). Two algorithms for leader election and network size estimation in mobile ad hoc networks. Master's Thesis.

# etdChairOf[].label
Shao, Cheng (2009-05). Multi-writer consistency conditions for shared memory objects. Master's Thesis.

# etdChairOf[].label
Kanjani, Khushboo (2009-05). Supporting fault-tolerant communication in networks. Master's Thesis.

# etdChairOf[].label
Wang, Jiaqi (2012-02). Time Bounds for Shared Objects in Partially Synchronous Systems. Master's Thesis.

# etdChairOf[].label
Pandey, Sanat Kumar (2015-08). Performance Comparison of Neighbor Discovery Protocols in Wireless Ad-Hoc Network. Master's Thesis.

# etdChairOf[].label
Sastry, Srikanth (2012-07). A Prescription for Partial Synchrony. Doctoral Dissertation.

# etdChairOf[].label
Viqar, Saira (2012-10). Communication Algorithms for Wireless Ad Hoc Networks. Doctoral Dissertation.

# etdChairOf[].label
Chung, Hyun-Chul (2013-10). Information Infrastructures in Distributed Environments: Algorithms for Mobile Networks and Resource Allocation. Doctoral Dissertation.

# etdChairOf[].label
Deconda, Keerthi (2009-05). Fault tolerant pulse synchronization. Master's Thesis.

# etdChairOf[].label
Cao, Guangtong (2005-11). Distributed services for mobile ad hoc networks. Doctoral Dissertation.