Lahav, Ori
- Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
2024/01/25 by Wu, Haoze, Isac, Omri, Zeljić, Aleksandar +14 · 26 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- Pruning and Slicing Neural Networks using Formal Verification
2021/05/28 by Ori Lahav, Lahav, Ori, Guy Katz +1 · 4 citations
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Physical Unclonable Functions (PUFs) and Hardware Security #Software Testing and Debugging Techniques
- A Programming Model for Disaggregated Memory over CXL
2024/07/23 by Gal Assa, Moritz Lumme, Assa, Gal +6 · 1 voice · 1 citation
Computer Science · #Distributed #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC) #cs.DC #cs.ET
- View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)
2022/01/15 by Bila, Eleni Vafeiadi, Dongol, Brijesh, Lahav, Ori +2 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Verifying Reachability in Networks with Mutable Datapaths
2016/07/04 by Aurojit Panda, Panda, Aurojit, Ori Lahav +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Network Packet Processing and Optimization #Network Security and Intrusion Detection #Networking and Internet Architecture (cs.NI) #Software-Defined Networks and 5G
- Making Weak Memory Models Fair
2020/12/02 by Lahav, Ori, Namakonov, Egor, Oberhauser, Jonas +2 · 1 citation
#D.3.1 #F.3.2 #FOS: Computer and information sciences #Programming Languages (cs.PL)
- It ain't necessarily so: Basic sequent systems for negative modalities
2016/06/13 by Ori Lahav, Lahav, Ori, João Marcos +3 · 1 citation
Computer Science · #03B45 #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Sequent systems for negative modalities
2017/06/15 by Ori Lahav, João Marcos, Lahav, Ori +3 · 1 citation
Computer Science · #03B45 #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
2023/05/15 by Ori Lahav, Brijesh Dongol, Lahav, Ori +3 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
- What Cannot Be Implemented on Weak Memory?
2024/05/26 by Castañeda, Armando, Chockler, Gregory, Dongol, Brijesh +1 · 1 citation
#Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)