Operating systems networking formal methods.

Netsys

World-class systems research in systems

Experts in multipath protocols (Multipath TCP, UET), lightweight virtualization (LightVM, Unikraft), network verification (Symnet, Vera, bf4) and indoor localization (AoA)

Award winning research

Best paper awards at Sigcomm and NSDI. Jochen Liedtke Young Researcher Award 2018. 28K citations on Google Scholar

Defining next generation networking for AI

Involved in standardization of Ultra Ethernet and actively developing the UCCL communication library

See more Contact us

Collaboration

Here's how you can work with us in Networking and systems research group

Joint R&D projects

Student thesis supervision (BSc, MSc, PhD)

Industry-sponsored research

Latest Research Publications

Explore our research in Networking and systems research group

Prose-to-P4: Leveraging High Level Languages
Mihai Valentin DUMITRU, VLAD ANDREI BADOIU, COSTIN RAICIU, UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN SERIES C-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE , 2025, 001562110500006
Generating P4 Data Planes Using LLMs
Mihai Valentin DUMITRU, VLAD ANDREI BADOIU, Alexandru-Mihai GHERGHESCU, COSTIN RAICIU, 2024 IEEE 25TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE SWITCHING AND ROUTING, HPSR 2024 IEEE, 2025, 001300550200006 10.1109/HPSR62440.2024.10635926
Agora: A Distributed Language Model Framework With API-Call Support for Integrated Climate Forecasting
Alexandra UDRESCU, DAN MATEI POPOVICI, IEEE ACCESS IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2025, 001489666400019 10.1109/ACCESS.2025.3568028
I’ve Got 99 Problems But FLOPS Ain’t One
Alexandru-Mihai GHERGHESCU, VLAD ANDREI BADOIU, ALEXANDRU AGACHE, Mihai Valentin DUMITRU, IULIU-OCTAVIAN VASILESCU, RADU-ALEXANDRU MANTU, COSTIN RAICIU, HOTNETS 2024 - Proceedings of the 2024 3rd ACM Workshop on Hot Topics in Networks ASSOC COMPUTING MACHINERY, 2024, 001429136900023 10.1145/3696348.3696893
Charting the Complexity Landscape of Compiling Packet Programs to Reconfigurable Switches
Balazs Vass, Erika R. Bérczi-Kovács, Adam Fraknoi, COSTIN RAICIU, Gabor Retvari, IEEE-ACM TRANSACTIONS ON NETWORKING IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2024, 001271439100001 10.1109/TNET.2024.3424337
A Code Analysis Tool to Help Students in the Age of Generative AI
DANIEL-FLORIN DOSARU, Diana-Maria SIMION, Andrei-Horia IGNAT, LORINA CRISTINA NEGREANU, ALEXANDRU CORNELIU OLTEANU, TECHNOLOGY ENHANCED LEARNING FOR INCLUSIVE AND EQUITABLE QUALITY EDUCATION, PT II, EC-TEL 2024 SPRINGER INTERNATIONAL PUBLISHING AG, 2024, 001332998900031 10.1007/978-3-031-72312-4_31
Loupe: Driving the Development of OS Compatibility Layers
Hugo Lefeuvre, Gaulthier Gain, VLAD ANDREI BADOIU, Daniela DINCA, Vlad Radu Schiller, COSTIN RAICIU, Felipe HUICI, Pierre Olivier, International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS ASSOC COMPUTING MACHINERY, 2024, 001209694600017 10.1145/3617232.3624861

Top Research Publications

Explore our top research in Networking and systems research group

Ad hoc positioning system (APS) using AOA
DRAGOS STEFAN NICULESCU, 22nd Annual Joint Conference of the IEEE Computer and Communications Societies IEEE, 2003, 000184745100168 10.1109/infcom.2003.1209196
Ad hoc positioning system (APS)
DRAGOS STEFAN NICULESCU, IEEE Global Telecommunications Conference (GLOBECOM 01) IEEE, 2001, 000178714800563 10.1109/glocom.2001.965964
DV based positioning in ad hoc networks
DRAGOS STEFAN NICULESCU, TELECOMMUNICATION SYSTEMS SPRINGER, 2003, 000184237400016 10.1023/a:1023403323460
TCP Extensions for Multipath Operation with Multiple Addresses
Alan FORD, COSTIN RAICIU, Mark HANDLEY, Olivier BONAVENTURE, RFC Editor, 2020, 10.17487/rfc6824
Clickos and the art of network function virtualization
COSTIN RAICIU, Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014 USENIX Association, 2014,
Improving datacenter performance and robustness with multipath TCP
COSTIN RAICIU, Sebastien BARRE, Christopher PLUNTKE, Adam GREENHALGH, Damon WISCHIK, Mark HANDLEY, ACM SIGCOMM Computer Communication Review ASSOC COMPUTING MACHINERY, 2011, 000302124800023 10.1145/2018436.2018467

Our Research Team

Meet the brilliant minds driving innovation in Networking and systems research group

Full Professor

Costin RAICIU

PR203

Full Professor

Dragos Stefan NICULESCU

PRECIS 203

Associate Professor, Faculty Council

Dan Matei POPOVICI

Full Professor

Lorina Cristina NEGREANU

PRECIS 203

Teaching Assistant

Vlad Andrei BADOIU

PR203

Recent books

Explore our books in Networking and systems research group

Formal languages & automata
LORINA CRISTINA NEGREANU, DAN MATEI POPOVICI, Politehnica Press, 2018,
Formal Languages and Automata - Lecture Notes
DAN MATEI POPOVICI, POLITEHNICA PRESS, 2018,
Infrastructuri și servicii pentru rețele mobile
DRAGOS STEFAN NICULESCU, POLITEHNICA PRESS, 2017,
Arhitecturi și Protocoale pentru Comunicații, Teorie și aplicații practice
MARIUS - CONSTANTIN VOCHIN, RADU CAIUS LUPU, DRAGOS STEFAN NICULESCU, Editura Politehica Press, 2016,
Advanced topics in distributed systems
COSTIN RAICIU, Politehnica Press, 2015,
Elemente de calculabilitate si complexitate
LORINA CRISTINA NEGREANU, DAN MATEI POPOVICI, POLITEHNICA PRESS, 2015,
A survey of Temporal Knowledge Representation and Reasoning
DAN MATEI POPOVICI, CIPRIAN MIHAI DOBRE, Editura Politehnica Press, 2012,