Navtalks/Archive
From Navigators
(Difference between revisions)
| Line 1: | Line 1: | ||
This is the historical archive of Navtalks. For the current schedule, see [[Navtalks]]. | This is the historical archive of Navtalks. For the current schedule, see [[Navtalks]]. | ||
| + | |||
| + | ==Fall 2015== | ||
| + | |||
==Spring 2015== | ==Spring 2015== | ||
| Line 28: | Line 31: | ||
|- | |- | ||
|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 | |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 | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
|- | |- | ||
|} | |} | ||
Revision as of 10:32, 24 September 2015
This is the historical archive of Navtalks. For the current schedule, see Navtalks.
Contents[hide] |
Fall 2015
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)
