Search Results - MCCUTCHEN, MATT

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    C to checked C by 3c

    C to checked C by 3c by Machiry, Aravind, Kastner, John, McCutchen, Matt, Eline, Aaron, Headley, Kyle, Hicks, Michael

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays

    Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays by MCCUTCHEN, MATT, BORGHOUTS, JUDITH, GORDON, ANDREW D., PEYTON JONES, SIMON, SARKAR, ADVAIT

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization

    Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization by Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew M.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    C to Checked C by 3C

    C to Checked C by 3C by Machiry, Aravind, Kastner, John, McCutchen, Matt, Eline, Aaron, Headley, Kyle, Hicks, Michael

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    How We Built Cedar: A Verification-Guided Approach

    How We Built Cedar: A Verification-Guided Approach by Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)

    Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version) by Cutler, Joseph W, Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    CORRESPONDENCE

    CORRESPONDENCE by Wise, Dan, Nolan, Dan, Hoffmann, Sonya, Nankin, Matt, DuBay, Bill, Diamond, Len, van der Waarde, Karel, McCutchen, Phil

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: