• Chitre K, Kedia P and Purandare R. (2023). Rapid: Region-Based Pointer Disambiguation. Proceedings of the ACM on Programming Languages. 7:OOPSLA2. (1729-1757). Online publication date: 16-Oct-2023.

    https://doi.org/10.1145/3622859

  • Soares L, Canesche M and Pereira F. (2023). Side-channel Elimination via Partial Control-flow Linearization. ACM Transactions on Programming Languages and Systems. 45:2. (1-43). Online publication date: 30-Jun-2023.

    https://doi.org/10.1145/3594736

  • Chitre K, Kedia P and Purandare R. (2022). The road not taken: exploring alias analysis based optimizations missed by the compiler. Proceedings of the ACM on Programming Languages. 6:OOPSLA2. (786-810). Online publication date: 31-Oct-2022.

    https://doi.org/10.1145/3563316

  • Diarra R. Towards automatic restrictification of CUDA kernel arguments. Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. (928-931).

    https://doi.org/10.1145/3238147.3241533

  • Diarra R, Merigot A and Vincke B. (2018). [Engineering Paper] RECKA and RPromF: Two Frama-C Plug-ins for Optimizing Registers Usage in CUDA, OpenACC and OpenMP Programs 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM). 10.1109/SCAM.2018.00029. 978-1-5386-8290-6. (187-192).

    https://ieeexplore.ieee.org/document/8530733/

  • da Silva J and Pereira F. Demand-driven less-than analysis. Proceedings of the 21st Brazilian Symposium on Programming Languages. (1-8).

    https://doi.org/10.1145/3125374.3125379

  • Mendonça G, Guimarães B, Alves P, Pereira M, Araújo G and Pereira F. (2017). DawnCC. ACM Transactions on Architecture and Code Optimization. 14:2. (1-25). Online publication date: 30-Jun-2017.

    https://doi.org/10.1145/3084540