Talks

 

2019

  • Sara Hamouda. AntidoteDB and CRDTs. University of Sydney. Sydney, Australia, December, 2019
  • Sara Hamouda. AntidoteDB: A planet scale transactional database. Australian National University.  Australia, December, 2019
  • Igor Kopestenski. IoT Edge Computing with Bare-Metal Erlang. Code- BEAM Lite 2019. Amsterdam, The Netherlands, November 2019
  • Adam Lindberg. Hands on Embedded-Systems with GRiSP. Code BEAM Lite. Berlin, Germany. October 2019
  • Peter Van Roy. Reflections on Scalability and Consistency. Workshop on Planetary-Scale Distributed Systems (W-PSDS 2019, colocated with SRDS 2019). Lyon, France. October 2019
  • Brad King. Do you really need a Distributed System? Workshop on Planetary-Scale Distributed Systems (W-PSDS 2019, colocated with SRDS 2019). Lyon, France. October 2019
  • Carlos Baquero. Efficient Synchronization of State-based CRDTs. Workshop on Planetary-Scale Distributed Systems (W-PSDS 2019, colocated with SRDS 2019). Lyon, France. October 2019
  • Seyed Hossein Haeri and Peter Van Roy. Designing Distributed Systems with Piecewise Relative Observable Purity. Dagstuhl Seminar 19442, Programming Languages for Distributed Systems and Distributed Data Management. Wadern, Germany. October 2019
  • Marc Shapiro. Just-Right Consistency/Living on the edge, safely. Dagstuhl Seminar 19442, Programming Languages for Distributed Systems and Distributed Data Management. Wadern, Germany. October 2019
  • Marc Shapiro. The programming continuum —Centre to edge. Dagstuhl Seminar 19442, Programming Languages for Distributed Systems and Distributed Data Management. Wadern, Germany. October 2019
  • Peter Van Roy. Designing distributed systems with piecewise relative observable purity. Dagstuhl Seminar 19442, Programming Languages for Distributed Systems and Distributed Data Management. Wadern, Germany. October 2019
  • Laurent Prosperi | Towards high-level programming for distributed systems. Dagstuhl Seminar 19442, Programming Languages for Distributed Systems and Distributed Data Management. Wadern, Germany. October 2019
  • Annette Bieniusa | Access Control in Weekly Consistent Systems. Dagstuhl Seminar 19442, Programming Languages for Distributed Systems and Distributed Data Management. Wadern, Germany. October 2019
  • Carla Ferreira | IPA: Invariant Preserving Applications. Dagstuhl Seminar 19442, Programming Languages for Distributed Systems and Distributed Data Management. Wadern, Germany. October 2019
  • Carlos Baquero: Aggregation is not replication. Dagstuhl Semi- nar 19442, Programming Languages for Distributed Systems and Distributed Data Management. Wadern, Germany. October 2019
  • Peer Stritzinger, Adam Lindberg. Scaling Erlang Distribution. ACM Erlang Workshop (colocated with ICFP 2019). Berlin. August 2019
  • Annette Bieniusa. Access control in Weakly Consistent Systems. Participation in the Shonan Seminar “Programming Language Support for Data-intensive Applications”. Tokyo. July, 2019
  • Carla Ferreira. Robust contract evolution in a microservice architecture. VDS @ NETYS 2019 Invited Talk. Marrakesh, Morocco. June, 2019
  • Marc Shapiro. Living on the edge, safely or: Life without consensus. VDS 2019 Invited Talk. Marrakesh, Morocco. June, 2019
  • Marc Shapiro. The programming continuum from core to edge and back. VDS 2019 Invited Talk. Marrakesh, Morocco. June, 2019
  • Ali Shoker. Blockchain Alternatives. 11th edition of the International Spring School on Distributed Systems (METIS 2019). Benguerir, Morocco. June, 2019
  • Peer Stritzinger, Adam Lindberg. Erlang distribution: going beyond the fully connected mesh. Code BEAM STO 2019. Stockholm. May 2019
  • Peter Van Roy. Why Time is Evil in Distributed Systems and What To Do About It. CodeBEAM 2019. Stockholm, Sweden. May, 2019
  • Carla Ferreira. Verification Techniques for correct cloud applications. Participation in the Shonan Seminar “Programming Languages for Distributed Systems”. Tokyo. May, 2019
  • Carlos Baquero. High Availability under Eventual Consistency. Participation in the Shonan Seminar “Programming Languages for Distributed Systems”. Tokyo. May, 2019
  • Marc Shapiro. Life Without Consensus. Event entitled “Taking Stock of Distributed Computing. France. May, 2019
  • Igor Kopestenski. Bare metal Erlang on GRiSP embedded systems. Elixir Belgium group. Brussels, Belgium. April, 2019
  • Paulo Sérgio Almeida. Efficient Synchronization of State-based Conflict-Free Replicated Datatypes. Kaiserslautern, Germany. April, 2019
  • Carla Ferreira. Techniques for safe and highly available cloud applications. PaPoC 2019 Keynote Talk. Dresden, Germany. March, 2019
  • Peer Stritzinger. Erlang Distribution via UDP combined with Ethernet TSN. Code BEAM SF 2019. San Francisco. February, 2019
  • Peter Van Roy. Practical edge computing with LiRA. CETIC Workshop on Edge Computing Charleroi. Belgium. January, 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
  • Mar Shapiro. Just-Right Consistency: As available as possible, consistent when necessary. 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