Navigation

apoios-header

 

FCT.png

 

cisuc.jpg

 

citi.jpg

 

ieeta.jpg

 

lasige.jpg

 

cctc-logo

 

 

acordodia.jpg

 

eurotux.jpg

 

feedzai.jpg

 

Núcleo de Estudantes de Informática

 

 

Keynotes

Keynote:Como Encontrar Erros de Concorrência e Memória

 

Manuel Costa,Microsoft Research Cambridge, UK

 

Resumo:Ataques exploram frequentemente erros de memória e de concorrência para ganhar controle sobre a execução de programas vulneráveis. Estes ataques continuam a ser um problema grave apesar de investigação intensa sobre técnicas para impedi-los. Esta apresentação descreve duas técnicas para mitigar este problema. A primeira técnica identifica erros de concorrência com uma análise dinâmica que verifica uma politica simples de sincronização: um conjunto de dados ou pode ser lido e escrito exclusivamente por uma thread ou pode ser lido por um conjunto de threads, mas não escrito. A segunda técnica identifica estaticamente o grafo de controlo de fluxo de um programa e o conjunto de objetos que pode ser escrito por cada instrução do programa. Em seguida gera código eficiente para impedir que a execução do programa se desvie dos comportamentos identificados estaticamente.

CV: Manuel Costa licenciou-se em Engenharia Informática no Instituto Superior Técnico e doutorou-se pela Universidade de Cambridge. Actualmente trabalha como investigador sénior na Microsoft Research em Cambridge, no Cambridge Systems & Networking group.

 

 

Keynote:Enterprise Information Technology challenges for the next 5 years: a quick tour from the perspective of a disruptive software vendor

 

Paulo Rosado, CEO OutSystems

 

Abstract:In this talk we will list the main problems Enterprise IT departments are facing today and the new set of challenges driven by disruptive waves like the cloud and mobile. We will look into the effectiveness of accepted paradigms like Object Oriented Programming and Relational Databases, the rise of mobile app platforms and the “single function app” and, the impact of the cloud in middleware, development platforms and runtime platforms. We will also address the main areas of research for OutSystems and the level of collaboration we seek for in Academia.

CV: Paulo Rosado is a founder of OutSystems and has been its CEO since 2001 Before OutSystems, Paulo was Executive VP of Global Marketing at Altitude Software, and co-founded Intervento, an e-business software infrastructure company successfully sold in 1999. Previously Paulo worked in Silicon Valley for Oracle Corp, where he held multiple positions in R&D and Product Management. Paulo Rosado holds a Master's in Computer Science from Stanford University and an Informatics Engineering degree from Universidade Nova de Lisboa.

  
Acções do Documento
« Junho 2017 »
Junho
Do
1234
567891011
12131415161718
19202122232425
2627282930
 
Sections