Displaying 2 results from an estimated 2 matches for "georgiadi".
Did you mean:
georgiadis
2017 Jun 13
9
RFC: Dynamic dominators
...es (~100) across the project and I believe that doing that all
at once would be tricky to get correct. Gradual update seems much easier to
ensure correctness and the transitional API (invalid additional data check)
is trivial to implement. Because of that, I propose to follow the option
(c).
[1] Georgiadis et al., An Experimental Study of Dynamic Dominators,
https://arxiv.org/pdf/1604.02711.pdf
[2] llvm-dominators LLVM fork on Github,
https://github.com/kuhar/llvm-dominators
[3] L. Georgiadis, Linear-Time Algorithms for Dominators and Related
Problems, ftp://ftp.cs.princeton.edu/reports/2005/737.pdf...
2017 Jun 13
2
RFC: Dynamic dominators
...to get correct. Gradual update seems much easier
> > to
> > ensure correctness and the transitional API (invalid additional data
> > check)
> > is trivial to implement. Because of that, I propose to follow the option
> > (c).
> >
> >
> >
> > [1] Georgiadis et al., An Experimental Study of Dynamic Dominators,
> > https://arxiv.org/pdf/1604.02711.pdf
> > [2] llvm-dominators LLVM fork on Github,
> > https://github.com/kuhar/llvm-dominators
> > [3] L. Georgiadis, Linear-Time Algorithms for Dominators and Related
> > Problem...