A obtenção de soluções numéricas para algoritmos de inversão sísmica como Inversão Completa da Forma de Onda (FWI, do inglês Full-Waveform Inversion) e Migração Reversa no Tempo (RTM, do inglês Reverse Time Migration), pode ser acelerada por arquiteturas que possuem um alto grau de paralelismo, como unidades de processamento gráfico (GPU, do inglês Graphical Processing Units). Porém, o rápido desenvolvimento de novas arquiteturas e tecnologias dificultam a manutenção e atualização das soluções implementadas. Neste trabalho, o compilador de código fonte aberto Devito é estendido para habilitar a conversão automática de kernels de diferenças finitas para arquiteturas de GPU. Utilizamos o framework Oxford Parallel Domain Specific Language (OP-DSL) para construir um novo backend para o Devito. A solução implementada fora validada nas GPUs NVIDIA R GTX Titan Z e NVIDIA R Tesla V100. O desempenho da implementação fora medido em termos de tempo de execução, e em termos relativos ao máximo desempenho da GPU através do modelo de roofline. Os testes foram feitos para diversos níveis de discretização de ordem espacial em um estêncil de propagação de onda acústica isotrópica 3D. Os resultados alcançados com relação à máxima performance da GPU foram de aproximadamente 63% para V100 e de 24% para GTX Titan Z, considerando um kernel cuja malha tem 256 3 pontos. O estudo ainda revela que otimizar a transferência de dados entre CPU e GPU é um dos maiores desafios para reduzir o tempo de execução.