Browse Research and Tech Reports - Computer Science by Author "Wang, Qi"

  • Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José (2019)
    Many transaction systems distribute, partition, and replicate their data for scalability, availability, and fault tolerance. However, observing and maintaining strong consistency of distributed and partially replicated ...

    application/pdf

    application/pdfPDF (317kB)
  • Liu, Si; Olveczky, Peter C.; Wang, Qi; Meseguer, José (2018)
    Walter is a distributed partially replicated data store providing Parallel Snapshot Isolation (PSI), an important consistency property that offers attractive performance while ensuring adequate guarantees for certain kinds ...

    application/pdf

    application/pdfPDF (361kB)
  • Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi (2019-12)
    Developing a reliable distributed system meeting desired performance requirements is a hard and very labor-intensive task. Formal specification of a system design and formal analysis can yield provably correct designs as ...

    application/pdf

    application/pdfPDF (635kB)
  • Liu, Si; Olveczky, Peter C.; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, José (2018)
    Designers of distributed database systems face the choice between performance and consistency guarantees: with stronger consistency guarantees comes higher transactional latency and lower throughput. Certain collaborative ...

    application/pdf

    application/pdfPDF (822kB)
  • Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José (2018-10)
    Designers of distributed database systems face the choice between stronger consistency guarantees and better performance. A number of applications only require read atomicity (RA) (either all or none of a transaction's ...

    application/pdf

    application/pdfPDF (1MB)