Talks

 

2019

 

2018

  • 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. November, 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. October, 2018
  • Marc Shapiro, Just-Right Consistency: As available as possible, As consistent as necessary, Correct by design. The European Tech Conference on Scalability, Distributed Systems & DevOps, Aubervilliers. Paris, France. June, 2018
  • Marc Shapiro. Just-Right Consistency: As available as possible, consistent when necessary. Workshop on Verification of Distributed Systems. Essaouira, Morocco. May, 2018
  • Nuno Preguiça. Getting stronger with AntidoteDB. Lisbon IPFS Hack Week. May, 2018
  • Carla Ferreira. Verification tools for available and correct distributed applications. Workshop on Verification of Distributed Systems (VDS 2018). Essaouira, Morocco. May, 2018
  • Ali Shoker. Proof of eXercise (PoX): When Sustainable Blockchains Meet Compu- tational Science. ERCIM Blockchain Workshop. Amsterdam. May, 2018
  • Ali Shoker. As Secure as Possible Eventual Consistency. Protocol Labs Workshop. Lisbon. May, 2018
  • Georges Younes, Paulo Sérgio Almeida and Carlos Baquero. The Pitfalls in Achieving Tagged Causal Delivery. International Workshop on Principles and Practice of Consistency for Distributed Systems (PaPoC 2018). Porto, Portugal. April, 2018
  • Carlos Baquero. CRDTs and Redis – From Sequential to Concurrent Executions. Redis Conference. San Francisco, CA. 2018
  • Carlos Baquero. Causality is Simple. Papers-we-Love Porto. March, 2018
  • Sébastien Merle. From Cloud to Edge Networks. Code BEAM SF. San Francisco, USA. March, 2018
  • Ali Shoker. Blockchains, the reason behind things. 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. Wadern, Germany. February, 2018
  • Annette Bieniusa. Highly-Available Applications Done Correct. Dagstuhl Seminar 18091. Wadern, Germany. February, 2018
  • Manuel Bravo and Luís Rodrigues. Towards Affordable Externally Consistent Guarantees for Geo-Replicated Systems. Dagstuhl Seminar 18091. Wadern, Germany. February, 2018
  • Bradley King. Consistency Compromises at the Coalface: Challenges from multi- petabyte real-world distributed systems. Dagstuhl Seminar 18091. Wadern, Germany. February, 2018
  • Christopher Meiklejohn. “Towards” Homomorphic Computation for Distributed Computing. Dagstuhl Seminar 18091. Wadern, Germany. February 2018
  • Nuno Preguiça. Enforcing SQL constraints in weakly consistent databases. Dagstuhl Seminar 18091. Wadern, Germany. February, 2018
  • Marc Shapiro. Just-Right Consistency: As available as possible, as consistent as necessary, correct by design. Dagstuhl Seminar 18091. Wadern, Germany. February, 2018
  • Peter Van Roy. Elements of a Unified Semantics for Synchronization-free Programming Based on Lasp and Antidote. Dagstuhl Seminar 18091. Wadern, Germany. February, 2018
  • Nadezda Zryanina. GRiSP, Bare Metal Functional Programming. BOBkonf. Berlin, Germany. February, 2018
  • Peer Stritzinger, Kilian Holzinger. Realtime Functional Reactive Programming with Erlang. Lambda Days. Krakow, Poland. February, 2018
  • Marc Shapiro. Antidote: A developer-friendly cloud database for just-right consistency. 4th International Conference on Advances in Computing & Communication Engineering (ICACCE). Paris, France. June, 2018
  • Peer Stritzinger and Adam Lindberg. 1000 podes, large messages, we want it all!. Prototype with new OTP 21. Code BEAM STO. Stockholm, Sweden. May, 2018
  • Annette Bieniusa. Just the right kind of Consistency!. Typelevel Summit Berlin. Berlin, Germany. May, 2018
  • Claudia Zignaigo, Adam Lindberg. Visualizing Home Automation. Lambda Days. Krakow, Poland. February, 2018
  • Ali Shoker. Everyone is Excited to Bitcoin and Blockchain, Shall I?. UMinho Semana da Engenharia Informática: SEI 18. Braga. February, 2018
  • Vitor Enes. Borrowing an Identity for a Distributed Counter. Protocol Labs Research Meeting 2018
  • Annette Bieniusa. AntidoteDB. PL4DS: Workshop on Programming languages for Distributed Systems. Darmstadt, Germany. February, 2018
  • Peter Van Roy. Convergent computation and Lasp. PL4DS: Workshop on Programming languages for Distributed Systems. Darmstadt, Germany. February, 2018
  • 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. 73rd Workshop of IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance. India. January, 2018

 

2017

  • Peter Van Roy. LightKone Project: Lightweight Computation for Networks at the Edge. TEKK Tour Digital Wallonia. Mons, Belgium. November, 2017
  • José Proença and Carlos Baquero. Quality-Aware Reactive Programming for the Internet of Things (Slides). Conference FSEN 2017. Tehran, Iran. April, 2017
    Open Access
  • Peter Van Roy.  Ditching the Data Center: How to Stop Worrying and Love the Edge.  Erlang User Conference 2017. Stockholm. June, 2017
  • Ali Shoker. There are no BFT Fans Anymore… About Secure Eventual Consistency. Curry On! Barcelona, Spain. June, 2017
  • Christopher Meiklejohn. Scaling a Startup with a 21st Century Programming Language. Velocity 2017 Systems Engineering Conference. London, UK. October, 2017
  • Annette Bieniusa. Antidote – Just the Right Kind of Consistency for your Data. Haskell eXchange 2017. London, UK. October, 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. December, 2017
  • Marc Shapiro. Just-Right Consistency for File System Design. École Normale Supérieure. Paris, France. November, 2017
  • Marc Shapiro. Just-Right Consistency. Dagstuhl Seminar 17451: New Challenges in Parallelism. Wadern, Germany. November, 2017
  • Peer Stritzinger. Robotics and Sensors Using Erlang on Embedded Systems with GRiSP. CodeMesh 2017. London, UK. November, 2017
  • Peter Van Roy. Building Robust Systems with Weakly Interacting Feedback Structures. CodeMesh 2017. London, UK.  November, 2017
  • Peter Van Roy. LightKone Project: Lightweight Computation for Networks at the Edge. TEKK Tour Digital Wallonia. Mons, Belgium. November, 2017
  • Christopher Meiklejohn. Scaling a Startup with a 21st Century Programming Lan- guage. Velocity Systems Engineering Conference 2017. London, UK.  October, 2017
  • Annette Bieniusa. Antidote – Just the Right Kind of Consistency for Your Data. Haskell eXchange 2017. London, UK. October, 2017
  • Marc Shapiro. Just-Right Consistency. La demie-heure de science. INRIA, Paris, France. October, 2017
  • Claudia Doppioslash. Building Single Page Web Applications with Purescript and Erlang. Erlang User Conference 2017. Stockholm, Sweden. June, 2017
  • Peer Stritzinger. Fixing Erlangs Distribution Protocol. Erlang User Conference 2017. Stockholm, Sweden. June, 2017
  • Peter Van Roy. Ditching the Data Center: How to Stop Worrying and Love the Edge. Erlang User Conference 2017. Stockholm, Sweden. June, 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, 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. PaPoC Workshop and LADIS Workshop. 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, US. March, 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, 2017
  • Peer Stritzinger. Wireless Small Embedded Erlang Applications with GRiSP Hardware Boards. LambdaDays 2017. Krakow, Poland, February, 2017