phasar icon indicating copy to clipboard operation
phasar copied to clipboard

Published 20 hours ago • verified publisher icon secure-software-engineering

Distributed Work-list Algorithm

Open pdschubert opened this issue 5 years ago • 1 comments

Determine if parts of the monotone framework's work-list algorithm can be parallelized to boost overall efficiency of the usually not very scalable approach.

The paper "Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis" (ESEC/FSE'17) might be a good starting point.

pdschubert avatar Jan 22 '20 09:01 pdschubert

Hi! What is the progress on the issue? Did I get it right that the issue is parallelizing the functions solve in the two files here?

ivan23kor avatar Nov 01 '20 17:11 ivan23kor