Browse Dept. of Computer Science by Author "Ganhotra, Jatin"

  • Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking 
    Liu, Si; Olveczky, Peter C.; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José (2017)
    In this paper we explore and extend the design space of the recent RAMP (Read Atomic Multi-Partition) transaction system for large-scale partitioned data stores. Arriving at a mature distributed system design through ...

    application/pdf

    application/pdfPDF (607kB)
  • Formal Modeling and Analysis of RAMP Transaction Systems in Maude 
    Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José (2016)
    To cope with ever-increasing data sets, distributed data stores partition their data across servers. However, real-world systems usually do not provide useful transactional semantics for operations accessing multiple ...

    application/pdf

    application/pdfPDF (444kB)