Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Pravin M. Vaidya

dblp:20/5362 · DBLP profile ↗
← Back
25ranked-venue papers
14as first author
0since 2021 · last 2002
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 16 · 12 first-authorSystems, architecture and hardware · 7Graphics, computer vision, multimedia, augmented reality and games · 2 · 2 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
14 papers
Mathematical optimization · 28% Computational geometry · 25% Graph algorithms and graph theory · 14%
Computer architecture, parallel and distributed computing, and storage systems
5 papers
Electronic design automation · 57% Integrated circuit design · 32% Parallel and multicore computing · 11%

Topics — the 30 heaviest of 43, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Mathematical optimization
linear programming
0.041990
Reducing the Parallel Complexity of Certain Linear Programming Problems (Extended Abstract) · FOCS 1990
A New Algorithm for Minimizing Convex Functions over Convex Sets (Extended Abstract) · FOCS 1989
Speeding-Up Linear Programming Using Fast Matrix Multiplication (Extended Abstract) · FOCS 1989
Electronic design automation
physical design
0.021993
An exact solution to the transistor sizing problem for CMOS circuits using convex optimization · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1993
A Performance Driven Macro-Cell Placement Algorithm · DAC 1992
Mathematical optimization › numerical computation › numerical optimization › second-order methods
interior point methods
0.031989
A New Algorithm for Minimizing Convex Functions over Convex Sets (Extended Abstract) · FOCS 1989
Speeding-Up Linear Programming Using Fast Matrix Multiplication (Extended Abstract) · FOCS 1989
An Algorithm for Linear Programming which Requires O(((m+n)n^2 + (m+n)^1.5 n)L) Arithmetic Operations · STOC 1987
Integrated circuit design
digital circuit design
0.021993
An exact solution to the transistor sizing problem for CMOS circuits using convex optimization · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1993
A Performance Driven Macro-Cell Placement Algorithm · DAC 1992
Parallel and multicore computing
parallel algorithms
0.021990
Reducing the Parallel Complexity of Certain Linear Programming Problems (Extended Abstract) · FOCS 1990
Sublinear-Time Parallel Algorithms for Matching and Related Problems · FOCS 1988
Integrated circuit design
analog and mixed-signal circuits
0.011994
Convexity-based algorithms for design centering · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1994
Electronic design automation › design for manufacturability › statistical design
design centering
0.011994
Convexity-based algorithms for design centering · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1994
Algorithmic game theory and mechanism design
matching
0.021989
Geometry Helps in Matching · SIAM J. Comput. 1989
Geometry Helps in Matching (Extended Abstract) · STOC 1988
Algorithms and data structures › combinatorial algorithms
minimum-weight matching
0.021989
Geometry Helps in Matching · SIAM J. Comput. 1989
Geometry Helps in Matching (Extended Abstract) · STOC 1988
Integrated circuit design › digital circuit design
CMOS circuit design
0.011993
An exact solution to the transistor sizing problem for CMOS circuits using convex optimization · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1993
Electronic design automation › circuit sizing
transistor sizing
0.011993
An exact solution to the transistor sizing problem for CMOS circuits using convex optimization · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1993
Graph algorithms and graph theory › graph algorithms
network flow
0.041990
Fast Algorithms for Convex Quadratic Programming and Multicommodity Flows · STOC 1986
Reducing the Parallel Complexity of Certain Linear Programming Problems (Extended Abstract) · FOCS 1990
Speeding-Up Linear Programming Using Fast Matrix Multiplication (Extended Abstract) · FOCS 1989
Computational geometry › range searching
orthogonal range searching
0.021989
Space-Time Trade-Offs for Orthogonal Range Queries · SIAM J. Comput. 1989
Space-Time Tradeoffs for Orthogonal Range Queries (Extended Abstract) · STOC 1985
Computational complexity
time-space tradeoffs
0.021989
Space-Time Trade-Offs for Orthogonal Range Queries · SIAM J. Comput. 1989
Space-Time Tradeoffs for Orthogonal Range Queries (Extended Abstract) · STOC 1985
Electronic design automation › physical design › placement › module placement
macro placement
0.011992
A Performance Driven Macro-Cell Placement Algorithm · DAC 1992
Electronic design automation › physical design
placement
0.011992
A Performance Driven Macro-Cell Placement Algorithm · DAC 1992
Approximation and online algorithms
approximation algorithms
0.021988
Minimum Spanning Trees in k-Dimensional Space · SIAM J. Comput. 1988
A fast approximation for minimum spanning trees in k-dimensional space · FOCS 1984
Graph algorithms and graph theory › spanning tree
minimum spanning tree
0.021988
Minimum Spanning Trees in k-Dimensional Space · SIAM J. Comput. 1988
A fast approximation for minimum spanning trees in k-dimensional space · FOCS 1984
Computational geometry
proximity problems
0.021986
An optimal algorithm for the All-Nearest-Neighbors Problem · FOCS 1986
A fast approximation for minimum spanning trees in k-dimensional space · FOCS 1984
Mathematical optimization › numerical computation › numerical optimization › second-order methods › interior point methods
parallel interior-point method
0.011990
Reducing the Parallel Complexity of Certain Linear Programming Problems (Extended Abstract) · FOCS 1990
Algorithms and data structures › symbolic computation › computational algebra
algebraic algorithms
0.011989
Speeding-Up Linear Programming Using Fast Matrix Multiplication (Extended Abstract) · FOCS 1989
Mathematical optimization › continuous optimization
convex optimization
0.011989
A New Algorithm for Minimizing Convex Functions over Convex Sets (Extended Abstract) · FOCS 1989
Computational complexity › algebraic complexity › matrix multiplication
fast matrix multiplication
0.011989
Speeding-Up Linear Programming Using Fast Matrix Multiplication (Extended Abstract) · FOCS 1989
Computational geometry
geometric optimization
0.011989
Geometry Helps in Matching · SIAM J. Comput. 1989
Computational complexity
lower bounds
0.011989
Space-Time Trade-Offs for Orthogonal Range Queries · SIAM J. Comput. 1989
Algorithmic game theory and mechanism design › matching
bipartite matching
0.011988
Geometry Helps in Matching (Extended Abstract) · STOC 1988
Computational geometry › geometric graph
geometric graph problems
0.011988
Minimum Spanning Trees in k-Dimensional Space · SIAM J. Comput. 1988
Computational geometry
geometric matching
0.011988
Geometry Helps in Matching (Extended Abstract) · STOC 1988
Computational geometry
motion planning
0.011987
Rectilinear Shortest Paths Through Polygonal Obstacles in O(n (log n)2) Time · SCG 1987
Computational geometry › motion planning
obstacle avoidance
0.011987
Rectilinear Shortest Paths Through Polygonal Obstacles in O(n (log n)2) Time · SCG 1987

Methods — techniques the papers use, named apart from their topics

convex optimization · 0.0parallel matrix multiplication · 0.0polytope approximation · 0.0monte carlo method · 0.0metric embedding · 0.0interior point method · 0.0elmore delay model · 0.0tree model · 0.0performance-driven placement algorithm · 0.0interior-point method · 0.0volumetric center · 0.0semigroup arithmetic · 0.0low-rank updating · 0.0geometric algorithms · 0.0fast matrix multiplication · 0.0ellipsoid method · 0.0push-relabel · 0.0parallel algorithm design · 0.0
YearPublicationVenuePosition
2002 Inductance model and analysis methodology for high-speed on-chip interconnect
abstract
With operating frequencies entering the multi-gigahertz range, inductance has become an important consideration in the design and analysis of on-chip interconnects. In this paper, we present an accurate and efficient inductance modeling and analysis methodology for high-performance interconnect. We determine the critical elements for a PEEC based model by analyzing the current flow in the power grid and signal interconnect. The proposed model includes distributed interconnect resistance, inductance and capacitance, device decoupling capacitances, quiescent switching currents in the grid, pad connections, and pad/package inductance. We propose an efficient methodology for extracting these elements, using statistical models for on-chip decoupling capacitance and switching currents. Simulation results show the importance of various elements for accurate inductance analysis. We also demonstrate the accuracy of the proposed model compared to the traditional loop-based inductance approach. Since the proposed model can consist of hundreds of thousands of RLC elements, and a fully dense mutual inductance matrix, we propose a number of acceleration techniques that enable efficient analysis of large interconnect structures.
Kaushik Gala, David T. Blaauw, Vladimir Zolotov, Pravin M. Vaidya, Anil Joshi
IEEE Trans. Very Large Scale Integr. Syst.4
1995 Using Geometry To Solve the Transportation Problem in the Plane
David S. Atkinson, Pravin M. Vaidya
Algorithmica2
1994 Convexity-based algorithms for design centering
abstract
A new technique for design centering and polytope approximation of the feasible region for a design are presented. In the first phase, the feasible region is approximated by a convex polytope, using a method based on a theorem on convex sets. As a natural consequence of this approach, a good approximation to the design center is obtained. In the next phase, the exact design center is estimated using one of two techniques that we present in this paper. The first inscribes the largest Hessian ellipsoid, which is known to be a good approximation to the shape of the polytope, within the polytope. This represents an improvement over previous methods, such as simplicial approximation, where a hypersphere or a crudely estimated ellipsoid is inscribed within the approximating polytope. However, when the probability density functions of the design parameters are known, the design center does not necessarily correspond to the center of the largest inscribed ellipsoid. Hence, a second technique is developed that incorporates the probability distributions of the parameters, under the assumption that their variation is modeled by Gaussian probability distributions. The problem is formulated as a convex programming problem and an efficient algorithm is used to calculate the design center, using fast and efficient Monte Carlo methods to estimate the yield gradient. An example is provided to illustrate how ellipsoid-based methods fail to incorporate the probability density functions and is solved using the convex programming-based algorithm.>
Sachin S. Sapatnekar, Pravin M. Vaidya
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.2
1993 Convexity-based algorithms for design centering
abstract
Two new geometrical algorithms for design centering are presented. In each case, the feasible region is first approximated by a convex polytope. The first algorithm inscribes the largest Hessian ellipsoid within the approximating polytope. The second assumes Gaussian parameter distributions, formulates the problem as a convex programming problem, and uses an efficient algorithm to perform the optimization.
Sachin S. Sapatnekar, Pravin M. Vaidya, Steve M. Kang
ICCAD2
1993 Feasible Region Approximation Using Convex Polytopes
Sachin S. Sapatnekar, Pravin M. Vaidya
ISCAS2
1993 An exact solution to the transistor sizing problem for CMOS circuits using convex optimization
abstract
A general sequential circuit consists of a number of combinational stages that lie between latches. For the circuit to meet a given clocking specification, it is necessary for each combinational stage to satisfy a certain delay requirement. Roughly speaking, increasing the sizes of some transistors in a stage reduces the delay, with the penalty of increased area. The problem of transistor sizing is to minimize the area of a combinational stage, subject to its delay being less than a given specification. Although this problem has been recognized as a convex programming problem, most existing approaches do not take full advantage of this fact, and often give nonoptimal results. An efficient convex optimization algorithm has been used here. This algorithm is guaranteed to find the exact solution to the convex programming problem. We have also improved upon existing methods for computing the circuit delay as an Elmore time constant, to achieve higher accuracy, CMOS circuit examples, including a combinational circuit with 832 transistors are presented to demonstrate the efficacy of the new algorithm.>
Sachin S. Sapatnekar, Vasant B. Rao, Pravin M. Vaidya
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.3
1992 A Performance Driven Macro-Cell Placement Algorithm
Pravin M. Vaidya, C. L. Liu 0001
DAC2
1991 A Convex Optimization Approach to Transistor Sizing for CMOS Circuits
abstract
The transistor sizing problem of minimizing the circuit area, subject to the circuit delay being less than a given specification, is formulated as a convex programming problem. An efficient convex programming algorithm is then used to obtain the exact solution. Experimental results on a variety of circuits show that, for a given delay specification this approach is able to produce circuits with significantly smaller area when compared with TILOS.>
Sachin S. Sapatnekar, Vasant B. Rao, Pravin M. Vaidya
ICCAD3
1991 A sparse Graph Almost as Good as the Complete Graph on Points in K Dimensions
Pravin M. Vaidya
Discret. Comput. Geom.1
1990 Reducing the Parallel Complexity of Certain Linear Programming Problems (Extended Abstract)
abstract
The parallel complexity of solving linear programming problems is studied in the context of interior point methods. If n and m, respectively, denote the number of variables and the number of constraints in the given problem, an algorithm that solves linear programming problems in O((mn)/sup 1/4/ (log 1 n)/sup 3/L) time using O(M(n)m/n+1n/sup 3/) processors is given. (M(n) is the number of operations for multiplying two n*n matrices). This gives an improvement in the parallel running time for n=o(m). A typical case in which n=o(m) is the dual of the uncapacitated transportation problem. The algorithm solves the uncapacitated transportation problem in O((VE)/sup 1/4/(log V)/sup 3/ (log V gamma )) time using O(V/sup 3/) processors, where V (E) is the number of nodes (edges) and gamma is the largest magnitude of an edge cost or a demand at a node. As a by-product, a better parallel algorithm for the assignment problem for graphs of moderate density is obtained.>
Pravin M. Vaidya
FOCS1
1989 Speeding-Up Linear Programming Using Fast Matrix Multiplication (Extended Abstract)
abstract
The author presents an algorithm for solving linear programming problems that requires O((m+n)/sup 1.5/nL) arithmetic operations in the worst case, where m is the number of constraints, n the number of variables, and L a parameter defined in the paper. This result improves on the best known time complexity for linear programming by about square root n. A key ingredient in obtaining the speedup is a proper combination and balancing of precomputation of certain matrices by fast matrix multiplication and low-rank incremental updating of inverses of other matrices. Specializing the algorithm to problems such as minimum-cost flow, flow with losses and gains, and multicommodity flow leads to algorithms whose time complexity closely matches or is better than the time complexity of the best known algorithms for these problems.>
Pravin M. Vaidya
FOCS1
1989 A New Algorithm for Minimizing Convex Functions over Convex Sets (Extended Abstract)
abstract
An algorithm for minimizing a convex function over a convex set is given. The notion of a volumetric center of a polytope and a related ellipsoid of maximum volume inscribable in the polytope is central to the algorithm. The algorithm has a much better rate of global convergence than the ellipsoid algorithm. A by-product of the algorithm is an algorithm for solving linear programming problems that performs a total of O(mn/sup 2/L+M(n)nL) arithmetic operations in the worst case, where m is the number of constraints, n the number of variables, and L a certain parameter. This gives an improvement in the time complexity of linear programming for m>n/sup 2/. >
Pravin M. Vaidya
FOCS1
1989 Approximate Minimum Weight Matching on Points in k-Dimensional Space
Pravin M. Vaidya
Algorithmica1
1989 An O(n log n) Algorithm for the All-nearest.Neighbors Problem
Pravin M. Vaidya
Discret. Comput. Geom.1
1989 Space-Time Trade-Offs for Orthogonal Range Queries
abstract
This paper investigates the question of (storage) space-(retrieval) time trade-off for orthogonal range queries on a static data base. Each record in the data base consists of a key that is a d-tuple of integers, and a data value that is an element in a commutative semigroup G. An orthogonal range query is specified by a d-dimensional parallelepiped (box). Two types of response to such a query are considered: one where the output is the semigroup sum of the data values whose keys are located in the query parallelepiped, and the other where the output is a list of all the records whose keys lie in the query parallelepiped. This paper studies two models, the arithmetic model and the tree model and obtains lower bounds on the product of retrieval time and storage space in both models.
Pravin M. Vaidya
SIAM J. Comput.1
1989 Geometry Helps in Matching
abstract
A set of $2n$ points on the plane induces a complete weighted undirected graph as follows. The points are the vertices of the graph, and the weight of an edge between any two points is the distance between the points under some metric. The problem of finding a minimum weight complete matching (MWCM) in such a graph is studied. An $O(n^{2.5} (\log n)^4 )$ algorithm is given for finding an MWCM in such a graph, for the $L_1 $ (manhattan ), the $L_2 $ (Euclidean), and the $L_\infty $ metrics. The bipartite version of the problem is also studied, where half the points are painted with one color and the other half with another color, and the restriction is that a point of one color may be matched only to a point of another color. An $O(n^{2.5} \log n)$ algorithm for the bipartite version, for the $L_1 $, $L_2$, and $L_\infty $ metrics, is presented. The running time for the bipartite version can be further improved to $O(n^2 (\log n)^3 )$ for the $L_1 $ and $L_\infty $ metrics.
Pravin M. Vaidya
SIAM J. Comput.1
1988 Sublinear-Time Parallel Algorithms for Matching and Related Problems
abstract
The authors present the first sub-linear-time deterministic parallel algorithms for bipartite matching and several related problems, including maximal node-disjoint paths, depth-first search, and flows in zero-one networks. The results are based on a better understanding of the combinatorial structure of the above problems, which lead to new algorithmic techniques. In particular, it is shown how to use maximal matching to extend, in parallel, a current set of node-disjoint paths and how to take advantage of the parallelism that arises when a large number of nodes are active during an execution of a push/relabel network flow algorithm. It is also shown how to apply the techniques to design parallel algorithms for the weighted versions of the above problems.>
Andrew V. Goldberg, Serge A. Plotkin, Pravin M. Vaidya
FOCS3
1988 Geometry Helps in Matching (Extended Abstract)
abstract
A set of 2n points on the plane induces a complete weighted undirected graph as follows: The points are the vertices of the graph and the weight of an edge between any two points is the distance between the points under some metric. We study the problem of finding a minimum weight complete matching (MWCM) in such a graph. We give an Ο(n23 (logn)4) algorithm for finding an MWCM in such a graph, for the L1 (manhattan), the L2 (euclidean), and the L∞ metrics. We also study the bipartite version of the problem, where half the points are painted with one color and the other half are painted with another color, and the restriction is that a point of one color may be matched only to a point of another color. We present an Ο(n2.5 logn) algorithm for the bipartite version, for the L1, L2, and L∞, metrics. The running time for the bipartite version can be further improved to Ο(n2 (logn)3) for the L1 and L∞ metrics.
Pravin M. Vaidya
STOC1
1988 Minimum Spanning Trees in k-Dimensional Space
abstract
We study the problem of finding a minimum spanning tree in the complete graph on a set V of n points in k-dimensional space. The points are the vertices of this graph and the weight of an edge between two points is the distance between the points under some $L_q $ metric. We give an $O(\varepsilon ^{ - k} n\log n)$ algorithm for finding an approximate minimum spanning tree in such a graph; the weight of the approximate minimum spanning tree is guaranteed to be at most $(1 + \varepsilon )$ times the weight of a minimum spanning tree. We also present an algorithm to find a minimum spanning tree in the complete graph on V. Under the assumption that V consists of n random points, independently and uniformly distributed in the unit k-cube $[0,1]^k $, the expected running time of this minimum spanning tree algorithm is shown to be $O(n\alpha (cn,n))$ where c is a constant dependent on k and $\alpha $ is the inverse Ackermann function.
Pravin M. Vaidya
SIAM J. Comput.1
1987 Rectilinear Shortest Paths Through Polygonal Obstacles in O(n (log n)2) Time
abstract
The problem of finding a rectilinear shortest path amongst obstacles may be stated as follows: Given a set of obstacles in the plane find a shortest rectilinear (L1) path from a point s to a point t which avoids all obstacles. The path may touch an obstacle but may not cross an obstacle. We study the rectilinear shortest path problem for the case where the obstacles are non-intersecting simple polygons, and present an Ο(n (logn)2) algorithm for finding such a path, where n is the number of vertices of the obstacles. We also study the case of rectilinear obstacles in three dimensions, and show that L1 shortest paths can be found in Ο(n2(log n)3) time.
Kenneth L. Clarkson, Sanjiv Kapoor, Pravin M. Vaidya
SCG3
1987 An Algorithm for Linear Programming which Requires O(((m+n)n^2 + (m+n)^1.5 n)L) Arithmetic Operations
abstract
We present an algorithm for linear programming which requires Ο(((m + n) n2 + (m + n)1.5 n) L) arithmetic operations where m is the number of inequalities, and n is the number of variables. Each operation is performed to a precision of Ο (L) bits. L is bounded by the number of bits in the input.
Pravin M. Vaidya
STOC1
1986 An optimal algorithm for the All-Nearest-Neighbors Problem
abstract
Given a set V of n points in k-dimensional space, and an Lq-metric (Minkowski metric), the All-Nearest-Neighbors problem is defined as follows: For each point p in V, find all those points in V-{p} that are closest to p under the distance metric Lq. We give an O(nlogn) algorithm for the All-Nearest-Neighbors problem, for fixed dimension k and fixed metric Lq. Since there is an Ω(n logn) lower bound, in the algebraic decision tree model of computation, on the time complexity of any algorithm that solves the All-Nearest-Neighbors problem (for k = 1), the running time of our algorithm is optimal upto a constant.
Pravin M. Vaidya
FOCS1
1986 Fast Algorithms for Convex Quadratic Programming and Multicommodity Flows
abstract
Article Free Access Share on Fast algorithms for convex quadratic programming and multicommodity flows Authors: S Kapoor Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, ILView Profile , P M Vaidya Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, ILView Profile Authors Info & Claims STOC '86: Proceedings of the eighteenth annual ACM symposium on Theory of computingNovember 1986 Pages 147–159https://doi.org/10.1145/12130.12145Published:01 November 1986Publication History 48citation820DownloadsMetricsTotal Citations48Total Downloads820Last 12 Months64Last 6 weeks8 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Sanjiv Kapoor, Pravin M. Vaidya
STOC2
1985 Space-Time Tradeoffs for Orthogonal Range Queries (Extended Abstract)
abstract
We investigate the question of (storage) space - (retrieval) time tradeoff for orthogonal range queries on a static database. Lower bounds on the product of retrieval time and storage space are obtained in the arithmetic and tree models.
Pravin M. Vaidya
STOC1
1984 A fast approximation for minimum spanning trees in k-dimensional space
abstract
We study the problem of finding a minimum spanning tree on the complete graph on n points in Ek, with the weight of an edge between any two points being the distance between the two points under some distance metric. A fast algorithm, which finds an approximate minimum spanning tree with weight at most (1+ϵ) times optimal O(nlogn((logn)k+ log (ϵ-1)(logn)k-1ϵ-(k-1))) time, is developed for the Lq, q =2,3, ..., distance metrics. Moreover, if the n points are assumed to be independently and uniformly distributed in the box [0,l]k, then the probability that the approximate minimum spanning tree found is an exact minimum spanning tree is shown to be (1 -o(l/n)).
Pravin M. Vaidya
FOCS1