The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Aquila: a practically usable verification system for production-scale programmable data planes
The work
| Authors | B. Tian; J. Gao; M. Liu; E. Zhai; Y. Chen; Y. Zhou; L. Dai; F. Yan; M. Ma; M. Tang; J. Lu; X. Wei; H. H. Liu; M. Zhang; C. Tian; M. Yu |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2021 |
| Citekey | tian2021aquila |
Where it appeared
| Published in | Proceedings of the 2021 ACM SIGCOMM 2021 Conference |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-28 21:09 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{tian2021aquila,
title = {Aquila: a practically usable verification system for production-scale programmable data planes},
author = {B. Tian and J. Gao and M. Liu and E. Zhai and Y. Chen and Y. Zhou and L. Dai and F. Yan and M. Ma and M. Tang and J. Lu and X. Wei and H. H. Liu and M. Zhang and C. Tian and M. Yu},
year = {2021},
booktitle = {Proceedings of the 2021 ACM SIGCOMM 2021 Conference},
}
This record lives at https://refs.drheap.org/tian2021aquila/ and will keep doing so.