Update pooria_additional.bib

PooriaNamyar · web-flow · commit bc25a272c7dd · 2025-04-28T07:21:47.000-04:00
diff --git a/_bibliography/people/pooria_additional.bib b/_bibliography/people/pooria_additional.bib
@@ -10,7 +10,7 @@ @inproceedings{namyar2025Firefly
 }
 
 @inproceedings{namyar2025Zenith,
-title = {ZENITH: A Formally Verified Highly-Available Control Plane},
+title = {ZENITH: Towards A Formally Verified Highly-Available Control Plane},
 author = {Pooria Namyar and Arvin Ghavidel and Mingyang Zhang and Harsha V. Madhyastha and Srivatsan Ravi and Chao Wang and Ramesh Govindan},
 year  = {2025},
 booktitle = {Proceedings of the ACM SIGCOMM 2025 Conference (Revise and Resubmit)},

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ @inproceedings{namyar2025Firefly`
`10`	`10`	`}`
`11`	`11`
`12`	`12`	`@inproceedings{namyar2025Zenith,`
`13`		`-title = {ZENITH: A Formally Verified Highly-Available Control Plane},`
	`13`	`+title = {ZENITH: Towards A Formally Verified Highly-Available Control Plane},`
`14`	`14`	`author = {Pooria Namyar and Arvin Ghavidel and Mingyang Zhang and Harsha V. Madhyastha and Srivatsan Ravi and Chao Wang and Ramesh Govindan},`
`15`	`15`	`year = {2025},`
`16`	`16`	`booktitle = {Proceedings of the ACM SIGCOMM 2025 Conference (Revise and Resubmit)},`