dblp.uni-trier.dewww.uni-trier.de

K. Mani Chandy Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
116EEK. Mani Chandy, Sayan Mitra, Concetta Pilotto: Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS 2008: 218-232
115EESayan Mitra, K. Mani Chandy: A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs 2008: 230-245
2007
114 K. Mani Chandy, Opher Etzion, Rainer von Ammon: Event Processing, 6.5. - 11.5.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
113EEK. Mani Chandy, Michel Charpentier, Agostino Capponi: Towards a theory of events. DEBS 2007: 180-187
112EEOpher Etzion, K. Mani Chandy, Rainer von Ammon: 07191 Abstracts Collection -- Event Processing. Event Processing 2007
111EEK. Mani Chandy, Opher Etzion, Rainer von Ammon, Peter Niblett: 07191 Summary -- Event Processing. Event Processing 2007
110EEK. Mani Chandy, Michel Charpentier: Self-Similar Algorithms for Dynamic Distributed Systems. ICDCS 2007: 67
109EEK. Mani Chandy, Dieter Gawlick: Event processing using database technology. SIGMOD Conference 2007: 1169-1170
2006
108EEK. Mani Chandy, Lu Tian, Daniel M. Zimmerman: Enterprise Computing Systems as Information Factories. EDOC 2006: 427-432
107EELu Tian, K. Mani Chandy: Resource Allocation in Streaming Environments. GRID 2006: 270-277
106EEDaniel M. Zimmerman, K. Mani Chandy: Snapshot Processing in Streaming Environments. GRID 2006: 319-320
105EEOpher Etzion, K. Mani Chandy, Rainer von Ammon, Roy Schulte: Event-Driven Architectures and Complex Event Processing. IEEE SCC 2006
104EEAndrey Khorlin, K. Mani Chandy: Control-Based Scheduling in a Distributed Stream Processing System. SCW 2006: 55-64
2005
103EEDaniel M. Zimmerman, K. Mani Chandy: A Parallel Algorithm for Correlating Event Streams. IPDPS 2005
102EEElli Albek, Eric Bax, Greg Billock, K. Mani Chandy, Ian Swett: An Event Processing Language (EPL) for Building Sense and Respond Applications. IPDPS 2005
101 K. Mani Chandy: Sense and Respond Systems. Int. CMG Conference 2005: 59-66
2004
100EEK. Mani Chandy: Event Servers for Crisis Management. HiPC 2004: 3
99EEMichel Charpentier, K. Mani Chandy: Specification transformers: a predicate transformer approach to composition. Acta Inf. 40(4): 265-301 (2004)
2003
98 Roman Ginis, K. Mani Chandy: Service Composition Issues for Distributed Business Processes. ICWS 2003: 27-33
2002
97 K. Mani Chandy, Michel Charpentier: An Experiment in Program Composition and Proof. Formal Methods in System Design 20(1): 7-21 (2002)
96EEK. Mani Chandy, Axel Fuchs, Bill Janssen, Deepak Mulchandani, Mark Weiser: IC Online: Ubiquitous Computing: The Future of Development? IEEE Distributed Systems Online 3(3): (2002)
2001
95EEMitchell 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 Distrib. Comput. 61(12): 1827-1841 (2001)
2000
94EERoman Ginis, K. Mani Chandy: Micro-option: a method for optimal selection and atomic reservation of distributed resources in a free market environment. ACM Conference on Electronic Commerce 2000: 207-214
93EEMichel Charpentier, K. Mani Chandy: Reasoning about Composition Using Property Transformers and Their Conjugates. IFIP TCS 2000: 580-595
92EEJohn Thornley, K. Mani Chandy: Monotonic Counters: A New Mechanism for Thread Synchronization. IPDPS 2000: 573-582
91 Michel Charpentier, K. Mani Chandy: Theorems about Composition. MPC 2000: 167-186
1999
90EEBerna L. Massingill, K. Mani Chandy: Parallel Program Archetypes. IPPS/SPDP 1999: 290-296
89 Michel Charpentier, K. Mani Chandy: Examples of Program Composition Illustrating the Use of Universal Properties. IPPS/SPDP Workshops 1999: 1215-1227
88EEMichel Charpentier, K. Mani Chandy: Towards a Compositional Approach to the Design and Verification of Distributed Systems. World Congress on Formal Methods 1999: 570-589
1998
87 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
86 K. Mani Chandy, Adam Rifkin, Eve M. Schooler: Using announce-listen with global events to develop distributed control systems. Concurrency - Practice and Experience 10(11-13): 1021-1027 (1998)
85 K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman: A Framework for Structured Distributed Object Computing. Parallel Computing 24(12-13): 1901-1922 (1998)
1997
84EEK. Mani Chandy, Adam Rifkin: Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. HICSS (1) 1997: 395-404
83 Ravi Ramamoorthi, Adam Rifkin, Boris Dimitrov, K. Mani Chandy: A General Resource Reservation Framework for Scientific Computing. ISCOPE 1997: 283-290
82 K. Mani Chandy, Adam Rifkin: Systematic Composition of Distributed Objects: Processes and Sessions. Comput. J. 40(8): 465-478 (1997)
81EEK. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman: Webs of Archived Distributed Computations for Asynchronous Collaboration. The Journal of Supercomputing 11(2): 101-118 (1997)
1996
80EEK. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, J. Mandelson, M. Richardson, W. Tanaka, L. Weisman: A World-Wide Distributed System Using Java and the Internet. HPDC 1996: 11-18
79EEK. Mani Chandy, Eve M. Schooler: Designing Directories in Distributed Systems: A Systematic Framework. HPDC 1996: 318-
1995
78 Maneesh Dhagat, Rajive Bagrodia, K. Mani Chandy: Integrating Task and Data Parallelism in UC. ICPP (2) 1995: 29-36
77EEK. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron: Integrating task and data parallelism with the group communication archetype. IPPS 1995: 724-733
76EEK. Mani Chandy, Ian T. Foster: A Notation for Deterministic Cooperating Processes. IEEE Trans. Parallel Distrib. Syst. 6(8): 863-871 (1995)
75 Ian T. Foster, K. Mani Chandy: Fortran M: A Language for Modular Parallel Programming. J. Parallel Distrib. Comput. 26(1): 24-35 (1995)
74 Rajive Bagrodia, K. Mani Chandy, Maneesh Dhagat: UC: A Set-Based Language for Data-Parallel Programming. J. Parallel Distrib. Comput. 28(2): 186-201 (1995)
73 K. Mani Chandy, Beverly A. Sanders: Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. 24(2): 129-148 (1995)
1994
72 K. Mani Chandy: Properties of Concurrent Programs. Formal Asp. Comput. 6(6): 607-619 (1994)
1993
71 K. Mani Chandy: Writing Correct Parallel Programs. IPPS 1993: 630-634
70 K. Mani Chandy, Ian T. Foster: Parallel Language Constructs for Paradigm Integration and Deterministic Computations. PARCO 1993: 3-12
69 K. Mani Chandy, Ian T. Foster: Deterministic Parallel FORTRAN. PPSC 1993: 798-805
68 K. Mani Chandy, Rajive Bagrodia, Wen-Toh Liao: Concurrency and Discrete-Event Simulation. ACM Trans. Model. Comput. Simul. 3(4): 284-285 (1993)
1992
67 K. Mani Chandy, Carl Kesselman: The Derivation of Compositional Programs. JICSLP 1992: 3-17
66 K. Mani Chandy, Carl Kesselman: Compositional C++: Compositional Parallel Programming. LCPC 1992: 124-144
1991
65EERajive Bagrodia, K. Mani Chandy, Wen-Toh Liao: A Unifying Framework for Distributed Simulation. ACM Trans. Model. Comput. Simul. 1(4): 348-385 (1991)
64 K. Mani Chandy, Carl Kesselman: Parallel Programming in 2001. IEEE Software 8(6): 11-20 (1991)
1990
63EERajive Bagrodia, K. Mani Chandy, E. Kwan: UC: a language for the connection machine. SC 1990: 525-534
62 K. Mani Chandy: Reasoning About Continuous Systems. Sci. Comput. Program. 14(2-3): 117-132 (1990)
1989
61 K. Mani Chandy: Mathematics of Program Construction Applied to Analog Neural Networks. MPC 1989: 21-35
1988
60EEK. Mani Chandy: Programming parallel computers. ICCL 1988: 314-321
59EERajive Bagrodia, K. Mani Chandy: Programming the Connection Machine. ICCL 1988: 50-57
58 K. Mani Chandy: Performance Management of Parallel Computers. Int. CMG Conference 1988: 1076-1078
1987
57EEK. Mani Chandy, Jayadev Misra: Parallelism and Programming: A Perspective. FSTTCS 1987: 173-194
56 K. Mani Chandy: Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. SRDS 1987: 171-173
55 Rajive Bagrodia, K. Mani Chandy, Jayadev Misra: A Message-Based Approach to Discrete-Event Simulation. IEEE Trans. Software Eng. 13(6): 654-665 (1987)
1986
54EEK. Mani Chandy, Jayadev Misra: An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. ACM Trans. Program. Lang. Syst. 8(3): 326-343 (1986)
53 K. Mani Chandy, Jayadev Misra: How Processes Learn. Distributed Computing 1(1): 40-52 (1986)
52 K. Mani Chandy, Jayadev Misra: Systolic Algorithms as Programs. Distributed Computing 1(3): 177-183 (1986)
1985
51 Rajive Bagrodia, K. Mani Chandy: A Micro-Kernel for Distributed Applications. ICDCS 1985: 140-149
50 Richard L. Gimarc, K. Mani Chandy: HSS: A Tool for Evaluating the Performance of Office Systems. Int. CMG Conference 1985: 30-41
49 K. Mani Chandy: Concurrent Programming For The Masses (PODC 1984 Invited Address). PODC 1985: 1-12
48 K. Mani Chandy, Jayadev Misra: How Processes Learn. PODC 1985: 204-214
47EEK. Mani Chandy, Leslie Lamport: Distributed Snapshots: Determining Global States of Distributed Systems ACM Trans. Comput. Syst. 3(1): 63-75 (1985)
46 Ted Herman, K. Mani Chandy: On Distributed Search. Inf. Process. Lett. 21(3): 129-133 (1985)
1984
45EERaymond M. Bryant, Anthony E. Krzesinski, M. Seetha Lakshmi, K. Mani Chandy: The MVA Priority Approximation ACM Trans. Comput. Syst. 2(4): 335-359 (1984)
44EEK. Mani Chandy, Jayadev Misra: The Drinking Philosopher's Problem. ACM Trans. Program. Lang. Syst. 6(4): 632-646 (1984)
1983
43EEK. Mani Chandy, Jayadev Misra, Laura M. Haas: Distributed Deadlock Detection ACM Trans. Comput. Syst. 1(2): 144-156 (1983)
42EEK. Mani Chandy, Alain J. Martin: A Characterization of Product-Form Queuing Networks J. ACM 30(2): 286-299 (1983)
1982
41EEK. Mani Chandy, Jayadev Misra, R. Berry, Doug Neuse: The use of performance models in systematic design. AFIPS National Computer Conference 1982: 251-256
40 K. Mani Chandy, Jayadev Misra: A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. PODC 1982: 157-164
39 Jayadev Misra, K. Mani Chandy, Todd Smith: Proving Safety and Liveness of Communicating Processes with Examples. PODC 1982: 201-208
38EEJayadev Misra, K. Mani Chandy: Termination Detection of Diffusing Computations in Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 4(1): 37-43 (1982)
37EEJayadev Misra, K. Mani Chandy: A Distributed Graph Algorithm: Knot Detection. ACM Trans. Program. Lang. Syst. 4(4): 678-686 (1982)
36 K. Mani Chandy, Jayadev Misra: Distributed Computation on Graphs: Shortest Path Algorithms. Commun. ACM 25(11): 833-837 (1982)
35 K. Mani Chandy, Doug Neuse: Linearzer: A Heuristic Algorithm for Queueing Network Models of Computing Systems. Commun. ACM 25(2): 126-134 (1982)
34 Doug Neuse, K. Mani Chandy: HAM: The Heuristic Aggregation Method. SIGMETRICS Performance Evaluation Review 11(4): 195-212 (1982)
1981
33 Doug Neuse, K. Mani Chandy, Jayadev Misra, R. Berry: A Computer Modeling System Based on a User-Extensible Modeling Library. Int. CMG Conference 1981: 127-129
32 Doug Neuse, K. Mani Chandy: SCAT: A Heuristic Algorithm for Queueing Network Models of Computing Systems. SIGMETRICS 1981: 59-79
31 K. Mani Chandy, Jayadev Misra: Asynchronous Distributed Simulation via a Sequence of Parallel Computations. Commun. ACM 24(4): 198-206 (1981)
30 Jayadev Misra, K. Mani Chandy: Proofs of Networks of Processes. IEEE Trans. Software Eng. 7(4): 417-426 (1981)
1980
29 K. Mani Chandy, Charles H. Sauer: Computational Algorithms for Product Form Queueing Networks. Commun. ACM 23(10): 573-583 (1980)
1979
28 Tilak Agerwala, K. Mani Chandy, D. E. Lang: A Modeling Approach and Design Tool for Pipelined Central Processors. ISCA 1979: 122-129
27 Charles H. Sauer, K. Mani Chandy: The Impact of Distributions and Disciplines on Multiple Processor Systems. Commun. ACM 22(1): 25-34 (1979)
26 K. Mani Chandy, Victor Holmes, Jayadev Misra: Distributed Simulation of Networks. Computer Networks 3: 105-113 (1979)
25 Randolph T. Yeh, K. Mani Chandy: On the Design of Elementary Distributed Systems. Computer Networks 3: 24-35 (1979)
24 K. Mani Chandy, Jayadev Misra: Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. IEEE Trans. Software Eng. 5(5): 440-452 (1979)
23 K. Mani Chandy, Jayadev Misra: Deadlock Absence Proofs for Networks of Communicating Processes. Inf. Process. Lett. 9(4): 185-189 (1979)
1978
22 Randolph T. Yeh, K. Mani Chandy: On the Design of Elementary Distributed Systems. Berkeley Workshop 1978: 289-321
21 K. Mani Chandy, Charles H. Sauer: Approximate Methods for Analyzing Queueing Network Models of Computing Systems. ACM Comput. Surv. 10(3): 281-317 (1978)
20 Donald F. Towsley, K. Mani Chandy, James C. Browne: Models for Parallel Processing Within Programs: Application to CPU: I/O and I/O: I/O Overlap. Commun. ACM 21(10): 821-831 (1978)
1977
19 Lawrence Van Sickle, K. Mani Chandy: Computational Complexity of Network Design Algorithms. IFIP Congress 1977: 235-239
18EEK. Mani Chandy: Models of Distributed Systems. VLDB 1977: 105-120
17 R. M. Brown, James C. Browne, K. Mani Chandy: Memory Management and Response Time. Commun. ACM 20(3): 153-165 (1977)
16 K. Mani Chandy, J. Hogarth, Charles H. Sauer: Selecting Capacities in Computer Communication Systems. IEEE Trans. Software Eng. 3(4): 290-295 (1977)
15EEK. Mani Chandy, John H. Howard Jr., Donald F. Towsley: Product Form and Local Balance in Queueing Networks. J. ACM 24(2): 250-263 (1977)
1976
14 K. Mani Chandy: Bayesian Models of Design Based on Intuition. ICSE 1976: 281-285
13 K. Mani Chandy, John H. Howard Jr., Donald F. Towsley: Product Form and Local Balance in Queueing Networks. Performance 1976: 89-101
1975
12 K. Mani Chandy, P. F. Reynolds: Scheduling Partially Ordered Tasks with Probabilistic Execution Times. SOSP 1975: 169-177
11 K. Mani Chandy, Ulrich Herzog, Lin S. Woo: Parametric Analysis of Queuing Networks. IBM Journal of Research and Development 19(1): 36-42 (1975)
10 K. Mani Chandy, Ulrich Herzog, Lin S. Woo: Approximate Analysis of General Queuing Networks. IBM Journal of Research and Development 19(1): 43-49 (1975)
9 Ulrich Herzog, Lin S. Woo, K. Mani Chandy: Solution of Queuing Problems by a Recursive Technique. IBM Journal of Research and Development 19(3): 295-300 (1975)
8 Charles H. Sauer, K. Mani Chandy: Approximate Analysis of Central Server Models. IBM Journal of Research and Development 19(3): 301-313 (1975)
7 K. Mani Chandy, James C. Browne, Charles W. Dissly, Werner R. Uhrig: Analytic Models for Rollback and Recovery Strategies in Data Base Systems. IEEE Trans. Software Eng. 1(1): 100-110 (1975)
6EEForest Baskett, K. Mani Chandy, Richard R. Muntz, Fernando G. Palacios: Open, Closed, and Mixed Networks of Queues with Different Classes of Customers. J. ACM 22(2): 248-260 (1975)
1974
5 P. F. Reynolds, K. Mani Chandy: A Recognizer and Post-Recognizer for Optimizing Execution Times of Programs. Sagamore Computer Conference 1974: 203-204
4 Tom W. Keller, K. Mani Chandy: Computer Models with Constrained Parallel Processors. Sagamore Computer Conference 1974: 207-208
3 Thomas L. Adam, K. Mani Chandy, J. R. Dickson: A Comparison of List Schedules for Parallel Processing Systems. Commun. ACM 17(12): 685-690 (1974)
1970
2EEC. V. Ramamoorthy, K. Mani Chandy: Optimization of Memory Hierarchies in Multiprogrammed Systems. J. ACM 17(3): 426-445 (1970)
1968
1 K. Mani Chandy, C. V. Ramamoorthy: Optimization of Information Storage Systems Information and Control 13(6): 509-526 (1968)

Coauthor Index

1Thomas L. Adam [3]
2Tilak Agerwala [28]
3Elli Albek [102]
4Shoukat Ali [95]
5Rainer von Ammon [105] [111] [112] [114]
6Rajive Bagrodia [51] [55] [59] [63] [65] [68] [74] [78]
7Forest Baskett [6]
8Eric Bax [102]
9R. Berry [33] [41]
10Greg Billock [102]
11R. M. Brown [17]
12James C. Browne [7] [17] [20]
13Raymond M. Bryant [45]
14Agostino Capponi [113]
15Michel Charpentier [88] [89] [91] [93] [97] [99] [110] [113]
16Maneesh Dhagat [74] [78]
17J. R. Dickson [3]
18Boris Dimitrov [83]
19Charles W. Dissly [7]
20Opher Etzion [105] [111] [112] [114]
21Ian T. Foster [69] [70] [75] [76]
22Axel Fuchs [96]
23Dieter Gawlick [109]
24Richard L. Gimarc [50]
25Roman Ginis [94] [98]
26Laura M. Haas [43]
27Ted Herman [46]
28Ulrich Herzog [9] [10] [11]
29J. Hogarth [16]
30Victor Holmes [26]
31John H. Howard Jr. [13] [15]
32Kai Hwang [95]
33Bill Janssen [96]
34Tom W. Keller [4]
35Ken Kennedy [95]
36Carl Kesselman [64] [66] [67]
37Andrey Khorlin [104]
38Joseph Kiniry (Joseph R. Kiniry) [81] [85] [87]
39Anthony E. Krzesinski [45]
40E. Kwan [63]
41M. Seetha Lakshmi [45]
42Leslie Lamport [47]
43D. E. Lang [28]
44Wen-Toh Liao [65] [68]
45J. Mandelson [80]
46Rajit Manohar [77]
47Alain J. Martin [42]
48Berna L. Massingill [77] [90]
49Daniel I. Meiron [77]
50Jayadev Misra [23] [24] [26] [30] [31] [33] [36] [37] [38] [39] [40] [41] [43] [44] [48] [52] [53] [54] [55] [57]
51Sayan Mitra [115] [116]
52Deepak Mulchandani [96]
53Richard R. Muntz [6]
54Doug Neuse [32] [33] [34] [35] [41]
55Peter Niblett [111]
56Fernando G. Palacios [6]
57Concetta Pilotto [116]
58Ravi Ramamoorthi [83]
59C. V. Ramamoorthy (Chittoor V. Ramamoorthy) [1] [2]
60P. F. Reynolds [5] [12]
61M. Richardson [80]
62Adam Rifkin [80] [81] [82] [83] [84] [85] [86]
63Beverly A. Sanders [73]
64Charles H. Sauer [8] [16] [21] [27] [29]
65Eve M. Schooler [79] [86]
66Roy Schulte [105]
67Lui Sha [95]
68Kang G. Shin [95]
69Lawrence Van Sickle [19]
70Howard Jay Siegel [95]
71Paolo A. G. Sivilotti [80] [87]
72Todd Smith [39]
73Marc Snir [95]
74Lawrence Snyder (Larry Snyder) [95]
75Thomas L. Sterling [95]
76Ian Swett [102]
77W. Tanaka [80]
78Mitchell D. Theys [95]
79John Thornley [92]
80Lu Tian [107] [108]
81Donald F. Towsley [13] [15] [20]
82Werner R. Uhrig [7]
83Mark Weiser [96]
84L. Weisman [80]
85Lin S. Woo [9] [10] [11]
86Randolph T. Yeh [22] [25]
87Daniel M. Zimmerman [81] [85] [103] [106] [108]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)