Seminários de Pesquisa do PPGC – Prof. Rodrigo Geraldo Ribeiro

Os Seminários de Pesquisa em Computação são promovidos pelo Programa de Pós-Graduação em Computação, convidando regularmente pesquisadores para apresentar seus trabalhos e áreas de atuação à comunidade da Universidade em geral e do PPGC em específico. Abaixo estão os detalhes do próximo convidado.


An opaque model for software transactional memory for Haskell
Prof. Rodrigo Geraldo Ribeiro (UFOP)
Data: 2 de maio de 2017 (terça-feira)

Sala:434

Horário: 17h

Resumo: Software Transactional Memory (STM) provides programmers with a simple high-level model of transactions that allows the writing of concurrent programs without worrying with locks, since all transaction concurrency management is done by the STM runtime. Such programming model grealy simplifies development of concurrent applications, but it has a cost: implementing an efficient and correct
STM algorithm is an art. Several criteria have been proposed to certify STM algorithms, some based on model checkers and proof assistants. In this work, we are interested in a more lightweight approach: specify STM algorithm as small-step operational semantics of a idealized language with STM support and check for safety properties using QuickCheck, a property-based testing library for Haskell.