{"id":4419,"date":"2017-04-25T23:11:55","date_gmt":"2017-04-26T01:11:55","guid":{"rendered":"http:\/\/inf.ufpel.edu.br\/site\/?p=4419"},"modified":"2017-04-25T23:11:55","modified_gmt":"2017-04-26T01:11:55","slug":"seminarios-de-pesquisa-do-ppgc-prof-rodrigo-geraldo-ribeiro","status":"publish","type":"post","link":"https:\/\/wp.ufpel.edu.br\/computacao\/noticia\/seminarios-de-pesquisa-do-ppgc-prof-rodrigo-geraldo-ribeiro\/","title":{"rendered":"Semin\u00e1rios de Pesquisa do PPGC &#8211; Prof. Rodrigo Geraldo Ribeiro"},"content":{"rendered":"<div>\n<div>\n<div>\n<div>Os Semin\u00e1rios de Pesquisa em Computa\u00e7\u00e3o s\u00e3o promovidos pelo Programa de P\u00f3s-Gradua\u00e7\u00e3o em Computa\u00e7\u00e3o, convidando regularmente pesquisadores para apresentar seus trabalhos e \u00e1reas de atua\u00e7\u00e3o \u00e0 comunidade da Universidade em geral e do PPGC em espec\u00edfico. Abaixo est\u00e3o os detalhes do pr\u00f3ximo convidado.<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div>\n<hr \/>\n<\/div>\n<div>\n<div>\n<div>\n<div><strong><br \/>\nAn opaque model for software transactional memory for Haskell<\/strong><\/div>\n<div>Prof. Rodrigo Geraldo Ribeiro (UFOP)<\/div>\n<div><\/div>\n<div>Data: 2 de maio de 2017 (ter\u00e7a-feira)<\/div>\n<\/div>\n<p>Sala:434<\/p><\/div>\n<div>Hor\u00e1rio: 17h<\/div>\n<\/div>\n<p>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<br \/>\nSTM 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.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Os Semin\u00e1rios de Pesquisa em Computa\u00e7\u00e3o s\u00e3o promovidos pelo Programa de P\u00f3s-Gradua\u00e7\u00e3o em Computa\u00e7\u00e3o, convidando regularmente pesquisadores para apresentar seus trabalhos e \u00e1reas de atua\u00e7\u00e3o \u00e0 comunidade da Universidade em geral e do PPGC&#46;&#46;&#46;<\/p>\n","protected":false},"author":881,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[17,18],"tags":[],"class_list":["post-4419","post","type-post","status-publish","format-standard","hentry","category-noticia","category-todos"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/paGhNl-19h","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/4419","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/users\/881"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/comments?post=4419"}],"version-history":[{"count":0,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/4419\/revisions"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/media?parent=4419"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/categories?post=4419"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/tags?post=4419"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}