Publications

 

[1] Pereira, P. A., Albuquerque, H. F., Silva, I. S., Marques, H. M., Rodrigues, F. M., Ferreira, R. S., Cordeiro, L. C. SMT-Based Context-Bounded Model Checking for CUDA Programs. In Concurrency and Computation (to appear), John Wiley, 2016.

[2] Pereira, P. A., Albuquerque, H. F., Marques, H. M., Silva, I. S., Santos, V. S., Carvalho, C. B., Cordeiro, L. C. Verifying CUDA Programs using SMT-Based Context-Bounded Model Checking. In ACM Symposium on Applied Computing (SAC), Software Verification and Testing, pp. 1648-1653, 2016. [Presentation]

[3] Pereira, P. A., Albuquerque, H. F., Marques, H. M., Silva, I. S., Santos, V. S., Ferreira, R. S., Carvalho, C. B., Cordeiro, L. C. Verificação de Kernels em Programas CUDA usando Bounded Model Checking. To appear in XVI Brazilian Symposium on High-Performance Computing (WSCAD), pp.24-35, 2015. [Presentation]