activity
20162026
most citedLarge Language Models for Code: Security Hardening and Adversarial Testing

134 citations · 518 across the 106 of their papers we have counts for

collaborators
Showing cs.NIShow all

2 papers · 1 filter

cs.NI2022★ 8 cited

Learning to Configure Computer Networks with Neural Algorithmic Reasoning

Luca Beurer-Kellner, Martin Vechev, Laurent Vanbever +1

We present a new method for scaling automatic configuration of computer networks. The key idea is to relax the computationally hard search problem of finding a configuration that s…

cs.NI2016

Network-wide Configuration Synthesis

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever +1

Computer networks are hard to manage. Given a set of high-level requirements (e.g., reachability, security), operators have to manually figure out the individual configuration of p…