Search Results - Chajed, Tej

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    DBSP: Automatic Incremental View Maintenance for Rich Query Languages

    DBSP: Automatic Incremental View Maintenance for Rich Query Languages by Budiu, Mihai, Chajed, Tej, McSherry, Frank, Ryzhyk, Leonid, Tannen, Val

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    DBSP: Incremental Computation on Streams and Its Applications to Databases

    DBSP: Incremental Computation on Streams and Its Applications to Databases by Budiu, Mihai, Chajed, Tej, McSherry, Frank, Ryzhyk, Leonid, Tannen, Val

    Published in SIGMOD record
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas

    Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas by Frenkel, Eden, Chajed, Tej, Padon, Oded, Shoham, Sharon

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Certifying a file system using crash hoare logic: correctness in the presence of crashes

    Certifying a file system using crash hoare logic: correctness in the presence of crashes by Chajed, Tej, Chen, Haogang, Chlipala, Adam, Kaashoek, M. Frans, Zeldovich, Nickolai, Ziegler, Daniel

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

Search Tools: