Search Results - VASWANI, Kapil

Refine Results
  1. 1
    EnclaveDB: A Secure Database Using SGX

    EnclaveDB: A Secure Database Using SGX by Priebe, Christian, Vaswani, Kapil, Costa, Manuel

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    A Predictive Performance Model for Superscalar Processors

    A Predictive Performance Model for Superscalar Processors by Joseph, P. J., Vaswani, Kapil, Thazhuthaveetil, Matthew J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Construction and use of linear regression models for processor performance analysis

    Construction and use of linear regression models for processor performance analysis by Joseph, P.J., Kapil Vaswani, Thazhuthaveetil, M.J.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Logical Concurrency Control from Sequential Proofs

    Logical Concurrency Control from Sequential Proofs by Deshmukh, Jyotirmoy, Ramalingam, G., Ranganath, Venkatesh-Prasad, Vaswani, Kapil

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    DARWIN: An approach to debugging evolving programs

    DARWIN: An approach to debugging evolving programs by Qi, Dawei, Roychoudhury, Abhik, Liang, Zhenkai, Vaswani, Kapil

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    HOLMES: Effective statistical debugging via efficient path profiling

    HOLMES: Effective statistical debugging via efficient path profiling by Chilimbi, Trishul M., Liblit, Ben, Mehra, Krishna, Nori, Aditya V., Vaswani, Kapil

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Microarchitecture Sensitive Empirical Models for Compiler Optimizations

    Microarchitecture Sensitive Empirical Models for Compiler Optimizations by Vaswani, Kapil, Thazhuthaveetil, Matthew J., Srikant, Y. N., Joseph, P. J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Mining quantified temporal rules: Formalism, algorithms, and evaluation

    Mining quantified temporal rules: Formalism, algorithms, and evaluation by Lo, David, Ramalingam, G., Ranganath, Venkatesh-Prasad, Vaswani, Kapil

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    A Programmable Hardware Path Profiler

    A Programmable Hardware Path Profiler by Vaswani, Kapil, Thazhuthaveetil, Matthew J., Srikant, Y. N.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Project snowflake: non-blocking safe manual memory management in .NET

    Project snowflake: non-blocking safe manual memory management in .NET by Parkinson, Matthew, Vytiniotis, Dimitrios, Vaswani, Kapil, Costa, Manuel, Deligiannis, Pantazis, McDermott, Dylan, Blankstein, Aaron, Balkind, Jonathan

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  11. 11
    HOLMES: Effective statistical debugging via efficient path profiling

    HOLMES: Effective statistical debugging via efficient path profiling by Chilimbi, Trishul M, Liblit, Ben, Mehra, Krishna, Nori, Aditya V, Vaswani, Kapil

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation

    Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation by Lo, D., Ramalingam, G., Ranganath, V.P., Vaswani, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    ExclaveFL: Providing Transparency to Federated Learning using Exclaves

    ExclaveFL: Providing Transparency to Federated Learning using Exclaves by Guo, Jinnan, Vaswani, Kapil, Paverd, Andrew, Pietzuch, Peter

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Safe Programmable Speculative Parallelism

    Safe Programmable Speculative Parallelism by PRABHU, Prakash, RAMALINGAM, G, VASWANI, Kapil

    Published in ACM SIGPLAN notices
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Confidential Machine Learning within Graphcore IPUs

    Confidential Machine Learning within Graphcore IPUs by Vaswani, Kapil, Volos, Stavros, Fournet, Cédric, Antonio Nino Diaz, Gordon, Ken, Vembu, Balaji, Webster, Sam, Chisnall, David, Kulkarni, Saurabh, Cunningham, Graham, Osborne, Richard, Wilkinson, Dan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Information Flows in Encrypted Databases

    Information Flows in Encrypted Databases by Vaswani, Kapil, Ramamurthy, Ravi, Venkatesan, Ramarathnam

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Preferential path profiling : Compactly numbering interesting paths

    Preferential path profiling : Compactly numbering interesting paths by VASWANI, Kapil, NORI, Aditya V, CHILIMBI, Trishul M

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    ISOLATOR: Dynamically Ensuring Isolation in Concurrent Programs

    ISOLATOR: Dynamically Ensuring Isolation in Concurrent Programs by RAJAMANI, Sriram, RAMALINGAM, G, VENKATESH PRASAD RANGANATH, VASWANI, Kapil

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Logical Concurrency Control from Sequential Proofs

    Logical Concurrency Control from Sequential Proofs by Deshmukh, Jyotirmoy, Ramalingam, G, Venkatesh-Prasad Ranganath, Vaswani, Kapil

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    ISOLATOR: dynamically ensuring isolation in comcurrent programs

    ISOLATOR: dynamically ensuring isolation in comcurrent programs by Rajamani, Sriram, Ramalingam, G., Ranganath, Venkatesh Prasad, Vaswani, Kapil

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

Search Tools: