Cosmin E. Oancea, Lawrence Rauchwerger
Logical inference techniques for loop parallelization
PLDI, 2012.
@inproceedings{PLDI-2012-OanceaR, author = "Cosmin E. Oancea and Lawrence Rauchwerger", booktitle = "{Proceedings of the 33rd Conference on Programming Language Design and Implementation}", doi = "10.1145/2254064.2254124", editor = "Jan Vitek and Haibo Lin and Frank Tip", isbn = "978-1-4503-1205-9", pages = "509--520", publisher = "{ACM}", title = "{Logical inference techniques for loop parallelization}", year = 2012, }