Yaniv Sa'ar

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 12

Top Topics

Temporal Evolution

Virtual Machine

High Throughput

Top Venues

Proc. ACM Program. Lang.

Publications

Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
High Throughput VMs Placement With Constrained Communication Overhead and Provable Guarantees. IEEE Trans. Netw. Serv. Manag. 20 (3) (2023)
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
Parallel Virtual Machines Placement with Provable Guarantees. CoRR (2022)
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
Parallel VM Deployment with Provable Guarantees. Networking (2021)
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
Poster Abstract: Parallel VM Placement with Provable Guarantees. INFOCOM Workshops (2020)
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
Synthesis of coordination programs from linear temporal specifications. Proc. ACM Program. Lang. 4 (POPL) (2020)
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall
Verifying Robustness of Gradient Boosted Models. CoRR (2019)
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar
Faster Placement of Virtual Machines through Adaptive Caching. INFOCOM (2019)
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
Synthesis of coordination programs from linear temporal logic. CoRR (2019)
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall
Verifying Robustness of Gradient Boosted Models. AAAI (2019)
Marcelo Caggiani Luizelli, Danny Raz, Yaniv Sa'ar
Optimizing NFV Chain Deployment through Minimizing the Cost of Virtual Switching. INFOCOM (2018)
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
Synthesis of Asynchronous Reactive Programs from Temporal Specifications. CAV (1) (2018)
Marcelo Caggiani Luizelli, Danny Raz, Yaniv Sa'ar, Jose Yallouz
The actual cost of software switching for NFV chaining. IM (2017)
Shahar Maoz, Yaniv Sa'ar
Two-Way Traceability and Conflict Debugging for AspectLTL Programs. LNCS Trans. Aspect Oriented Softw. Dev. 10 (2013)
Shahar Maoz, Yaniv Sa'ar
Counter play-out: executing unrealizable scenario-based specifications. ICSE (2013)
Shahar Maoz, Yaniv Sa'ar
Assume-Guarantee Scenarios: Semantics and Synthesis. MoDELS (2012)
Shahar Maoz, Yaniv Sa'ar
Two-way traceability and conflict debugging for AspectLTL programs. AOSD (2012)
Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar
Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. 78 (3) (2012)
Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
Verification of multi-linked heaps. J. Comput. Syst. Sci. 78 (3) (2012)
Shahar Maoz, Yaniv Sa'ar
AspectLTL: an aspect language for LTL specifications. AOSD (2011)
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
SPLIT: A Compositional LTL Verifier. CAV (2010)
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova
Parallelizing a Symbolic Compositional Model-Checking Algorithm. Haifa Verification Conference (2010)
Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
Jtlv: A Framework for Developing Verification Algorithms. CAV (2010)
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
A Dash of Fairness for Compositional Reasoning. CAV (2010)
Amir Pnueli, Yaniv Sa'ar
All You Need Is Compassion. VMCAI (2008)
Nir Piterman, Amir Pnueli, Yaniv Sa'ar
Synthesis of Reactive(1) Designs. VMCAI (2006)