Personal Details

  • Room
  • Phone
  • Fax
  • Email
  • P3/14, CITI Building, FCT/UNL
  • +351 212 948 536 (Ext. 10743)
  • +351 212 948 541
  • miguel AT domingues DOT pt

Publications

Oct. 2015

Type Safe Evolution of Live Systems

REBLS 2015 @ SPLASH

Pittsburgh, United States

 

Sep. 2015

Sistema de Runtime para uma Linguagem Web Reativa

Inforum 2015

Covilhã, Portugal

 

May. 2015

Type Safe Evolution of Live Systems

Technical Report

 

May. 2014

Type-Safe Evolution of Data-Centric Applications

Technical Report

 

Sep. 2010

LiveWeb - Core Language for Web Applications

Miguel Domingues and João Costa Seco

In: Proceedings of InForum (SOFTPT) 2010. Universidade do Minho.

         

Jul. 2010

Core Language for Web Applications

Master's Theses (supervised by Prof. João Costa Seco)

Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa.

       

Software

2015 - ...

Prototype

Prototype implementing the operational semantics and type system from the Technical Report: Type Safe Evolution of Live Systems

 

2010 - ...

LiveWeb Prototype

LiveWeb prototype development started with my MSc thesis and is currently being improved during my PhD.

 

Teaching

2012-2013

Algoritmos e Estruturas de Dados

Winter Semester

Lab lectures (p1 & p3).

2011-2012

Programação Orientada pelos Objectos

Spring Semester

Lab lectures (p2 & p9).

Algoritmos e Estruturas de Dados

Winter Semester

Lab lectures (p3 & p9).

2010-2011

Introdução à Programação

Spring Semester

Lab lectures (p2).

Introdução aos Sistemas e Redes de Computadores

Winter Semester

Lab lectures (p3 & p4).

2009-2010

Introdução aos Computadores e à Programação

Spring Semester

Lab lectures (p4).

 

Projects

Certified Interfaces

Member

   

Degrees

2010 - ...
2008-2010
2005-2008