Source author record

Chhaya Trehan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
2topics
4close collaborators

Published work

3 publications

preprint2022arXiv

(1+ε)(1+ε)-Approximate Shortest Paths in Dynamic Streams

Computing approximate shortest paths in the dynamic streaming setting is a fundamental challenge that has been intensively studied during the last decade. Currently existing solutions for this problem either build a sparse multiplicative spanner of the input graph and compute shortest paths in the spanner offline, or compute an exact single source BFS tree. Solutions of the first type are doomed to incur a stretch-space tradeoff of 2κ−12κ-1 versus n1+1/κn^{1+1/κ}, for an integer parameter κκ. (In fact, existing solutions also incur an extra factor of 1+ε1+ε in the stretch for weighted graphs, and an additional factor of log⁡O(1)n\log^{O(1)}n in the space.) The only existing solution of the second type uses n1/2−O(1/κ)n^{1/2 - O(1/κ)} passes over the stream (for space O(n1+1/κ)O(n^{1+1/κ})), and applies only to unweighted graphs. In this paper we show that (1+ε)(1+ε)-approximate single-source shortest paths can be computed in this setting with O~(n1+1/κ)\tilde{O}(n^{1+1/κ}) space using just \emph{constantly} many passes in unweighted graphs, and polylogarithmically many passes in weighted graphs (assuming εε and κκ are constant). Moreover, in fact, the same result applies for multi-source shortest paths, as long as the number of sources is O(n1/κ)O(n^{1/κ}). We achieve these results by devising efficient dynamic streaming constructions of (1+ε,β)(1 + ε, β)-spanners and hopsets. We believe that these constructions are of independent interest.

preprint2016arXiv

Energy Optimization of Memory Intensive Parallel workloads

Energy consumption is an important concern in modern multicore processors. The energy consumed during the execution of an application can be minimized by tuning the hardware state utilizing knobs such as frequency, voltage etc. The existing theoretical work on energy mini- mization using Global DVFS (Dynamic Voltage and Frequency Scaling), despite being thorough, ignores the energy consumed by the CPU on memory accesses and the dynamic energy consumed by the idle cores. This article presents an analytical model for the performance and the overall energy consumed by the CPU chip on CPU instructions as well as the memory accesses without ignoring the dynamic energy consumed by the idle cores. We present an analytical framework around our energy-performance model to predict the operating frequencies for global DVFS that minimize the overall CPU energy consumption within a performance budget. Finally, we suggest a scheduling criteria for energy aware scheduling of memory intensive parallel applications.

preprint2014arXiv

Fast and Compact Distributed Verification and Self-Stabilization of a DFS Tree

We present algorithms for distributed verification and silent-stabilization of a DFS(Depth First Search) spanning tree of a connected network. Computing and maintaining such a DFS tree is an important task, e.g., for constructing efficient routing schemes. Our algorithm improves upon previous work in various ways. Comparable previous work has space and time complexities of O(nlog⁡Δ)O(n\log Δ) bits per node and O(nD)O(nD) respectively, where ΔΔ is the highest degree of a node, nn is the number of nodes and DD is the diameter of the network. In contrast, our algorithm has a space complexity of O(log⁡n)O(\log n) bits per node, which is optimal for silent-stabilizing spanning trees and runs in O(n)O(n) time. In addition, our solution is modular since it utilizes the distributed verification algorithm as an independent subtask of the overall solution. It is possible to use the verification algorithm as a stand alone task or as a subtask in another algorithm. To demonstrate the simplicity of constructing efficient DFS algorithms using the modular approach, We also present a (non-sielnt) self-stabilizing DFS token circulation algorithm for general networks based on our silent-stabilizing DFS tree. The complexities of this token circulation algorithm are comparable to the known ones.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.