User Tools

Site Tools


people

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
people [2009/11/19 15:56] – updating elisagpeople [2009/12/02 11:50] alombide
Line 1: Line 1:
 ~~NOTOC~~ ~~NOTOC~~
 +
 ===== People ===== ===== People =====
  
Line 14: Line 15:
 Keywords are repls, interpreters, dynamic typing, higher-order, first-class, reflection, object, actor and above all: simplicity! Keywords are repls, interpreters, dynamic typing, higher-order, first-class, reflection, object, actor and above all: simplicity!
  
-As usual, the professor is not the one doing the real work. Please read on for more details on our research. It has received international recognition by the fact that Wolfgang has won the [[[ http://www.aito.org/Dahl-Nygaard/2008.html | Dahl-Nygaard Award]] in 2008.+As usual, the professor is not the one doing the real work. Please read on for more details on our research. It has received international recognition by the fact that Wolfgang has won the [[ http://www.aito.org/Dahl-Nygaard/2008.html | Dahl-Nygaard Award]] in 2008.
  
 ===== =====
Line 20: Line 21:
 [[http://soft.vub.ac.be/~egonzale|Homepage]] [[http://soft.vub.ac.be/~egonzale|Homepage]]
  
-My area of interest is memory management for distributed systems. More specifically, my research is focused on how to reconcile distributed garbage collection (DGC) with the characteristics of mobile ad hoc networks. For further information about my work please visit the [[research:dgc|semi-automatic garbage collection]] section.+My research focuses on investigating programming language support to deal with the effects engendered by partial failures in mobile ad hoc networks (MANETs). In MANETs many partial failures are the result of temporary network partitions due to the intermittent connectivity of mobile devices. Some of these failures will be permanent and require application-level failure handling. However, it is impossible to distinguish a permanent from a transient failure. Leasing provides a solution to this problem based on the temporal restriction of resources. 
 + 
 +This research identifies a number of criteria for a leasing model specially designed for MANETs and proposes the //leased object references// model which exhibits such criteria. Leased object references combine leasing with asynchronous communication into one coherent language abstraction that deals with both transient and permanent disconnections. We explore a language approach where dedicated language support is provided such that low-level leasing management concerns (e.g. lease renewal) can be abstracted away, and enables both lease holders (clients) and lease grantors (services) to deal with permanent failures 
 + 
 +For further information about my work please visit my [[http://soft.vub.ac.be/~egonzale/wiki/doku.php?id=research|research page]].
  
 ===== =====
-== Andoni Lombide ==+== Andoni Lombide Carreton ==
 [[http://soft.vub.ac.be/~alombide|Homepage]] [[http://soft.vub.ac.be/~alombide|Homepage]]
  
people.txt · Last modified: 2018/04/12 22:07 by elisag