Informática

Imaginação e criatividade

Hoje em dia quando se fala de imaginação (criatividade, inovação) queremos dizer, na maior parte dos casos, antecipação e surpresa. Um empresário, um investigador, um professor querem captar a atenção do outro, inventando e brincando com o possível ou o provável. Por isso, falamos frequentemente de criar imagens, ideias, ou mesmo histórias (veja-se o tópico criatividade computacional, e o grupo de Amílcar Cardoso da Universidade de Coimbra).

Accurate Profiling of Dynamically Compiled Code with Bytecode Instrumentation

Many profilers based on bytecode instrumentation yield wrong results in the presence of an optimizing dynamic compiler,  either due to not being aware of compiler optimizations or due to the inserted code disrupting some optimizations. To avoid such perturbations, we present a technique to make any profiler implemented at the bytecode level aware of optimizations performed by the dynamic compiler. We implement our approach in a state-of-the-art Java virtual machine and evaluate it with several profilers. Joint work with Yudi Zheng and Lubomir Bulej.

Dealing with Failures in Software-Intensive Systems

Although considerable effort has been invested in developing methods for testing and failure detection, synthesis of programs from abstract models and verification of programs (and models), techniques for locating the root cause of observed program failures are still relatively immature. Therefore, the utility for general testing and debugging techniques remain limited to specific programs, execution environments, and problem contexts. Furthermore, no plug&play toolset exists providing state-of-the-art techniques to help developers with testing and debugging.

Mestrados e PGs @DI 2017

Esta sessão tem como objetivo discutir as motivações e perspetivas associadas com a realização de um mestrado ou uma pós-graduação, apresentar a estrutura dos cursos e as disciplinas que estes envolvem e esclarecer as dúvidas que os potenciais interessados coloquem.

O programa da sessão inclui apresentações sobre:

FCUL Rally Pro

O FCUL Rally Pro é um concurso de programação, dirigido aos alunos do secundário e visando promover a prática e o gosto pela programação, com inscrições abertas até 15 de maio de 2017.

Páginas