Showing 1 - 20 results of 178 for search 'Rinard, Martin', query time: 0.03s Refine Results
  1. 1
    A Lossy, Synchronization-Free, Race-Full, But Still Acceptably Accurate Parallel Space-Subdivision Tree Construction Algorithm

    A Lossy, Synchronization-Free, Race-Full, But Still Acceptably Accurate Parallel Space-Subdivision Tree Construction Algorithm by Rinard, Martin

    Published 2012
    Get full text
  2. 2
    Credible Compilers

    Credible Compilers by Rinard, Martin C.

    Published 2023
    Get full text
  3. 3
    Survival Techniques for Computer Programs

    Survival Techniques for Computer Programs by Rinard, Martin C.

    Published 2005
    Get full text
    Article
  4. 4
    Credible Compilation *

    Credible Compilation * by Rinard, Martin C.

    Published 2003
    Get full text
    Article
  5. 5
    Acceptability-Oriented Computing

    Acceptability-Oriented Computing by Rinard, Martin C.

    Published 2003
    Get full text
    Article
  6. 6
    Integrated reasoning and proof choice point selection in the jahob system (Mechanisms for program survival)

    Integrated reasoning and proof choice point selection in the jahob system (Mechanisms for program survival) by Rinard, Martin C.

    Published 2010
    Get full text
    Get full text
    Article
  7. 7
    Survival strategies for synthesized hardware systems

    Survival strategies for synthesized hardware systems by Rinard, Martin C.

    Published 2010
    Get full text
    Get full text
    Article
  8. 8
    Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation

    Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation by Rinard, Martin C.

    Published 2012
    Get full text
    Get full text
    Article
  9. 9
    Failure-Oblivious Computing and Boundless Memory Blocks

    Failure-Oblivious Computing and Boundless Memory Blocks by Rinard, Martin C.

    Published 2005
    Get full text
    Article
  10. 10
    Filtered Iterators For Safe and Robust Programs in RIFL

    Filtered Iterators For Safe and Robust Programs in RIFL by Shen, Jiasi, Rinard, Martin

    Published 2015
    Get full text
  11. 11
    An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems

    An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems by Long, Fan, Rinard, Martin

    Published 2016
    Get full text
  12. 12
    Inference and Regeneration of Programs that Store and Retrieve Data

    Inference and Regeneration of Programs that Store and Retrieve Data by Rinard, Martin, Shen, Jiasi

    Published 2017
    Get full text
  13. 13
    Inference and Regeneration of Programs that Manipulate Relational Databases

    Inference and Regeneration of Programs that Manipulate Relational Databases by Shen, Jiasi, Rinard, Martin

    Published 2017
    Get full text
  14. 14
    Generating Component-based Supervised Learning Programs From Crowdsourced Examples

    Generating Component-based Supervised Learning Programs From Crowdsourced Examples by Cambronero, Jose, Rinard, Martin

    Published 2017
    Get full text
  15. 15
    Using Active Learning to Synthesize Models of Applications That Access Databases

    Using Active Learning to Synthesize Models of Applications That Access Databases by Shen, Jiasi, Rinard, Martin

    Published 2018
    Get full text
    Article
  16. 16
    Using Dynamic Monitoring to Synthesize Models of Applications That Access Databases

    Using Dynamic Monitoring to Synthesize Models of Applications That Access Databases by Shen, Jiasi, Rinard, MArtin

    Published 2018
    Get full text
    Article
  17. 17
    Active Loop Detection for Applications that Access Databases

    Active Loop Detection for Applications that Access Databases by Shen, Jiasi, Rinard, Martin

    Published 2021
    Get full text
    Technical Report
  18. 18
    Time Dilation and Contraction for Programmable Analog Devices with Jaunt

    Time Dilation and Contraction for Programmable Analog Devices with Jaunt by Achour, Sara, Rinard, Martin

    Published 2021
    Get full text
    Article
  19. 19
    Active Loop Detection for Applications that Access Databases

    Active Loop Detection for Applications that Access Databases by Shen, Jiasi, Rinard, Martin

    Published 2021
    Get full text
    Technical Report
  20. 20
    Compositional Pointer and Escape Analysis for Multithreaded Java Programs

    Compositional Pointer and Escape Analysis for Multithreaded Java Programs by Rinard, Martin, Whaley, John

    Published 2023
    Get full text

Search Tools: