Search Results

Documents authored by Panda, Aurojit

Document
Complete Volume
DOI: 10.4230/OASIcs.NINeS.2026
OASIcs, Volume 139, NINeS 2026, Complete Volume

Authors: Katerina Argyraki and Aurojit Panda

Published in: OASIcs, Volume 139, 1st New Ideas in Networked Systems (NINeS 2026)

Abstract
OASIcs, Volume 139, NINeS 2026, Complete Volume
Cite as

1st New Ideas in Networked Systems (NINeS 2026). Open Access Series in Informatics (OASIcs), Volume 139, pp. 1-794, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@Proceedings{argyraki_et_al:OASIcs.NINeS.2026,
  title =	{{OASIcs, Volume 139, NINeS 2026, Complete Volume}},
  booktitle =	{1st New Ideas in Networked Systems (NINeS 2026)},
  pages =	{1--794},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-414-7},
  ISSN =	{2190-6807},
  year =	{2026},
  volume =	{139},
  editor =	{Argyraki, Katerina and Panda, Aurojit},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NINeS.2026},
  URN =		{urn:nbn:de:0030-drops-256819},
  doi =		{10.4230/OASIcs.NINeS.2026},
  annote =	{Keywords: OASIcs, Volume 139, NINeS 2026, Complete Volume}
}
Document
Front Matter
DOI: 10.4230/OASIcs.NINeS.2026.0
Front Matter, Table of Contents, Preface, Conference Organization

Authors: Katerina Argyraki and Aurojit Panda

Published in: OASIcs, Volume 139, 1st New Ideas in Networked Systems (NINeS 2026)

Abstract
Front Matter, Table of Contents, Preface, Conference Organization
Cite as

1st New Ideas in Networked Systems (NINeS 2026). Open Access Series in Informatics (OASIcs), Volume 139, pp. 0:i-0:xvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{argyraki_et_al:OASIcs.NINeS.2026.0,
  author =	{Argyraki, Katerina and Panda, Aurojit},
  title =	{{Front Matter, Table of Contents, Preface, Conference Organization}},
  booktitle =	{1st New Ideas in Networked Systems (NINeS 2026)},
  pages =	{0:i--0:xvi},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-414-7},
  ISSN =	{2190-6807},
  year =	{2026},
  volume =	{139},
  editor =	{Argyraki, Katerina and Panda, Aurojit},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NINeS.2026.0},
  URN =		{urn:nbn:de:0030-drops-256804},
  doi =		{10.4230/OASIcs.NINeS.2026.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Document
DOI: 10.4230/DagRep.14.7.35
Programmable Host Networking (Dagstuhl Seminar 24291)

Authors: Gianni Antichi, Katerina Argyraki, Aurojit Panda, and Justine Sherry

Published in: Dagstuhl Reports, Volume 14, Issue 7 (2025)

Abstract
Increasingly communication software is being offloaded to specialized hardware accelerators and into the OS kernel. In most cases this is because offloading is supposed to improve network utilization and reduce costs. However, designing good offloads is challenging, often requiring architectural changes to both software and hardware. But there is little agreement on the form of these changes, and this both increases the true cost of building and deploying offloads and the complexity of doing research on accelerators. This Dagstuhl Seminar aimed to provide a forum to talk about experiences with building and deploying accelerator platforms to address this concern.
Cite as

Gianni Antichi, Katerina Argyraki, Aurojit Panda, and Justine Sherry. Programmable Host Networking (Dagstuhl Seminar 24291). In Dagstuhl Reports, Volume 14, Issue 7, pp. 35-51, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@Article{antichi_et_al:DagRep.14.7.35,
  author =	{Antichi, Gianni and Argyraki, Katerina and Panda, Aurojit and Sherry, Justine},
  title =	{{Programmable Host Networking (Dagstuhl Seminar 24291)}},
  pages =	{35--51},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2025},
  volume =	{14},
  number =	{7},
  editor =	{Antichi, Gianni and Argyraki, Katerina and Panda, Aurojit and Sherry, Justine},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.7.35},
  URN =		{urn:nbn:de:0030-drops-229323},
  doi =		{10.4230/DagRep.14.7.35},
  annote =	{Keywords: Networking, Accelerators, Interconnects}
}
Document
DOI: 10.4230/LIPIcs.SNAPL.2015.209
New Directions for Network Verification

Authors: Aurojit Panda, Katerina Argyraki, Mooly Sagiv, Michael Schapira, and Scott Shenker

Published in: LIPIcs, Volume 32, 1st Summit on Advances in Programming Languages (SNAPL 2015)

Abstract
Network verification has recently gained popularity in the programming languages and verification community. Much of the recent work in this area has focused on verifying the behavior of simple networks, whose actions are dictated by static, immutable rules configured ahead of time. However, in reality, modern networks contain a variety of middleboxes, whose behavior is affected both by their configuration and by mutable state updated in response to packets received by them. In this position paper we critically review recent progress on network verification, propose some next steps towards a more complete form of network verification, dispel some myths about networks, provide a more formal description of our approach, and end with a discussion of the formal questions posed to this community by the network verification agenda.
Cite as

Aurojit Panda, Katerina Argyraki, Mooly Sagiv, Michael Schapira, and Scott Shenker. New Directions for Network Verification. In 1st Summit on Advances in Programming Languages (SNAPL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 32, pp. 209-220, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@InProceedings{panda_et_al:LIPIcs.SNAPL.2015.209,
  author =	{Panda, Aurojit and Argyraki, Katerina and Sagiv, Mooly and Schapira, Michael and Shenker, Scott},
  title =	{{New Directions for Network Verification}},
  booktitle =	{1st Summit on Advances in Programming Languages (SNAPL 2015)},
  pages =	{209--220},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-80-4},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{32},
  editor =	{Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.209},
  URN =		{urn:nbn:de:0030-drops-50278},
  doi =		{10.4230/LIPIcs.SNAPL.2015.209},
  annote =	{Keywords: Middleboxes, Network Verification, Mutable Dataplane}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact