Showing 1 - 20 results of 33 for search 'Martin C. Rinard.', query time: 0.11s Refine Results
  1. 1
    Modular data structure verification
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  2. 2
    Applications of genetic programming to parallel system optimization
    by Pinder, Robert William, 1977-
    Published 2014
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  3. 3
    Accuracy-aware optimization of approximate programs
    by Misailović, Saša
    Published 2016
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  4. 4
    SafeJava : a unified type system for safe programming
    by Boyapati, Chandrasekhar, 1973-
    Published 2006
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  5. 5
    Exploring the effectiveness of loop perforation for quality of service profiling
    by Misailovíc, Saša
    Published 2011
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  6. 6
    Verification of semantic commutativity conditions and inverse operations on linked data structures
    by Kim, Deokhwan
    Published 2012
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  7. 7
    Designing an algorithm for role analysis
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  8. 8
    Verification of full functional correctness for imperative linked data structures
    by Zee, Karen K
    Published 2010
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  9. 9
    Automatic testing of software with structurally complex inputs
    by Marinov, Darko, 1976-
    Published 2006
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  10. 10
    Failure detection and repair of threads in CTAS
    by Jahanmir, Farid
    Published 2006
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  11. 11
    Real-time scheduling for Java
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  12. 12
    Logical reasoning for approximate and unreliable computation
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  13. 13
    Integer overflow discovery using goal-directed conditional branch enforcement
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  14. 14
    Enhancing availability and security through boundless memory blocks
    by Cadar, Cristian
    Published 2006
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  15. 15
    Data structure repair using goal-directed reasoning
    by Demsky, Brian Charles, 1975-
    Published 2007
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  16. 16
    Architecture independent register allocation
    by Klock, Felix Stanley, 1978-
    Published 2014
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  17. 17
    Automatic patch generation via learning from successful human patches
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  18. 18
    Automatic input rectification
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  19. 19
    Pointer analysis for Java programs : novel techniques and applications
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
  20. 20
    An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
    by Qi, Zichao
    Published 2016
    Other Authors: “...Martin C. Rinard....”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search