Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano 0002. Exploiting Symbolic Execution to Accelerate Deterministic Databases. In 40th IEEE International Conference on Distributed Computing Systems, ICDCS 2020, Singapore, November 29 - December 1, 2020. pages 678-688, IEEE, 2020. [doi]
@inproceedings{IssaVRMM020,
title = {Exploiting Symbolic Execution to Accelerate Deterministic Databases},
author = {Shady Issa and Miguel Viegas and Pedro Raminhas and Nuno Machado and Miguel Matos and Paolo Romano 0002},
year = {2020},
doi = {10.1109/ICDCS47774.2020.00040},
url = {https://doi.org/10.1109/ICDCS47774.2020.00040},
researchr = {https://researchr.org/publication/IssaVRMM020},
cites = {0},
citedby = {0},
pages = {678-688},
booktitle = {40th IEEE International Conference on Distributed Computing Systems, ICDCS 2020, Singapore, November 29 - December 1, 2020},
publisher = {IEEE},
isbn = {978-1-7281-7002-2},
}