Emmi, Michael

1. On Reducing Linearizability to State Reachability
   2015/02/24 by Ahmed Bouajjani, Michael Emmi, Bouajjani, Ahmed +5 · 2 citations
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Security and Verification in Computing
2. Proving linearizability using forward simulations
   2017/02/09 by Ahmed Bouajjani, Michael Emmi, Bouajjani, Ahmed +5 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software System Performance and Reliability
3. ct-fuzz: Fuzzing for Timing Leaks
   2019/04/15 by He, Shaobo, Emmi, Michael, Ciocarlie, Gabriela · 1 citation
   #FOS: Computer and information sciences #Software Engineering (cs.SE)