Search Results - Burnim, Jacob S.

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Classical scaling of the quantum capacitances for molecular wires

    Classical scaling of the quantum capacitances for molecular wires by Ellenbogen, James C., Picconatto, Carl A., Burnim, Jacob S.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Lightweight Specifications for Parallel Correctness

    Lightweight Specifications for Parallel Correctness by Burnim, Jacob S

    Request full text
    Report
    Save to List
    Saved in:
  3. 3
    Heuristics for Scalable Dynamic Test Generation

    Heuristics for Scalable Dynamic Test Generation by Burnim, J., Sen, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Scalable spatiotemporal prediction with Bayesian neural fields

    Scalable spatiotemporal prediction with Bayesian neural fields by Saad, Feras, Burnim, Jacob, Carroll, Colin, Patton, Brian, Köster, Urs, A. Saurous, Rif, Hoffman, Matthew

    Published in Nature communications
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    WISE: Automated test generation for worst-case complexity

    WISE: Automated test generation for worst-case complexity by Burnim, Jacob, Juvekar, Sudeep, Sen, Koushik

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Looper: Lightweight Detection of Infinite Loops at Runtime

    Looper: Lightweight Detection of Infinite Loops at Runtime by Burnim, J., Jalbert, N., Stergiou, C., Sen, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    WISE: Automated test generation for worst-case complexity

    WISE: Automated test generation for worst-case complexity by Burnim, Jacob, Juvekar, Sudeep, Sen, Koushik

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    DETERMIN: inferring likely deterministic specifications of multithreaded programs

    DETERMIN: inferring likely deterministic specifications of multithreaded programs by Burnim, Jacob, Sen, Koushik

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Scalable Spatiotemporal Prediction with Bayesian Neural Fields

    Scalable Spatiotemporal Prediction with Bayesian Neural Fields by Saad, Feras, Burnim, Jacob, Carroll, Colin, Patton, Brian, Köster, Urs, Saurous, Rif A, Hoffman, Matthew

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Specifying and checking semantic atomicity for multithreaded programs

    Specifying and checking semantic atomicity for multithreaded programs by Burnim, Jacob, Necula, George, Sen, Koushik

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  11. 11
    Specifying and Checking Semantic Atomicity for Multithreaded Programs

    Specifying and Checking Semantic Atomicity for Multithreaded Programs by BURNIM, Jacob, NECULA, George, SEN, Koushik

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness

    NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness by BURNIM, Jacob, ELMAS, Tayfun, NECULA, George, SEN, Koushik

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness

    NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness by Burnim, Jacob, Elmas, Tayfun, Necula, George, Sen, Koushik

    Request full text
    Report
    Save to List
    Saved in:
  14. 14
    Asserting and Checking Determinism for Multithreaded Programs

    Asserting and Checking Determinism for Multithreaded Programs by BURNIM, Jacob, SEN, Koushik

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

Search Tools: