Navtalks/Archive
From Navigators
(Difference between revisions)
Line 2: | Line 2: | ||
==Fall 2015== | ==Fall 2015== | ||
+ | |||
+ | {| class="wikitable" style="font-size: 10pt; text-align: center; width: 100%;" | ||
+ | | style="font-size: 12pt; width: 5%;" |'''Date''' || colspan="2" style="font-size: 12pt; width: 37%;" |'''Presentation A''' || colspan="2" style="font-size: 12pt; width: 37%;" |'''Presentation B''' || colspan="2" style="font-size: 12pt; width: 5%;" | '''Presentation C''' | ||
+ | |- | ||
+ | | '''Fall'15''' || style="width: 10%;" | '''Presenter''' || '''Title''' || style="width: 10%;" |'''Presenter''' || '''Title''' || style="width: 7%;" | '''Presenter''' || '''Title''' | ||
+ | |- | ||
+ | |Sep-25 || João Sousa || Separating the WHEAT from the Chaff:<br>An Empirical Design for<br>Geo-Replicated State Machines || Bruno Vavala || Securing Passive Replication Through Verification || Vinícius Cogo || A High-Throughput Method to Detect<br>Privacy-Sensitive Human Genomic Data | ||
+ | |- | ||
+ | |Oct-09 || Miguel Garcia || Intrusion tolerance, make it last! || Pedro Sá da Costa || Dependable MapReduce in a Cloud of Clouds || - || - | ||
+ | |- | ||
+ | |Oct-23 || Max Alaluna || SuperCloud: The first demo is the hardest <br> | ||
+ | <span style="font-size: 8pt"> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/d/d7/2015.10.23_Navtalk_MaxAlaluna.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/3/3b/1512.01196v1_%28Literally%29_above_the_clouds_virtualizing_the_network_over_multiple_clouds.pdf paper] </span> | ||
+ | || Tulio Ribeiro|| Mesobi: Memória em Software Transacional Tolerante a Faltas Bizantinas || - || - | ||
+ | |- | ||
+ | |Nov-06 || Vinícius Cogo || Genomes in the cloud: Dependable please, but affordable! || Regivaldo Costa || An SDN-based approach to manage and improve BGP security || - || - | ||
+ | |- | ||
+ | |Nov-13 @2pm || Alexander Binun (Ben-Gurion University of the Negev) || Self-Stabilizing Virtual Machine Hypervisor Architecture for Resilient Cloud || - || - || - || - | ||
+ | |- | ||
+ | |Nov-20 || Pradeeban Kathiravelu (IST-UL) || Cassowary: Middleware Platform for Context-Aware Smart Buildings with Software-Defined Sensor Networks <br> | ||
+ | <span style="font-size: 8pt"> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/d/d8/Navtalk20151120_Kathiravelu.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/9/90/Navtalk20151120_Kathiravelu.paper.pdf paper] </span> | ||
+ | || Gonçalo Jesus || Dependable monitoring in aquatic wireless sensor networks || - || - | ||
+ | |- | ||
+ | |Dec-04 || José Rufino || Mechanisms to Enforce Dependability and Timeliness in Wireless Communications <br> | ||
+ | <span style="font-size: 8pt"> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/5/5d/WiSEE-2014-NavTalk-2015-Public_copy_4.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/a/a9/Document_for_Publication-Souza2014WiEEE.pdf paper] </span> | ||
+ | || Ricardo Mendes || Janus: A User-defined Cloud-backed Storage || - || - | ||
+ | |- | ||
+ | |Dec-18 || Fernando Alves || Vulnerability discovery in powerline communication || André Mantas || Distribution, fault tolerance & consistency in SDN control: Pick three <br> | ||
+ | <span style="font-size: 8pt"> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/3/3f/NavTalk_Distributed_and_FT_Control_Plane_for_SDN_Andre_Mantas.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/0/0a/ConsistentFTSDN.pdf paper] </span> | ||
+ | || - || - | ||
+ | |- | ||
+ | |} | ||
Revision as of 13:58, 5 July 2016
This is the historical archive of Navtalks. For the current schedule, see Navtalks.
Contents[hide] |
Fall 2015
Date | Presentation A | Presentation B | Presentation C | |||
Fall'15 | Presenter | Title | Presenter | Title | Presenter | Title |
Sep-25 | João Sousa | Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines | Bruno Vavala | Securing Passive Replication Through Verification | Vinícius Cogo | A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data |
Oct-09 | Miguel Garcia | Intrusion tolerance, make it last! | Pedro Sá da Costa | Dependable MapReduce in a Cloud of Clouds | - | - |
Oct-23 | Max Alaluna | SuperCloud: The first demo is the hardest | Tulio Ribeiro | Mesobi: Memória em Software Transacional Tolerante a Faltas Bizantinas | - | - |
Nov-06 | Vinícius Cogo | Genomes in the cloud: Dependable please, but affordable! | Regivaldo Costa | An SDN-based approach to manage and improve BGP security | - | - |
Nov-13 @2pm | Alexander Binun (Ben-Gurion University of the Negev) | Self-Stabilizing Virtual Machine Hypervisor Architecture for Resilient Cloud | - | - | - | - |
Nov-20 | Pradeeban Kathiravelu (IST-UL) | Cassowary: Middleware Platform for Context-Aware Smart Buildings with Software-Defined Sensor Networks | Gonçalo Jesus | Dependable monitoring in aquatic wireless sensor networks | - | - |
Dec-04 | José Rufino | Mechanisms to Enforce Dependability and Timeliness in Wireless Communications | Ricardo Mendes | Janus: A User-defined Cloud-backed Storage | - | - |
Dec-18 | Fernando Alves | Vulnerability discovery in powerline communication | André Mantas | Distribution, fault tolerance & consistency in SDN control: Pick three | - | - |
Spring 2015
Presentation A | Presentation B | |||
2015-Mar-13 | Max Silva | Projeto de rede WAN – estudo de caso: rede do Exército Brasileiro | Pedro Costa | An Efficient MapReduce Middleware to Tolerate Cloud Faults |
2015-Abr-17 | Francisco Melo (EDP Distribuição) | Desafios da EDP Distribuição nas redes inteligentes | ||
2015-Mai-15 | Aryan TaheriMonfared | SDN, NFV, and Cloud Computing: beyond the buzz | João Sousa | Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines |
2015-Jun-05 | Ricardo Fonseca | SDN-based Network Monitoring Under Attack | Radu Onica | Fault Tolerant Precision Time Protocol for Smart Grids |
Fall 2014
Presentation A | Presentation B | |||
Date | Presenter | Title | Presenter | Title |
2014-Oct-24 | Fernando M.V. Ramos | On the Design of Practical Fault-Tolerant SDN Controllers | Paulo Ferreira | The anatomy of a Strongly Consistent Distributed SDN Controller |
2014-Nov-07 | André Nogueira | Elastic State Machine Replication with CREST | Alysson Bessani | CHARON: A Dependable Biobank Data Sharing and Storage Infrastructure using the Cloud-of-Clouds |
2014-Nov-28 | Eric Vial | Evaluation of Safety Rules in a Safety Kernel-based Architecture | António Casimiro | Concepts and solutions for safe, cooperative systems - the KARYON approach |
Fall 2013
Presentation A | Presentation B | |||
Date | Presenter | Title | Presenter | Title |
2013-Oct-8 | Paulo Veríssimo | Some notes about research in the Navigators group | Fábio Botelho | On the feasibility of a consistent and fault-tolerant data store for SDNs |
2013-Nov-1 | Alysson Bessani | The final demo of TClouds | Vinícius Cogo | Best practices and advanced usage of Quinta |
2013-Nov-15 | André Nogueira | FT-Tolerant Elastic Raw Storage | António Casimiro | Resilient monitoring of cloud infrastructures: TRONE and Fast-IDP |
2013-Nov-29 | Diego Kreutz | The dark side of SDN and OpenFlow | Alysson Bessani | Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces |
2013-Dec-13 | Tiago Martins | An overview of the Intrusion Detection field | Pedro Ferreira | An extreme computing approach to large-scale energy efficiency in households |
2014-Jan-24 | João Craveiro | Real-time scheduling in multicore time- and space-partitioned architectures | João Carraca | Information security in time- and space-partitioned architectures for aerospace systems |
Fall 2011
- 20/09/11 - How to do research in Navigators/LaSIGE (Alysson and Antonio) and SecFuNet: Security for Future Networks (Diego Kreutz)
- 04/10/11 - Optimal Randomized Consensus in Normal Situations (Bruno Vavala) and OpenStack Cloud Manager - Installation and Scheduling (Wojciech Ozga)
- 18/10/11 - Writing and speaking science: tips and common mistakes to avoid (João Craveiro) and An Introduction to Coding Theory and LDPC codes (Hossein Rouhani)
- 22/11/11 - Byzantine Fault-Tolerant MapReduce: Faults are not just Crashes (practice for talk CloudComm'11 - Pedro Costa) and Using Behavioral Profiles to Detect Software Flaws in Network Servers (practice talk for ISSRE'11 - João Antunes)
- 06/12/11 - Trustworthy and Resilient Monitoring System for Cloud Infrastructures (Smruti)
Spring 2011
- 01/02/11 - MASSIF Brainstorm (Nuno and Bruno)
- 08/02/11 - MASSIF Brainstorm (Henrique and Antonio)
- 15/02/11 - TCLOUDS Brainstorm (Paulo and Miguel)
- 22/02/11 - TCLOUDS Brainstorm (Alysson and Bernhard)
- 22/03/11 - TRONE Brainstorm (Antonio and Marcelo)
- 05/04/11 - Hadoop MapReduce BFT (Pedro Costa) and DepSky: Dependable and Secure Storage in a Cloud-of-Clouds (practice talk for EuroSys'11 - Alysson)
- 17/05/11 - Reducing Channel Change Delay in IPTV (Fernando Ramos) andTowards Intrusion-Tolerance aware scheduling policies for Cloud Computing (Vinícius Cogo)
- 31/05/11 - TCLOUDS AppEngine: Towards a Cloud-of-Clouds Platform as a Service (Alysson Bessani) and Development and Update of Aerospace Applications in Partitioned Architectures (Joaquim Rosa)
- 14/06/11 - Wormhole Architecture Applied to Mobile Robots (Gonçalo Cruchinho) and TBD
- 21/06/11 - Practice talks for DSN (Miguel, Alysson, ?)
- 05/07/11 - DSN Overview (Alysson) and Lightweight Adaptation in Wireless Sensor Networks (Luís Marques)
Fall 2010
- 28/09/10 - An introduction to the new Navigators testbed (Marcelo Pasin and Vinicius Colgo)
- 19/10/10 - From Static to Adaptive Configuration of Distributed Protocols (Antonio Casimiro) and The FITCH Architecture (Marcelo Pasin)
- 02/11/10 - BFT State Machine Replication for the Masses (Alysson Bessani)
- 16/11/10 - Adaptability Support in Time- and Space-Partitioned Aerospace Systems (João Craveiro) and Life at Google (Mônica Dixit)
- 30/11/10 - Resilient Middleware for a Multi-Robot Team (Eric Vial) and Enforcing Dependability and Timeliness in Controller Area Networks (Ricardo Pinto)
- 14/12/10 - Inaccessibility in IEEE 802.15.4 Wireless Networks (Jeferson Souza) and Identification of Inconsistencies Among Diverse Replicas (João Antunes)