Nicolet, Victor
University of Toronto
2 papers on CoChatORCID 0000-0002-3743-7498
Most cited papers
- Verified
Synthesis of divide and conquer parallelism for loops
Farzan, A., & Nicolet, V. (2017) · Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
Parallel Computing and Optimization TechniquesLogic, programming, and type systems
Cited by 25
- Verified
Modular divide-and-conquer parallelization of nested loops
Farzan, A., & Nicolet, V. (2019) · Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
Parallel Computing and Optimization TechniquesLogic, programming, and type systems
Cited by 16
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free