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
- 2024
[j262]Moshe Y. Vardi:
Computing, You Have Blood on Your Hands! Commun. ACM 67(1): 5 (2024)- [j261]Moshe Y. Vardi:
What Do Computing and Economics Have to Say to Each Other? Commun. ACM 67(3): 5 (2024) - [j260]Moshe Y. Vardi:
More Is Different, in Social Media Too. Commun. ACM 67(5): 5 (2024) - [j259]Andrew Strelzoff
, Benjamin D. Trump, Christopher L. Cummings, Madison Smith, Stephanie Elisabeth Galaitsi, Kelsey Stoddard, Jeffrey M. Keisler, Moshe Y. Vardi, Nathaniel D. Bastian, Alexander Kott, Igor Linkov:
Human Intuition and Algorithmic Efficiency Must Be Balanced to Enhance Data Mesh Resilience. Commun. ACM 67(5): 48-51 (2024) - [j258]Moshe Y. Vardi:
Is Computing a Discipline in Crisis? Commun. ACM 67(7): 5 (2024) - [j257]Moshe Y. Vardi:
The Linear Fallacy. Commun. ACM 67(9): 5 (2024) - [j256]Moshe Y. Vardi:
What Is Theoretical Computer Science? Commun. ACM 67(11): 5 (2024) - [j255]Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. Theor. Comput. Sci. 1006: 114650 (2024) - [c427]Yi Lin, Lucas Martinelli Tabajara, Moshe Y. Vardi:
Dynamic Programming for Symbolic Boolean Realizability and Synthesis. CAV (3) 2024: 112-134 - [c426]Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier:
The MoXI Model Exchange Tool Suite. CAV (1) 2024: 203-218 - [c425]Moshe Y. Vardi:
Logical Algorithmics: From Theory to Practice (Invited Talk). CSL 2024: 6:1-6:1 - [c424]Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Stochastic Games for Interactive Manipulation Domains. ICRA 2024: 2513-2519 - [c423]Khen Elimelech, Zachary K. Kingston, Wil Thomason, Moshe Y. Vardi, Lydia E. Kavraki:
Accelerating Long-Horizon Planning with Affordance-Directed Dynamic Grounding of Abstract Strategies. ICRA 2024: 12688-12695 - [c422]Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. IJCAI 2024: 3631-3641 - [c421]Moshe Y. Vardi:
Logical Algorithmics: From Relational Queries to Boolean Reasoning (Invited Talk). SAT 2024: 3:1-3:1 - [c420]Kristin Yvonne Rozier, Rohit Dureja, Ahmed Irfan, Chris Johannsen, Karthik Nukala, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi:
MoXI: An Intermediate Language for Symbolic Model Checking. SPIN 2024: 26-46 - [c419]Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi:
Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) 2024: 186-207 - [i82]Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Stochastic Games for Interactive Manipulation Domains. CoRR abs/2403.04910 (2024) - [i81]Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. CoRR abs/2404.16163 (2024) - [i80]Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi:
Dynamic Programming for Symbolic Boolean Realizability and Synthesis. CoRR abs/2405.07975 (2024) - [i79]Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts. CoRR abs/2408.07324 (2024) - [i78]Khen Elimelech, James Motes, Marco Morales, Nancy M. Amato, Moshe Y. Vardi, Lydia E. Kavraki:
Encoding Reusable Multi-Robot Planning Strategies as Abstract Hypergraphs. CoRR abs/2409.10692 (2024) - 2023
- [j254]Moshe Y. Vardi:
How Not to Win a Tech War. Commun. ACM 66(1): 7 (2023) - [j253]Moshe Y. Vardi:
Who Is Responsible Around Here? Commun. ACM 66(3): 5 (2023) - [j252]Moshe Y. Vardi:
ACM for the Public Good. Commun. ACM 66(5): 5 (2023) - [j251]Moshe Y. Vardi:
Revisiting ACM's Open-Conference Principle. Commun. ACM 66(7): 5 (2023) - [j250]Moshe Y. Vardi:
To Regulate Tech, Nullify Click-Through Contracts. Commun. ACM 66(9): 5 (2023) - [j249]Moshe Y. Vardi:
What Came First, Math or Computing? Commun. ACM 66(11): 5 (2023) - [j248]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) - [c418]Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells:
Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) 2023: 227-247 - [c417]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 - [c416]Moshe Y. Vardi:
How to Be An Ethical Technologist. ECBS 2023: 1-6 - [c415]Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi:
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. FMCAD 2023: 1 - [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
- [j247]Moshe Y. Vardi:
Will AI destroy education? Commun. ACM 65(1): 7 (2022) - [j246]Moshe Y. Vardi:
ACM, ethics, and corporate behavior. Commun. ACM 65(3): 5 (2022) - [j245]Moshe Y. Vardi:
War and tech (and ACM). Commun. ACM 65(5): 9 (2022) - [j244]Moshe Y. Vardi:
An association of the members, by the members, for the members. Commun. ACM 65(7): 11 (2022) - [j243]Moshe Y. Vardi:
Technology and democracy. Commun. ACM 65(9): 5 (2022) - [j242]Moshe Y. Vardi:
Accountability and liability in computing. Commun. ACM 65(11): 5 (2022) - [j241]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) - [j240]Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61(2): 139-163 (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]