Chandy, K. Mani

Committee Member — 80 thesises

• Ngai, John Yee-Keung — A Framework for Adaptive Routing in Multicomputer Networks (1989, Dissertation (Ph.D.))
• Lee, Tak Kwan — A General Approach to Performance Analysis and Optimization of Asynchronous Circuits (1995, Dissertation (Ph.D.))
• Sivilotti, Paolo A. G. — A method for the specification, composition, and testing of distributed object systems (1998, Dissertation (Ph.D.))
• Thornley, John William — A Parallel Programming Model with Sequential Semantics (1996, Dissertation (Ph.D.))
• Massingill, Berna Linda — A structured approach to parallel programming (1998, Dissertation (Ph.D.))
• Barzel, Ronen — A structured approach to physically-based modeling for computer graphics (1992, Dissertation (Ph.D.))
• Wang, Jiantao — A Theoretical Study of Internet Congestion Control: Equilibrium and Dynamics (2006, Dissertation (Ph.D.))
• Martinez Estrada, Alfredo — A Treatise on Econometric Forecasting (2007, Dissertation (Ph.D.))
• Steele, Craig Stanley — Affinity : a Concurrent Programming System for Multicomputers (1992, Dissertation (Ph.D.))
• Lin, Minghong — Algorithmic Challenges in Green Data Centers (2013, Dissertation (Ph.D.))
• Bose, Subhonmesh — An Integrated Design Approach to Power Systems: From Power Flows to Electricity Markets (2014, Dissertation (Ph.D.))
• Mouchtaris, Petros N. — Analysis of an interactive video architecture (1993, Dissertation (Ph.D.))
• Heirich, Alan Bryant — Analysis of scalable algorithms for dynamic load balancing and mapping with application to photo-realistic rendering (1998, Dissertation (Ph.D.))
• Florian, Mihai — Analysis-Aware Design of Embedded Systems Software (2014, Dissertation (Ph.D.))
• White, Jerome S. — Applying Formal Methods to Distributed Algorithms Using Local-Global Relations (2011, Dissertation (Ph.D.))
• Ginis, Roman — Automating Resource Management for Distributed Business Processes (2002, Dissertation (Ph.D.))
• Gopalakrishnan, Ragavendran — Characterizing Distribution Rules for Cost Sharing Games (2013, Dissertation (Ph.D.))
• Olson, Michael James — Cloud Computing Services for Seismic Networks (2014, Dissertation (Ph.D.))
• Faulkner, Matthew Nicholas — Community Sense and Response Systems (2014, Dissertation (Ph.D.))
• Gupta, Rajiv — Compiler Optimization of Data Storage (1991, Dissertation (Ph.D.))
• Phan-Minh, Tung — Contract-Based Design: Theories and Applications (2021, Dissertation (Ph.D.))
• Wolff, Eric McKenzie — Control of Dynamical Systems with Temporal Logic Specifications (2014, Dissertation (Ph.D.))
• Capponi, Agostino — Credit Risk and Nonlinear Filtering: Computational Aspects and Empirical Evidence (2009, Dissertation (Ph.D.))
• Filippidis, Ioannis — Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design (2019, Dissertation (Ph.D.))
• Xu, Huan — Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic (2013, Dissertation (Ph.D.))
• Mehyar, Mortada — Distributed Averaging and Efficient File Sharing on Peer-to-Peer Networks (2007, Dissertation (Ph.D.))
• Peng, Qiuyu — Distributed Control and Optimization for Communication and Power Systems (2016, Dissertation (Ph.D.))
• Gan, Lingwen — Distributed Load Control in Multiphase Radial Networks (2015, Dissertation (Ph.D.))
• Țăpuș, Cristian — Distributed Speculations: Providing Fault-Tolerance and Improving Performance (2006, Dissertation (Ph.D.))
• Watts, Jerrell R. — Dynamic load balancing and granularity control on heterogeneous and hybrid architectures (1998, Dissertation (Ph.D.))
• Zimmerman, Daniel Marc — Dynamic UNITY (2002, Dissertation (Ph.D.))
• Mauch, Sean Patrick — Efficient Algorithms for Solving Static Hamilton-Jacobi Equations (2003, Dissertation (Ph.D.))
• Cai, Wuhan Desmond — Electricity Markets for the Smart Grid: Networks, Timescales, and Integration with Control (2016, Dissertation (Ph.D.))
• Wongpiromsarn, Tichakorn — Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle (2010, Dissertation (Ph.D.))
• DeLorimier, Michael John — GRAph Parallel Actor Language: A Programming Language for Parallel Graph Algorithms (2013, Dissertation (Ph.D.))
• Zhu, Xiaoyun — Hard vs. soft bounds in probablilistic robustness analysis and generalized source coding and optimal web layout design (2000, Dissertation (Ph.D.))
• Tang, Ao (Kevin) — Heterogeneous Congestion Control Protocols (2006, Dissertation (Ph.D.))
• Wong, Catherine Grace — High-Level Synthesis and Rapid Prototyping of Asynchronous VLSI Systems (2004, Dissertation (Ph.D.))
• Xu, Lihao — Highly available distributed storage systems (1999, Dissertation (Ph.D.))
• Cheng, Jung-Fu — Iterative decoding (1997, Dissertation (Ph.D.))
• Kiniry, Joseph Roland — Kind Theory (2002, Dissertation (Ph.D.))
• Lavaei, Javad — Large-Scale Complex Systems: From Antenna Circuits to Power Grids (2011, Dissertation (Ph.D.))
• Kalyanaraman, Shankar — Limited Randomness in Games, and Computational Perspectives in Revealed Preference (2009, Dissertation (Ph.D.))
• Asimakopoulos, Aristotelis — Macroscopically Dissipative Systems with Underlying Microscopic Dynamics : Properties and Limits of Measurement (2015, Dissertation (Ph.D.))
• Epstein, Michael Steven — Managing Information in Networked and Multi-Agent Control Systems (2008, Dissertation (Ph.D.))
• Dabdub, Donald — Mathematical modeling of air pollution dynamics by parallel computation (1996, Dissertation (Ph.D.))
• Sojoudi, Somayeh — Mathematical Study of Complex Networks: Brain, Internet, and Power Grid (2013, Dissertation (Ph.D.))
• Wei, Xiaoliang (David) — Microscopic Behavior of Internet Congestion Control (2007, Dissertation (Ph.D.))
• Bakshi, Mayank — Network Coding and Distributed Compression over Large Networks: Some Basic Principles (2012, Dissertation (Ph.D.))
• Cheng, Ming Hei — New Applications that Come from Extending Seismic Networks into Buildings (2014, Dissertation (Ph.D.))
• Primbs, James A. — Nonlinear optimal control: a receding horizon appoach (1999, Dissertation (Ph.D.))
• Prajna, Stephen — Optimization-Based Methods for Nonlinear and Hybrid Systems Verification (2005, Dissertation (Ph.D.))
• Jiang, Anxiao (Andrew) — Optimized Network Data Storage and Topology Control (2004, Dissertation (Ph.D.))
• Ren, Xiaoqi — Optimizing Resource Management in Cloud Analytics Services (2018, Dissertation (Ph.D.))
• Burns, Steven Morgan — Performance analysis and optimization of asynchronous circuits (1991, Dissertation (Ph.D.))
• Rieffel, Marc A. — Performance modeling for concurrent particle simulations (1998, Dissertation (Ph.D.))
• Su, Wen-King — Reactive-Process Programming and Distributed Discrete-Event Simulation (1990, Dissertation (Ph.D.))
• Akella, Prithvi — Reliable Controller Synthesis: Guarantees for Safety-Critical System Testing and Verification (2023, Dissertation (Ph.D.))
• Shi, Ling — Resource Optimization for Networked Estimator with Guaranteed Estimation Quality (2009, Dissertation (Ph.D.))
• Papadantonakis, Karl Spyros — Rigorous Analog Verification of Asynchronous Circuits (2006, Dissertation (Ph.D.))
• Liu, Xin — Robustness, Complexity, Validation and Risk (2007, Dissertation (Ph.D.))
• Cai, Karena Xin — Safe and Interpretable Autonomous Systems Design: Behavioral Contracts and Semantic-Based Perception (2021, Dissertation (Ph.D.))
• Braman, Julia Marie Badger — Safety Verification and Failure Analysis of Goal-Based Hybrid Control Systems (2009, Dissertation (Ph.D.))
• Dathathri, Sumanth — Scalable Synthesis and Verification: Towards Reliable Autonomy (2020, Dissertation (Ph.D.))
• Nair, Jayakrishnan U. — Scheduling for Heavy-Tailed and Light-Tailed Workloads in Queueing Systems (2012, Dissertation (Ph.D.))
• Van der Goot, Marcel Rene — Semantics of VLSI synthesis (1995, Dissertation (Ph.D.))
• Liu, Annie Hsin-Wen — Sensor Networks for Geospatial Event Detection - Theory and Applications (2013, Dissertation (Ph.D.))
• Blanchard, Alan-Philippe — Sequence specific effects on the incorporation of dideoxynucleotides by a modified T7 polymerase (1993, Dissertation (Ph.D.))
• Jang, Wonjin — Soft-Error Tolerant Quasi Delay-insensitive Circuits (2008, Dissertation (Ph.D.))
• Maskit, Daniel — Software register synchronization for super-scalar processors with partitioned register files (1997, Dissertation (Ph.D.))
• Parrilo, Pablo A. — Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization (2000, Dissertation (Ph.D.))
• Liu, Zhenhua — Sustainable IT and IT for Sustainability (2014, Dissertation (Ph.D.))
• Hofstee, H. Peter — Synchronizing processes (1995, Dissertation (Ph.D.))
• Pilotto, Concetta — Systematic Design and Formal Verification of Multi-Agent Systems (2011, Dissertation (Ph.D.))
• Badithela, Apurva Srinivas — Test and Evaluation of Autonomous Systems: Reactive Test Synthesis and Task-Relevant Evaluation of Perception (2024, Dissertation (Ph.D.))
• Seizovic, Jakov N. — The architecture and programming of a fine-grain multicomputer (1994, Dissertation (Ph.D.))
• Manohar, Rajit — The impact of asynchrony on computer architecture (1999, Dissertation (Ph.D.))
• Prakash, Piyush — Throughput Optimization of Quasi Delay Insensitive Circuits via Slack Matching (2008, Dissertation (Ph.D.))
• Leino, K. Rustan M. — Toward reliable modular programs (1995, Dissertation (Ph.D.))
• Schooler, Eve Meryl — Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication (2001, Dissertation (Ph.D.))