Marcelo Taube

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 2

Top Topics

Distributed Systems

Database Replication

Quantifier Elimination

Top Venues

Proc. ACM Program. Lang.

Publications

Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, Mooly Sagiv
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos
Modularity for decidability of deductive verification with applications to distributed systems. PLDI (2018)