[Doc2012] [Alunos-mdcc-l] Fwd: [CONVITE] Palestras - Márcio de Medeiros Ribeiro (UFAL)

Qua Nov 28 08:36:09 -03 2018

---------- Forwarded message ---------
From: <janainabezerra em great.ufc.br>
Date: ter, 27 de nov de 2018 às 10:23
Subject: [CONVITE] Palestras - Márcio de Medeiros Ribeiro (UFAL)
To:

Prezados (as), Bom dia!

Convidamos a todos para duas palestras do professor Márcio de Medeiros
Ribeiro.

Segue abaixo um pequeno resumo do seu CV:

Márcio Ribeiro é Professor Adjunto do Instituto de Computação da
Universidade Federal de Alagoas (UFAL). É Doutor em Ciência da Computação
pela Universidade Federal de Pernambuco (2012), Mestre em Ciência da
Computação pela mesma universidade (2008) e Bacharel em Ciência da
Computação pela Universidade Federal de Alagoas (2005). Durante o Mestrado
participou do projeto de pesquisa Brazil Test Center em parceria com a
Motorola do Brasil, onde ganhou o prêmio de membro destaque de 2007.
Durante o Doutorado teve sua proposta premiada como a melhor do Simpósio de
Doutorado de uma das conferências mais importantes do mundo na área de
sistemas e linguagens de programação (ACM SIGPLAN Object-Oriented
Programming, Systems, Languages and Applications - OOPSLA), o que lhe
rendeu o prêmio John Vlissides Award, sendo o primeiro brasileiro
contemplado com tal prêmio. A ferramenta de seu Doutorado ficou em Primeiro
Lugar na Sessão de Ferramentas do Congresso Brasileiro de Software (CBSoft
2011). Sua Tese de Doutorado foi também considerada a melhor do Brasil em
Computação de 2012, prêmio concedido durante o Concurso de Teses de
Dissertações (CTD) no Congresso Brasileiro da Sociedade Brasileira de
Computação (CSBC 2013). A tese encontra-se publicada em um Livro da editora
Springer. Integra o corpo docente permanente do Programa de Pós-Graduação
em Informática (PPGI) da UFAL. Foi Vice-Coordenador do programa por dois
anos. Tem experiência na área de Ciência da Computação, com ênfase em
Engenharia de Software, atuando principalmente nos seguintes temas:
Famílias e Linhas de Produtos de Software, Programação Orientada a Objetos
e Aspectos, Engenharia de Software Empírica, Refatoramento, Modularidade de
Software e Análise Estática de programas. Publicou artigos em periódicos e
conferências nacionais e internacionais de destaque, tais como TSE, TOSEM,
IST, JSS, ICSE, ESEC/FSE, PLDI, ECOOP, AOSD/Modularity, ICSME, SPLC, GPCE,
ICPC e ISSRE. Foi Coordenador Geral do Congresso Brasileiro de Software
(CBSoft 2014), realizado na cidade de Maceió-AL. Organizou e participou do
comitê do "ICSE 2017 PhD and Young Researchers Warm Up Symposium," simpósio
com o objetivo de preparar alunos de Doutorado para submeterem artigos
competitivos para a conferência ICSE. Foi o Chair do Comitê de Programa do
Simpósio Brasileiro de Componentes, Arquiteturas e Reúso de Software
(SBCARS 2017). Já integrou/integra o Comitê de Programa de "top-ranked
conferences" como OOPSLA, ECOOP e ASE. Foi Palestrante Especial do Simpósio
Brasileiro de Qualidade de Software (SBQS 2016). Colabora com vários
pesquisadores no Brasil (UFCG, UFPE, PUC-Rio, UnB, USP, UFSCar) e no
exterior (Alemanha, EUA, Canadá, Dinamarca e Portugal). Executa também
projetos na área de Energias Renováveis, sendo destaque na mídia Alagoana
(impressa e TV) e rendendo audiências com o então Ministro de Ciência e
Tecnologia (MCTI) em busca de recursos. Mais sobre Márcio pode ser
encontrado em http://www.ic.ufal.br/marcio/

Segue abaixo os detalhes das duas palestras que ele irá proferir:

*Palestra #1: Avoiding Useless Mutants*
*Local/Horário: Sala de Seminários Bloco 942 A, dia 28/11/2018
(Quarta-Feira) às 16:00h*

Abstract: Mutation testing is a program-transformation technique that
injects artificial bugs to check whether the existing test suite can detect
them. However, the costs of using mutation testing are usually high,
hindering its use in industry. Useless mutants (equivalent and duplicated)
contribute to increase costs. Previous research has focused mainly on
detecting useless mutants only after they are generated and compiled. In
this paper, we introduce a strategy to help developers with deriving rules
to avoid the generation of useless mutants. To use our strategy, we pass as
input a set of programs. For each program, we also need a passing test
suite and a set of mutants. As output, our strategy yields a set of useless
mutants candidates. After manually confirming that the mutants classified
by our strategy as "useless" are indeed useless, we derive rules that can
avoid their generation and thus decrease costs. To the best of our
knowledge, we introduce 37 new rules that can avoid useless mutants right
before their generation. We then implement a subset of these rules in the
MUJAVA mutation testing tool. Since our rules have been derived based on
artificial and small Java programs, we take our MUJAVA version embedded
with our rules and execute it in industrial-scale projects. Our rules
reduced the number of mutants by almost 13% on average. Our results are
promising because (i) we avoid useless mutants generation; (ii) our
strategy can help with identifying more rules in case we set it to use more
complex Java programs; and (iii) our MUJAVA version has only a subset of
the rules we derived.

*Palestra #2: A Catalog of Refactorings to Discipline Preprocessor-Based
AnnotationsLocal/Horário: Sala de Seminários Bloco 942 A, dia 29/11/2018
(Quinta-Feira) às 16:00h*

Abstract: Developers use the C Preprocessor (CPP) to handle portability and
variability in program families of different sizes and domains. However,
despite the widely use of the CPP in practice, it is often criticised due
to its negative impact on code quality and maintainability, tool
development, and its error-prone characteristics. In particular, developers
aggravate these problems when using undisciplined annotations, i.e.,
directives encompassing only parts of syntactical units. In a previous
work, we performed an empirical study on 41 C program family releases and
found that almost 90% of syntax errors occur in undisciplined annotations.
There are some refactorings to remove undisciplined annotations proposed in
the literature. However, they clone code and increase Lines of Code (LOC).
To avoid undisciplined annotations and their intrinsic problems, in this
talk we present a catalogue of refactorings that converts undisciplined
annotations into disciplined ones without cloning code. We implement an
Eclipse plug-in to help developers applying our refactorings automatically.
To evaluate our catalogue, we performed a study to analyse questions
related to code cloning, LOC, and number of directives. To answer our
research questions, we analyse releases of 12 C program families of
different domains ranging from 4.9 thousand to 1.5 million LOC. The results
show that our catalogue can remove all undisciplined annotations without
cloning code, and increasing only in 0.04% the LOC and in 2.10% the number
of directives.

Atenciosamente,

-- 
Janaina Bezerra
GREat - Grupo de Redes de Computadores, Engenharia de Software e Sistemas
Universidade Federal do Ceará
Tel.: +55 85 3366.9797
-------------- Próxima Parte ----------
Um anexo em HTML foi limpo...
URL: <http://lia.ufc.br/pipermail/doc2012/attachments/20181128/478dcf0f/attachment-0001.html>
-------------- Próxima Parte ----------
Um anexo não-texto foi limpo...
Nome: CONVITE - Palestra - Prof. Márcio Ribeiro.jpg
Tipo: image/jpeg
Tamanho: 68437 bytes
Descrição: não disponível
URL: <http://lia.ufc.br/pipermail/doc2012/attachments/20181128/478dcf0f/attachment-0002.jpg>
-------------- Próxima Parte ----------
Um anexo não-texto foi limpo...
Nome: CONVITE - Palestra - Prof. Márcio Ribeiro 2.jpg
Tipo: image/jpeg
Tamanho: 76929 bytes
Descrição: não disponível
URL: <http://lia.ufc.br/pipermail/doc2012/attachments/20181128/478dcf0f/attachment-0003.jpg>
-------------- Próxima Parte ----------
_______________________________________________
Alunos-mdcc-l mailing list
Alunos-mdcc-l em lia.ufc.br
http://lia.ufc.br/cgi-bin/mailman/listinfo/alunos-mdcc-l