Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoshe Y. Vardi
Person information
- affiliation: Rice University, Department of Computer Science
- award (2017): ACM Presidential Award
- award (2011): Harry H. Goode Memorial Award
- award (2008): SIGMOD Edgar F. Codd Innovations Award
- award (2005): Paris Kanellakis Award
- award (2000): Gödel Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j251]Moshe Y. Vardi:
How Not to Win a Tech War. Commun. ACM 66(1): 7 (2023)- [j250]Moshe Y. Vardi:
Who Is Responsible Around Here? Commun. ACM 66(3): 5 (2023) - [j249]Moshe Y. Vardi:
ACM for the Public Good. Commun. ACM 66(5): 5 (2023) - [j248]Moshe Y. Vardi:
Revisiting ACM's Open-Conference Principle. Commun. ACM 66(7): 5 (2023) - [j247]Weizhi Feng, Yong Li, Andrea Turrini
, Moshe Y. Vardi, Lijun Zhang:
On the power of finite ambiguity in Büchi complementation. Inf. Comput. 292: 105032 (2023) - [c415]Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CONCUR 2023: 37:1-37:17 - [c414]Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi:
Extracting generalizable skills from a single plan execution using abstraction-critical state detection. ICRA 2023: 5772-5778 - [c413]Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi:
Multi-Agent Systems with Quantitative Satisficing Goals. IJCAI 2023: 280-288 - [c412]Moshe Y. Vardi, Zhiwei Zhang:
Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints. IJCAI 2023: 2039-2048 - [c411]Moshe Y. Vardi:
Logical Algorithmics: From Theory to Practice (Invited Talk). STACS 2023: 3:1-3:1 - [i77]Moshe Y. Vardi, Zhiwei Zhang:
Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints. CoRR abs/2301.09833 (2023) - [i76]Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi:
Multi-Agent Systems with Quantitative Satisficing Goals. CoRR abs/2305.00953 (2023) - [i75]Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells:
On Strategies in Synthesis Over Finite Traces. CoRR abs/2305.08319 (2023) - [i74]Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CoRR abs/2305.09966 (2023) - 2022
- [j246]Moshe Y. Vardi:
Will AI destroy education? Commun. ACM 65(1): 7 (2022) - [j245]Moshe Y. Vardi:
ACM, ethics, and corporate behavior. Commun. ACM 65(3): 5 (2022) - [j244]Moshe Y. Vardi:
War and tech (and ACM). Commun. ACM 65(5): 9 (2022) - [j243]Moshe Y. Vardi:
An association of the members, by the members, for the members. Commun. ACM 65(7): 11 (2022) - [j242]Moshe Y. Vardi:
Technology and democracy. Commun. ACM 65(9): 5 (2022) - [j241]Moshe Y. Vardi:
Accountability and liability in computing. Commun. ACM 65(11): 5 (2022) - [j240]Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional synthesis via input-output separation. Formal Methods Syst. Des. 60(2): 228-258 (2022) - [j239]Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability checking for Mission-time LTL (MLTL). Inf. Comput. 289(Part): 104923 (2022) - [j238]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18(1) (2022) - [j237]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator automata in quantitative verification. Log. Methods Comput. Sci. 18(3) (2022) - [c410]Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi:
Constraint-Driven Explanations for Black-Box ML Models. AAAI 2022: 8304-8314 - [c409]Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells:
Synthesis from Satisficing and Temporal Goals. AAAI 2022: 9679-9686 - [c408]Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay:
Towards a Grand Unification of Büchi Complementation Constructions. Principles of Systems Design 2022: 185-207 - [c407]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. CAV (2) 2022: 152-173 - [c406]Moshe Y. Vardi:
Program Verification: A 70+-Year History. ICSOFT 2022: 15 - [c405]Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi:
DPSampler: Exact Weighted Sampling Using Dynamic Programming. IJCAI 2022: 1795-1803 - [c404]Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu:
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI 2022: 2591-2598 - [c403]Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi:
Efficient Task Planning Using Abstract Skills and Dynamic Road Map Matching. ISRR 2022: 487-503 - [c402]Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Public and Private Affairs in Strategic Reasoning. KR 2022 - [c401]Senthil Rajasekaran, Moshe Y. Vardi:
Verification and Realizability in Finite-Horizon Multiagent Systems. KR 2022 - [c400]Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi:
ZDD Boolean Synthesis. TACAS (1) 2022: 64-83 - [c399]Moshe Y. Vardi:
Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). TIME 2022: 1:1-1:1 - [c398]Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu:
Compositional Safety LTL Synthesis. VSTTE 2022: 1-19 - [c397]Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi:
Automatic Cross-domain Task Plan Transfer by Caching Abstract Skills. WAFR 2022: 470-487 - [p7]Moshe Y. Vardi:
Efficiency vs. Resilience: Lessons from COVID-19. Perspectives on Digital Humanism 2022: 285-289 - [d2]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition". Version 2. Zenodo, 2022 [all versions]
- [d1]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition". Version 1. Zenodo, 2022 [all versions] - [i73]Senthil Rajasekaran, Moshe Y. Vardi:
Verification and Realizability in Finite-Horizon Multiagent Systems. CoRR abs/2205.01029 (2022) - [i72]Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving. CoRR abs/2205.03747 (2022) - [i71]Vu H. N. Phan, Moshe Y. Vardi:
DPO: Dynamic-Programming Optimization on Hybrid Constraints. CoRR abs/2205.08632 (2022) - [i70]Vu H. N. Phan, Moshe Y. Vardi:
DPER: Dynamic Programming for Exist-Random Stochastic SAT. CoRR abs/2205.09826 (2022) - [i69]Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells:
Synthesis from Satisficing and Temporal Goals. CoRR abs/2205.10464 (2022) - [i68]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition. CoRR abs/2206.13739 (2022) - [i67]Moshe Y. Vardi, Zhiwei Zhang:
Quantum-Inspired Perfect Matching under Vertex-Color Constraints. CoRR abs/2209.13063 (2022) - 2021
- [j236]Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions. Artif. Intell. 299: 103559 (2021) - [j235]Moshe Y. Vardi:
Reboot the computing-research publication systems. Commun. ACM 64(1): 7 (2021) - [j234]Moshe Y. Vardi:
The people vs. tech. Commun. ACM 64(3): 9 (2021) - [j233]Moshe Y. Vardi:
The agency trilemma and ACM. Commun. ACM 64(5): 4 (2021) - [j232]Moshe Y. Vardi:
Program verification: vision and reality. Commun. ACM 64(7): 5 (2021) - [j231]Moshe Y. Vardi:
The sand-heap paradox of privacy and influence. Commun. ACM 64(9): 5 (2021) - [j230]Moshe Y. Vardi:
The paradox of choice in computing-research conferences. Commun. ACM 64(11): 5 (2021) - [j229]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. 22(1): 5:1-5:51 (2021) - [c396]Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
On Continuous Local BDD-Based Search for Hybrid SAT Solving. AAAI 2021: 3841-3850 - [c395]Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces. AAAI 2021: 6530-6537 - [c394]Senthil Rajasekaran, Moshe Y. Vardi:
Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. AAMAS 2021: 1046-1054 - [c393]Lucas M. Tabajara, Moshe Y. Vardi:
Linear Temporal Logic - From Infinite to Finite Horizon. ATVA 2021: 3-12 - [c392]Yih-Kuen Tsay, Moshe Y. Vardi:
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Model Checking, Synthesis, and Learning 2021: 8-40 - [c391]Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss:
Adapting Behaviors via Reactive Synthesis. CAV (1) 2021: 870-893 - [c390]Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
Congruence Relations for Büchi Automata. FM 2021: 465-482 - [c389]Andrew M. Wells, Zachary K. Kingston, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Finite-Horizon Synthesis for Probabilistic Manipulation Domains. ICRA 2021: 6336-6342 - [c388]Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI 2021: 1852-1858 - [c387]Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
Synthesizing Good-Enough Strategies for LTLf Specifications. IJCAI 2021: 4144-4151 - [c386]Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. SAT 2021: 152-170 - [c385]Ronald Fagin, Georg Gottlob, Christos H. Papadimitriou, Moshe Y. Vardi, Giorgio Ausiello, Maurizio Lenzerini, Domenico Saccà, Luigi Palopoli, Francesco Scarcello:
Panel on "Past and Future of Computer Science Theory" (Discussion Paper). SEBD 2021: 531-542 - [c384]Rodrigo Ferreira, Moshe Y. Vardi:
Deep Tech Ethics: An Approach to Teaching Social Justice in Computer Science. SIGCSE 2021: 1041-1047 - [c383]Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi:
On Satisficing in Quantitative Games. TACAS (1) 2021: 20-37 - [c382]Moshe Y. Vardi:
Program Verification: a 70+- Year History. TASE 2021: 1-2 - [c381]Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi:
On the Power of Automata Minimization in Temporal Synthesis. GandALF 2021: 117-134 - [p6]Javier Esparza, Orna Kupferman, Moshe Y. Vardi:
Verification. Handbook of Automata Theory (II.) 2021: 1415-1456 - [p5]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Approximate Model Counting. Handbook of Satisfiability 2021: 1015-1045 - [i66]Senthil Rajasekaran, Moshe Y. Vardi:
Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. CoRR abs/2101.00716 (2021) - [i65]Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi:
On Satisficing in Quantitative Games. CoRR abs/2101.02594 (2021) - [i64]Yong Li, Yih-Kuen Tsay, Moshe Y. Vardi:
Congruence Relations for Büchi Automata. CoRR abs/2104.03555 (2021) - [i63]Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss:
Adapting Behaviors via Reactive Synthesis. CoRR abs/2105.13837 (2021) - [i62]Kevin W. Smith, Moshe Y. Vardi:
Automata Linear Dynamic Logic on Finite Traces. CoRR abs/2108.12003 (2021) - [i61]Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
On the Power of Finite Ambiguity in Büchi Complementation. CoRR abs/2109.12828 (2021) - 2020
- [j228]Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier:
SAT-based explicit LTLf satisfiability checking. Artif. Intell. 289: 103369 (2020) - [j227]Moshe Y. Vardi:
Publish and perish. Commun. ACM 63(1): 7 (2020) - [j226]Moshe Y. Vardi:
Advancing computing as a science and profession: but to what end? Commun. ACM 63(3): 5 (2020) - [j225]Moshe Y. Vardi:
Efficiency vs. resilience: what COVID-19 teaches computing. Commun. ACM 63(5): 9 (2020) - [j224]Moshe Y. Vardi:
A computational lens on economics. Commun. ACM 63(7): 5 (2020) - [j223]Moshe Y. Vardi:
Where have all the domestic graduate students gone? Commun. ACM 63(9): 5 (2020) - [j222]Moshe Y. Vardi:
What should be done about social media? Commun. ACM 63(11): 5 (2020) - [c380]Jeffrey M. Dudek, Vu Phan, Moshe Y. Vardi:
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams. AAAI 2020: 1468-1476 - [c379]Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. AAAI 2020: 1552-1560 - [c378]Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI 2020: 3088-3095 - [c377]Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi:
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. AAAI 2020: 9766-9774 - [c376]Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CP 2020: 211-230 - [c375]Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron:
Runtime Verification on FPGAs with LTLf Specifications. FMCAD 2020: 36-46 - [c374]Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Uniformly Sampling Traces of a Transition System. ICCAD 2020: 108:1-108:9 - [c373]Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi:
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. IJCAI 2020: 117-123 - [c372]Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi:
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. IJCAI 2020: 4877-4884 - [c371]Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu:
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR 2020: 304-314 - [c370]Lucas M. Tabajara, Moshe Y. Vardi:
LTLf Synthesis under Partial Observability: From Theory to Practice. GandALF 2020: 1-17 - [c369]Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
LTLf Synthesis on Probabilistic Systems. GandALF 2020: 166-181 - [c368]Yong Li, Moshe Y. Vardi, Lijun Zhang:
On the Power of Unambiguity in Büchi Complementation. GandALF 2020: 182-198 - [p4]Vijay Ganesh, Moshe Y. Vardi:
On the Unreasonable Effectiveness of SAT Solvers. Beyond the Worst-Case Analysis of Algorithms 2020: 547-566 - [i60]Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi:
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. CoRR abs/2003.00330 (2020) - [i59]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. CoRR abs/2003.04730 (2020) - [i58]Jeffrey M. Dudek, Moshe Y. Vardi:
Parallel Weighted Model Counting with Tensor Networks. CoRR abs/2006.15512 (2020) - [i57]Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi:
Computer-Aided Personalized Education. CoRR abs/2007.03704 (2020) - [i56]Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Uniformly Sampling Traces of a Transition System (Extended Version). CoRR abs/2008.05102 (2020) - [i55]Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CoRR abs/2008.08748 (2020) - [i54]Anderson R. Tavares, Pedro H. C. Avelar, João M. Flach, Márcio Nicolau, Luís C. Lamb, Moshe Y. Vardi:
Understanding Boolean Function Learnability on Deep Neural Networks. CoRR abs/2009.05908 (2020) - [i53]James E. Newman, Moshe Y. Vardi:
FPRAS Approximation of the Matrix Permanent in Practice. CoRR abs/2012.03367 (2020) - [i52]Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
On Continuous Local BDD-Based Search for Hybrid SAT Solving. CoRR abs/2012.07983 (2020)
2010 – 2019
- 2019
- [j221]Moshe Y. Vardi:
Are we having an ethical crisis in computing? Commun. ACM 62(1): 7 (2019) - [j220]Moshe Y. Vardi:
Lost in math? Commun. ACM 62(3): 7 (2019) - [j219]Moshe Y. Vardi:
Quantum hype and quantum skepticism. Commun. ACM 62(5): 7 (2019) - [j218]Moshe Y. Vardi:
To serve humanity. Commun. ACM 62(7): 7 (2019) - [j217]Moshe Y. Vardi:
The long game of research. Commun. ACM 62(9): 7 (2019) - [j216]Moshe Y. Vardi:
The winner-takes-all tech corporation. Commun. ACM 62(11): 7 (2019) - [j215]Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Constraints An Int. J. 24(3-4): 211-233 (2019) - [j214]Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi:
SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods Syst. Des. 54(2): 164-190 (2019) - [j213]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis. IEEE Robotics Autom. Lett. 4(2): 285-292 (2019) - [j212]Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi:
Principled network reliability approximation: A counting-based approach. Reliab. Eng. Syst. Saf. 191 (2019) - [c367]Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi:
Unbounded Orchestrations of Transducers for Manufacturing. AAAI 2019: 2646-2653 - [c366]Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-Based Explicit LTLf Satisfiability Checking. AAAI 2019: 2946-2953 - [c365]