K. Mani Chandy

Publication Activity (10 Years)

Years Active: 1968-2019
Publications (10 Years): 3

Top Venues

Commun. ACM

IEEE Trans. Control. Netw. Syst.

ICDCN

WSC

Publications

K. Mani Chandy, Julian J. Bunn
Compositional structures for streaming applications. ICDCN (2019)
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)
K. Mani Chandy
Theory and implementation of a distributed event based platform. DEBS (2016)
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) (2015)
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)
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) (2014)
Annie H. Liu, Michael Olson, Julian J. Bunn, K. Mani Chandy
Towards a discipline of geospatial distributed event based systems. DEBS (2012)
Subhonmesh Bose, Dennice F. Gayme, Ufuk Topcu, K. Mani Chandy
Optimal placement of energy storage in the grid. CDC (2012)
Subhonmesh Bose, Steven H. Low, K. Mani Chandy
Equivalence of branch flow and bus injection models. Allerton Conference (2012)
Masoud Farivar, Christopher R. Clarke, Steven H. Low, K. Mani Chandy
Inverter VAR control for distribution systems with renewables. SmartGridComm (2011)
K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White
Verification of distributed systems with local-global predicates. Formal Aspects Comput. 23 (5) (2011)
Pedro Bizarro, K. Mani Chandy, Nenad Stojanovic
Event processing grand challenges. DEBS (2011)
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)
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)
Michael Olson, K. Mani Chandy
Performance Issues in Cloud Computing for Cyber-physical Applications. IEEE CLOUD (2011)
Michael Olson, Annie H. Liu, Matthew Faulkner, K. Mani Chandy
Rapid detection of rare geospatial events: earthquake warning applications. DEBS (2011)
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)
Desmond W. H. Cai, Sachin Adlakha, K. Mani Chandy
Optimal contract for wind power in day-ahead electricity markets. CDC/ECC (2011)
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
. SmartGridComm (2011)
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)
Subhonmesh Bose, Dennice F. Gayme, Steven H. Low, K. Mani Chandy
Optimal power flow over tree networks. Allerton (2011)
Huan Xu, Ufuk Topcu, Steven H. Low, Christopher R. Clarke, K. Mani Chandy
Load-shedding probabilities with hybrid renewable power generation and energy storage. Allerton (2010)
K. Mani Chandy
A Web That Senses and Responds. From Active Data Management to Event-Based Systems and More (2010)
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) (2010)
Annie H. Liu, Julian J. Bunn, K. Mani Chandy
An analysis of data fusion for radiation detection and localization. FUSION (2010)
K. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu
A simple optimal power flow model with energy storage. CDC (2010)
Concetta Pilotto, K. Mani Chandy, Jerome White
Consensus on asynchronous communication networks in presence of external input. CDC (2010)
K. Mani Chandy, Opher Etzion, Rainer von Ammon
10201 Executive Summary and Manifesto - Event Processing. Event Processing (2010)
K. Mani Chandy, Michael Olson
Specifications and Architectures of Federated Event-Driven Systems. AAAI Spring Symposium: Intelligent Event Processing (2009)
K. Mani Chandy, Sayan Mitra, Concetta Pilotto
Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS (2008)
Sayan Mitra, K. Mani Chandy
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs (2008)
K. Mani Chandy, Opher Etzion, Rainer von Ammon, Peter Niblett
07191 Summary -- Event Processing. Event Processing (2007)
K. Mani Chandy, Michel Charpentier, Agostino Capponi
Towards a theory of events. DEBS (2007)
Opher Etzion, K. Mani Chandy, Rainer von Ammon
07191 Abstracts Collection -- Event Processing. Event Processing (2007)
K. Mani Chandy, Dieter Gawlick
Event processing using database technology. SIGMOD Conference (2007)
K. Mani Chandy, Michel Charpentier
Self-Similar Algorithms for Dynamic Distributed Systems. ICDCS (2007)
Daniel M. Zimmerman, K. Mani Chandy
Snapshot Processing in Streaming Environments. GRID (2006)
K. Mani Chandy, Lu Tian, Daniel M. Zimmerman
Enterprise Computing Systems as Information Factories. EDOC (2006)
Andrey Khorlin, K. Mani Chandy
Control-Based Scheduling in a Distributed Stream Processing System. SCW (2006)
Opher Etzion, K. Mani Chandy, Rainer von Ammon, W. Roy Schulte
Event-Driven Architectures and Complex Event Processing. IEEE SCC (2006)
Lu Tian, K. Mani Chandy
Resource Allocation in Streaming Environments. GRID (2006)
K. Mani Chandy
Sense and Respond Systems. Int. CMG Conference (2005)
Daniel M. Zimmerman, K. Mani Chandy
A Parallel Algorithm for Correlating Event Streams. IPDPS (2005)
Elli Albek, Eric Bax, Greg Billock, K. Mani Chandy, Ian Swett
An Event Processing Language (EPL) for Building Sense and Respond Applications. IPDPS (2005)
K. Mani Chandy
Event Servers for Crisis Management. HiPC (2004)
Michel Charpentier, K. Mani Chandy
Specification transformers: a predicate transformer approach to composition. Acta Informatica 40 (4) (2004)
Roman Ginis, K. Mani Chandy
Service Composition Issues for Distributed Business Processes. ICWS (2003)
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)
K. Mani Chandy, Michel Charpentier
An Experiment in Program Composition and Proof. Formal Methods Syst. Des. 20 (1) (2002)
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) (2001)
John Thornley, K. Mani Chandy
Monotonic Counters: A New Mechanism for Thread Synchronization. IPDPS (2000)
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)
Michel Charpentier, K. Mani Chandy
Theorems about Composition. MPC (2000)
Michel Charpentier, K. Mani Chandy
Reasoning about Composition Using Property Transformers and Their Conjugates. IFIP TCS (2000)
Michel Charpentier, K. Mani Chandy
Towards a Compositional Approach to the Design and Verification of Distributed Systems. World Congress on Formal Methods (1999)
Michel Charpentier, K. Mani Chandy
Examples of Program Composition Illustrating the Use of Universal Properties. IPPS/SPDP Workshops (1999)
Berna L. Massingill, K. Mani Chandy
Parallel Program Archetypes. IPPS/SPDP (1999)
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) (1998)
K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman
A Framework for Structured Distributed Object Computing. Parallel Comput. 24 (12-13) (1998)
K. Mani Chandy, Roman Ginis, Eve M. Schooler
A general distributed event model. HiPC (1998)
K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry
A Cottage Industry of Software Publishing: Implications for Theories of Composition. IPPS/SPDP Workshops (1998)
K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman
Webs of Archived Distributed Computations for Asynchronous Collaboration. J. Supercomput. 11 (2) (1997)
K. Mani Chandy, Adam Rifkin
Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. HICSS (1) (1997)
Ravi Ramamoorthi, Adam Rifkin, Boris Dimitrov, K. Mani Chandy
A General Resource Reservation Framework for Scientific Computing. ISCOPE (1997)
K. Mani Chandy, Adam Rifkin
Systematic Composition of Distributed Objects: Processes and Sessions. Comput. J. 40 (8) (1997)
K. Mani Chandy, Eve M. Schooler
Designing Directories in Distributed Systems: A Systematic Framework. HPDC (1996)
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)
K. Mani Chandy, Ian T. Foster
A Notation for Deterministic Cooperating Processes. IEEE Trans. Parallel Distributed Syst. 6 (8) (1995)
Rajive L. Bagrodia, K. Mani Chandy, Maneesh Dhagat
UC: A Set-Based Language for Data-Parallel Programming. J. Parallel Distributed Comput. 28 (2) (1995)
K. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron
Integrating task and data parallelism with the group communication archetype. IPPS (1995)
Ian T. Foster, K. Mani Chandy
Fortran M: A Language for Modular Parallel Programming. J. Parallel Distributed Comput. 26 (1) (1995)
K. Mani Chandy, Beverly A. Sanders
Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. 24 (2) (1995)
Maneesh Dhagat, Rajive L. Bagrodia, K. Mani Chandy
Integrating Task and Data Parallelism in UC. ICPP (2) (1995)
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) (1994)
K. Mani Chandy
Properties of Concurrent Programs. Formal Aspects Comput. 6 (6) (1994)
K. Mani Chandy, Beverly A. Sanders
Compositional Specifications of Parallel Programs: NondeterministicData Flow. Specification of Parallel Algorithms (1994)
K. Mani Chandy, Ian T. Foster
Parallel Language Constructs for Paradigm Integration and Deterministic Computations. PARCO (1993)
K. Mani Chandy, Ian T. Foster
Deterministic Parallel FORTRAN. PPSC (1993)
K. Mani Chandy
Writing Correct Parallel Programs. IPPS (1993)
K. Mani Chandy, Rajive L. Bagrodia, Wen-Toh Liao
Concurrency and Discrete-Event Simulation. ACM Trans. Model. Comput. Simul. 3 (4) (1993)
K. Mani Chandy, Carl Kesselman
Compositional C++: Compositional Parallel Programming. LCPC (1992)
K. Mani Chandy, Carl Kesselman
The Derivation of Compositional Programs. JICSLP (1992)
Rajive L. Bagrodia, K. Mani Chandy, Wen-Toh Liao
A Unifying Framework for Distributed Simulation. ACM Trans. Model. Comput. Simul. 1 (4) (1991)
K. Mani Chandy, Carl Kesselman
Parallel Programming in 2001. IEEE Softw. 8 (6) (1991)
K. Mani Chandy
Reasoning About Continuous Systems. Sci. Comput. Program. 14 (2-3) (1990)
Rajive L. Bagrodia, K. Mani Chandy, E. Kwan
UC: a language for the connection machine. SC (1990)
K. Mani Chandy
Mathematics of Program Construction Applied to Analog Neural Networks. MPC (1989)
K. Mani Chandy
The composition of concurrent programs. SC (1989)
K. Mani Chandy
Programming parallel computers. ICCL (1988)
K. Mani Chandy
Performance Management of Parallel Computers. Int. CMG Conference (1988)
Rajive L. Bagrodia, K. Mani Chandy
Programming the Connection Machine. ICCL (1988)
K. Mani Chandy, Jayadev Misra
Another view on "fairness". ACM SIGSOFT Softw. Eng. Notes 13 (3) (1988)
K. Mani Chandy, Jayadev Misra
Parallelism and Programming: A Perspective. FSTTCS (1987)
Rajive L. Bagrodia, K. Mani Chandy, Jayadev Misra
A Message-Based Approach to Discrete-Event Simulation. IEEE Trans. Software Eng. 13 (6) (1987)
K. Mani Chandy
Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. SRDS (1987)
K. Mani Chandy, Jayadev Misra
How Processes Learn. Distributed Comput. 1 (1) (1986)
K. Mani Chandy, Jayadev Misra
Systolic Algorithms as Programs. Distributed Comput. 1 (3) (1986)
K. Mani Chandy, Jayadev Misra
An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. ACM Trans. Program. Lang. Syst. 8 (3) (1986)
K. Mani Chandy, Leslie Lamport
Distributed Snapshots: Determining Global States of Distributed Systems ACM Trans. Comput. Syst. 3 (1) (1985)
Rajive L. Bagrodia, K. Mani Chandy
A Micro-Kernel for Distributed Applications. ICDCS (1985)

K. Mani Chandy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

K. Mani Chandy