External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Exploiting Symbolic Execution to Accelerate Deterministic Databases

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]

Authors

Shady Issa

This author has not been identified. Look up 'Shady Issa' in Google

Miguel Viegas

This author has not been identified. Look up 'Miguel Viegas' in Google

Pedro Raminhas

This author has not been identified. Look up 'Pedro Raminhas' in Google

Nuno Machado

This author has not been identified. Look up 'Nuno Machado' in Google

Miguel Matos

This author has not been identified. Look up 'Miguel Matos' in Google

Paolo Romano 0002

This author has not been identified. Look up 'Paolo Romano 0002' in Google
runs on