David Sanan

Identifiers

• name variant David Sanan 0.60 · backfill

Papers (8)

1. A formalisation of the SPARC TSO memory model for multi-core machine code cs.LO · 2019 · author #2
2. A Verified Timsort C Implementation in Isabelle/HOL cs.SE · 2018 · author #3
3. An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems cs.SE · 2018 · author #2
4. Executable Operational Semantics of Solidity cs.PL · 2018 · author #4
5. Refinement-based Specification and Security Analysis of Separation Kernels cs.SE · 2017 · author #2
6. High-Assurance Separation Kernels: A Survey on Formal Methods cs.SE · 2017 · author #2
7. Compositional Reasoning for Shared-variable Concurrent Programs cs.FL · 2016 · author #3
8. Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B cs.SE · 2015 · author #3

Mentions

• 1508.06479 #3 · backfill · confidence 0.70 David Sanan

Frequent Coauthors

• Yang Liu 7 shared papers
• Yongwang Zhao 6 shared papers
• Fuyuan Zhang 4 shared papers
• Alwen Tiu 2 shared papers
• Jun Sun 2 shared papers
• Shang-Wei Lin 2 shared papers
• Jiao Jiao 1 shared papers
• Jin Song Dong 1 shared papers
• Shuanglong Kan 1 shared papers
• Yu Zhang 1 shared papers
• Zhe Hou 1 shared papers
• Zhibin Yang 1 shared papers