| 2011 | SAS | Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations. | Sven Verdoolaege, Albert Cohen, Anna Beletska |
| 2010 | COCOA | An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations. | Wlodzimierz Bielecki, Tomasz Klimek, Marek Palkowski, Anna Beletska |
| 2009 | COCOA | Computing the Transitive Closure of a Union of Affine Integer Tuple Relations. | Anna Beletska, Denis Barthou, Wlodzimierz Bielecki, Albert Cohen |
| 2009 | ISPDC | Coarse-Grained Loop Parallelization: Iteration Space Slicing vs Affine Transformations. | Anna Beletska, Wlodzimierz Bielecki, Albert Cohen, Marek Palkowski, Krzysztof Siedlecki |
| 2008 | ICA3PP | Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations. | Wlodzimierz Bielecki, Anna Beletska, Marek Palkowski, Pierluigi San Pietro |
| 2008 | ICCSA | Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops. | Anna Beletska, Wlodzimierz Bielecki, Krzysztof Siedlecki, Pierluigi San Pietro |
| 2007 | ISPDC | Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework. | Anna Beletska, Wlodzimierz Bielecki, Pierluigi San Pietro |