Eli Goldweber

According to our database, Eli Goldweber authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

IronSpec: Increasing the Reliability of Formal Specifications.

Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

2022

Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems.

Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

2021

On Teammate-Pattern-Aware Autonomy.

Edmund H. Durfee, Abhishek Thakur, Eli Goldweber

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

On the Significance of Consecutive Ballots in Paxos.

Eli Goldweber, Nuda Zhang, Manos Kapritsos

CoRR, 2020

Teammate-pattern-aware autonomy based on organizational self-design principles.

Edmund H. Durfee, Abhishek Thakur, Eli Goldweber

Auton. Agents Multi Agent Syst., 2020

Brief Announcement: On the Significance of Consecutive Ballots in Paxos.

Eli Goldweber, Nuda Zhang, Manos Kapritsos

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020