RECORD
Scalable and Cost-effective Data Flow Analysis for Distributed Software: Algorithms and Applications
Distributed, Parallel, and Cluster Computing · Submitted 7 Mar 2023
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim My dissertation addresses these challenges via three novel approaches to data flow analysis for distributed software.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
More and more distributed software systems are being developed and deployed today. Like other software, distributed software systems also need very strong quality assurance support. Distributed software is often very large/complex, has distributed components, and does not have a global clock. All these characteristics make it very challenging to analyze the information flow of such systems to support the software quality assurance. One challenge is that existing dynamic analysis techniques hardly scale to large distributed software systems in the real world. It is also challenging to develop cost-effective dynamic analysis approaches. There are also applicability and portability challenges for dynamic analysis algorithms/applications of distributed software. My dissertation addresses these challenges via three novel approaches to data flow analysis for distributed software. My first approach is based on measuring interprocess communications to understand distributed software behaviors and predict distributed software quality. Then, I developed a particular approach that can actually pinpoint sensitive information via multi-staged and refinement-based dynamic information flow analysis for distributed software. Finally, I explored dynamic dependence analysis for distributed systems, utilizing reinforcement learning to automatically adjust analysis configurations for scalability and better cost-effectiveness tradeoffs.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | More and more distributed software systems are being developed and deployed today. | background 1.00 | 0.06 | 0.02 | asserted 1.00 |
| s1 | Like other software, distributed software systems also need very strong quality assurance support. | background 1.00 | 0.04 | 0.02 | asserted 1.00 |
| s2 | Distributed software is often very large/complex, has distributed components, and does not have a global clock. | background 1.00 | 0.05 | 0.02 | asserted 0.98 |
| s3 | All these characteristics make it very challenging to analyze the information flow of such systems to support the software quality assurance. | background 0.93 | 0.10 | 0.03 | asserted 1.00 |
| s4 | One challenge is that existing dynamic analysis techniques hardly scale to large distributed software systems in the real world. | background 0.60 | 0.07 | 0.03 | asserted 0.98 |
| s5 | It is also challenging to develop cost-effective dynamic analysis approaches. | background 0.63 | 0.06 | 0.02 | asserted 1.00 |
| s6 | There are also applicability and portability challenges for dynamic analysis algorithms/applications of distributed software. | background 0.63 | 0.06 | 0.02 | asserted 1.00 |
| s7 | My dissertation addresses these challenges via three novel approaches to data flow analysis for distributed software. | contribution 1.00 | 0.91 | 0.20 | asserted 1.00 |
| s8 | My first approach is based on measuring interprocess communications to understand distributed software behaviors and predict distributed software quality. | contribution 0.54 | 0.91 | 0.07 | asserted 1.00 |
| s9 | Then, I developed a particular approach that can actually pinpoint sensitive information via multi-staged and refinement-based dynamic information flow analysis for distributed software. | contribution 0.54 | 0.95 | 0.08 | asserted 0.98 |
| s10 | Finally, I explored dynamic dependence analysis for distributed systems, utilizing reinforcement learning to automatically adjust analysis configurations for scalability and better cost-effectiveness tradeoffs. | contribution 0.58 | 0.93 | 0.11 | asserted 0.98 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
More and more distributed software systems are being developed and deployed today. Like other software, distributed software systems also need very strong quality assurance support. Distributed software is often very large/complex, has distributed components, and does not have a global clock. All these characteristics make it very challenging to analyze the information flow of such systems to support the software quality assurance. One challenge is that existing dynamic analysis techniques hardly scale to large distributed software systems in the real world. It is also challenging to develop cost-effective dynamic analysis approaches. There are also applicability and portability challenges for dynamic analysis algorithms/applications of distributed software. My dissertation addresses these challenges via three novel approaches to data flow analysis for distributed software. My first approach is based on measuring interprocess communications to understand distributed software behaviors and predict distributed software quality. Then, I developed a particular approach that can actually pinpoint sensitive information via multi-staged and refinement-based dynamic information flow analysis for distributed software. Finally, I explored dynamic dependence analysis for distributed systems, utilizing reinforcement learning to automatically adjust analysis configurations for scalability and better cost-effectiveness tradeoffs.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.