Nuno Macedo

PhD Student at University of Minho

News

March 25, 2012: I've presented our paper on QVT-R over Alloy (which was nominated for the best paper award) at FASE'13 in Rome.
March 15, 2012: Echo, the implementation of QVT-R over Alloy, is now available.
Jan 24, 2012: Our paper on Least-change lenses has been accepted at BX'13.
Dec 14, 2012: Our paper on QVT/Alloy has been accepted at FASE'13.
Sep 25, 2012: I'll be teaching LI1 at UM in 2012/13.
Sep 20, 2012: I've presented our paper on Relational Lenses at RAMiCS'12 in Cambridge.
Sep 17, 2012: I've presented our recent work on BX at the FATBIT'12 workshop.
Sep 15, 2012: Page created.

alloy bidirectional transformations composition fatbit formal methods invariants least-change lenses model transformations non-determinism point-free prover9 qvt-r relational calculus translation verification

created at TagCrowd.com

About Me

I'm a PhD Student at the HASLab group, University of Minho, Portugal, inserted in the MAP-i Doctoral Program on Computer Science. Previously I have completed both the Undergraduate and Master degrees on Computer Engineering, also at University of Minho.
My research interests are in the area of Formal Methods, in particular program derivation and verification through calculation. Currently I am working on bidirectional transformations (BX) in the context of my PhD Thesis on a "Relational Approach to Bidirectional Transformations" under the supervision of Professor Alcino Cunha and as a member of the FATBIT project.

Projects

FATBIT - Foundations, Applications and Tools for Bidirectional Transformation

This project aims to propose effective bidirectional transformation frameworks for three relevant application domains: model-driven engineering, spreadsheet validation and transformation, and language-based editors defined with attribute grammars. We intend to do so by relying on the point-free relational calculus, a quantifier free formalization of first-order logic.

Publications

N. Macedo, H. Pacheco, A. Cunha and J. N. Oliveira. Composing least-change lenses. To appear in the proceedings of the Second International Workshop on Bidirectional Transformations (BX'13). Electronic Communications of the EASST, 2013. [PDF] [Bib] [~~Slides~~] (see also the respective Alloy models)
N. Macedo and A. Cunha. Implementing QVT-R bidirectional model transformations using Alloy. In the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE'13). LNCS 7793. Springer, 2013. [PDF] [Bib] [Slides] (see also its implementation Echo)
N. Macedo, H. Pacheco and A. Cunha. Relations as executable specifications: taming partiality and non-determinism using invariants. In the proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS'12). LNCS 7650. Springer, 2012. [PDF] [Bib] [Slides]
N. Macedo, H. Pacheco and A. Cunha. Relations as executable specifications: taming partiality and non-determinism using invariants. Technical Report TR-HASLab:03:2012, HASLab - High Assurance Software Laboratory, July 2012. (extended version of this paper) [PDF] [Bib] [~~Slides~~]
N. Macedo. A relational approach to bidirectional transformations. PhD Thesis Proposal, Universidades do Minho, Aveiro e Porto, Portugal, 2011. [PDF] [~~Bib~~] [~~Slides~~]
N. Macedo and A. Cunha. Automatic unbounded verification of Alloy specifications with Prover9. CoRR, abs/1209.5773. May 2011. [PDF] [Bib] [~~Slides~~]
N. Macedo. Translating Alloy specifications to the point-free style. MSc Thesis, Universidade do Minho, Portugal, 2010. [PDF] [Bib] [Slides]

Talks

N. Macedo. Implementing QVT-R bidirectional model transformations using Alloy. [Slides]
- Presented at the FASE International Conference, Sapienza – Università di Roma, Rome, Italy. March 2013.
- Presented at the HASLab Seminar Series, Universidade do Minho, Braga, Portugal. February 2013.
- Presented at the FATBIT/SSaaPP Workshop, Universidade do Minho, Braga, Portugal. September 2012.
N. Macedo. Relations as executable specifications: taming partiality and non-determinism using invariants. [Slides]
- Presented at the RAMiCS International Conference, Cambridge University, Cambridge, United Kingdom. September 2012.
- Presented at the FATBIT/SSaaPP Workshop, Universidade do Minho, Braga, Portugal. September 2012.
- Presented at the HASLab Seminar Series, Universidade do Minho, Braga, Portugal, February 2012.
N. Macedo. A relational approach to point-free transformations. [~~Slides~~]
- 1st Thesis Year Report at the V MAP-i Doctoral Symposium, Universidade de Aveiro, Aveiro, Portugal. September 2012.
- PhD Pre-Thesis Defense at the IV MAP-i Doctoral Symposium, Universidade do Porto, Porto, Portugal. September 2011.
N. Macedo. Translating Alloy specifications to the point-free style. [Slides]
- Presented at the HASLab Seminar Series, Universidade do Minho, Braga, Portugal. June 2011.
- Presented at the Join'11 Geek Talks, Universidade do Minho, Braga, Portugal. June 2011.
- MSc Thesis Defense, Universidade do Minho, Braga, Portugal. September 2010.

Academic Degrees

PhD in Computer Science

(Ongoing)

MAP-i Doctoral Program, Universities of Minho, Aveiro and Porto, 2010-
Thesis theme: A relational approach to bidirectional transformations

MSc in Computer Science

Mestrado em Informática, University of Minho, 2008-2010
Thesis theme: Translating Alloy specifications to the point-free style

BSc in Informatics Engineering

Licenciatura em Engenharia Informática, University of Minho, 2005-2008

Teaching

Licenciatura em Engenharia Informática

(BSc, University of Minho)

Laboratórios de Informática I [2009/10] [2011/12] [2012/13]

Tools

Echo

, a tool for QVT-R bidirectional model transformations using Alloy. [Link]

Alloy model

for the least-change lenses framework. [Link]

Contact

Name: Nuno Filipe Moreira Macedo
Full Address: Departamento de Informática
Universidade do Minho
Campus de Gualtar
4710-057 Braga, Portugal
Office: 2.07
Coordinates: 41.561438ºN 8.397195ºW
Email: nfmmacedo AT di DOT uminho DOT pt
Homepage: http://di.uminho.pt/~nfmmacedo
Academic Profiles