Eli Goldweber
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | OSDI | IronSpec: Increasing the Reliability of Formal Specifications. | Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos |
| 2022 | USENIX | 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 |
| 2020 | PODC | Brief Announcement: On the Significance of Consecutive Ballots in Paxos. | Eli Goldweber, Nuda Zhang, Manos Kapritsos |