Eli Goldweber

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Commit Protocols

Distributed Database Systems

Pattern Extraction

Design Principles

Top Venues

Auton. Agents Multi Agent Syst.

USENIX Annual Technical Conference

Publications

Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos
IronSpec: Increasing the Reliability of Formal Specifications. OSDI (2024)
Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. USENIX Annual Technical Conference (2022)
Edmund H. Durfee, Abhishek Thakur, Eli Goldweber
On Teammate-Pattern-Aware Autonomy. AAMAS (2021)
Eli Goldweber, Nuda Zhang, Manos Kapritsos
On the Significance of Consecutive Ballots in Paxos. CoRR (2020)
Eli Goldweber, Nuda Zhang, Manos Kapritsos
Brief Announcement: On the Significance of Consecutive Ballots in Paxos. PODC (2020)
Edmund H. Durfee, Abhishek Thakur, Eli Goldweber
Teammate-pattern-aware autonomy based on organizational self-design principles. Auton. Agents Multi Agent Syst. 34 (2) (2020)