Talks

  • Gonçalo Tomás. From custom tests to common test. Code BEAM lite Munich, 2018.
  • Adam Lindberg. Evolution of GRiSP. Code BEAM Lite Munich, 2018.
  • Annette Bieniusa. AntidoteDB: highly available, transactional database. Code BEAM Lite Munich, 2018.
  • Carlos Baquero. CRDTs: From sequential to concurrent executions. Code Mesh London, Nov. 8, 2018.
  • Marc Shapiro, Bieniusa A., Preguiça N., Meiklejohn C, Balegas V. Just-Right Consistency: As available as possible, consistent when necessary, correct by design. Paris, Oct.2018.
  • Marc Shapiro. Just-Right Consistency: As available as possible, consistent when necessary. Invited talk. Workshop on Verification of Distributed Systems (colo- cated with NETYS 2018), May 6-8, 2018, Essaouira, Morocco.
  • Nuno Preguiça. Getting stronger with AntidoteDB. Invited talk. Lisbon IPFS Hack Week, May 2018.
  • Carla Ferreira. Verification tools for available and correct distributed applications. Invited talk. Workshop on Verification of Distributed Systems (VDS 2018), May 6-8, 2018, Essaouira, Morocco.
  • Ali Shoker. Proof of eXercise (PoX): When Sustainable Blockchains Meet Compu- tational Science. Talk at ERCIM Blockchain workshop. Amsterdam, May 2018.
  • Ali Shoker. As Secure as Possible Eventual Consistency. Invited talk. Protocol Labs workshop. Lisbon, May 2018.
  • Georges Younes, Paulo Sergio Almeida and Carlos Baquero. The Pitfalls in Achieving Tagged Causal Delivery, Talk in: Int. Workshop on Principles and Practice of Consistency for Distr. (PaPoC 2018), Porto, Portugal, April 23–26, 2018.
  • Carlos Baquero. CRDTs and Redis – From Sequential to Concurrent Executions. Invited talk. Redis Conference 2018, April 24-26, 2018, San Francisco. CA.
  • Carlos Baquero. Causality is Simple. Papers-we-Love Porto. March 22, 2018.
  • Sébastien Merle. From Cloud to Edge Networks. Code BEAM SF, San Francisco, USA, March 15-16, 2018.
  • Ali Shoker. Blockchains, the reason behind things. Talk at the Braga Bitcoin Ethereum & Blockchain Meetup. Braga. March 2018.
  • Nuno Afonso, Manuel Bravo, and Lu ́ıs Rodrigues. Causality for the Cloudlets: Offering Causality on the Edge With Small Metadata. Dagstuhl Seminar 18091, Feb. 25 – March 2, 2018, Wadern, Germany.
  • Annette Bieniusa. Highly-Available Applications Done Correct. Dagstuhl Seminar 18091, Feb. 25 – March 2, 2018, Wadern, Germany.
  • Manuel Bravo and Luis Rodrigues. Towards Affordable Externally Consistent Guarantees for Geo-Replicated Systems. Dagstuhl Seminar 18091, Feb. 25 – March 2, 2018, Wadern, Germany.
  • Bradley King. Consistency Compromises at the Coalface: Challenges from multi- petabyte real-world distributed systems. Dagstuhl Seminar 18091, Feb. 25 – March 2, 2018, Wadern, Germany.
  • Christopher Meiklejohn. “Towards” Homomorphic Computation for Distributed Computing. Dagstuhl Seminar 18091, Feb. 25 – March 2, 2018, Wadern, Germany.
  • NunoPreguiça. Enforcing SQL constraints in weakly consistent databases. Dagstuhl Seminar 18091, Feb. 25 – March 2, 2018, Wadern, Germany.
  • Marc Shapiro. Just-Right Consistency: As available as possible, as consistent as necessary, correct by design. Dagstuhl Seminar 18091, Feb. 25 – Mar. 2, 2018, Wadern, Germany.
  • Peter Van Roy. Elements of a Unified Semantics for Synchronization-free Programming Based on Lasp and Antidote. Dagstuhl Seminar 18091, Feb. 25 – Mar. 2, 2018, Wadern, Germany.
  • Nadezda Zryanina. GRiSP, Bare Metal Functional Programming. BOBkonf, Berlin, Germany, February 22, 2018.
  • Peer Stritzinger, Kilian Holzinger. Realtime Functional Reactive Programming with Erlang. Lambda Days, Krakow, Poland, February 22-23, 2018.
  • Claudia Zignaigo, Adam Lindberg. Visualizing Home Automation. Lambda Days, Krakow, Poland, February 22-23, 2018.
  • Ali Shoker. Everyone is Excited to Bitcoin and Blockchain, Shall I?. Invited talk. UMinho Semana da Engenharia Informatica: SEI 18. Braga, Feb. 2018.
  • Vitor Enes. Borrowing an Identity for a Distributed Counter. Invited talk. Protocol Labs Research Meeting 2018.
  • Annette Bieniusa. AntidoteDB. PL4DS: Workshop on Programming languages for Distributed Systems. Feb. 23, 2018, Darmstadt (Germany).
  • Peter Van Roy. Convergent computation and Lasp. PL4DS: Workshop on Programming languages for Distributed Systems. Feb. 23, 2018, Darmstadt (Germany).
  • Marc Shapiro. Just-Right Consistency: as available as possible, consistent when necessary, correct by design, dotScale : The European Tech Conference on Scalability, Distributed Systems & DevOps, 2018.
  • Bernardo Ferreira. Searching Encrypted Data in the Cloud: the Quest for Practical Security. Invited talk, 73rd Workshop of IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance. India, January 2018.
  • Peter Van Roy. LightKone Project: Lightweight Computation for Networks at the Edge. TEKK Tour Digital Wallonia, Mons, Belgium, Nov. 3, 2017.
  • José Proença and Carlos Baquero. Quality-Aware Reactive Programming for the Internet of Things (Slides), Conference (FSEN 2017), Tehran, Iran, April 26-28, 2017. (open access link).
  • Peter Van Roy.  Ditching the Data Center: How to Stop Worrying and Love the Edge.  Erlang User Conference 2017, Stockholm, June 8-9, 2017.
  • Ali Shoker. There are no BFT Fans Anymore… About Secure Eventual Consistency. Curry On! Barcelona, June 2017.
  • Christopher Meiklejohn. Scaling a Startup with a 21st Century Programming Language. Velocity 2017 Systems Engineering Conference, London, UK, Oct. 18-20, 2017.
  • Annette Bieniusa. Antidote – Just the Right Kind of Consistency for your Data. Haskell eXchange 2017, London, UK, Oct. 12-13, 2017.
  • Marc Shapiro. Antidote DB: Une base de données nuage pour la juste cohérence (AntidoteDB: A cloud database for just-right consistency). Paris Open Source Summit, Paris, France, Dec. 2017.
  • Marc Shapiro. Just-Right Consistency for File System Design. École Normale Supérieure, Paris, France, Nov. 2017.
  • Marc Shapiro. Just-Right Consistency. Dagstuhl Seminar 17451: New Challenges in Parallelism. Wadern, Germany, Nov. 5-10, 2017.
  • Peer Stritzinger. Robotics and Sensors Using Erlang on Embedded Systems with GRiSP. CodeMesh 2017, London, UK, Nov. 7-9, 2017.
  • Peter Van Roy. Building Robust Systems with Weakly Interacting Feedback Structures. CodeMesh 2017. London, UK, Nov. 7-9, 2017.
  • Peter Van Roy. LightKone Project: Lightweight Computation for Networks at the Edge. TEKK Tour Digital Wallonia, Mons, Belgium, Nov. 3, 2017.
  • Christopher Meiklejohn. Scaling a Startup with a 21st Century Programming Lan- guage. Velocity Systems Engineering Conference 2017, London, UK, Oct. 18-20, 2017.
  • Annette Bieniusa. Antidote – Just the Right Kind of Consistency for Your Data. Haskell eXchange 2017, London, UK, Oct. 12-13, 2017.
  • Marc Shapiro. Just-Right Consistency. La demie-heure de science, INRIA, Paris, France, Oct. 2017.
  • Claudia Doppioslash. Building Single Page Web Applications with Purescript and Erlang. Erlang User Conference 2017, Stockholm, Sweden, June 8-9, 2017.
  • Peer Stritzinger. Fixing Erlangs Distribution Protocol. Erlang User Conference 2017, Stockholm, Sweden, June 8-9 2017.
  • Peter Van Roy. Ditching the Data Center: How to Stop Worrying and Love the Edge. Erlang User Conference 2017, Stockholm, Sweden, June 8-9, 2017.
  • Ali Shoker. There are no BFT Fans Anymore … About Secure Eventual Consis- tency. Curry On!, Barcelona, Spain, June 2017.
  • Marc Shapiro. AntidoteDB: Une base de données Nuage pour la juste cohérence (AntidoteDB: A cloud database for just-right consistency). OpenSource Innovation Spring, Plaine St. Denis, France, May 23, 2017.
  • Marc Shapiro. AntidoteDB: A Developer-Friendly Cloud Database. Datageeks Paris, Paris, France, May 2017.
  • Marc Shapiro. Bridging the CAP gap with Just-Right Consistency. Joint invited talk, PaPoC workshop and LADIS workshop (colocated with EuroSys 2017), April 2017.
  • Peer Stritzinger. Fast-Path to Erlang Embedded: Wireless Embedded Erlang Applications with Grisp Hardware Boards and Toolchain. Erlang and Elixir Factory 2017, San Francisco, USA, March 23-24, 2017.
  • Claudia Doppioslash. Building a Graphical IDE in Elm/Purescript for an Em- bedded Language that Compiles to the Erlang VM. LambdaDays 2017, Krakow, Poland, February 9-10, 2017.
  • Peer Stritzinger. Wireless Small Embedded Erlang Applications with GRiSP Hardware Boards. LambdaDays 2017, Krakow, Poland, February 9-10, 2017.