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?