A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms. - Orr Tamir; Adam Morrison 001; Noam Rinetzky (OPODIS, 2015)

On the Automated Verification of Web Applications with Embedded SQL. - Shachar Itzhaky; Tomer Kotek; Noam Rinetzky; Mooly Sagiv; Orr Tamir; Helmut Veith; Florian Zuleger (ICDT, 2017)

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)

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 (DSN, 2019)

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., 2023)