My goal is to design and develop deployable large-scale systems. My work has a strong focus on building systems as I firmly believe that this exercise gives a deeper understanding of a problem and...
Praveen Yalagandula, Vigyan Singhal, Adnan Aziz, Andreas Kuehlmann
We introduce SImulation Verification with Augmentation (SIVA), a tool for coverage-directed state space search on digital hardware designs. SIVA tightly integrates simulation with symbolic techniques...
C. Greg Plaxton, Mitul Tiwari, Praveen Yalagandula
Consider a distributed network with nodes arranged in a tree, and each node having a local value. We formulate an aggregation problem as the problem of aggregating values (e.g., summing values) from...
Shruti: A Self-Tuning Hierarchical Aggregation System ∗ (2008)
Current aggregation systems either have a single inbuilt aggregation mechanism or require applications to specify an aggregation policy a priori. It is hard to predict the read and write access...
Large scale distributed applications spanning multiple domains should satisfy administrative autonomy property — allow users in a domain to control flow of information in to and out of their...
Large scale distributed applications spanning multiple domains should satisfy administrative autonomy property — allow users in a domain to control flow of information in to and out of their...
Acknowledgement of Support (2007)
Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal
We introduce SImulation Verification with Augmentation (SIVA), a tool for coverage-directed state space search on digital hardware designs. SIVA tightly integrates simulation with symbolic techniques...
DHCP: Dynamic Host Configuration Protocol (2007)
We present a brief notes of Dynamic Host Configuration Protocol (DHCP) as described in
Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal
We introduce SImulation Verification with Augmentation (SIVA), a tool for coverage-directed state space search on digital hardware designs. SIVA tightly integrates simulation with symbolic techniques...
The Domain Name System (DNS) is the one of the Internet's fundamental building block. This is a distributed host information database that is responsible for translating names into IP addresses,...
We present a brief survey of Network Address Translator (NAT).
A Survey on Security Issues in Wireless Networks (2007)
We study the security provided by various types of Wireless Networks in perspective of using that information in designing a secure personal environment which may contain networks based on different...
Thesis (Ph. D.)--University of Texas at Austin, 2005.
A scalable information management middleware for large distributed systems (2005)
Thesis (Ph. D.)--University of Texas at Austin, 2005.
A Scalable Information Management Middleware for Large Distributed Systems (2005)
Praveen Yalagandula, Michael Dahlin Supervisor, Lorenzo Alvisi, James C. Browne, C. Greg Plaxton, Robbert Van Renesse, ...
Dedicated to my wife and my parents
DISSERTATION PROPOSAL SDIMS: A Scalable Distributed Information Management System (2004)
Praveen Yalagandula, Supervising Professor, Dr. Mike Dahlin
The goal of this dissertation proposal is to design and build a Scalable Distributed Information Management System (SDIMS) that aggregates information about large-scale networked systems and that can...
PRACTI Replication for Large-Scale Systems (2004)
Mike Dahlin, Lei Gao, Amol Nayate, Arun Venkataramani, Praveen Yalagandula, Jiandan Zheng, ...
Many replication mechanisms for large scale distributed systems exist, but they require a designer to compromise a system's replication policy (e.g., by requiring full replication of all data to...
A scalable distributed information management system (2004)
(SDIMS) that aggregates information about large-scale networked systems and that can serve as a basic building block for a broad range of large-scale distributed applications by providing detailed...
NPS: A non-interfering deployable web prefetching system (2003)
Ravi Kokku, Praveen Yalagandula, Arun Venkataramani, Mike Dahlin
We present NPS, a novel non-intrusive web prefetching system that (1) utilizes only spare resources to avoid interference between prefetch and demand requests at the server as well as in the network,...
NPS: A non-interfering deployable web prefetching system (2003)
Ravi Kokku, Praveen Yalagandula, Arun Venkataramani, Mike Dahlin
We present Prefetch-Nice, a novel non-intrusive web prefetching system that (1) systematically avoids interference between prefetch and demand requests at the server as well as in the network by...
NPS: A non-interfering deployable web prefetching system (2003)
Ravi Kokku, Praveen Yalagandula, Arun Venkataramani, Mike Dahlin
We present Prefetch-Nice, a novel non-intrusive web prefetching system that (1) systematically avoids interference between prefetch and demand requests at the server as well as in the network by...
NPS: A non-interfering deployable web prefetching system (2003)
Ravi Kokku, Praveen Yalagandula, Arun Venkataramani, Mike Dahlin
We present Prefetch-Nice, a novel non-intrusive web prefetching system that (1) systematically avoids interference between prefetch and demand requests at the server as well as in the network by...
A Scalable Distributed Information Management System (2003)
We present a Scalable Distributed Information Management System (SDIMS) that aggregates information about large-scale networked systems and that can serve as a basic building block for a broad range...
NPS: A non-interfering deployable web prefetching system (2003)
Ravi Kokku, Praveen Yalagandula, Arun Venkataramani, Mike Dahlin
NPS: A non-interfering deployable web prefetching system (2003)
Ravi Kokku, Praveen Yalagandula, Arun Venkataramani, Mike Dahlin
We present NPS, a novel non-intrusive web prefetching system that (1) utilizes only spare resources to avoid interference between prefetch and demand requests at the server as well as in the network,...
NPS: A non-interfering deployable web prefetching system (2003)
Ravi Kokku, Praveen Yalagandula, Arun Venkataramani, Mike Dahlin
We present Prefetch-Nice, a novel non-intrusive web prefetching system that (1) systematically avoids interference between prefetch and demand requests at the server as well as in the network by...
NPS: A Non-interfering Deployable Web Prefetching System (2003)
Ravi Kokku Praveen, Praveen Yalagandula, Arun Venkataramani, Mike Dahlin
We present NPS, a novel non-intrusive web prefetching system that (1) utilizes only spare resources to avoid interference between prefetch and demand requests at the server as well as in the network...
The Magazine Of Usenix Sage (2002)
April Volume Number, Scott Banachowski, Richard S. Cox, Steven Czerwinski, Himanshu Raj, Cristian Tapus, ...
this paper is that distributed application performance is important but hard to understand. CDN selection and CRM systems were offered as examples to illustrate the problem. The basic approach...
C0PE: Consistent 0-Administration Personal Environment (2001)
Praveen Yalagandula, Lorenzo Alvisi, Mike Dahlin, Harrick Vin
The C0PE project explores system issues that arise when an individual’s computing environment is spread across dozens of information devices. The goals are (i) to provide a consistent view of each...
Potential costs and benefits of long-term prefetching for content-distribution (2001)
Arun Venkataramani, Praveen Yalagandula, Ravindranath Kokku, Sadia Sharif, Mike Dahlin
This paper examines the costs and potential benefits of long-term prefetching for content distribution. In contrast with traditional short-term prefetching, in which caches use recent access history...
Potential costs and benefits of long-term prefetching for content-distribution (2001)
Arun Venkataramani, Praveen Yalagandula, Ravindranath Kokku, Sadia Sharif, Mike Dahlin
This paper examines the costs and potential benefits of long-term prefetching for content distribution. In traditional short-term prefetching, caches use recent access history to predict and prefetch...
Potential costs and benefits of long-term prefetching for content-distribution (2001)
Arun Venkataramani, Praveen Yalagandula, Ravindranath Kokku, Sadia Sharif, Mike Dahlin
This paper examines the costs and potential benefits of long-term prefetching for content distribution. In traditional short-term prefetching, caches use recent access history to predict and prefetch...
Potential costs and benefits of long-term prefetching for content-distribution (2001)
Arun Venkataramani, Praveen Yalagandula, Ravindranath Kokku, Sadia Sharif, Mike Dahlin
This paper examines the costs and potential benefits of long-term prefetching for content distribution. In contrast with traditional short-term prefetching, in which caches use recent access history...
Potential costs and benefits of long-term prefetching for content-distribution (2001)
Arun Venkataramani, Praveen Yalagandula, Ravindranath Kokku, Sadia Sharif, Mike Dahlin
This paper examines the costs and potential benefits of long-term prefetching for content distribution. In contrast with traditional short-term prefetching, in which caches use recent access history...
Potential costs and benefits of long-term prefetching for content-distribution (2001)
Arun Venkataramani, Praveen Yalagandula, Ravindranath Kokku, Sadia Sharif, Mike Dahlin
This paper examines the costs and potential benefits of long-term prefetching for content distribution. In contrast with traditional short-term prefetching, in which caches use recent access history...
Potential costs and benefits of long-term prefetching for content-distribution (2001)
Arun Venkataramani, Praveen Yalagandula, Ravindranath Kokku, Sadia Sharif, Mike Dahlin
This paper examines the costs and potential benefits of long-term prefetching for content distribution. In traditional short-term prefetching, caches use recent access history to predict and prefetch...
Potential costs and benefits of long-term prefetching for content-distribution (2001)
Arun Venkataramani, Praveen Yalagandula, Ravi Kokku, Sadia Sharif, Mike Dahlin
This paper examines the costs and potential benefits of long-term prefetching for content distribution. In contrast with traditional short-term prefetching, in which caches use recent access history...
C0PE: Consistent 0-Administration Personal Environment (2001)
Praveen Yalagandula, Lorenzo Alvisi, Mike Dahlin, Harrick Vin
The C0PE project explores system issues that arise when an individual's computing environment is spread across dozens of information devices. The
C0PE: Consistent 0-Administration Personal Environment (2001)
Praveen Yalagandula, Lorenzo Alvisi, Mike Dahlin, Harrick Vin
1 Introduction The C0PE project explores system issues that arisewhen an individual's computing environment is spread across dozens of information devices. Thegoals are (i) to provide a...
The Potential Costs and Benefits of Long-term Prefetching for Content Distribution (2001)
Arun Venkataramani, Praveen Yalagandula, Ravi Kokku, Sadia Sharif, Mike Dahlin
This paper examines the costs and potential benefits of long-term prefetching for content distribution. In contrast with traditional short-term prefetching, in which caches use recent access history...
Automatic lighthouse generation for directed state space search / (2000)
Report (M.S. in Engineering)--University of Texas at Austin, 2000.
Automatic Lighthouse Generation for Directed State Space Search (2000)
Previous researchers have suggested the use of “lighthouses” to act as guides in directed state space search. The drawback of using lighthouses is that the user has to manually derive them,...
SIVA: A System for Coverage-Directed State Space Search (2000)
Malay Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal
Automatic Lighthouse Generation for Directed State Space Search (2000)
Praveen Yalagandula, Vigyan Singhal, Adnan Aziz
Previous researchers have suggested the use of "lighthouses" to act as guides in directed state space search. The drawback of using lighthouses is that the user has to manually derive them,...