Gal Vardi

88 papers A* 30A 1B 5Journal 50Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Marko Medvedev, Idan Attias, Elisabetta Cornacchia, Theodor Misiakiewicz, Gal Vardi, Nathan Srebro
2026 J jnl
CoRR
Eitan Gronich, Gal Vardi
2026 J jnl
CoRR
Mingyue Xu, Gal Vardi, Itay Safran
2025 A* conf
COLT
Nirmit Joshi, Gal Vardi, Adam Block, Surbhi Goel, Zhiyuan Li, Theodor Misiakiewicz, Nathan Srebro
2025 J jnl
CoRR
Nirmit Joshi, Gal Vardi, Adam Block, Surbhi Goel, Zhiyuan Li, Theodor Misiakiewicz, Nathan Srebro
2025 A* conf
ICLR
Nikolaos Tsilivis, Gal Vardi, Julia Kempe
2025 J jnl
CoRR
Yuval Golbari, Navve Wasserman, Gal Vardi, Michal Irani
2025 J jnl
CoRR
Idan Attias, Lev Reyzin, Nathan Srebro, Gal Vardi
2025 J jnl
CoRR
Odelia Melamed, Gilad Yehudai, Gal Vardi
2025 J jnl
CoRR
Itamar Harel, Yonathan Wolanowsky, Gal Vardi, Nathan Srebro, Daniel Soudry
2025 A* conf
ICLR
Spencer Frei, Gal Vardi
2025 J jnl
CoRR
Roey Magen, Gal Vardi
2024 A* conf
ICLR
Lijia Zhou, James B. Simon, Gal Vardi, Nathan Srebro
2024 J jnl
CoRR
David Yunis, Kumar Kshitij Patel, Samuel Wheeler, Pedro Savarese, Gal Vardi, Karen Livescu, Michael Maire, Matthew R. Walter
2024 A* conf
ICLR
Zhiwei Xu, Yutong Wang, Spencer Frei, Gal Vardi, Wei Hu
2024 J jnl
CoRR
Roey Magen, Shuning Shang, Zhiwei Xu, Spencer Frei, Wei Hu, Gal Vardi
2024 J jnl
CoRR
Nikolaos Tsilivis, Gal Vardi, Julia Kempe
2024 A* conf
ICLR
Nirmit Joshi, Gal Vardi, Nathan Srebro
2024 A* conf
NeurIPS
Marko Medvedev, Gal Vardi, Nati Srebro
2024 J jnl
CoRR
Marko Medvedev, Gal Vardi, Nathan Srebro
2024 J jnl
ACM Trans. Comput. Log.
Orna Kupferman, Gal Vardi
2024 J jnl
CoRR
Guy Smorodinsky, Gal Vardi, Itay Safran
2024 A* conf
NeurIPS
Itamar Harel, William Hoza, Gal Vardi, Itay Evron, Nati Srebro, Daniel Soudry
2024 J jnl
CoRR
Itamar Harel, William M. Hoza, Gal Vardi, Itay Evron, Nathan Srebro, Daniel Soudry
2024 J jnl
CoRR
Yakir Oz, Gilad Yehudai, Gal Vardi, Itai Antebi, Michal Irani, Niv Haim
2024 J jnl
CoRR
Spencer Frei, Gal Vardi
2023 J jnl
CoRR
Odelia Melamed, Gilad Yehudai, Gal Vardi
2023 A* conf
NeurIPS
Odelia Melamed, Gilad Yehudai, Gal Vardi
2023 J jnl
CoRR
Lijia Zhou, James B. Simon, Gal Vardi, Nathan Srebro
2023 J jnl
CoRR
Zhiwei Xu, Yutong Wang, Spencer Frei, Gal Vardi, Wei Hu
2023 A* conf
COLT
Spencer Frei, Gal Vardi, Peter L. Bartlett, Nathan Srebro
2023 J jnl
CoRR
Spencer Frei, Gal Vardi, Peter L. Bartlett, Nathan Srebro
2023 A* conf
NeurIPS
Amit Daniely, Nati Srebro, Gal Vardi
2023 A* conf
NeurIPS
Gon Buzaglo, Niv Haim, Gilad Yehudai, Gal Vardi, Yakir Oz, Yaniv Nikankin, Michal Irani
2023 J jnl
CoRR
Gon Buzaglo, Niv Haim, Gilad Yehudai, Gal Vardi, Yakir Oz, Yaniv Nikankin, Michal Irani
2023 J jnl
CoRR
Amit Daniely, Nathan Srebro, Gal Vardi
2023 A* conf
ICLR
Spencer Frei, Gal Vardi, Peter L. Bartlett, Nathan Srebro, Wei Hu
2023 B conf
ALT
Nadav Timor, Gal Vardi, Ohad Shamir
2023 A* conf
NeurIPS
Amit Daniely, Nati Srebro, Gal Vardi
2023 J jnl
CoRR
Amit Daniely, Nathan Srebro, Gal Vardi
2023 J jnl
CoRR
Nirmit Joshi, Gal Vardi, Nathan Srebro
2023 J jnl
Commun. ACM
Gal Vardi
2023 J jnl
CoRR
Gon Buzaglo, Niv Haim, Gilad Yehudai, Gal Vardi, Michal Irani
2023 A* conf
NeurIPS
Spencer Frei, Gal Vardi, Peter L. Bartlett, Nati Srebro
2023 J jnl
CoRR
Spencer Frei, Gal Vardi, Peter L. Bartlett, Nathan Srebro
2022 A* conf
NeurIPS
Gal Vardi, Gilad Yehudai, Ohad Shamir
2022 J jnl
CoRR
Gal Vardi, Gilad Yehudai, Ohad Shamir
2022 J jnl
CoRR
Spencer Frei, Gal Vardi, Peter L. Bartlett, Nathan Srebro, Wei Hu
2022 J jnl
CoRR
Nadav Timor, Gal Vardi, Ohad Shamir
2022 A* conf
NeurIPS
Gal Vardi, Ohad Shamir, Nati Srebro
2022 A* conf
NeurIPS
Itay Safran, Gal Vardi, Jason D. Lee
2022 J jnl
CoRR
Itay Safran, Gal Vardi, Jason D. Lee
2022 J jnl
CoRR
Gal Vardi
2022 A* conf
ICLR
Gal Vardi, Gilad Yehudai, Ohad Shamir
2022 A* conf
NeurIPS
Niv Haim, Gal Vardi, Gilad Yehudai, Ohad Shamir, Michal Irani
2022 J jnl
CoRR
Niv Haim, Gal Vardi, Gilad Yehudai, Ohad Shamir, Michal Irani
2022 A* conf
NeurIPS
Gal Vardi, Ohad Shamir, Nati Srebro
2022 J jnl
CoRR
Gal Vardi, Ohad Shamir, Nathan Srebro
2022 A* conf
COLT
Gal Vardi, Gilad Yehudai, Ohad Shamir
2022 J jnl
CoRR
Gal Vardi, Gilad Yehudai, Ohad Shamir
2021 A* conf
COLT
Amit Daniely, Gal Vardi
2021 J jnl
CoRR
Amit Daniely, Gal Vardi
2021 A* conf
COLT
Gal Vardi, Ohad Shamir
2021 A* conf
NeurIPS
Gal Vardi, Gilad Yehudai, Ohad Shamir
2021 J jnl
CoRR
Gal Vardi, Gilad Yehudai, Ohad Shamir
2021 J jnl
CoRR
Gal Vardi, Ohad Shamir, Nathan Srebro
2021 J jnl
CoRR
Gal Vardi, Gilad Yehudai, Ohad Shamir
2021 A* conf
COLT
Gal Vardi, Daniel Reichman, Toniann Pitassi, Ohad Shamir
2021 J jnl
CoRR
Gal Vardi, Daniel Reichman, Toniann Pitassi, Ohad Shamir
2020 A* conf
NeurIPS
Amit Daniely, Gal Vardi
2020 J jnl
CoRR
Amit Daniely, Gal Vardi
2020 J jnl
CoRR
Gal Vardi, Ohad Shamir
2020 A* conf
NeurIPS
Gal Vardi, Ohad Shamir
2020 J jnl
CoRR
Gal Vardi, Ohad Shamir
2020 J jnl
Electron. Colloquium Comput. Complex.
Gal Vardi, Ohad Shamir
2019 J jnl
Log. Methods Comput. Sci.
Orna Kupferman, Gal Vardi
2019 — —
Gal Vardi
2019 J jnl
Auton. Agents Multi Agent Syst.
Shibashis Guha, Orna Kupferman, Gal Vardi
2019 A* conf
LICS
Orna Kupferman, Gal Vardi
2018 J jnl
CoRR
Orna Kupferman, Gal Vardi
2018 A conf
AAMAS
Shibashis Guha, Orna Kupferman, Gal Vardi
2018 J jnl
Formal Methods Syst. Des.
Orna Kupferman, Gal Vardi
2018 B conf
MFCS
Dan Hefetz, Orna Kupferman, Amir Lellouche, Gal Vardi
2018 A* conf
ICALP
Orna Kupferman, Gal Vardi
2017 — conf
FSTTCS
Orna Kupferman, Gal Vardi, Moshe Y. Vardi
2017 B conf
CONCUR
Orna Kupferman, Gal Vardi
2016 B conf
MFCS
Orna Kupferman, Gal Vardi
2015 B conf
CSL
Orna Kupferman, Gal Vardi
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski