Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online

Looking for interesting research questions regarding the role of PL/SE for concurrent and distributed systems? Join us on July 16 at Discussions with Experts on PL/SE for concurrent and distributed systems! Here are some examples for research questions, but that are certainly more:

  • (How) can programming abstractions help manage the complexity of distributed applications?
  • (How) can PL research help transparently establish correctness guarantees of distributed applications without sacrificing availability?
  • What are the tradeoffs between supporting programmable consistency (make consistency levels first-class) and automatically inferring the needed consistency levels and compositions thereof from application-level safety invariants?
  • What is the rolle of PL research in serverless computing?
  • What are the additional challenges of implementing blockchain distributed systems?
  • What are the trade-offs in the consensus implementation in blockchains?
  • How can PL research help improve the quality and dependability/security of smart contracts?
  • Advanced type systems such as Rust’s are becoming mainstream. How can we use this opportunity to allow mainstream adoption of type systems which help write correct concurrent and distributed code?
  • We often motivate session types with protocols like SMTP, but these are often hidden away behind libraries. What are the “killer applications” of behavioural types in modern distributed applications?
  • Many behavioural type systems are very heavyweight, requiring applications to be written in a particular style, or requiring a lot from the host language. Is there a ‘sweet spot’ which may guarantee less, but is easier to use?
  • What are the tradeoffs between using multiparty (= multitier/choreographic) languages for programming distributed and concurrent applications versus a programming model that features local processes and advanced type systems for orchestrating the global behavior?
  • Can choreographic / multiparty descriptions of communication patterns be used as an input to software testing approaches?

Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:20 - 12:00
PL/SE for Concurrent / Distributed SystemsDiscussions with Experts at Discussions with Experts (room 1)
Chair(s): Simon Fowler University of Glasgow, Burcu Kulahcioglu Ozkan Delft University of Technology, Mira Mezini TU Darmstadt, Germany
PL/SE for Concurrent / Distributed Systems
Discussions with Experts
Burcu Kulahcioglu Ozkan Delft University of Technology, Simon Fowler University of Glasgow, Mira Mezini TU Darmstadt, Germany