Lee, Edward A.

1. Quantifying and Generalizing the CAP Theorem
   2021/09/16 by Edward A. Lee, Soroush Bateni, Lee, Edward A. +7 · 1 citation
   Computer Science · Decision Sciences · #Distributed systems and fault tolerance #Simulation Techniques and Applications #Distributed and Parallel Computing Systems
2. Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
   2018/07/20 by Gil Lederman, Lederman, Gil, Markus N. Rabe +5 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Machine Learning and Data Classification
3. High-Performance Deterministic Concurrency using Lingua Franca
   2023/01/06 by Menard, Christian, Lohstroh, Marten, Bateni, Soroush +10 · 1 citation
   #Distributed #FOS: Computer and information sciences #Parallel #Performance (cs.PF) #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)