K. Mani Chandy

Affiliations:
  • Caltech, Pasadena, USA


According to our database1, K. Mani Chandy authored at least 165 papers between 1968 and 2019.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Awards

ACM Fellow

ACM Fellow 2019, "For contributions to queueing networks, performance analysis, distributed and parallel programming, and distributed simulation".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Compositional structures for streaming applications.
Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018
Event Driven Architecture.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

2017
Parallel discrete event simulation: The making of a field.
Proceedings of the 2017 Winter Simulation Conference, 2017

2016
Theory and implementation of a distributed event based platform.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

2015
Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow.
IEEE Trans. Control. Netw. Syst., 2015

2014
Community sense and response systems: your phone as quake detector.
Commun. ACM, 2014

Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow.
Proceedings of the 48th Annual Conference on Information Sciences and Systems, 2014

2012
Towards a discipline of geospatial distributed event based systems.
Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

Optimal placement of energy storage in the grid.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Equivalence of branch flow and bus injection models.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011
Verification of distributed systems with local-global predicates.
Formal Aspects Comput., 2011

Optimal design of hybrid energy system with PV/wind turbine/storage: A case study.
Proceedings of the IEEE Second International Conference on Smart Grid Communications, 2011

Inverter VAR control for distribution systems with renewables.
Proceedings of the IEEE Second International Conference on Smart Grid Communications, 2011

GRIP - Grids with intelligent periphery: Control architectures for Grid2050<sup>π</sup>.
Proceedings of the IEEE Second International Conference on Smart Grid Communications, 2011

Sensor networks for the detection and tracking of radiation and other threats in cities.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

The next big one: Detecting earthquakes and other rare events from community-based sensors.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Rapid detection of rare geospatial events: earthquake warning applications.
Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, 2011

Event processing grand challenges.
Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, 2011

Optimal contract for wind power in day-ahead electricity markets.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Optimal power flow over tree networks.
Proceedings of the 49th Annual Allerton Conference on Communication, 2011

Performance Issues in Cloud Computing for Cyber-physical Applications.
Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010
Internet Predictions.
IEEE Internet Comput., 2010

An analysis of data fusion for radiation detection and localization.
Proceedings of the 13th Conference on Information Fusion, 2010

10201 Executive Summary and Manifesto - Event Processing.
Proceedings of the Event Processing, 16.05. - 21.05.2010, 2010

Consensus on asynchronous communication networks in presence of external input.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A simple optimal power flow model with energy storage.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A Web That Senses and Responds.
Proceedings of the From Active Data Management to Event-Based Systems and More, 2010

Load-shedding probabilities with hybrid renewable power generation and energy storage.
Proceedings of the 48th Annual Allerton Conference on Communication, 2010

Event Processing - Designing IT Systems for Agile Companies.
McGraw-Hill, ISBN: 978-0-07-163350-5, 2010

2009
Event Driven Architecture.
Proceedings of the Encyclopedia of Database Systems, 2009

Specifications and Architectures of Federated Event-Driven Systems.
Proceedings of the Intelligent Event Processing, 2009

2008
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS.
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Convergence Verification: From Shared Memory to Partially Synchronous Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007
Event processing using database technology.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

Self-Similar Algorithms for Dynamic Distributed Systems.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Towards a theory of events.
Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

07191 Abstracts Collection -- Event Processing.
Proceedings of the Event Processing, 6.5. - 11.5.2007, 2007

07191 Summary -- Event Processing.
Proceedings of the Event Processing, 6.5. - 11.5.2007, 2007

2006
Control-Based Scheduling in a Distributed Stream Processing System.
Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Snapshot Processing in Streaming Environments.
Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), 2006

Resource Allocation in Streaming Environments.
Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), 2006

Enterprise Computing Systems as Information Factories.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

Event-Driven Architectures and Complex Event Processing.
Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005
A Parallel Algorithm for Correlating Event Streams.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

An Event Processing Language (EPL) for Building Sense and Respond Applications.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Sense and Respond Systems.
Proceedings of the 31th International Computer Measurement Group Conference, 2005

2004
Specification transformers: a predicate transformer approach to composition.
Acta Informatica, 2004

Event Servers for Crisis Management.
Proceedings of the High Performance Computing, 2004

2003
Service Composition Issues for Distributed Business Processes.
Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

2002
An Experiment in Program Composition and Proof.
Formal Methods Syst. Des., 2002

IC Online: Ubiquitous Computing: The Future of Development?
IEEE Distributed Syst. Online, 2002

2001
What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium?
J. Parallel Distributed Comput., 2001

2000
Micro-option: a method for optimal selection and atomic reservation of distributed resources in a free market environment.
Proceedings of the 2nd ACM Conference on Electronic Commerce (EC-00), 2000

Theorems about Composition.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

Monotonic Counters: A New Mechanism for Thread Synchronization.
Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

Reasoning about Composition Using Property Transformers and Their Conjugates.
Proceedings of the Theoretical Computer Science, 2000

1999
Parallel Program Archetypes.
Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

Examples of Program Composition Illustrating the Use of Universal Properties.
Proceedings of the Parallel and Distributed Processing, 1999

Towards a Compositional Approach to the Design and Verification of Distributed Systems.
Proceedings of the FM'99 - Formal Methods, 1999

1998
A Framework for Structured Distributed Object Computing.
Parallel Comput., 1998

Using announce-listen with global events to develop distributed control systems.
Concurr. Pract. Exp., 1998

A Cottage Industry of Software Publishing: Implications for Theories of Composition.
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

A general distributed event model.
Proceedings of the 5th International Conference On High Performance Computing, 1998

1997
Webs of Archived Distributed Computations for Asynchronous Collaboration.
J. Supercomput., 1997

Systematic Composition of Distributed Objects: Processes and Sessions.
Comput. J., 1997

A General Resource Reservation Framework for Scientific Computing.
Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997

Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996
Designing Directories in Distributed Systems: A Systematic Framework.
Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

A World-Wide Distributed System Using Java and the Internet.
Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

1995
A Notation for Deterministic Cooperating Processes.
IEEE Trans. Parallel Distributed Syst., 1995

Predicate Transformers for Reasoning about Concurrent Computation.
Sci. Comput. Program., 1995

Fortran M: A Language for Modular Parallel Programming.
J. Parallel Distributed Comput., 1995

UC: A Set-Based Language for Data-Parallel Programming.
J. Parallel Distributed Comput., 1995

Integrating task and data parallelism with the group communication archetype.
Proceedings of IPPS '95, 1995

Integrating Task and Data Parallelism in UC.
Proceedings of the 1995 International Conference on Parallel Processing, 1995

1994
Integrated Support for Task and Data Parallelism.
Int. J. High Perform. Comput. Appl., 1994

Properties of Concurrent Programs.
Formal Aspects Comput., 1994

Compositional Specifications of Parallel Programs: NondeterministicData Flow.
Proceedings of the Specification of Parallel Algorithms, 1994

1993
Concurrency and Discrete-Event Simulation.
ACM Trans. Model. Comput. Simul., 1993

Deterministic Parallel FORTRAN.
Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993

Parallel Language Constructs for Paradigm Integration and Deterministic Computations.
Proceedings of the Parallel Computing: Trends and Applications, 1993

Writing Correct Parallel Programs.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

1992
Compositional C++: Compositional Parallel Programming.
Proceedings of the Languages and Compilers for Parallel Computing, 1992

The Derivation of Compositional Programs.
Proceedings of the Logic Programming, 1992

1991
A Unifying Framework for Distributed Simulation.
ACM Trans. Model. Comput. Simul., 1991

Parallel Programming in 2001.
IEEE Softw., 1991

1990
Reasoning About Continuous Systems.
Sci. Comput. Program., 1990

UC: a language for the connection machine.
Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

1989
The composition of concurrent programs.
Proceedings of the Proceedings Supercomputing '89, Reno, NV, USA, November 12-17, 1989, 1989

Mathematics of Program Construction Applied to Analog Neural Networks.
Proceedings of the Mathematics of Program Construction, 1989

Parallel program design - a foundation.
Addison-Wesley, ISBN: 978-0-201-05866-6, 1989

1988
Another view on "fairness".
ACM SIGSOFT Softw. Eng. Notes, 1988

Programming parallel computers.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Programming the Connection Machine.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Performance Management of Parallel Computers.
Proceedings of the 14th International Computer Measurement Group Conference, 1988

1987
A Message-Based Approach to Discrete-Event Simulation.
IEEE Trans. Software Eng., 1987

Representing Faulty Distributed Systems as Nondeterministic Sequential Systems.
Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, 1987

Parallelism and Programming: A Perspective.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

1986
An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection.
ACM Trans. Program. Lang. Syst., 1986

Systolic Algorithms as Programs.
Distributed Comput., 1986

How Processes Learn.
Distributed Comput., 1986

1985
Distributed Snapshots: Determining Global States of Distributed Systems
ACM Trans. Comput. Syst., 1985

On Distributed Search.
Inf. Process. Lett., 1985

Concurrent Programming For The Masses (PODC 1984 Invited Address).
Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

A Micro-Kernel for Distributed Applications.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

HSS: A Tool for Evaluating the Performance of Office Systems.
Proceedings of the Eleventh International Computer Measurement Group Conference, 1985

1984
The Drinking Philosopher's Problem.
ACM Trans. Program. Lang. Syst., 1984

The MVA Priority Approximation
ACM Trans. Comput. Syst., 1984

A Paradigm for Detecting Quiescent Properties in Distributed Computations.
Proceedings of the Logics and Models of Concurrent Systems, 1984

1983
A Characterization of Product-Form Queuing Networks
J. ACM, April, 1983

Distributed Deadlock Detection
ACM Trans. Comput. Syst., 1983

Performance models of token ring local area networks.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 1983

1982
A Distributed Graph Algorithm: Knot Detection.
ACM Trans. Program. Lang. Syst., 1982

Termination Detection of Diffusing Computations in Communicating Sequential Processes.
ACM Trans. Program. Lang. Syst., 1982

HAM: The Heuristic Aggregation Method.
Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1982

Linearzer: A Heuristic Algorithm for Queueing Network Models of Computing Systems.
Commun. ACM, 1982

Distributed Computation on Graphs: Shortest Path Algorithms.
Commun. ACM, 1982

Proving Safety and Liveness of Communicating Processes with Examples.
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems.
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

The use of performance models in systematic design.
Proceedings of the American Federation of Information Processing Societies: 1982 National Computer Conference, 1982

1981
Proofs of Networks of Processes.
IEEE Trans. Software Eng., 1981

Fast accurate heuristic algorithms for queueing network models of computing systems.
Perform. Evaluation, 1981

Asynchronous Distributed Simulation via a Sequence of Parallel Computations.
Commun. ACM, 1981

SCAT: A Heuristic Algorithm for Queueing Network Models of Computing Systems.
Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1981

A Computer Modeling System Based on a User-Extensible Modeling Library.
Proceedings of the Seventh International Computer Measurement Group Conference, 1981

1980
A simple model of distributed programs based on implementation-hiding and process autonomy.
ACM SIGPLAN Notices, 1980

Approximate Solution of Queueing Models.
Computer, 1980

Computational Algorithms for Product Form Queueing Networks.
Commun. ACM, 1980

1979
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs.
IEEE Trans. Software Eng., 1979

Deadlock Absence Proofs for Networks of Communicating Processes.
Inf. Process. Lett., 1979

On the Design of Elementary Distributed Systems.
Comput. Networks, 1979

Distributed Simulation of Networks.
Comput. Networks, 1979

The Impact of Distributions and Disciplines on Multiple Processor Systems.
Commun. ACM, 1979

A Modeling Approach and Design Tool for Pipelined Central Processors.
Proceedings of the 6th Annual Symposium on Computer Architecture, 1979

1978
Approximate Methods for Analyzing Queueing Network Models of Computing Systems.
ACM Comput. Surv., 1978

Models for Parallel Processing Within Programs: Application to CPU: I/O and I/O: I/O Overlap.
Commun. ACM, 1978

A nontrivial example of concurrent processing: Distributed simulation.
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977
Selecting Capacities in Computer Communication Systems.
IEEE Trans. Software Eng., 1977

Product Form and Local Balance in Queueing Networks.
J. ACM, 1977

Memory Management and Response Time.
Commun. ACM, 1977

Models of Distributed Systems.
Proceedings of the Third International Conference on Very Large Data Bases, 1977

Computational Complexity of Network Design Algorithms.
Proceedings of the Information Processing, 1977

1976
File allocation in distributed systems.
Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 1976

Bayesian Models of Design Based on Intuition.
Proceedings of the 2nd International Conference on Software Engineering, 1976

1975
Analytic Models for Rollback and Recovery Strategies in Data Base Systems.
IEEE Trans. Software Eng., 1975

Open, Closed, and Mixed Networks of Queues with Different Classes of Customers.
J. ACM, 1975

Approximate Analysis of Central Server Models.
IBM J. Res. Dev., 1975

Solution of Queuing Problems by a Recursive Technique.
IBM J. Res. Dev., 1975

Approximate Analysis of General Queuing Networks.
IBM J. Res. Dev., 1975

Parametric Analysis of Queuing Networks.
IBM J. Res. Dev., 1975

A Survey of Analytic Models of Rollback and Recovery Stratergies.
Computer, 1975

Scheduling Partially Ordered Tasks with Probabilistic Execution Times.
Proceedings of the Fifth Symposium on Operating System Principles, 1975

1974
A Comparison of List Schedules for Parallel Processing Systems.
Commun. ACM, 1974

A Recognizer and Post-Recognizer for Optimizing Execution Times of Programs.
Proceedings of the Parallel Processing, Proceedings of the Sagamore Computer Conference, 1974

Computer Models with Constrained Parallel Processors.
Proceedings of the Parallel Processing, Proceedings of the Sagamore Computer Conference, 1974

1973
The Effect on Throughput of Multiprocessing in a Multiprogramming Environment.
IEEE Trans. Computers, 1973

The Capacitated Minimum Spanning Tree.
Networks, 1973

1972
Optimal Scheduling Strategies in a Multiprocessor System.
IEEE Trans. Computers, 1972

The Design or Multipoint Linkages in a Teleprocessing Tree Network.
IEEE Trans. Computers, 1972

Rollback and Recovery Strategies for Computer Programs.
IEEE Trans. Computers, 1972

Design automation and queueing networks: An interactive system for the evaluation of computer queueing models.
Proceedings of the 9th Design Automation Workshop, 1972

A framework for hardware-software tradeoffs in the design of fault-tolerant computers.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

1970
Optimization of Memory Hierarchies in Multiprogrammed Systems.
J. ACM, 1970

1968
Optimization of Information Storage Systems
Inf. Control., December, 1968


  Loading...