Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

I am an associate professor at the Department of Computer Science at the Faculty of Science, University of Porto. I got my Ph.D. on Computer Science from the University of Porto, in 1999. My research interests include domain specific programming languages, virtual machines, distributed systems and, in particular, wireless sensor networks. 

Interest
Topics
Details

Details

002
Publications

2017

P3-Mobile: Parallel Computing for Mobile Edge-Clouds

Authors
Silva, J; Silva, D; Marques, ERB; Lopes, LMB; Silva, FMA;

Publication
Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017

Abstract
We address the problem of whether networks of mobile devices such as smart-phones or tablets can be used to perform opportunistic, best-effort, parallel computations. We designed and implemented P3-Mobile, a parallel programming system for edge-clouds of Android devices to test the feasibility of this idea. P3-Mobile comes with a programming model that supports parallel computations over peer-to-peer overlays mapped onto mobile networks. The system performs automatic load-balancing by using the overlay to discover work. We present preliminary performance results for a parallel benchmark, using up to 16 devices, and discuss their implications towards future work. Copyright © 2017 ACM.

2017

Using Edge-Clouds to Reduce Load on Traditional WiFi Infrastructures and Improve Quality of Experience

Authors
Pinto Silva, PMP; Rodrigues, J; Silva, J; Martins, R; Lopes, L; Silva, F;

Publication
1st IEEE International Conference on Fog and Edge Computing, ICFEC 2017, Madrid, Spain, May 14-15, 2017

Abstract
Crowd-sourcing the resources of mobile devices is a hot topic of research given the game-changing applications it may enable. In this paper we study the feasibility of using edge-clouds of mobile devices to reduce the load in traditional WiFi infrastructures for video dissemination applications. For this purpose, we designed and implemented a mobile application for video dissemination in sport venues that retrieves replays from a central server, through the access points in the WiFi infrastructure, into a smartphone. The fan's smartphones organize themselves into WiFi-Direct groups and exchange video replays whenever possible, bypassing the central server and access points. We performed a real-world experiment using the live TV feed for the Champions League game Benfica-Besiktas with the help of a group of volunteers using the application at the student's union lounge. The analysis of the logs strongly suggests that edge-clouds can significantly reduce the load in the access points at such large venues and improve quality of experience. Indeed, the edge-clouds formed were able to serve up to 80% of connected users and provide 56% of all downloads requested from within. © 2017 IEEE.

2017

Towards a middleware for mobile edge-cloud applications

Authors
Rodrigues, J; Marques, ERB; Lopes, LMB; Silva, FMA;

Publication
Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets - MECC '17

Abstract

2016

Benchmarking Wireless Protocols for Feasibility in Supporting Crowdsourced Mobile Computing

Authors
Rodrigues, J; Silva, J; Martins, R; Lopes, L; Drolia, U; Narasimhan, P; Silva, F;

Publication
DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, DAIS 2016

Abstract
Recent advances in mobile device technology have triggered research on using their aggregate computational and/or storage resources to form edge-clouds. Whilst traditionally viewed as simple clients, smart-phones and tablets today have hardware resources that allow more sophisticated software to be installed, and can be used as thick clients or even thin servers. Simultaneously, new standards and protocols, such as Wi-Fi Direct and Wi-Fi TDLS (Tunneled Direct Link Setup), have been established that allow mobile devices to talk directly with each other, as opposed to over the Internet or across Wi-Fi access points. This can, potentially, lead to ubiquitous, low-latency, device-to-device (D2D) communication. In this paper, we study whether D2D protocols can support mobile-edge clouds by benchmarking different protocols and configurations for a specific application. The results show that decentralized device-to-device techniques can be used to efficiently disseminate multimedia contents while diminishing contention in the wireless infrastructure, allowing for up to 65% traffic reduction at the access points.

2016

A safe-by-design programming language for wireless sensor networks

Authors
Lopes, L; Martins, F;

Publication
JOURNAL OF SYSTEMS ARCHITECTURE

Abstract
Wireless sensor networks are notoriously difficult to program and debug. This fact not only stems from the nature of the hardware, but also from the current approaches for developing programming languages and runtime systems for these platforms. In particular, current systems do not place enough stress on providing formal descriptions of the language and its runtime system, and on proving static properties, like type-safety and soundness. In this paper, we present the design, specification, and implementation of a programming language and a runtime system for wireless sensor networks that are safe by design. We say this in the sense that we can statically detect a large set of would-be runtime errors, and that the runtime system will not incorrectly execute an application, once the latter is deployed. We have a full prototype implementation of the system that supports SunSPOT devices, the simulation tool VisualSense, and local computer networks for fast deployment and testing of applications. Development is supported by an IDE implemented on top of the Eclipse tool that embeds both the compiler and the virtual machine seamlessly, and is used to produce software releases.

Supervised
thesis

2016

P3-Mobile Parallel Peer-to-Peer computing on mobile devices

Author
Daniel Filipe Pereira Moreira da Silva

Institution
UP-FCUP

2016

Energy Efficient Programming for SONAR Networks

Author
Vladir Lauro Souto Barbosa Vicente

Institution
UP-FCUP

2016

Planning and Coordination of Multiple Autonomous Vehicles

Author
Tiago Miguel Teixeira Sá Marques

Institution
UP-FCUP

2016

Towards a Middleware for Mobile-Edge-Cloud Applications

Author
João Filipe Rodrigues

Institution
UP-FCUP

2015

Multi-Classification using Inductive Logic Programming

Author
João Filipe Rodrigues

Institution
UP-FCUP