Seminários da Pós-Graduação em Informática
Data: 26 de outubro de 2018
Local: Sala Multiuso CIC
Horário: 14h
Palestrante: Marco Antônio Caldas de Figueirêdo Junior (doutorando)
Título: Comparação de Sequências Biológicas Longas em Ambiente Heterogêneo com Distribuição de Carga
Resumo: A comparação de sequências longas é uma tarefa auxiliar na área de Bioinformática que requer a utilização de algoritmos paralelizáveis como o Smith-Waterman, permitindo a obtenção de melhores desempenhos se múltiplos dispositivos forem utilizados. A distribuição em ambientes heterogêneos exige a utilização de algoritmos de escalonamento e distribuição de carga dinâmica, visando melhor aproveitar os recursos computacionais.
Horário: 14h30
Palestrante: Walter Lucas Monteiro de Mendonça (mestrando)
Título: Refatorações com expressões lambda em Java, quando devem ser efetuadas? Um estudo empírico
Resumo:A versão 8 do Java trouxe novas implementações, incluindo a adoção de expressões lambda que tornam o código mais conciso e enxuto. Além disso, a evolução das linguagens de programação estão fortemente ligadas à evolução do software. Algumas ferramentas de refatoração acabam sugerindo transformações indesejadas pelos desenvolvedores ocasionando a sua rejeição. Será conduzido um estudo empírico para avaliar e classificar os tipos de transformações realizadas entre os desenvolvedores através da aplicação de um survey.
Horário: 15h
Palestrante: Washington Carvalho Segundo (doutorando)
Título: Nominal Unification modulo AC Theories
Resumo: Nominal unification is first order unification with binders. Inside the class of first order equational problems, the case where no substitution is applied on the right-hand side (resp. both sides) of equations is denominated\matching (resp. equational checking). Efficient algorithms for equational checking, matching and unification within the nominal approach were already developed. Nominal unification and nominal matching are both quadraticaly bounded, whereas equational checking is log-linearly bounded. In addition, reasoning modulo equational theories is a very basic and recurrent issue in algebraic and logic systems. For instance, appending lists and evaluating a sequence of disjuctions are, respectively, associative (A) and associative-commutative (AC) operations. For this reason, standard fist order unification and matching modulo A, C and AC where extensively investigated since the late 1970s. We have explored equivalence checking within the nominal approach, on signatures with A, C and AC function symbols, and nominal unification with C function symbols. Now, we are presenting a work in progress formalisation (in Coq) of a nominal unification algorithm with C and AC function symbols.
Horário: 15h30
Palestrante: Caio Yuri da Silva Costa (mestrando)
Título: Diversidade em Replicação Máquina de Estados
Resumo: A dependabilidade e as propriedades de segurança de um sistema podem ser comprometidas por uma falha no sistema ou por um atacante que explora suas vulnerabilidades, respectivamente. Uma alternativa para mitigar este risco é a implementação de sistemas tolerantes a falhas e tolerantes a intrusões, onde as propriedades do sistema são preservadas mesmo se alguns de seus componentes falharem (e.g., por um bug de software ou uma falha do ambiente de execução) ou se forem comprometidos por um ataque bem-sucedido. A Replicação Máquina de Estados (RME) é amplamente utilizada para implementar esses sistemas. Na RME, servidores são replicados e requisições de clientes são executadas de maneira determinística e na mesma ordem para todas as réplicas de maneira que o comportamento do sistema mantém-se correto mesmo se algumas delas estiverem comprometidas, já que as réplicas corretas mascaram o mal-comportamento das réplicas com falha. Infelizmente, as soluções propostas para RME não consideram diversidade na implementação e todas as réplicas executam o mesmo software. Consequentemente, o mesmo ataque ou bug de software pode comprometer todo o sistema. Tentando contornar este problema, este trabalho propõe uma arquitetura para fornecer suporte à diversidade em RME, permitindo a implementação e execução de réplicas em diferentes linguagens de programação. Os principais problemas abordados pela arquitetura proposta são dois: (1) comunicação entre diferentes linguagens; e (2) representação de dados. A arquitetura proposta foi integrada ao BFT-SMaRt, uma biblioteca para RME, e um conjunto de experimentos mostrou sua viabilidade prática.
Profa Célia Ghedini Ralha (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)
Coordenadora dos Seminários de Pós-Graduação em Informática 2018-2