| dc.contributor.author | Kuraj, Ivan | |
| dc.contributor.author | Feser, John | |
| dc.contributor.author | Polikarpova, Nadia | |
| dc.contributor.author | Solar-Lezama, Armando | |
| dc.date.accessioned | 2026-01-30T22:31:21Z | |
| dc.date.available | 2026-01-30T22:31:21Z | |
| dc.date.issued | 2025-04-09 | |
| dc.identifier.issn | 2475-1421 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/164690 | |
| dc.description.abstract | We present batch-based consistency, a new approach for consistency optimization that allows programmers to specialize consistency with application-level integrity properties. We implement the approach with a two-step process: we statically infer optimal consistency requirements for executions of bounded sets of operations, and then, use the inferred requirements to parameterize a new distributed protocol to relax operation reordering at run time when it is safe to do so. Our approach supports standard notions of consistency. We implement batch-based consistency in Peepco, demonstrate its expressiveness for partial data replication, and examine Peepco’s run-time performance impact in different settings. | en_US |
| dc.publisher | ACM | en_US |
| dc.relation.isversionof | https://doi.org/10.1145/3720513 | en_US |
| dc.rights | Creative Commons Attribution | en_US |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | en_US |
| dc.source | Association for Computing Machinery | en_US |
| dc.title | Peepco: Batch-Based Consistency Optimization | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Ivan Kuraj, John Feser, Nadia Polikarpova, and Armando Solar-Lezama. 2025. Peepco: Batch-Based Consistency Optimization. Proc. ACM Program. Lang. 9, OOPSLA1, Article 119 (April 2025), 29 pages. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | en_US |
| dc.relation.journal | Proceedings of the ACM on Programming Languages | en_US |
| dc.identifier.mitlicense | PUBLISHER_POLICY | |
| dc.eprint.version | Final published version | en_US |
| dc.type.uri | http://purl.org/eprint/type/JournalArticle | en_US |
| eprint.status | http://purl.org/eprint/status/PeerReviewed | en_US |
| dc.date.updated | 2025-08-01T08:49:08Z | |
| dc.language.rfc3066 | en | |
| dc.rights.holder | The author(s) | |
| dspace.date.submission | 2025-08-01T08:49:08Z | |
| mit.journal.volume | 9 | en_US |
| mit.journal.issue | OOPSLA1 | en_US |
| mit.license | PUBLISHER_CC | |
| mit.metadata.status | Authority Work and Publication Information Needed | en_US |