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


Paper presented at ICA3PP 2012

Paper Enhancing Service-Oriented Computing with Software Mobility presented by Gilberto Camacho at the The 12th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP-12) that took place in Fukuoka, Japan, from September 4 to September 7. The acceptance ratio of this year's edition was 25% for regular papers.

S-Cube 2012 proceedings published

The proceedings of the 3rd International Conference on Systems and Software (S-Cube) 2012 have been published by Springer-Verlag under Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. The book can be accessed from this location.

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%).

ICCOPT 2013 - Caparica, Portugal

ICCOPT is a recognized forum of discussion and exchange of ideas for researchers and practitioners in continuous optimization.

ICCOPT 2013 is organized by FCT, Universidade Nova de Lisboa, Portugal, from July 27 to August 1, in its Campus de Caparica.

Research Topics and Publications

Please check the Biomolecular Engineering Group website for all the information regarding Cecília´s research topics, publications, awards, and open positions.

[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.