Orr Tamir

According to our database, Orr Tamir authored at least 5 papers between 2015 and 2023.

Collaborative distances:

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

2023

Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols.

Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, Mooly Sagiv

Proc. ACM Program. Lang., October, 2023

2019

SBFT: A Scalable and Decentralized Trust Infrastructure.

Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018

SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains.

Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu

CoRR, 2018

2017

On the Automated Verification of Web Applications with Embedded SQL.

Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger

Proceedings of the 20th International Conference on Database Theory, 2017

2015

A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms.

Orr Tamir, Adam Morrison, Noam Rinetzky

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015