Qadeer, Shaz

1. On the Completeness of Verifying Message Passing Programs under Bounded\n Asynchrony
   2018/04/18 by Ahmed Bouajjani, Constantin Enea, Bouajjani, Ahmed +5 · 3 citations
   Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Formal Methods in Verification
2. Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
   2021/10/15 by Dill, David, Grieskamp, Wolfgang, Park, Junkil +3 · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Symbolic Computation (cs.SC)
3. Building Reliable Cloud Services Using P# (Experience Report)
   2020/02/12 by Pantazis Deligiannis, Narayanan Ganapathy, Deligiannis, Pantazis +5 · 1 voice
   Computer Science · #cs.PL
4. Resources: A Safe Language Abstraction for Money
   2020/04/10 by Blackshear, Sam, Dill, David L., Qadeer, Shaz +4 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
5. Reasoning About Vectors using an SMT Theory of Sequences
   2022/05/17 by Ying Sheng, Andres Nötzli, Sheng, Ying +17 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems