Announcements

MSc (MEI) topics for 2012/13

My current MSc thesis topics are listed at

http://estagios.di.fct.unl.pt/public/professor/tese.php

Please do a "search/find" in the page for my name (e.g., "Lourenço")

If you are a student at Di-FCT-UNL and want to know more details about any of my thesis tiopics, please drop me an email ou just come to my office room (P2/9).

New paper accepted at HVC 2012

Our paper "Precise Detection of Atomicity Violations", co-authored by my ex-MSc Student Vasco Pessanha, my PhD student Ricardo Dias, and myslef, was accepted at the Haifa Verification Conference (HVC 2012).

The base of the paper is the MSc work of Vasco, which was (unofficially) co-supervised by Ricardo and (officially) me. We developed a new approach to find high-level dataraces in concurrent programs.

Petição Via utilitária ciclável entre o Parque da Paz e a Costa da Caparica

Petição Via utilitária ciclável entre o Parque da Paz e a Costa da Caparica

Para quem anda de bicicleta e/ou a pé. E também para aqueles que, mesmo que não pensem fazer uso dela, acham que era uma mais valia para o Concelho de Alamada.

Vamos lá todos subscrever esta petição!

INForum 2012 - Fotografias

As fotografias do INForum 2012 estão disponíveis em

https://picasaweb.google.com/106361057178842338134

Slide show de miniaturas em

http://docentes.fct.unl.pt/joao-lourenco/feeds/inforum-2012


INForum 2012 is just ahead…

INForum 2012,  the Portuguese Symposium on Computer Science and Informatics will take place at FCT-UNL next Thursday and Friday (September 5th and 6th).  Registrations are still open.

New paper accepted at Euro-Par 2012 as distinguished paper

The paper "Efficient Support for In-Place Metadata in Transactional Memory" co-authored with my students Ricardo Dias (PhD) and the Tiago Vale (MSc), was accepted at Euro-Par 2012 (acceptance rate of 33%).  It was awarded the title of distinguished paper and will be presented in a sepcial plenary session (with a total of three distinguished papers).

New paper accepted at ECOOP 2012

The paper "Verification of Snapshot Isolation in Transactional Memory Java Programs" co-authored by my PhD student Ricardo Dias (FCT-UNL), Dino Distefano (QMU London), João Costa Seco (FCT-UNL), and João Lourenço (FCT-UNL), was accepted to ECOOP 2012 (acceptance rate of 21%).

[LaTeX] New version (2011-11-21) of the thesis template

This new version of the Thesis template for FCT/UNL is compliant with the new regulations of UNL and FCT.

See the project page for for information.

[MSc] TxBtrfs — A Transactional Snapshot-based File System

João Luís has concluded is MSc thesis entitled "TxBtrfs — A Transactional Snapshot-based File System", with the public defense taking place in September 19th, and with a final grade of 18 (out of 20).

[MSc] Practical Verification of Anomalies in Transactional Memory Programs

Vasco Pessanha has concluded is MSc thesis entitled "Verificação Prática de Anomalias em Programas de Memória Transaccional" (Practical Verification of Anomalies in Transactional Memory Programs), with the public defense taking place in September 19th, and with a final grade of 19 (out of 20).

[Conferences] Program Chair at Haifa Verification Conference (HVC 2011)

The HVC 2011 will take place at Haifa, Israel, on December 5-8. Have a look at the conference program and register for free.