{"id":156,"date":"2020-02-18T00:00:20","date_gmt":"2020-02-17T23:00:20","guid":{"rendered":"http:\/\/www.apoorv.net\/?page_id=156"},"modified":"2023-11-26T14:48:19","modified_gmt":"2023-11-26T13:48:19","slug":"home","status":"publish","type":"page","link":"http:\/\/www.apoorv.net\/","title":{"rendered":"Home"},"content":{"rendered":"\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container\">\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container\">\n<div class=\"wp-block-columns has-3-columns is-services\">\n<div class=\"wp-block-column\">\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container\">\n<div class=\"wp-block-jetpack-slideshow aligncenter\" data-autoplay=\"true\" data-delay=\"3\" data-effect=\"slide\"><div class=\"wp-block-jetpack-slideshow_container swiper-container\"><ul class=\"wp-block-jetpack-slideshow_swiper-wrapper swiper-wrapper\"><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"884\" height=\"584\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-707\" data-id=\"707\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.46.52.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.46.52.jpg 884w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.46.52-300x198.jpg 300w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.46.52-768x507.jpg 768w\" sizes=\"(max-width: 884px) 100vw, 884px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"738\" height=\"596\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-708\" data-id=\"708\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.47.06.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.47.06.jpg 738w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.47.06-300x242.jpg 300w\" sizes=\"(max-width: 738px) 100vw, 738px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"610\" height=\"468\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-709\" data-id=\"709\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.47.30.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.47.30.jpg 610w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.47.30-300x230.jpg 300w\" sizes=\"(max-width: 610px) 100vw, 610px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"454\" height=\"362\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-954\" data-id=\"954\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/07\/Screenshot-2020-07-04-at-13.40.02.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/07\/Screenshot-2020-07-04-at-13.40.02.jpg 454w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/07\/Screenshot-2020-07-04-at-13.40.02-300x239.jpg 300w\" sizes=\"(max-width: 454px) 100vw, 454px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"440\" height=\"356\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-955\" data-id=\"955\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/07\/Screenshot-2020-07-04-at-13.40.46.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/07\/Screenshot-2020-07-04-at-13.40.46.jpg 440w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/07\/Screenshot-2020-07-04-at-13.40.46-300x243.jpg 300w\" sizes=\"(max-width: 440px) 100vw, 440px\" \/><\/figure><\/li><\/ul><a class=\"wp-block-jetpack-slideshow_button-prev swiper-button-prev swiper-button-white\" role=\"button\"><\/a><a class=\"wp-block-jetpack-slideshow_button-next swiper-button-next swiper-button-white\" role=\"button\"><\/a><a aria-label=\"Pause Slideshow\" class=\"wp-block-jetpack-slideshow_button-pause\" role=\"button\"><\/a><div class=\"wp-block-jetpack-slideshow_pagination swiper-pagination swiper-pagination-white\"><\/div><\/div><\/div>\n<\/div><\/div>\n\n\n\n<h4><a href=\"#\">Verification of a P4 Switch<\/a><\/h4>\n\n\n\n<p>We try to answer the following question: &#8220;Is it possible to detect abnormal behavior in a P4 switch and take corrective measures?&#8221;<\/p>\n\n\n\n<p><a href=\"http:\/\/www.apoorv.net\/research\/\">Learn More<\/a><\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column\">\n<div class=\"wp-block-jetpack-slideshow aligncenter\" data-autoplay=\"true\" data-delay=\"3\" data-effect=\"slide\"><div class=\"wp-block-jetpack-slideshow_container swiper-container\"><ul class=\"wp-block-jetpack-slideshow_swiper-wrapper swiper-wrapper\"><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"300\" height=\"203\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-427\" data-id=\"427\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/P4N-300x203.png\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/P4N-300x203.png 300w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/P4N.png 541w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"300\" height=\"151\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-719\" data-id=\"719\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.05-300x151.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.05-300x151.jpg 300w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.05-768x387.jpg 768w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.05.jpg 894w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"300\" height=\"110\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-718\" data-id=\"718\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.12-300x110.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.12-300x110.jpg 300w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.12-768x281.jpg 768w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.12.jpg 924w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"300\" height=\"126\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-717\" data-id=\"717\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.36-300x126.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.36-300x126.jpg 300w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.36-768x323.jpg 768w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.36.jpg 912w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"570\" height=\"446\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-716\" data-id=\"716\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.53.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.53.jpg 570w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.57.53-300x235.jpg 300w\" sizes=\"(max-width: 570px) 100vw, 570px\" \/><\/figure><\/li><\/ul><a class=\"wp-block-jetpack-slideshow_button-prev swiper-button-prev swiper-button-white\" role=\"button\"><\/a><a class=\"wp-block-jetpack-slideshow_button-next swiper-button-next swiper-button-white\" role=\"button\"><\/a><a aria-label=\"Pause Slideshow\" class=\"wp-block-jetpack-slideshow_button-pause\" role=\"button\"><\/a><div class=\"wp-block-jetpack-slideshow_pagination swiper-pagination swiper-pagination-white\"><\/div><\/div><\/div>\n\n\n\n<h4><a href=\"#\">Verification of P4 Networks<\/a><\/h4>\n\n\n\n<p>We try to answer the following question: &#8220;Is it possible to detect control-data plane inconsistency in P4 networks?&#8221;<\/p>\n\n\n\n<p><a href=\"http:\/\/www.apoorv.net\/research\/\">Learn More<\/a><\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column\">\n<div class=\"wp-block-jetpack-slideshow aligncenter\" data-autoplay=\"true\" data-delay=\"3\" data-effect=\"slide\"><div class=\"wp-block-jetpack-slideshow_container swiper-container\"><ul class=\"wp-block-jetpack-slideshow_swiper-wrapper swiper-wrapper\"><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"300\" height=\"209\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-428\" data-id=\"428\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/SDN-1-300x209.png\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/SDN-1-300x209.png 300w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/SDN-1.png 522w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"696\" height=\"324\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-713\" data-id=\"713\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.54.54.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.54.54.jpg 696w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.54.54-300x140.jpg 300w\" sizes=\"(max-width: 696px) 100vw, 696px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"764\" height=\"420\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-715\" data-id=\"715\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.54.36.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.54.36.jpg 764w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.54.36-300x165.jpg 300w\" sizes=\"(max-width: 764px) 100vw, 764px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"300\" height=\"178\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-712\" data-id=\"712\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.10-300x178.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.10-300x178.jpg 300w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.10-768x457.jpg 768w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.10.jpg 780w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"878\" height=\"596\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-711\" data-id=\"711\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.38.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.38.jpg 878w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.38-300x204.jpg 300w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.38-768x521.jpg 768w\" sizes=\"(max-width: 878px) 100vw, 878px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"816\" height=\"412\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-710\" data-id=\"710\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.50.jpg\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.50.jpg 816w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.50-300x151.jpg 300w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/Screenshot-2020-05-08-at-14.55.50-768x388.jpg 768w\" sizes=\"(max-width: 816px) 100vw, 816px\" \/><\/figure><\/li><\/ul><a class=\"wp-block-jetpack-slideshow_button-prev swiper-button-prev swiper-button-white\" role=\"button\"><\/a><a class=\"wp-block-jetpack-slideshow_button-next swiper-button-next swiper-button-white\" role=\"button\"><\/a><a aria-label=\"Pause Slideshow\" class=\"wp-block-jetpack-slideshow_button-pause\" role=\"button\"><\/a><div class=\"wp-block-jetpack-slideshow_pagination swiper-pagination swiper-pagination-white\"><\/div><\/div><\/div>\n\n\n\n<h4><a href=\"#\">Verification of SDNs<\/a><\/h4>\n\n\n\n<p>We try to answer the following question: &#8220;Is it possible to detect and localize control-data plane inconsistency in SDNs?&#8221;<\/p>\n\n\n\n<p><a href=\"http:\/\/www.apoorv.net\/research\/\">Learn More<\/a><\/p>\n<\/div>\n<\/div>\n<\/div><\/div>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-columns\">\n<div class=\"wp-block-column\">\n<p><\/p>\n<h2>Research Interests<\/h2>\n<p>\n\n\n\n<p>I am interested in topics surrounding modern network architectures (On-prem and cloud) including zero trust, monitoring and verification in Software-defined networks (SDNs) and Programming Protocol-independent Packet Processors (P4) networks. I help enterprises in their digital transformation journeys including (re)designing networks involving zero trust and modern SaaS solutions alongwith building systems which ensure rigorous monitoring and verification of Cloud, On-Prem, SDNs and P4 networks.<\/p>\n\n\n\n<p>Prior, I was involved in FP7 Integrated European Union Project <a rel=\"noreferrer noopener\" href=\"http:\/\/www.fp7-unify.eu\/\" target=\"_blank\">UNIFY<\/a> where I contributed to troubleshooting, monitoring and verification of Service Chains in Carrier-Grade Networks. Currently, I am a project leader of project &#8220;Verify: Towards Rigorous Verification and Monitoring of Software-defined Networks (SDNs)&#8221;. Project Verify is funded by BMBF grant under <a rel=\"noreferrer noopener\" href=\"https:\/\/softwarecampus.de\/\" target=\"_blank\">Software Campus<\/a> executives development program.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column\">\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container\">\n<figure class=\"wp-block-image alignwide size-large\">\n<p><\/p><\/figure>\n\n\n\n<div class=\"wp-block-jetpack-slideshow aligncenter\" data-autoplay=\"true\" data-delay=\"3\" data-effect=\"slide\"><div class=\"wp-block-jetpack-slideshow_container swiper-container\"><ul class=\"wp-block-jetpack-slideshow_swiper-wrapper swiper-wrapper\"><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"96\" height=\"98\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-691\" data-id=\"691\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/05\/P4-1-e1588950697543.png\"\/><figcaption class=\"wp-block-jetpack-slideshow_caption gallery-caption\">A P4 Switch<\/figcaption><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"541\" height=\"366\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-427\" data-id=\"427\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/P4N.png\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/P4N.png 541w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/P4N-300x203.png 300w\" sizes=\"(max-width: 541px) 100vw, 541px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"522\" height=\"364\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-425\" data-id=\"425\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/SDN.png\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/SDN.png 522w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/02\/SDN-300x209.png 300w\" sizes=\"(max-width: 522px) 100vw, 522px\" \/><\/figure><\/li><li class=\"wp-block-jetpack-slideshow_slide swiper-slide\"><figure><img loading=\"lazy\" width=\"755\" height=\"458\" alt=\"\" class=\"wp-block-jetpack-slideshow_image wp-image-645\" data-id=\"645\" src=\"https:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/03\/wordle-14.png\" srcset=\"http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/03\/wordle-14.png 755w, http:\/\/www.apoorv.net\/wp-content\/uploads\/2020\/03\/wordle-14-300x182.png 300w\" sizes=\"(max-width: 755px) 100vw, 755px\" \/><\/figure><\/li><\/ul><a class=\"wp-block-jetpack-slideshow_button-prev swiper-button-prev swiper-button-white\" role=\"button\"><\/a><a class=\"wp-block-jetpack-slideshow_button-next swiper-button-next swiper-button-white\" role=\"button\"><\/a><a aria-label=\"Pause Slideshow\" class=\"wp-block-jetpack-slideshow_button-pause\" role=\"button\"><\/a><div class=\"wp-block-jetpack-slideshow_pagination swiper-pagination swiper-pagination-white\"><\/div><\/div><\/div>\n<\/div><\/div>\n<\/div>\n<\/div>\n\n\n<p><\/p>\n\n\n<h2 class=\"has-text-align-left\" id=\"news\">News<\/h2>\n\n\n\n<div class=\"wp-block-coblocks-row coblocks-row-77123959945\" data-columns=\"2\" data-layout=\"75-25\"><div class=\"wp-block-coblocks-row__inner has-no-padding has-margin is-stacked-on-mobile has-huge-gutter\">\n<div class=\"wp-block-coblocks-column has-text-align-left coblocks-column-771240515\" style=\"width:75%\"><div class=\"wp-block-coblocks-column__inner has-no-padding has-no-margin\">\n<div class=\"wp-block-group alignwide\"><div class=\"wp-block-group__inner-container\">\n<p>Oct&#8217;23<\/p>\n<p><strong>I am delighted to join Deutsche Boerse Group as Vice President | Expert Enterprise Network Architect.\u00a0<\/strong>I look forward to own, define and, simplify the network architecture while embracing modern trends in networking such as Zero Trust, Hybrid cloud design and that too in regulatory compliant fashion.<\/p>\n<p><span style=\"font-size: 1rem;\">Jan &#8217;23<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><strong>Papers accepted at IEEE\/ACM Transactions on Networking (ToN) 2023!<\/strong> I am delighted to announce that &#8220;Runtime Verification of Programmable Switches&#8221; got published at <a href=\"https:\/\/ieeexplore.ieee.org\/xpl\/RecentIssue.jsp?punumber=90\" target=\"_blank\" rel=\"noopener\">IEEE\/ACM Transactions on Networking (ToN)<\/a>.<\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<p><span style=\"font-size: 1rem;\">June &#8217;22<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><b>I am delighted to serve as a TPC in <a href=\"https:\/\/conferences.sigcomm.org\/sosr\/2022\/organizers.php\" target=\"_blank\" rel=\"noopener\">ACM SIGCOMM SOSR 2022<\/a>.<\/b><\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<p>November &#8217;21<\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><strong>Two Papers accepted at ACM\/IEEE ANCS&#8217;21!<\/strong>\u00a0I am delighted to announce that &#8220;Shortcutting Fast Failover Routes in the Data Plane&#8221; and &#8220;No-hop: In-network Distributed Hash Tables&#8221; got accepted to\u00a0<a href=\"https:\/\/ancsconf.org\/\" target=\"_blank\" rel=\"noopener\">ACM\/IEEE ANCS 2021<\/a>.\u00a0<\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<p><span style=\"font-size: 1rem;\">September &#8217;21<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><b>I am happy to serve on the TPC of <a href=\"https:\/\/perfail-workshop.github.io\/2022\/\" target=\"_blank\" rel=\"noopener noreferrer\">Perfail <\/a>(<\/b>1st international workshop on negative results). Please consider submitting your work!<\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<p><span style=\"font-size: 1rem;\">July &#8217;21<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><b>I am fortunate to review papers for:<\/b><\/p>\n<ul>\n<li>Netsys 2021 Phd Forum<\/li>\n<li>IEEE\/ACM TON, 2021<\/li>\n<li>IEEE TNSM, 2021<\/li>\n<li>IEEE INFOCOM, 2021<\/li>\n<li>ACM CCR, 2021<\/li>\n<\/ul>\n<\/div>\n<\/div>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\u00a0<\/div>\n<\/div>\n<p><span style=\"font-size: 1rem;\">July &#8217;21<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><b>On behalf of the new <\/b><a href=\"https:\/\/huaweitubinovationlab.github.io\/JointLab\/\" target=\"_blank\" rel=\"noopener noreferrer\">Huawei-TU Berlin innovation lab<\/a><b>, we are pleased to organize the <span style=\"color: #000000;\">&#8220;<\/span><\/b><a href=\"https:\/\/networkverification-workshop.github.io\/\" target=\"_blank\" rel=\"noopener noreferrer\">The First Network Verification Workshop<span style=\"color: #000000;\">&#8221; <\/span><\/a>on July 29, 2021. Check out the exciting talks and feel free to join.<\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<p><span style=\"font-size: 1rem;\">May &#8217;21<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><strong>Presented our paper at IEEE INFOCOM 2021!<\/strong> Paper was titled &#8220;<a href=\"https:\/\/drive.google.com\/file\/d\/1vxPt1HzK3xCGK4PEK7kTETjboTUyScka\/view?usp=sharing\" target=\"_blank\" rel=\"noopener noreferrer\">Fix with P6: Verifying Programmable Switches at Runtime&#8221;<\/a>.<\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<p><span style=\"font-size: 1rem;\">Feb &#8217;21<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><strong>Published a technical blog at the Asia Pacific Network Information Centre (APNIC)!<\/strong> Blog was titled &#8220;<a href=\"https:\/\/blog.apnic.net\/2021\/02\/12\/towards-verifying-programmable-switches-at-runtime-with-p6\/\" target=\"_blank\" rel=\"noopener noreferrer\">Towards verifying programmable switches at runtime with P6<\/a>&#8221; and based on our upcoming IEEE INFOCOM&#8217;21 paper.<\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<p><span style=\"font-size: 1rem;\">Jan &#8217;21<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><strong>Delivered a keynote at the second International Conference on Advances in Distributed Computing and Machine Learning (ICADCML-2021)!<\/strong> Keynote was titled &#8220;Towards Resilient Programmable Networks&#8221;.<\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<p><span style=\"font-size: 1rem;\">Dec &#8217;20<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><strong>Paper accepted at IEEE INFOCOM!<\/strong> I am delighted to announce that <a href=\"https:\/\/drive.google.com\/file\/d\/1vxPt1HzK3xCGK4PEK7kTETjboTUyScka\/view?usp=sharing\" target=\"_blank\" rel=\"noopener noreferrer\">Fix with P6: Verifying Programmable Switches at Runtime<\/a> got accepted to IEEE INFOCOM. This research was conducted under my project Verify.<\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<p><span style=\"font-size: 1rem;\">Oct &#8217;20<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><strong>Joined Huawei Munich Research Center as Senior Networks Researcher in Cloud!<\/strong> I am excited and looking forward to applying AI\/ML techniques to verify\/troubleshoot Cloud Datacenters.<\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<p><span style=\"font-size: 1rem;\">Mar &#8217;20<\/span><\/p>\n<div class=\"alert alert-info\" role=\"alert\">\n<div class=\"row\">\n<p><strong>Paper accepted at IEEE Journal on Selected Areas in Communications &#8211; Special Issue on Network Softwarization &amp; Enablers!<\/strong> I am delighted to announce that <a href=\"https:\/\/www.comsoc.org\/publications\/journals\/ieee-jsac\/cfp\/series-network\" target=\"_blank\" rel=\"noopener noreferrer\">P4CONSIST: Towards Consistent P4 SDNs<\/a> got accepted to TNSM journal. This research was conducted under my project Verify.<\/p>\n<p>\u00a0<\/p>\n<div class=\"col-sm-1\">Feb &#8217;20<\/div>\n<div class=\"col-sm-11\">\n<p><strong>Delivered a talk!<\/strong> in <a href=\"https:\/\/mlkuvs.lkn.ei.tum.de\/\" target=\"_blank\" rel=\"noopener noreferrer\">KuVS Fachgespr\u00e4che: Machine Learning &amp; Networking <\/a> at TU Munich! This research was conducted under my project Verify.<\/p>\n<p>\u00a0<\/p>\n<\/div>\n<div class=\"row\">\n<div class=\"col-sm-1\">Dec &#8217;19<\/div>\n<div class=\"col-sm-11\">\n<p><strong>Defended my Ph.D.!<\/strong> Thanks to my mentors, collaborators, and family.<br \/><a href=\"http:\/\/www.apoorv.net\/bio\" target=\"_blank\" rel=\"noopener noreferrer\">Photos, <\/a><a href=\"https:\/\/depositonce.tu-berlin.de\/handle\/11303\/11704\" target=\"_blank\" rel=\"noopener noreferrer\">Dissertation<\/a><a href=\"http:\/\/www.apoorv.net\/bio\" target=\"_blank\" rel=\"noopener noreferrer\">.<\/a><\/p>\n<p>\u00a0<\/p>\n<\/div>\n<\/div>\n<div class=\"alert alert-success\" role=\"alert\">\n<div class=\"row\">\n<div class=\"col-sm-1\">Oct &#8217;19<\/div>\n<div class=\"col-sm-11\">\n<p><strong>Paper accepted at IEEE Transactions on Network and Service Management (TNSM)!<\/strong> I am delighted to announce that <a href=\"https:\/\/drive.google.com\/file\/d\/1RcocfVSK8BpPubpnOvAvpL-yY-_OM7wH\/view?usp=sharing\" target=\"_blank\" rel=\"noopener noreferrer\">Towards Consistent SDNs: A Case for Network State Fuzzing<\/a> got accepted to TNSM journal. This research was conducted under my project Verify.<\/p>\n<p>\u00a0<\/p>\n<div class=\"col-sm-1\">Sep &#8217;19<\/div>\n<div class=\"col-sm-11\">\n<p><strong>Presentation at TPRC47: Research Conference on Communications, Information and Internet Policy!\u00a0<\/strong>I presented our paper <a href=\"http:\/\/www.tprcweb.com\/\" target=\"_blank\" rel=\"noopener noreferrer\">Navigating the Landscape of Programmable Networks: Looking beyond the Regulatory Status Quo<\/a>.\u00a0 This research was conducted under my project Verify in collaboration with Network Policy expert Dr. Volker Stocker, Weizenbaum Institute.<\/p>\n<p>\u00a0<\/p>\n<div class=\"col-sm-1\">Aug &#8217;19<\/div>\n<div>\u00a0<\/div>\n<div class=\"col-sm-1\"><i class=\"fa fa-trophy\" aria-hidden=\"true\"><\/i><strong style=\"font-size: inherit;\">\u00a0Best Paper Award at ACM SIGCOMM 2019 Workshop on Network Meets AI &amp; ML (NetAI 2019)!<\/strong><span style=\"font-size: inherit;\"> I presented our research <\/span><a style=\"font-size: inherit;\" href=\"https:\/\/conferences.sigcomm.org\/sigcomm\/2019\/workshop-netaim.html\" target=\"_blank\" rel=\"noopener noreferrer\">Runtime Verification of P4 Switches with Reinforcement Learning<\/a><span style=\"font-size: inherit;\">. <\/span><a style=\"font-size: inherit;\" href=\"https:\/\/dlnext.acm.org\/doi\/pdf\/10.1145\/3341216.3342206\" target=\"_blank\" rel=\"noopener noreferrer\">Find the paper here<\/a><span style=\"font-size: inherit;\">. We are delighted to win the best paper! This research was conducted under my project Verify.<\/span><\/div>\n<div class=\"col-sm-11\">\u00a0<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"row\">\n<div class=\"alert alert-success\" role=\"alert\">\n<div class=\"row\">\n<h6 class=\"col-sm-11\" style=\"text-align: left;\">\u00a0<\/h6>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div><\/div>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-coblocks-column coblocks-column-771240519\" style=\"width:25%\"><div class=\"wp-block-coblocks-column__inner has-no-padding has-no-margin\">\n<figure class=\"wp-block-embed-twitter alignright wp-block-embed is-type-rich is-provider-twitter\">\n<div class=\"wp-block-embed__wrapper\">\n<a class=\"twitter-timeline\" data-width=\"688\" data-height=\"1000\" data-dnt=\"true\" href=\"https:\/\/twitter.com\/TweetsbyApoorv?ref_src=twsrc%5Etfw\">Tweets by TweetsbyApoorv<\/a><script async src=\"https:\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script>\n<\/div>\n<\/figure>\n<\/div><\/div>\n<\/div><\/div>\n\n\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>Verification of a P4 Switch We try to answer the following question: &#8220;Is it possible to detect abnormal behavior in&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_coblocks_attr":"","_coblocks_dimensions":"{\"coblocks-row-77123959945\":{\"margin\":{}}}","_coblocks_responsive_height":"","_coblocks_accordion_ie_support":"","spay_email":""},"_links":{"self":[{"href":"http:\/\/www.apoorv.net\/index.php?rest_route=\/wp\/v2\/pages\/156"}],"collection":[{"href":"http:\/\/www.apoorv.net\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.apoorv.net\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/www.apoorv.net\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.apoorv.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=156"}],"version-history":[{"count":168,"href":"http:\/\/www.apoorv.net\/index.php?rest_route=\/wp\/v2\/pages\/156\/revisions"}],"predecessor-version":[{"id":1098,"href":"http:\/\/www.apoorv.net\/index.php?rest_route=\/wp\/v2\/pages\/156\/revisions\/1098"}],"wp:attachment":[{"href":"http:\/\/www.apoorv.net\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=156"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}