Search Results - Memarian, Kayvan

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    CN: Verifying Systems C Code with Separation-Logic Refinement Types

    CN: Verifying Systems C Code with Separation-Logic Refinement Types by Pulte, Christopher, Makwana, Dhruv C., Sewell, Thomas, Memarian, Kayvan, Sewell, Peter, Krishnaswami, Neel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    VIP: verifying real-world C idioms with integer-pointer casts

    VIP: verifying real-world C idioms with integer-pointer casts by Lepigre, Rodolphe, Sammler, Michael, Memarian, Kayvan, Krebbers, Robbert, Dreyer, Derek, Sewell, Peter

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Exploring C semantics and pointer provenance

    Exploring C semantics and pointer provenance by Memarian, Kayvan, Gomes, Victor B. F., Davis, Brooks, Kell, Stephen, Richardson, Alexander, Watson, Robert N. M., Sewell, Peter

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: