K. Mani Chandy

Q: What Schools Are Affiliated With K. Mani Chandy

K. Mani Chandy is affiliated with the following schools: University of Texas at Austin, California Institute of Technology, Stanford University

K. Mani Chandy's AcademicInfluence.com Rankings

K. Mani Chandy

Engineering

#2332

World Rank

#3224

Historical Rank

Electrical Engineering

#404

World Rank

#452

Historical Rank

engineering Degrees

K. Mani Chandy

Computer Science

#3251

World Rank

#3407

Historical Rank

Parallel Computing

#15

World Rank

#15

Historical Rank

Database

#695

World Rank

#729

Historical Rank

computer-science Degrees

Download Badge

Engineering
Computer Science

K. Mani Chandy's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University

Similar Degrees You Can Earn

Why Is K. Mani Chandy Influential?

(Suggest an Edit or Addition)

(See a Problem?)

K. Mani Chandy's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Distributed snapshots: determining global states of distributed systems (1985) (2840)
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers (1975) (2473)
Parallel program design - a foundation (1988) (2150)
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs (1979) (1093)
Asynchronous distributed simulation via a sequence of parallel computations (1981) (728)
A comparison of list schedules for parallel processing systems (1974) (676)
Proofs of Networks of Processes (1981) (589)
Parallel program design (1989) (502)
Distributed deadlock detection (1983) (451)
The drinking philosophers problem (1984) (426)
Parametric Analysis of Queuing Networks (1975) (324)
How processes learn (1985) (307)
Inverter VAR control for distribution systems with renewables (2011) (307)
Computer Systems Performance Modeling (1981) (291)
Current trends in programming methodology (1977) (270)
Approximate Analysis of General Queuing Networks (1975) (258)
Fortran M: A Language for Modular Parallel Programming (1995) (227)
Optimal Scheduling Strategies in a Multiprocessor System (1972) (225)
CC++: A Declarative Concurrent Object Oriented Programming Notation (1993) (225)
Linearizer: a heuristic algorithm for queueing network models of computing systems (1982) (223)
Distributed computation on graphs: shortest path algorithms (1982) (204)
Approximate Methods for Analyzing Queueing Network Models of Computing Systems (1978) (201)
Product Form and Local Balance in Queueing Networks (1976) (197)
Analytic models for rollback and recovery strategies in data base systems (1975) (192)
The next big one: Detecting earthquakes and other rare events from community-based sensors (2011) (181)
Rollback and Recovery Strategies for Computer Programs (1972) (178)
A simple optimal power flow model with energy storage (2010) (177)
Compositional C++: Compositional Parallel Programming (1992) (141)
A distributed algorithm for detecting resource deadlocks in distributed systems (1982) (133)
Event Processing - Designing IT Systems for Agile Companies (2009) (131)
Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow (2012) (125)
A Survey of Analytic Models of Rollback and Recovery Stratergies (1975) (120)
A Characterization of Product-Form Queuing Networks (1983) (115)
Impact of residential PV adoption on Retail Electricity Rates (2013) (113)
A world-wide distributed system using Java and the Internet (1996) (109)
Approximate Analysis of Central Server Models (1975) (106)
The Conditional-Event Approach to Distributed Simulation (1989) (104)
Solution of Queuing Problems by a Recursive Technique (1975) (102)
Optimal power flow over tree networks (2011) (101)
Termination Detection of Diffusing Computations in Communicating Sequential Processes (1982) (96)
Optimal placement of energy storage in the grid (2012) (93)
Computational algorithms for product form queueing networks (1980) (92)
Internet Predictions (2010) (85)
An example of stepwise refinement of distributed programs: quiescence detection (1986) (84)
An introduction to parallel programming (1992) (83)
The Capacitated Minimum Spanning Tree (1973) (81)
The Design or Multipoint Linkages in a Teleprocessing Tree Network (1972) (80)
The MVA priority approximation (1984) (76)
A Distributed Graph Algorithm: Knot Detection (1982) (75)
A unifying framework for distributed simulation (1991) (74)
Equivalence of branch flow and bus injection models (2012) (72)
A Message-Based Approach to Discrete-Event Simulation (1987) (65)
Distributed Simulation of Networks (1979) (65)
Computational algorithms for product form queueing networks (1980) (57)
Integrated Support for Task and Data Parallelism (1994) (54)
Community sense and response systems: your phone as quake detector (2014) (54)
Optimization of Memory Hierarchies in Multiprogrammed Systems (1970) (53)
Sensor networks for the detection and tracking of radiation and other threats in cities (2011) (51)
Scheduling partially ordered tasks with probabilistic execution times (1975) (46)
Proving safety and liveness of communicating processes with examples (1982) (45)
GRIP - Grids with intelligent periphery: Control architectures for Grid2050π (2011) (45)
Optimal design of hybrid energy system with PV/wind turbine/storage: A case study (2011) (44)
Predicate Transformers for Reasoning about Concurrent Computation (1995) (42)
Memory management and response time (1977) (42)
Towards a theory of events (2007) (42)
File allocation in distributed systems (1976) (41)
Deadlock Absence Proofs for Networks of Communicating Processes (1979) (38)
Load-shedding probabilities with hybrid renewable power generation and energy storage (2010) (38)
Hierarchical techniques for the development of realistic models of complex computer systems (1975) (38)
10201 Executive Summary and Manifesto - Event Processing (2010) (36)
Models for parallel processing within programs: application to CPU: I/O and I/O: I/O overlap (1978) (35)
A Distributed Procedure to Detect and/or Deadlock. (1983) (34)
Approximate Solution of Queueing Models (1980) (33)
Concurrent program archetypes (1994) (33)
SCAT: A heuristic algorithm for queueing network models of computing systems (1981) (33)
Incremental Recovery In Main Memory Database Systems (1992) (31)
The impact of distributions and disciplines on multiple processor systems (1979) (30)
Systematic composition of objects in distributed Internet applications: processes and sessions (1997) (30)
Event Driven Architecture (2009) (29)
Rapid detection of rare geospatial events: earthquake warning applications (2011) (29)
The Compositional C++ Language Definition (1993) (29)
Towards a Compositional Approach to the Design and Verification of Distributed Systems (1999) (26)
HAM: the heuristic aggregation method for solving general closed queueing network models of computer systems (1982) (26)
A General Resource Reservation Framework for Scientific Computing (1997) (26)
An analysis of data fusion for radiation detection and localization (2010) (25)
A Framework for Structured Distributed Object Computing (1998) (25)
A Paradigm for Detecting Quiescent Properties in Distributed Computations (1989) (25)
Convergence Verification: From Shared Memory to Partially Synchronous Systems (2008) (24)
The Effect on Throughput of Multiprocessing in a Multiprogramming Environment (1973) (23)
Performance Issues in Cloud Computing for Cyber-physical Applications (2011) (23)
A nontrivial example of concurrent processing: Distributed simulation (1978) (22)
Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow (2014) (22)
An Experiment in Program Composition and Proof (2002) (21)
Selecting Capacities in Computer Communication Systems (1977) (20)
Examples of Program Composition Illustrating the Use of Universal Properties (1999) (20)
Grid 2020: Towards a Policy of Renewable and Distributed Energy Resources (2012) (20)
Parallel discrete event simulation: The making of a field (2017) (20)
Software specification and design (1977) (19)
Parallel programming in 2001 (1991) (19)
An event processing language (EPL) for building sense and respond applications (2005) (18)
Theorems about Composition (2000) (18)
Models of Distributed Systems (1977) (18)
Programming the Connection Machine (1988) (17)
Event-Driven Architectures for Distributed Crisis Management (2003) (17)
Conditional Knowledge as a Basis for Distributed Simulation (1987) (17)
Models and Algorithms for Radiation Detection (2010) (17)
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS (2008) (16)
Performance models of token ring local area networks (1983) (16)
Concurrent programming for the masses (invited address) (1985) (16)
Fast accurate heuristic algorithms for queueing network models of computing systems (1981) (15)
Virtual Environments for Developing Strategies for Interdicting Terrorists Carrying Dirty Bombs (2008) (15)
Event Webs for Crisis Management (2003) (15)
Resource Allocation in Streaming Environments (2006) (14)
A Primer for Program Composition Notation (1990) (14)
Verification of distributed systems with local–global predicates (2011) (14)
The Derivation of Compositional Programs (1995) (14)
Parallel program archetypes (1999) (13)
Sense and Respond Systems (2005) (13)
Optimal contract for wind power in day-ahead electricity markets (2011) (13)
A Deterministic Notation for Cooperating Processes (1993) (13)
The composition of concurrent programs (1989) (13)
A framework for hardware-software tradeoffs in the design of fault-tolerant computers (1972) (12)
An Axiomatic Proof Technique for Networks of Communicating Processes (1979) (12)
Using announce-listen with global events to develop distributed control systems (1998) (12)
2019 Ridgecrest Earthquake Reveals Areas of Los Angeles That Amplify Shaking of High-Rises (2020) (11)
Self-Similar Algorithms for Dynamic Distributed Systems (2007) (11)
Integrating Task and Data Parallelism in UC (1995) (11)
Reasoning about Composition Using Property Transformers and Their Conjugates (2000) (11)
A system for structured high-performance multithreaded programming in Windows NT (1998) (11)
A modeling approach and design tool for pipelined central processors (1979) (10)
Downtown Los Angeles 52-Story High-Rise and Free-Field Response to an Oil Refinery Explosion (2016) (10)
Reasoning About Continuous Systems (1990) (10)
UC: a language for the connection machine (1990) (10)
Proof of distributed algorithms: an exercise (1991) (9)
UC: A Set-Based Language for Data-Parallel Programming (1995) (9)
What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium? (2001) (9)
Computational Complexity of Network Design Algorithms (1977) (9)
Integrating task and data parallelism with the group communication archetype (1995) (9)
A parallel programming model with sequential semantics (1996) (9)
Current Trends in Programming Methodology: Software Specification and Design (1977) (9)
Computer performance : proceedings of the International Symposium on Computer Performance Modeling, Measurement, and Evaluation, IBM Thomas J. Watson Research Center, Yorktown Heights, New York, August 16-18, 1977 (1977) (9)
A parallel algorithm for correlating event streams (2005) (9)
Towards a discipline of geospatial distributed event based systems (2012) (9)
On the Design of Elementary Distributed Systems (1979) (9)
Kind theory (2002) (8)
Community seismic network and localized earthquake situational awareness (2018) (8)
Ground motions in urban Los Angeles from the 2019 Ridgecrest earthquake sequence (2021) (8)
Systolic algorithms as programs (1986) (8)
The use of performance models in systematic design (1982) (8)
Using announce–listen with global events to develop distributed control systems (1998) (8)
Specification transformers: a predicate transformer approach to composition (2004) (7)
Event-Driven Architectures and Complex Event Processing (2006) (7)
A Cottage Industry of Software Publishing: Implications for Theories of Composition (1998) (7)
Fortran M language definition (1993) (7)
Asynchronous Simulation via a Sequence of Parallel Computations (1981) (7)
Design automation and queueing networks: An interactive system for the evaluation of computer queueing models (1972) (7)
Designing directories in distributed systems: a systematic framework (1996) (7)
Submicron Systems Architecture Project (1989) (7)
SIMULATION TOOLS IN PERFORMANCE EVALUATION. (1981) (7)
Concurrent Programming For The Masses (PODC 1984 Invited Address). (1985) (6)
A Notation for Deterministic Cooperating Processes (1995) (6)
Integrating Task and Data Parallelism with the Collective Communication Archetype (1994) (6)
Optimization of Information Storage Systems (1968) (6)
The scientist's infosphere (1996) (5)
QuakeCast : Distributed Seismic Early Warning (2009) (5)
Local Balance, Robustness, Poisson Departures and the Product Form inQueueing Networks (1973) (5)
Dense Building Instrumentation Application for City-Wide Structural Health Monitoring (2017) (5)
Micro-option: a method for optimal selection and atomic reservation of distributed resources in a free market environment (2000) (5)
eXtensible Stylesheet Language Transformations (2009) (5)
Novel Totally Self-checking Berger Code Checker Designs Based on Generalized Berger Code Partitioning (1993) (5)
Service Composition Issues for Distributed Business Processes (2003) (5)
Another view on “fairness” (1988) (5)
Managing Specificity and Generality: Tailoring General Archetypal PSEs to Specific Users (2000) (5)
Event Stream Processing (2009) (5)
Design Tradeoffs for Radiation Detection Sensor Networks (2008) (5)
Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors (2011) (5)
Systematic Composition of Distributed Objects: Processes and Sessions (1997) (5)
A Distributed Deadlock Detection Algorithm and Its Correctness Proof. (1982) (4)
A Theorem on Termination of Distributed Systems (1987) (4)
Conjunctive predicate transformers for reasoning about concurrent computation (1993) (4)
Space-time and simulation. Research report (1989) (4)
Webs of Archived Distributed Computations for Asynchronous Collaboration (1997) (4)
Theorems on Computations of Distributed Systems (1988) (4)
Examples in program composition (1990) (3)
The Caltech CSN project collects sensor data from thousands of personal devices for realtime response to dangerous earthquakes (2014) (3)
Programming parallel computers (1988) (3)
A simple model of distributed programs based on implementation-hiding and process autonomy (1980) (3)
Sensor networks for geospatial event detection --- theory and applications (2013) (3)
IC Online: Ubiquitous Computing: The Future of Development? (2002) (3)
07191 Abstracts Collection -- Event Processing (2007) (3)
Control-Based Scheduling in a Distributed Stream Processing System (2006) (3)
Why Multicast Protocols (Don''t) Scale: An Analysis of Multipoint Algorithms for Scalable Group Communication (2000) (3)
Towards Verified Distributed Software Through Refinement of Formal Archetypes (2008) (3)
07191 Summary -- Event Processing (2007) (3)
HAM: The Heuristic Aggregation Method (1982) (3)
Deterministic Parallel FORTRAN (1993) (3)
Parallel Language Constructs for Paradigm Integration and Deterministic Computations (1993) (2)
Specifications and Architectures of Federated Event-Driven Systems (2009) (2)
Parallel object-oriented libraries (2003) (2)
Parallelism and Programming: A Perspective (1987) (2)
On Distributed Search (1985) (2)
Dynamic unity (2002) (2)
Enterprise Computing Systems as Information Factories (2006) (2)
The Essence of Distributed Snapshots (1989) (2)
Systematic design and formal verification of multi-agent systems (2011) (2)
Snapshot Processing in Streaming Environments (2006) (2)
Statistical and Pattern Based Models for CPU Burst Prediction (1973) (2)
Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994 (1994) (2)
Theory and implementation of a distributed event based platform (2016) (2)
Event processing using database technology (2007) (2)
Consensus on asynchronous communication networks in presence of external input (2010) (2)
A Micro-Kernel for Distributed Applications (1985) (2)
A Web That Senses and Responds (2010) (1)
Guaranteeing Convergence of Distributed Systems : From Specification to Implementation via Refinement (2009) (1)
Erratum to “Predicate transformers for reasoning about concurrent computation” (1997) (1)
Scheduling Partially Ordered Tasks with Exponentially Distributed Times (1979) (1)
Using Triples to Reason About Concurrent Programs (1993) (1)
Reliable Synchronization Primitives for Java (1996) (1)
Writing correct parallel programs (1993) (1)
Specification, Synthesis, Verification and Performance Analysis ofDistributed Programs (1978) (1)
HSS: A Tool for Evaluating the Performance of Office Systems (1985) (1)
Concurrency and Discrete-Event Simulation (1993) (1)
Representing Faulty Distributed Systems as Nondeterministic Sequential Systems (1987) (1)
Compositional Specifications of Parallel Programs: NondeterministicData Flow (1994) (1)
Reasoning about Program Composition (2009) (1)
Chapter 21 – Sense and Response Systems for Crisis Management (2012) (1)
Event Processing, 6.5. - 11.5.2007 (2007) (1)
Computer Models with Constrained Parallel Processors (1974) (1)
The Impact of Sense and Respond Systems (2010) (1)
Program Composition Notation (1992) (1)
What is Different About Event Driven Architecture ? (2008) (1)
Multi-Agent Collaboration in Adversarial Environments ∗ (2007) (1)
Event Servers for Crisis Management (2004) (1)
On Optimal Control of Computational Streams (2006) (1)
A Method for Approximate Analysis of General Queueing Networks (1980) (1)
Properties of Concurrent Programs (1994) (1)
Information Fusion on Concurrent Computing Systems (2006) (0)
Event Connection (2009) (0)
Deterministic Parallel Fortran Deterministic Parallel Fortran (1993) (0)
A Recognizer and Post-Recognizer for Optimizing Execution Times of Programs (1974) (0)
Under consideration for publication in Formal Aspects of Computing Verification of Distributed Systems : From Specification to Implementation (2009) (0)
The Community Seismic Network: Enabling Observations Through Citizen Science Participation (2017) (0)
IPDPS 2004 ORGANIZATION (2004) (0)
Mach-Based Channel Library (1994) (0)
FORTRAN Extensions for Modular Parallel Processing (1996) (0)
The Assurance Monitor Pattern (2020) (0)
Mathematics of Program Construction Applied to Analog Neural Networks (1989) (0)
Size:m*n Original Timing Mapped Timings Mapped Timings Speedup Original Vp Ratio Reduced Vp Ratio (1991) (0)
Event processing grand challenges (2011) (0)
A Theory of Program Composition (1992) (0)
A general distributed event model (1998) (0)
Research to Study Specific, Important Problems in Distributed Systems and Propose Solutions for Them. (1985) (0)
Performance Management of Parallel Computers (1988) (0)
Compositional structures for streaming applications (2019) (0)
Theory and Practice of Fault Tolerance in Distributed Systems. (1987) (0)
Applying formal methods to distributed algorithms using local-global relations (2011) (0)
A Generalization of Termination Detection for Diffusing Computations (1979) (0)
A Deadlock Absence Proof Technique Applied to a Multiple Copy ConsistencyProtocol (1980) (0)
AFIPS, JOINT COMPUTER CONFERENCE, FALL, ANAHEIM, CALIF, DEC 5-7 1972. (2017) (0)
High performance computing and communications grand challenges program (1994) (0)
ETL Process (2009) (0)
Pervasive Computing for Disaster Response – June 2012 Status (0)
Computations on Time-Varying Sensor Networks (0)
Bayesian models of design based on intuition (1976) (0)
Bayesian Inference for the Community Seismic Network (2010) (0)
Annual Scientific Report for Grant AFOSR-81-0205, 15 June 1981 - 14 June 1982, (1982) (0)
ER Model (2009) (0)
The Program Composition Project (1990) (0)
IPDPS 2007 Organization (2007) (0)
On Equilibria of Distributed Message-Passing Games ? (2009) (0)
DEBS 2006 Program Committee (2006) (0)
MAY: A MESSAGE BASED SIMULATION LANGUAGE FOR SMALL COMPUTERS. (1984) (0)
Monotonic counters: a new mechanism for thread synchronization (2000) (0)
Decision Support Systems: A Preliminary Study (1977) (0)
Applying a New Event Detection Algorithm to an Ocean Bottom Seismometer Dataset Recorded Offshore Southern California (2015) (0)
IPDPS 2005 Organization (2005) (0)
Method and apparatus for rearranging a mesh connected local area network high speed. (1990) (0)
Preserving Asymmetry by Symmetric Processes and Distributed Fair Conflict Resolution. (1983) (0)
The Assurance Monitor Paern (2020) (0)
Tutorial: Event processing grand challenges (2011) (0)
The Lee Center for Advanced Networking (2010) (0)
Air Force scientific report for AFOSR Grant AFOSR-85-0252. Final report, 15 June 1985-14 October 1986 (1987) (0)
Product-Form Queueing Networks (2021) (0)
A Computer Modeling System Based on a User-Extensible Modeling Library (1981) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With K. Mani Chandy?

K. Mani Chandy is affiliated with the following schools:

K. Mani Chandy's Academic­Influence.com Rankings

K. Mani Chandy's Degrees

Similar Degrees You Can Earn

Why Is K. Mani Chandy Influential?

K. Mani Chandy's Published Works

Published Works

What Schools Are Affiliated With K. Mani Chandy?

K. Mani Chandy's AcademicInfluence.com Rankings