Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDK. Mani Chandy
Kanianthra Mani Chandy
Person information
- affiliation: Caltech, Pasadena, USA
- award (2014): Dijkstra Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[c93]K. Mani Chandy, Julian J. Bunn:
Compositional structures for streaming applications. ICDCN 2019: 352-361- 2018
- [r2]K. Mani Chandy:
Event Driven Architecture. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [c92]Richard M. Fujimoto, Rajive L. Bagrodia, Randal E. Bryant, K. Mani Chandy, David R. Jefferson, Jayadev Misra, David M. Nicol, Brian W. Unger:
Parallel discrete event simulation: The making of a field. WSC 2017: 262-291 - 2016
- [c91]K. Mani Chandy:
Theory and implementation of a distributed event based platform. DEBS 2016: 205-213 - 2015
- [j68]Subhonmesh Bose, Dennice F. Gayme, K. Mani Chandy, Steven H. Low:
Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow. IEEE Trans. Control. Netw. Syst. 2(3): 278-287 (2015) - 2014
- [j67]Matthew Faulkner, Robert Clayton, Thomas Heaton, K. Mani Chandy, Monica Kohler, Julian J. Bunn, Richard Guy, Annie H. Liu, Michael Olson, MingHei Cheng, Andreas Krause
:
Community sense and response systems: your phone as quake detector. Commun. ACM 57(7): 66-75 (2014) - [c90]Subhonmesh Bose, Dennice F. Gayme, K. Mani Chandy, Steven H. Low:
Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow. CISS 2014: 1-5 - 2012
- [c89]Subhonmesh Bose, Steven H. Low, K. Mani Chandy:
Equivalence of branch flow and bus injection models. Allerton Conference 2012: 1893-1899 - [c88]Subhonmesh Bose, Dennice F. Gayme, Ufuk Topcu, K. Mani Chandy:
Optimal placement of energy storage in the grid. CDC 2012: 5605-5612 - [c87]Annie H. Liu, Michael Olson, Julian J. Bunn, K. Mani Chandy:
Towards a discipline of geospatial distributed event based systems. DEBS 2012: 95-106 - 2011
- [j66]K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White:
Verification of distributed systems with local-global predicates. Formal Aspects Comput. 23(5): 649-679 (2011) - [c86]Michael Olson, K. Mani Chandy:
Performance Issues in Cloud Computing for Cyber-physical Applications. IEEE CLOUD 2011: 742-743 - [c85]Subhonmesh Bose, Dennice F. Gayme, Steven H. Low, K. Mani Chandy:
Optimal power flow over tree networks. Allerton 2011: 1342-1348 - [c84]Desmond W. H. Cai, Sachin Adlakha, K. Mani Chandy:
Optimal contract for wind power in day-ahead electricity markets. CDC/ECC 2011: 1521-1527 - [c83]Michael Olson, Annie H. Liu, Matthew Faulkner, K. Mani Chandy:
Rapid detection of rare geospatial events: earthquake warning applications. DEBS 2011: 89-100 - [c82]Pedro Bizarro, K. Mani Chandy, Nenad Stojanovic:
Event processing grand challenges. DEBS 2011: 361-362 - [c81]Annie H. Liu, Julian J. Bunn, K. Mani Chandy:
Sensor networks for the detection and tracking of radiation and other threats in cities. IPSN 2011: 1-12 - [c80]Matthew Faulkner, Michael Olson, Rishi Chandy, Jonathan Krause, K. Mani Chandy, Andreas Krause:
The next big one: Detecting earthquakes and other rare events from community-based sensors. IPSN 2011: 13-24 - [c79]Matthew Faulkner, Michael Olson, Rishi Chandy, Jonathan Krause, K. Mani Chandy, Andreas Krause:
Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors. IPSN 2011: 121-122 - [c78]David E. Bakken, Anjan Bose, K. Mani Chandy, Pramod P. Khargonekar, Anthony Kuh, Steven H. Low, Alexandra von Meier, Kameshwar Poolla, Pravin Varaiya, Felix F. Wu:
GRIP - Grids with intelligent periphery: Control architectures for Grid2050π. SmartGridComm 2011: 7-12 - [c77]Masoud Farivar, Christopher R. Clarke, Steven H. Low, K. Mani Chandy:
Inverter VAR control for distribution systems with renewables. SmartGridComm 2011: 457-462 - [c76]Rui Huang, Steven H. Low, Ufuk Topcu, K. Mani Chandy, Christopher R. Clarke:
Optimal design of hybrid energy system with PV/wind turbine/storage: A case study. SmartGridComm 2011: 511-516 - 2010
- [b2]K. Mani Chandy, W. Roy Schulte:
Event Processing - Designing IT Systems for Agile Companies. McGraw-Hill 2010, ISBN 978-0-07-163350-5, pp. I-XVII, 1-235 - [j65]Deborah Estrin, K. Mani Chandy, Robert Michael Young, Larry Smarr, Andrew M. Odlyzko, David D. Clark, Viviane Reding, Toru Ishida, Sharad Sharma, Vinton G. Cerf, Urs Hölzle, Luiz André Barroso, Geoff Mulligan, Adrian Hooke, Chip Elliott:
Internet Predictions. IEEE Internet Comput. 14(1): 12-42 (2010) - [c75]K. Mani Chandy:
A Web That Senses and Responds. From Active Data Management to Event-Based Systems and More 2010: 78-84 - [c74]K. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu:
A simple optimal power flow model with energy storage. CDC 2010: 1051-1057 - [c73]Concetta Pilotto, K. Mani Chandy, Jerome White:
Consensus on asynchronous communication networks in presence of external input. CDC 2010: 3838-3844 - [c72]Annie H. Liu, Julian J. Bunn, K. Mani Chandy:
An analysis of data fusion for radiation detection and localization. FUSION 2010: 1-8 - [e3]K. Mani Chandy, Opher Etzion, Rainer von Ammon:
Event Processing, 16.05. - 21.05.2010. Dagstuhl Seminar Proceedings 10201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i3]K. Mani Chandy, Opher Etzion, Rainer von Ammon:
10201 Executive Summary and Manifesto - Event Processing. Event Processing 2010
2000 – 2009
- 2009
- [c71]K. Mani Chandy, Michael Olson:
Specifications and Architectures of Federated Event-Driven Systems. AAAI Spring Symposium: Intelligent Event Processing 2009: 21-26 - [r1]K. Mani Chandy:
Event Driven Architecture. Encyclopedia of Database Systems 2009: 1040-1044 - 2008
- [c70]K. Mani Chandy, Sayan Mitra, Concetta Pilotto:
Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS 2008: 218-232 - [c69]Sayan Mitra, K. Mani Chandy:
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs 2008: 230-245 - 2007
- [c68]K. Mani Chandy, Michel Charpentier, Agostino Capponi:
Towards a theory of events. DEBS 2007: 180-187 - [c67]K. Mani Chandy, Michel Charpentier:
Self-Similar Algorithms for Dynamic Distributed Systems. ICDCS 2007: 67 - [c66]K. Mani Chandy, Dieter Gawlick:
Event processing using database technology. SIGMOD Conference 2007: 1169-1170 - [e2]K. Mani Chandy, Opher Etzion, Rainer von Ammon:
Event Processing, 6.5. - 11.5.2007. Dagstuhl Seminar Proceedings 07191, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i2]K. Mani Chandy, Opher Etzion, Rainer von Ammon, Peter Niblett:
07191 Summary -- Event Processing. Event Processing 2007 - [i1]Opher Etzion, K. Mani Chandy, Rainer von Ammon:
07191 Abstracts Collection -- Event Processing. Event Processing 2007 - 2006
- [c65]Opher Etzion, K. Mani Chandy, Rainer von Ammon, W. Roy Schulte:
Event-Driven Architectures and Complex Event Processing. IEEE SCC 2006 - [c64]K. Mani Chandy, Lu Tian, Daniel M. Zimmerman:
Enterprise Computing Systems as Information Factories. EDOC 2006: 427-432 - [c63]Lu Tian, K. Mani Chandy:
Resource Allocation in Streaming Environments. GRID 2006: 270-277 - [c62]Daniel M. Zimmerman, K. Mani Chandy:
Snapshot Processing in Streaming Environments. GRID 2006: 319-320 - [c61]Andrey Khorlin, K. Mani Chandy:
Control-Based Scheduling in a Distributed Stream Processing System. SCW 2006: 55-64 - 2005
- [c60]K. Mani Chandy:
Sense and Respond Systems. Int. CMG Conference 2005: 59-66 - [c59]Elli Albek, Eric Bax, Greg Billock, K. Mani Chandy, Ian Swett:
An Event Processing Language (EPL) for Building Sense and Respond Applications. IPDPS 2005 - [c58]Daniel M. Zimmerman, K. Mani Chandy:
A Parallel Algorithm for Correlating Event Streams. IPDPS 2005 - 2004
- [j64]Michel Charpentier, K. Mani Chandy:
Specification transformers: a predicate transformer approach to composition. Acta Informatica 40(4): 265-301 (2004) - [c57]K. Mani Chandy:
Event Servers for Crisis Management. HiPC 2004: 3 - 2003
- [c56]Roman Ginis, K. Mani Chandy:
Service Composition Issues for Distributed Business Processes. ICWS 2003: 27-33 - 2002
- [j63]K. Mani Chandy, Axel Fuchs, Bill Janssen, Deepak Mulchandani, Mark D. Weiser:
IC Online: Ubiquitous Computing: The Future of Development? IEEE Distributed Syst. Online 3(3) (2002) - [j62]K. Mani Chandy, Michel Charpentier:
An Experiment in Program Composition and Proof. Formal Methods Syst. Des. 20(1): 7-21 (2002) - 2001
- [j61]Mitchell D. Theys, Shoukat Ali, Howard Jay Siegel, K. Mani Chandy, Kai Hwang, Ken Kennedy, Lui Sha, Kang G. Shin, Marc Snir, Larry Snyder, Thomas L. Sterling:
What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium? J. Parallel Distributed Comput. 61(12): 1827-1841 (2001) - 2000
- [c55]Michel Charpentier, K. Mani Chandy:
Reasoning about Composition Using Property Transformers and Their Conjugates. IFIP TCS 2000: 580-595 - [c54]John Thornley, K. Mani Chandy:
Monotonic Counters: A New Mechanism for Thread Synchronization. IPDPS 2000: 573-582 - [c53]Michel Charpentier, K. Mani Chandy:
Theorems about Composition. MPC 2000: 167-186 - [c52]Roman Ginis, K. Mani Chandy:
Micro-option: a method for optimal selection and atomic reservation of distributed resources in a free market environment. EC 2000: 207-214
1990 – 1999
- 1999
- [c51]Michel Charpentier, K. Mani Chandy:
Towards a Compositional Approach to the Design and Verification of Distributed Systems. World Congress on Formal Methods 1999: 570-589 - [c50]Berna L. Massingill, K. Mani Chandy:
Parallel Program Archetypes. IPPS/SPDP 1999: 290-296 - [c49]Michel Charpentier, K. Mani Chandy:
Examples of Program Composition Illustrating the Use of Universal Properties. IPPS/SPDP Workshops 1999: 1215-1227 - 1998
- [j60]K. Mani Chandy, Adam Rifkin, Eve M. Schooler:
Using announce-listen with global events to develop distributed control systems. Concurr. Pract. Exp. 10(11-13): 1021-1027 (1998) - [j59]K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman:
A Framework for Structured Distributed Object Computing. Parallel Comput. 24(12-13): 1901-1922 (1998) - [c48]K. Mani Chandy, Roman Ginis, Eve M. Schooler:
A general distributed event model. HiPC 1998: 119-123 - [c47]K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry:
A Cottage Industry of Software Publishing: Implications for Theories of Composition. IPPS/SPDP Workshops 1998: 890-899 - 1997
- [j58]K. Mani Chandy, Adam Rifkin:
Systematic Composition of Distributed Objects: Processes and Sessions. Comput. J. 40(8): 465-478 (1997) - [j57]K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman:
Webs of Archived Distributed Computations for Asynchronous Collaboration. J. Supercomput. 11(2): 101-118 (1997) - [c46]K. Mani Chandy, Adam Rifkin:
Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. HICSS (1) 1997: 395-404 - [c45]Ravi Ramamoorthi, Adam Rifkin, Boris Dimitrov, K. Mani Chandy:
A General Resource Reservation Framework for Scientific Computing. ISCOPE 1997: 283-290 - 1996
- [c44]K. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, Jacob Mandelson, Matthew Richardson, Wesley Tanaka, Luke Weisman:
A World-Wide Distributed System Using Java and the Internet. HPDC 1996: 11-18 - [c43]K. Mani Chandy, Eve M. Schooler:
Designing Directories in Distributed Systems: A Systematic Framework. HPDC 1996: 318-328 - 1995
- [j56]Ian T. Foster, K. Mani Chandy:
Fortran M: A Language for Modular Parallel Programming. J. Parallel Distributed Comput. 26(1): 24-35 (1995) - [j55]Rajive L. Bagrodia, K. Mani Chandy, Maneesh Dhagat:
UC: A Set-Based Language for Data-Parallel Programming. J. Parallel Distributed Comput. 28(2): 186-201 (1995) - [j54]K. Mani Chandy, Beverly A. Sanders:
Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. 24(2): 129-148 (1995) - [j53]K. Mani Chandy, Ian T. Foster:
A Notation for Deterministic Cooperating Processes. IEEE Trans. Parallel Distributed Syst. 6(8): 863-871 (1995) - [c42]Maneesh Dhagat, Rajive L. Bagrodia, K. Mani Chandy:
Integrating Task and Data Parallelism in UC. ICPP (2) 1995: 29-36 - [c41]K. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron:
Integrating task and data parallelism with the group communication archetype. IPPS 1995: 724-733 - 1994
- [j52]K. Mani Chandy:
Properties of Concurrent Programs. Formal Aspects Comput. 6(6): 607-619 (1994) - [j51]K. Mani Chandy, Ian T. Foster, Ken Kennedy, Charles Koelbel, Chau-Wen Tseng:
Integrated Support for Task and Data Parallelism. Int. J. High Perform. Comput. Appl. 8(2): 80-98 (1994) - [c40]K. Mani Chandy, Beverly A. Sanders:
Compositional Specifications of Parallel Programs: NondeterministicData Flow. Specification of Parallel Algorithms 1994: 51-63 - [e1]Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan:
Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 18, DIMACS/AMS 1994, ISBN 978-0-8218-0253-3 [contents] - 1993
- [j50]K. Mani Chandy, Rajive L. Bagrodia, Wen-Toh Liao:
Concurrency and Discrete-Event Simulation. ACM Trans. Model. Comput. Simul. 3(4): 284-285 (1993) - [c39]K. Mani Chandy:
Writing Correct Parallel Programs. IPPS 1993: 630-634 - [c38]K. Mani Chandy, Ian T. Foster:
Parallel Language Constructs for Paradigm Integration and Deterministic Computations. PARCO 1993: 3-12 - [c37]K. Mani Chandy, Ian T. Foster:
Deterministic Parallel FORTRAN. PPSC 1993: 798-805 - 1992
- [c36]K. Mani Chandy, Carl Kesselman:
The Derivation of Compositional Programs. JICSLP 1992: 3-17 - [c35]K. Mani Chandy, Carl Kesselman:
Compositional C++: Compositional Parallel Programming. LCPC 1992: 124-144 - 1991
- [j49]K. Mani Chandy, Carl Kesselman:
Parallel Programming in 2001. IEEE Softw. 8(6): 11-20 (1991) - [j48]Rajive L. Bagrodia, K. Mani Chandy, Wen-Toh Liao:
A Unifying Framework for Distributed Simulation. ACM Trans. Model. Comput. Simul. 1(4): 348-385 (1991) - 1990
- [j47]K. Mani Chandy:
Reasoning About Continuous Systems. Sci. Comput. Program. 14(2-3): 117-132 (1990) - [c34]Rajive L. Bagrodia, K. Mani Chandy, E. Kwan:
UC: a language for the connection machine. SC 1990: 525-534
1980 – 1989
- 1989
- [b1]K. Mani Chandy, Jayadev Misra:
Parallel program design - a foundation. Addison-Wesley 1989, ISBN 978-0-201-05866-6, pp. I-XXVIII, 1-516 - [c33]K. Mani Chandy:
Mathematics of Program Construction Applied to Analog Neural Networks. MPC 1989: 21-35 - [c32]K. Mani Chandy:
The composition of concurrent programs. SC 1989: 557-561 - 1988
- [j46]K. Mani Chandy, Jayadev Misra:
Another view on "fairness". ACM SIGSOFT Softw. Eng. Notes 13(3): 20 (1988) - [c31]K. Mani Chandy:
Performance Management of Parallel Computers. Int. CMG Conference 1988: 1076-1078 - [c30]Rajive L. Bagrodia, K. Mani Chandy:
Programming the Connection Machine. ICCL 1988: 50-57 - [c29]K. Mani Chandy:
Programming parallel computers. ICCL 1988: 314-321 - 1987
- [j45]Rajive L. Bagrodia, K. Mani Chandy, Jayadev Misra:
A Message-Based Approach to Discrete-Event Simulation. IEEE Trans. Software Eng. 13(6): 654-665 (1987) - [c28]K. Mani Chandy, Jayadev Misra:
Parallelism and Programming: A Perspective. FSTTCS 1987: 173-194 - [c27]K. Mani Chandy:
Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. SRDS 1987: 171-173 - 1986
- [j44]K. Mani Chandy, Jayadev Misra:
How Processes Learn. Distributed Comput. 1(1): 40-52 (1986) - [j43]K. Mani Chandy, Jayadev Misra:
Systolic Algorithms as Programs. Distributed Comput. 1(3): 177-183 (1986) - [j42]K. Mani Chandy, Jayadev Misra:
An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. ACM Trans. Program. Lang. Syst. 8(3): 326-343 (1986) - 1985
- [j41]Ted Herman, K. Mani Chandy:
On Distributed Search. Inf. Process. Lett. 21(3): 129-133 (1985) - [j40]K. Mani Chandy, Leslie Lamport:
Distributed Snapshots: Determining Global States of Distributed Systems. ACM Trans. Comput. Syst. 3(1): 63-75 (1985) - [c26]Richard L. Gimarc, K. Mani Chandy:
HSS: A Tool for Evaluating the Performance of Office Systems. Int. CMG Conference 1985: 30-41 - [c25]Rajive L. Bagrodia, K. Mani Chandy:
A Micro-Kernel for Distributed Applications. ICDCS 1985: 140-149 - [c24]K. Mani Chandy:
Concurrent Programming For The Masses (PODC 1984 Invited Address). PODC 1985: 1-12 - [c23]K. Mani Chandy, Jayadev Misra:
How Processes Learn. PODC 1985: 204-214 - 1984
- [j39]Raymond M. Bryant, Anthony E. Krzesinski, M. Seetha Lakshmi, K. Mani Chandy:
The MVA Priority Approximation. ACM Trans. Comput. Syst. 2(4): 335-359 (1984) - [j38]K. Mani Chandy, Jayadev Misra:
The Drinking Philosopher's Problem. ACM Trans. Program. Lang. Syst. 6(4): 632-646 (1984) - [c22]K. Mani Chandy, Jayadev Misra:
A Paradigm for Detecting Quiescent Properties in Distributed Computations. Logics and Models of Concurrent Systems 1984: 325-341 - 1983
- [j37]K. Mani Chandy, Alain J. Martin:
A Characterization of Product-Form Queuing Networks. J. ACM 30(2): 286-299 (1983) - [j36]K. Mani Chandy, Jayadev Misra, Laura M. Haas:
Distributed Deadlock Detection. ACM Trans. Comput. Syst. 1(2): 144-156 (1983) - [c21]Robert Berry, K. Mani Chandy:
Performance models of token ring local area networks. SIGMETRICS 1983: 266-274 - 1982
- [j35]K. Mani Chandy, Doug Neuse:
Linearzer: A Heuristic Algorithm for Queueing Network Models of Computing Systems. Commun. ACM 25(2): 126-134 (1982) - [j34]K. Mani Chandy, Jayadev Misra:
Distributed Computation on Graphs: Shortest Path Algorithms. Commun. ACM 25(11): 833-837 (1982) - [j33]Jayadev Misra, K. Mani Chandy:
Termination Detection of Diffusing Computations in Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 4(1): 37-43 (1982) - [j32]Jayadev Misra, K. Mani Chandy:
A Distributed Graph Algorithm: Knot Detection. ACM Trans. Program. Lang. Syst. 4(4): 678-686 (1982) - [c20]K. Mani Chandy, Jayadev Misra, Robert Berry, Doug Neuse:
The use of performance models in systematic design. AFIPS National Computer Conference 1982: 251-256 - [c19]K. Mani Chandy, Jayadev Misra:
A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. PODC 1982: 157-164 - [c18]