Showing 1 - 20 results of 59 for search 'Rinard, Martin C.', query time: 0.36s Refine Results
  1. 1
    Integrated reasoning and proof choice point selection in the jahob system (Mechanisms for program survival)
    by Rinard, Martin C.
    Published 2010
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  2. 2
    Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation
    by Rinard, Martin C.
    Published 2012
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  3. 3
    Survival strategies for synthesized hardware systems
    by Rinard, Martin C.
    Published 2010
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  4. 4
    AL: autogenerating supervised learning programs
    by Cambronero, Jose, Rinard, Martin C
    Published 2021
    Get fulltext
    Article
  5. 5
    The challenges of staying together while moving fast
    by Rubin, Julia, Rinard, Martin C
    Published 2017
    Other Authors: “...Rinard, Martin C...”
    Get fulltext
    Article
  6. 6
    Automatic extraction of heap reference properties in object-oriented programs
    by Demsky, Brian, Rinard, Martin C.
    Published 2010
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  7. 7
    An analysis of the search spaces for generate and validate patch generation systems
    by Long, Fan, Rinard, Martin C
    Published 2018
    Other Authors: “...Rinard, Martin C...”
    Get fulltext
    Article
  8. 8
    Approximate computation with outlier detection in Topaz
    by Rinard, Martin C, Achour, Sara
    Published 2018
    Other Authors: “...Rinard, Martin C...”
    Get fulltext
    Article
  9. 9
    Verification of semantic commutativity conditions and inverse operations on linked data structures
    by Kim, Deokhwan, Rinard, Martin C.
    Published 2012
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  10. 10
    Noise-Aware Dynamical System Compilation for Analog Devices with Legno
    by Achour, Sara, Rinard, Martin C
    Published 2021
    Get fulltext
    Article
  11. 11
    Efficiency Limits for Value-Deviation-Bounded Approximate Communication
    Other Authors: “...Rinard, Martin C...”
    Get fulltext
    Article
  12. 12
    Reducing serial I/O power in error-tolerant applications by efficient lossy encoding
    Other Authors: “...Rinard, Martin C...”
    Get fulltext
    Article
  13. 13
    Automatically identifying critical input regions and code in applications
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  14. 14
    Automatic inference of code transforms for patch generation
    Get fulltext
    Article
  15. 15
    An Integrated Proof Language for Imperative Programs
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  16. 16
    Active learning for inference and regeneration of computer programs that store and retrieve data
    Get fulltext
    Article
  17. 17
    Optimal Scheduling of Urgent Preemptive Tasks
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  18. 18
    Probabilistically Accurate Program Transformations
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  19. 19
    Configuration synthesis for programmable analog devices with Arco
    Other Authors: “...Rinard, Martin C...”
    Get fulltext
    Article
  20. 20
    Parallelizing Sequential Programs with Statistical Accuracy Tests
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search