Fixed it for you: protocol repair using lineage graphs
Fixed it for you: protocol repair using lineage graphs Oldenburg et al., CIDR’19
This is a cool paper on a number of levels. Firstly, the main result that catches my eye is that it’s possible to build a distributed systems ‘debugger’ that can suggest protocol-level fixes. E.g. say you have a system that sometimes sends acks before it really should, resulting in the possibility of state loss. Nemo can uncover this and suggest a change to the protocol that removes the window. Secondly, it uses an obscure (from the perspective of most readers of this blog) programming language called Dedalus. Dedalus is a great example of how a different programming paradigm can help us to think about a problem differently and generate new insights and possibilities. (Dedalus is a temporal logic programming language based on datalog). Now, it would be easy for practitioner readers to immediately dismiss the work as not relevant to them given they won’t be coding systems in Dedalus anytime soon. The third thing I want to highlight in this introduction therefore is the research strategy:
Nemo operates on an idealized model in which distributed executions are centrally simulated, record-level provenance of these Continue reading
NetScout expects to start to see the benefits of 5G as well as its restructuring and headcount reduction plans over the coming quarters.
The test took place at Verizon’s 5G test bed in Houston. Company engineers installed the equipment and software at a network facility closer to the network edge.
There are two strategic elements to the platform: One is that Dell considers mid-market security to be an underserved market. The other is that endpoints are particularly vulnerable.
AvidThink (formerly SDxCentral Research) has put together a research brief that explains the infrastructure changes required, and the role that software-defined and cloud-native technologies will play in the 5G world, including supporting network slicing.
Seven months after being named Interim CEO, Intel makes it official.
The Finland-based vendor saw strong Q4 performance in North America as U.S. operators ramp up their 5G rollouts. But it warned about a "particularly weak" Q1.
Last year, Alibaba Group restructured its cloud computing arm in an effort to make Alibaba Cloud its “main business” in the future. AliCloud grew 84 percent year over year in the most recent quarter.
Some companies left the university-based research group to re-asses their 5G efforts. There are now 14 affiliates, each chipping in $100,000 toward 5G research.
Ed Meyercord noted a customer win against Huawei and said security concerns about the Chinese vendor are “creating an opportunity for us in the marketplace.”
Is curated open-source still open source?