Domain Specific Languages (DSLs) for Network Protocols (Position Paper)

Authors:
Saleem Bhatti;Edwin Brady;Kevin Hammond;James McKinna
Affiliations:
-;-;-;-
Venue:
ICDCSW '09 Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems Workshops
Year:
2009

Citing 0
Cited 5

Multiscale not multicore: efficient heterogeneous cloud computing

Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols

Fundamenta Informaticae - Dependently Typed Programming
IDRIS ---: systems programming meets full dependent types

Proceedings of the 5th ACM workshop on Programming languages meets program verification
Resource-Safe systems programming with embedded domain specific languages

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Next generation network architectures will benefit from the many years of practical experience that have been gained in designing, using and operating network protocols. Over time, the networking community has gradually improved its understanding of networked systems in terms of architecture, design, engineering and testing. However, as protocols and networked systems become more complex, it is our contention that it will be necessary for programming techniques to evolve similarly so that they better support the design, implementation and testing of both the functional and the non-functional requirements for the network protocols that will be used.We therefore envisage new levels of programming language support that permit: (a) the design and implementation of new protocols with provably correct construction; (b) inline testing; and (c) the expression of protocol behaviour within the design. Based on our ongoing work with both network protocols and programming language design, we believe that exploiting the capabilities of recent work in Domain Specific Languages (DSLs) will allow us to meet such requirements, allowing straightforward and ``correct-by-construction'' design and implementation of next generation network protocols.