Ori Lahav

1. Bridging the gap between programming languages and hardware weak memory models
   2018/07/20 by Anton Podkopaev, Ori Lahav, Viktor Vafeiadis · 2 voices · 1 citation
   Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Parallel Computing and Optimization Techniques
2. A Programming Model for Disaggregated Memory over CXL
   2024/07/23 by Gal Assa, Assa, Gal, Moritz Lumme +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
3. Pruning and Slicing Neural Networks using Formal Verification
   2021/05/28 by Ori Lahav, Guy Katz, Lahav, Ori +1 · 3 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
4. What’s Decidable About Causally Consistent Shared Memory?
   2022/04/06 by Ori Lahav, Udi Boker · 2 citations
   Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Security and Verification in Computing
5. It ain't necessarily so: Basic sequent systems for negative modalities
   2016/06/13 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
6. 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