Filters








11 Hits in 3.4 sec

Merlin: a language server for OCaml (experience report)

Frédéric Bour, Thomas Refis, Gabriel Scherer
2018 Proceedings of the ACM on Programming Languages  
We report on the experience of developing Merlin, a language server for the OCaml programming language in development since 2013.  ...  We expect this experience report to be of interest to authors of interactive language tooling for any programming language; many design choices may be reused, and some hard-won lessons can serve as warnings  ...  We use the term language server to refer to a tool providing this language-aware logic 1 . Merlin is a language server for the OCaml programming language.  ... 
doi:10.1145/3236798 dblp:journals/pacmpl/BourRS18 fatcat:mfzk2d74fbcu5k3hokwv2suszm

Merlin

Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gun Sirer, Nate Foster
2014 Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies - CoNEXT '14  
This paper presents Merlin, a new framework for managing resources in software-defined networks. With Merlin, administrators express high-level policies using programs in a declarative language.  ...  Experiments demonstrate the expressiveness and effectiveness of Merlin on realworld topologies and applications.  ...  Acknowledgements The authors wish to thank Ricardo Padilha for his help with setting up experiments.  ... 
doi:10.1145/2674005.2674989 dblp:conf/conext/SouleBMPKSF14 fatcat:ja4fovics5azdgv4arx32grulq

Merlin: A Language for Provisioning Network Resources [article]

Robert Soulé and Shrutarshi Basu and Parisa Jalili Marandi and Fernando Pedone and Robert Kleinberg and Emin Gün Sirer and Nate Foster
2014 arXiv   pre-print
This paper presents Merlin, a new framework for managing resources in software-defined networks. With Merlin, administrators express high-level policies using programs in a declarative language.  ...  Experiments demonstrate the expressiveness and scalability of Merlin on real-world topologies and applications.  ...  For all three experiments, we measured the time needed for negotiators to verify a delegated policy against the original policy. We report the mean and standard deviation over ten runs.  ... 
arXiv:1407.1199v1 fatcat:r2cpysvuozhd7mdsquq7iwwatu

Event-driven network programming

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Černý
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
We define an extension of the NetKAT language with mutable state, give semantics to stateful programs using NESs, and discuss provably-correct strategies for implementing NESs in SDNs.  ...  Acknowledgments Many thanks to the anonymous PLDI reviewers for offering helpful and constructive comments, as well as Zach Tatlock for shepherding our paper and providing useful feedback.  ...  [17] reports up to 10s for a single switch update).  ... 
doi:10.1145/2908080.2908097 dblp:conf/pldi/McClurgHFC16 fatcat:yeb5gkkqkfaefpr4u22fthugx4

Event-driven network programming

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Černý
2016 SIGPLAN notices  
We define an extension of the NetKAT language with mutable state, give semantics to stateful programs using NESs, and discuss provably-correct strategies for implementing NESs in SDNs.  ...  Acknowledgments Many thanks to the anonymous PLDI reviewers for offering helpful and constructive comments, as well as Zach Tatlock for shepherding our paper and providing useful feedback.  ...  [17] reports up to 10s for a single switch update).  ... 
doi:10.1145/2980983.2908097 fatcat:zuiktfwr2bctviz6wxgabd7sza

The Coq Proof Assistant, version 8.10.0 [article]

The Coq Development Team
2019 Zenodo  
It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.  ...  Coq version 8.10 contains two major new features: support for a native fixed-precision integer type and a new sort SProp of strict propositions.  ...  The Coq Reference Manual, Release 8.10.0 See the file Nsatz.v for many examples, especially in geometry. Generalized rewriting  ... 
doi:10.5281/zenodo.3476303 fatcat:nq2hvuywmre3xmbaqly2xxt6za

ASSESSMENT OF DISAGGREGATING THE SDN CONTROL PLANE

Adib Rastegarnia
2019
Disaggregation allows a programmer to choose a programming language that is appropriate for each microservice.  ...  In addition, we present a software defined network programming framework called Umbrella that provides a set of abstractions that programmers can use for writing of SDN management applications independent  ...  from existing abstractions. • Merlin: In [34] , the authors present a policy based network programming language, Merlin, a declarative language based on regular expressions.  ... 
doi:10.25394/pgs.10325111.v1 fatcat:ho4kijp7qrbpljnzybgquvuz24

Temporal NetKAT

Ryan Beckett, Michael Greenberg, David Walker
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
Oftentimes, these systems are disjoint-one language for programming and another for verification, and yet another for run-time monitoring and debugging.  ...  Over the past 5-10 years, the rise of software-defined networking (SDN) has inspired a wide range of new systems, libraries, hypervisors and languages for programming, monitoring, and debugging network  ...  This work was supported in part by the NSF under grant CNS 1111520 and in part by a gift from CISCO.  ... 
doi:10.1145/2908080.2908108 dblp:conf/pldi/BeckettGW16 fatcat:cqcsc2ljkbhb7idou6bnufkhtu

Temporal NetKAT

Ryan Beckett, Michael Greenberg, David Walker
2016 SIGPLAN notices  
Oftentimes, these systems are disjoint-one language for programming and another for verification, and yet another for run-time monitoring and debugging.  ...  Over the past 5-10 years, the rise of software-defined networking (SDN) has inspired a wide range of new systems, libraries, hypervisors and languages for programming, monitoring, and debugging network  ...  This work was supported in part by the NSF under grant CNS 1111520 and in part by a gift from CISCO.  ... 
doi:10.1145/2980983.2908108 fatcat:ue465yzk3nhixjlcotcd6xyiua

Network operator intent : a basis for user-friendly network configuration and analysis [article]

Andrew Curtis-Black, University Of Canterbury
2022
We use these concepts, and our taxonomy, as the basis for a language for querying both business- and network-domain data.  ...  This requires a high degree of expertise and experience, and even then, mistakes are common.  ...  advice; Andreas and Matthias, for their guidance, kindness, and for teaching me so much; everyone in the Computer Science and Software Engineering department for nearly ten years of education, opportunities  ... 
doi:10.26021/12540 fatcat:ngvrjlrzbbe75c5nd2d2w5wrua

Dagstuhl Reports, Volume 7, Issue 1, January 2017, Complete Issue [article]

2017
Dagstuhl Reports, Volume 7, Issue 1, January 2017, Complete Issue  ...  For example, if there is a polynomial time algorithm that, given a planar graph, outputs a maximum independent set of n vertices with probability exp(−n 1− ) for some > 0, then NP ⊆ coNP/poly.  ...  We intend to propose a follow-on seminar on a similar topic in the future. This report contains the abstracts of the talks and software demonstrations, and summaries of the group discussion sessions.  ... 
doi:10.4230/dagrep.7.1 fatcat:eb5yydhkhnb4xpbvalztqllpt4