From Navigators

Revision as of 10:30, 24 September 2015 by Pcosta (Talk | contribs)
Jump to: navigation, search

This is the historical archive of Navtalks. For the current schedule, see Navtalks.


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
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 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)
Personal tools
Navigators toolbox