C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Eli Goldweber
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 5
Top Topics
Design Principles
Commit Protocols
Pattern Extraction
Distributed Database Systems
Top Venues
Auton. Agents Multi Agent Syst.
USENIX Annual Technical Conference
CoRR
PODC
</>
Publications
</>
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)