ORBS: Language-independent program slicing

D Binkley, N Gold, M Harman, S Islam… - Proceedings of the …, 2014 - dl.acm.org
Current slicing techniques cannot handle systems written in multiple programming
languages. Observation-Based Slicing (ORBS) is a language-independent slicing technique …

{FlowDist}:{Multi-Staged}{Refinement-Based} Dynamic Information Flow Analysis for Distributed Software Systems

X Fu, H Cai - 30th USENIX security symposium (USENIX Security 21 …, 2021 - usenix.org
Dynamic information flow analysis (DIFA) supports various security applications such as
malware analysis and vulnerability discovery. Yet traditional DIFA approaches have limited …

DAbs: A Framework for Dynamic Dependence Analysis of Distributed Programs

H Cai, X Fu - IEEE Transactions on Software Engineering, 2021 - ieeexplore.ieee.org
As modern software systems are increasingly developed for running in distributed
environments, it is crucial to provide fundamental techniques such as dependence analysis …

ORBS and the limits of static slicing

D Binkley, N Gold, M Harman, S Islam… - 2015 IEEE 15th …, 2015 - ieeexplore.ieee.org
Observation-based slicing is a recently-introduced, language-independent slicing technique
based on the dependencies observable from program behaviour. Due to the well-known …

DistIA: A cost-effective dynamic impact analysis for distributed programs

H Cai, D Thain - Proceedings of the 31st IEEE/ACM International …, 2016 - dl.acm.org
Dynamic impact analysis is a fundamental technique for understanding the impact of specific
program entities, or changes to them, on the rest of the program for concrete executions …

SEADS Scalable and Cost-effective Dynamic Dependence Analysis of Distributed Systems via Reinforcement Learning

X Fu, H Cai, W Li, L Li - ACM Transactions on Software Engineering and …, 2020 - dl.acm.org
Distributed software systems are increasingly developed and deployed today. Many of these
systems are supposed to run continuously. Given their critical roles in our society and daily …

Photo defect detection for image inpainting

RC Chang, YL Sie, SM Chou… - … on Multimedia (ISM'05), 2005 - ieeexplore.ieee.org
Image inpainting (or image completion) techniques use textural or structural information to
repair or fill damaged portion of a picture. However, most techniques request a human to …

A comparison of tree-and line-oriented observational slicing

D Binkley, N Gold, S Islam, J Krinke, S Yoo - Empirical Software …, 2019 - Springer
Observation-based slicing and its generalization observational slicing are recently-
introduced, language-independent dynamic slicing techniques. They both construct slices …

Tree-oriented vs. line-oriented observation-based slicing

D Binkley, N Gold, S Islam, J Krinke… - 2017 IEEE 17th …, 2017 - ieeexplore.ieee.org
Observation-based slicing is a recently-introduced, language-independent slicing technique
based on the dependencies observable from program behavior. The original algorithm …

An empirical evaluation of quasi-static executable slices

Q Stiévenart, D Binkley, C De Roover - Journal of Systems and Software, 2023 - Elsevier
Program slicing aims to reduce a program to a minimal form that produces the same output
for a given slicing criterion. Program slicing approaches divide into static and dynamic …