Showing 1 - 20 results of 68 for search 'Rinard, Martin', query time: 0.16s 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
    Time Dilation and Contraction for Programmable Analog Devices with Jaunt
    by Achour, Sara, Rinard, Martin
    Published 2021
    Get fulltext
    Article
  5. 5
    AL: autogenerating supervised learning programs
    by Cambronero, Jose, Rinard, Martin C
    Published 2021
    Get fulltext
    Article
  6. 6
    The challenges of staying together while moving fast
    by Rubin, Julia, Rinard, Martin C
    Published 2017
    Other Authors: “...Rinard, Martin C...”
    Get fulltext
    Article
  7. 7
    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
  8. 8
    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
  9. 9
    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
  10. 10
    Approximate computation with outlier detection in Topaz
    by Rinard, Martin C, Achour, Sara
    Published 2018
    Other Authors: “...Rinard, Martin C...”
    Get fulltext
    Article
  11. 11
    Noise-Aware Dynamical System Compilation for Analog Devices with Legno
    by Achour, Sara, Rinard, Martin C
    Published 2021
    Get fulltext
    Article
  12. 12
    An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks
    Get fulltext
    Article
  13. 13
    Efficiency Limits for Value-Deviation-Bounded Approximate Communication
    Other Authors: “...Rinard, Martin C...”
    Get fulltext
    Article
  14. 14
    Reducing serial I/O power in error-tolerant applications by efficient lossy encoding
    Other Authors: “...Rinard, Martin C...”
    Get fulltext
    Article
  15. 15
    Unanimous Prediction for 100\% Precision with Application to Learning Semantic Mappings
    Get fulltext
    Article
  16. 16
    Automatically identifying critical input regions and code in applications
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  17. 17
    Optimal Scheduling of Urgent Preemptive Tasks
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
  18. 18
    Automatic inference of code transforms for patch generation
    Get fulltext
    Article
  19. 19
    Automatic runtime error repair and containment via recovery shepherding
    Get fulltext
    Article
  20. 20
    An Integrated Proof Language for Imperative Programs
    Other Authors: “...Rinard, Martin C....”
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search