PL/SE for Concurrent / Distributed Systems
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 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:20 - 12:00
|PL/SE for Concurrent / Distributed Systems|
Discussions with Experts