Andrew C. Myers

1. The Cost of Software-Based Memory Management Without Virtual Memory
   2020/09/14 by Drew Zagieboylo, Zagieboylo, Drew, G. Edward Suh +3 · 4 voices
   #cs.AR #cs.PL
2. Heterogeneous Paxos: Technical Report
   2020/11/16 by Isaac Sheff, Sheff, Isaac, Xin-Wen Wang +5 · 2 citations
   Computer Science · #Age of Information Optimization #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #Databases (cs.DB) #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
3. Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
   2024/01/06 by Coşku Acay, Joshua Gancher, Acay, Coşku +5 · 1 citation
   Computer Science · #Security and Verification in Computing #Parallel Computing and Optimization Techniques #Distributed systems and fault tolerance
4. Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary
   2026/07/17 by Hanxi Chen, Noam Zilberstein, Andrew C. Myers +1
   #cs.PL #cs.LO