(orcid 0000-0001-9190-1290)
Chandy, K. Mani; Bunn, Julian (2019) Compositional structures for streaming applications In: Proceedings of the 20th International Conference on Distributed Computing and Networking (ICDCN '19); In: 20th International Conference on Distributed Computing and Networking (ICDCN '19), 4-7 January 2019, Bangalore, India https://doi.org/10.1145/3288599.3288642
Fujimoto, Richard M.; Bagrodia, Rajive et al. (2017) Parallel discrete event simulation: The making of a field In: Proceedings of the 2017 Winter Simulation Conference; In: 2017 Winter Simulation Conference (WSC), 3-6 December 2017, Las Vegas, NV https://doi.org/10.1109/WSC.2017.8247793
Chandy, K. Mani (2016) Theory and implementation of a distributed event based platform In: DEBS '16 Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems; In: DEBS '16 The 10th ACM International Conference on Distributed and Event-based Systems, June 20-24, 2016, Irvine, CA https://doi.org/10.1145/2933267.2940321
Agarwal, Anish; Cai, Desmond et al. (2015) A model for residential adoption of photovoltaic systems In: 2015 IEEE Power & Energy Society General Meeting; In: 2015 IEEE Power & Energy Society General Meeting, 26-30 July 2015, Denver, CO https://doi.org/10.1109/PESGM.2015.7286226
Bose, Subhonmesh; Gayme, Dennice F. et al. (2014) Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow In: 48th Annual Conference on Information Sciences and Systems (CISS); In: 48th Annual Conference on Information Sciences and Systems (CISS), 19-21 March 2014, Princeton, NJ https://doi.org/10.1109/CISS.2014.6814135
Bose, Subhonmesh; Gayme, Dennice F. et al. (2012) Optimal placement of energy storage in the grid In: 51st IEEE Conference on Decision and Control; In: 51st IEEE Annual Conference on Decision and Control (CDC), Dec. 10-13, 2012, Maui, HI https://doi.org/10.1109/CDC.2012.6426113
Subhonmesh, Bose; Low, Steven H. et al. (2012) Equivalence of Branch Flow and Bus Injection Models In: 2012 50th Annual Allerton Conference on Communication, Control, and Computing; In: 50th Annual Allerton Conference on Communication, Control, and Computing, Oct 1-5, 2012, Monticello, IL https://doi.org/10.1109/Allerton.2012.6483453
Liu, Annie; Olson, Michael et al. (2012) Towards a Discipline of Geospatial Distributed Event Based Systems In: Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems; Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems; In: DEBS '12, 16-20 July 2012, Berlin, Germany https://doi.org/10.1145/2335484.2335495
Cai, Desmond W. H.; Adlakha, Sachin et al. (2011) Optimal contract for wind power in day-ahead electricity markets In: 2011 50th IEEE Conference on Decision and Control and European Control Conference; In: 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), 12-15 December 2011, Orlando, FL https://doi.org/10.1109/CDC.2011.6161253
Bakken, D.; Bose, A. et al. (2011) GRIP - Grids with intelligent periphery: Control architectures for Grid2050^π In: 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm); In: 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm), October 17-20, 2011, Brussels, Belgium https://doi.org/10.1109/SmartGridComm.2011.6102397
Farivar, Masoud; Clarke, Christopher R. et al. (2011) Inverter VAR control for distribution systems with renewables In: 2011 IEEE International Conference on Smart Grid Communications; In: 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm), October 17-20, 2011, Brussels, Belgium https://doi.org/10.1109/SmartGridComm.2011.6102366
Huang, Rui; Low, Steven H. et al. (2011) Optimal design of hybrid energy system with PV/wind turbine/storage: A case study In: 2011 IEEE International Conference on Smart Grid Communications; In: 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm), October 17-20, 2011, Brussels, Belgium https://doi.org/10.1109/SmartGridComm.2011.6102376
Bose, Subhonmesh; Gayme, Dennice F. et al. (2011) Optimal power flow over tree networks In: 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton); In: 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 28-30 September 2011, Monticello, IL https://doi.org/10.1109/Allerton.2011.6120323
Olson, Michael; Liu, Annie et al. (2011) Rapid detection of rare geospatial events: earthquake warning applications In: Proceedings of the 5th ACM international conference on Distributed event-based system ; In: 5th ACM international conference on Distributed event-based system (DEBS '11), July 11-15, 2011, New York, NY https://doi.org/10.1145/2002259.2002276
Bizarro, Pedro; Chandy, K. Mani et al. (2011) Tutorial: Event processing grand challenges In: Proceedings of the 5th ACM international conference on Distributed event-based system; In: 5th ACM international conference on Distributed event-based system, July 11-15, 2011, New York, NY https://doi.org/10.1145/2002259.2002308
Faulkner, Matthew; Olson, Michael et al. (2011) Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors In: Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; In: 10th International Conference on Information Processing in Sensor Networks (IPSN), April 12-14, 2011, Chicago, IL https://resolver.caltech.edu/CaltechAUTHORS:20170306-172057582
Liu, Annie H.; Bunn, Julian J. et al. (2011) Sensor networks for the detection and tracking of radiation and other threats in cities In: Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; In: 10th ACM/IEEE International Conference on Information Processing in Sensor Networks, April 12-14, 2011, Chicago, IL https://resolver.caltech.edu/CaltechAUTHORS:20170208-175923694
Faulkner, Matthew; Olson, Michael et al. (2011) The next big one: Detecting earthquakes and other rare events from community-based sensors In: Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; In: 10th International Conference on Information Processing in Sensor Networks (IPSN), April 12-14, 2011, Chicago, IL https://resolver.caltech.edu/CaltechAUTHORS:20170306-172704069
Chandy, K. Mani; Low, Steven H. et al. (2010) A simple optimal power flow model with energy storage In: 49th IEEE Conference on Decision and Control (CDC); In: 49th IEEE Conference on Decision and Control (CDC), December 15-17, 2010, Atlanta, GA https://doi.org/10.1109/CDC.2010.5718193
Xu, Huan; Topcu, Ufuk et al. (2010) Load-shedding probabilities with hybrid renewable power generation and energy storage In: 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton); In: 48th Annual Allerton Conference on Communication, Control, and Computing, September 29 - October 1, 2010, Monticello, IL https://doi.org/10.1109/ALLERTON.2010.5706912
Chandy, K. Mani; Mitra, Sayan et al. (2008) Convergence Verification: From Shared Memory to Partially Synchronous Systems In: Formal Modeling and Analysis of Timed Systems; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 5215; In: 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), 15-17 September 2008, Saint Malo, France https://doi.org/10.1007/978-3-540-85778-5_16
Mitra, Sayan; Chandy, K. Mani (2008) A Formalized Theory for Verifying Stability and Convergence of Automata in PVS In: Theorem Proving in Higher Order Logics; Series Lecture Notes in Computer Science; No. 5170; In: 21st International Conference on Theorem Proving in Higher Order Logics, 18-21 August 2008, Montréal, Canada https://doi.org/10.1007/978-3-540-71067-7_20
Chandy, Mani; Pilotto, Concetta et al. (2008) Networked sensing systems for detecting people carrying radioactive material In: 5th International Conference on Networked Sensing Systems; In: 5th International Conference on Networked Sensing Systems, June 17-19, 2008, Kanazawa, Japan https://doi.org/10.1109/INSS.2008.4610916
Chandy, Mani; Gawlick, Dieter (2007) Event processing using database technology In: SIGMOD '07 Proceedings of the 2007 ACM SIGMOD international conference on Management of data; In: SIGMOD/PODS '07 International Conference on Management of Data, June 11-14, 2007, Beijing, China https://doi.org/10.1145/1247480.1247645
Chandy, K. Mani; Charpentier, Michel (2007) Self-Similar Algorithms for Dynamic Distributed Systems In: 27th International Conference on Distributed Computing Systems : Toronto, Canada 25-27 June 2007; In: 27th International Conference on Distributed Computing Systems (ICDCS '07), June 25-27, 2007, Toronto, ON https://doi.org/10.1109/ICDCS.2007.137
Chandy, K. Mani; Charpentier, Michel et al. (2007) Towards a theory of events In: Proceedings of the 2007 inaugural international conference on Distributed event-based systems; In: 2007 inaugural international conference on Distributed event-based systems (DEBS '07), 20-22 June 2007 , Toronto, Canada https://doi.org/10.1145/1266894.1266929
Khorlin, Andrey-A; Chandy, K. Mani (2006) Control-based Scheduling in a Distributed Stream Processing System In: SCW 2006: IEEE Services Computing Workshops; In: IEEE Services Computing Workshops, 18-22 September 2006, Chicago, IL https://doi.org/10.1109/SCW.2006.8
Chandy, K. Mani; Tian, Lu et al. (2006) Enterprise Computing Systems as Information Factories In: 10th IEEE International Enterprise Distributed Object Computing Conference proceedings; Series IEEE International Enterprise Distributed Object Computing (EDOC) Conference; In: 10th IEEE International Enterprise Distributed Object Computing Conference, October 16-20, 2006, Hong Kong, China https://doi.org/10.1109/EDOC.2006.24
Tian, Lu; Chandy, K. Mani (2006) Resource Allocation in Streaming Environments In: 2006 7th IEEE/ACM International Conference on Grid Computing; In: 7th IEEE/ACM International Conference on Grid Computing, September 28-29, 2006, Barcelona, Spain https://doi.org/10.1109/ICGRID.2006.311025
Zimmerman, Daniel M.; Chandy, K. Mani (2006) Snapshot Processing in Streaming Environments In: 2006 7th IEEE/ACM International Conference on Grid Computing; In: 7th IEEE/ACM International Conference on Grid Computing, September 28-29, 2006, Barcelona, Spain https://doi.org/10.1109/ICGRID.2006.311038
Ginis, Roman; Chandy, K. Mani (2000) Micro-Option: A Method for Optimal Selection and Atomic Reservation of Distributed Resources in a Free Market Environment In: EC '00 Proceedings of the 2nd ACM conference on Electronic commerce; In: EC'00 The 2nd ACM Conference on Electronic Commerce, October 17-20, 2000, Minneapolis, MN https://doi.org/10.1145/352871.352894
Charpentier, Michel; Chandy, K. Mani (2000) Theorems about Composition In: Mathematics of Program Construction; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 1837; In: 5th International Conference on Mathematics of Program Construction, 3-5 July 2000, Ponte de Lima, Portugal https://doi.org/10.1007/10722010_12
Charpentier, Michel; Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems In: FM’99 — Formal Methods; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 1708; In: World Congress on Formal Methods in the Development of Computing Systems, 20-24 September 1999, Toulouse, France https://doi.org/10.1007/3-540-48119-2_32
Charpentier, Michel; Chandy, K. Mani (1999) Examples of program composition illustrating the use of universal properties In: Parallel and Distributed Processing; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 1586; In: 11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 12-16 April 1999, San Juan, Puerto Rico https://doi.org/10.1007/bfb0098004
Chandy, K. Mani; Sivilotti, Paolo A. G. et al. (1998) A Cottage industry of software publishing: Implications for theories of composition In: Parallel and Distributed Processing; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 1388; In: 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, 30 March-3 April 1998, Orlando, FL https://doi.org/10.1007/3-540-64359-1_751
Chandy, K. Mani; Taylor, Stephen (1992) Program Composition Notation In: A Comparative Study of Parallel Programming Languages: the Salishan Problems; Series Special topics in supercomputing; No. 6; https://doi.org/10.1016/B978-0-444-88135-9.50012-7
Bagrodia, R.; Chandy, K. M. et al. (1990) UC: a language for the connection machine In: Proceedings of Supercomputing '90; In: 1990 ACM/IEEE conference on Supercomputing, November 12-16, 1990, New York, NY https://doi.org/10.1109/SUPERC.1990.130064
Chandy, K. Mani; Taylor, Stephen (1989) The Composition of Concurrent Programs In: Supercomputing '89 Proceedings of the 1989 ACM/IEEE conference on Supercomputing ; In: SC89 International Conference for High Performance Computing, Networking, Storage and Analysis, November 12-17, 1989, Reno, NV https://doi.org/10.1145/76263.76325
Chandy, K. Mani; Misra, Jayadev (1985) How processes learn In: Proceedings of the fourth annual ACM symposium on Principles of distributed computing; In: Fourth annual ACM symposium on Principles of distributed computing (PODC '85), 5-7 August 1985, Minaki, Ontario https://doi.org/10.1145/323596.323615
Berry, Robert; Chandy, K. Mani (1983) Performance models of token ring local area networks In: Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems; In: 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems (SIGMETRICS '83), 29-31 August 1983, Minneapolis, MN https://doi.org/10.1145/800040.801414
Chandy, K. M.; Misra, J. (1982) A distributed algorithm for detecting resource deadlocks in distributed systems In: Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; In: First ACM SIGACT-SIGOPS symposium on Principles of distributed computing (PODC '82), 18-20 August 1982, Ottawa, Canada https://doi.org/10.1145/800220.806693
Misra, J.; Chandy, K. M. et al. (1982) Proving safety and liveness of communicating processes with examples In: Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; In: First ACM SIGACT-SIGOPS symposium on Principles of distributed computing (PODC '82), 18-20 August 1982, Ottawa, Canada https://doi.org/10.1145/800220.806698
Chandy, K. M.; Misra, J. et al. (1982) The use of performance models in systematic design In: Proceedings of the 1982 national computer conference; Series AFIPS Conference Proceedings; No. 51; In: 1982 national computer conference (AFIPS '82), 7-10 June 1982, Houston, TX https://doi.org/10.1145/1500774.1500804
Lang, D. E.; Agerwala, T. K. et al. (1979) A modeling approach and design tool for pipelined central processors In: Proceedings of the 6th annual symposium on Computer architecture; In: 6th annual symposium on Computer architecture (ISCA '79), 23-25 April 1979, Philadelphia, PA https://doi.org/10.1145/800090.802901
Chandy, K. M. (1976) Bayesian models of design based on intuition In: Proceedings of the 2nd international conference on Software engineering; In: 2nd international conference on Software engineering (ICSE '76), 13-15 October 1976, San Francisco, CA https://resolver.caltech.edu/CaltechAUTHORS:20190111-154850666
Chandy, K. M.; Hewes, J. E. (1976) File allocation in distributed systems In: Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation; In: 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation (SIGMETRICS '76), 29-31 March 1976 , Cambridge, MA https://doi.org/10.1145/800200.806177
Chandy, K. M.; Ramamoorthy, C. V. et al. (1972) A framework for hardware-software tradeoffs in the design of fault-tolerant computers In: Proceedings of the 1972 fall joint computer conference, Part I; In: 1972 fall joint computer conference (AFIPS '72), 5-7 December 1972, Anaheim, CA https://doi.org/10.1145/1479992.1480000
Chandy, K. M.; Keller, T. W. et al. (1972) Design automation and queueing networks: An interactive system for the evaluation of computer queueing models In: Proceedings of the 9th Design Automation Workshop; In: 9th Design Automation Workshop (DAC '72), 26-28 June 1972, Dallas, TX https://doi.org/10.1145/800153.804968