Showing 1 - 20 results of 34 for search 'Martin C. Rinard.', query time: 0.06s Refine Results
  1. 1
    Accuracy-aware optimization of approximate programs

    Accuracy-aware optimization of approximate programs by Misailović, Saša

    Published 2016
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  2. 2
    An analysis of patch plausibility and correctness for generate-and-validate patch generation systems

    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
    Thesis
  3. 3
    RIFL : a language with filtered iterators

    RIFL : a language with filtered iterators by Shen, Jiasi

    Published 2016
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  4. 4
    Automatic patch generation via learning from successful human patches

    Automatic patch generation via learning from successful human patches by Long, Fan, Ph. D. Massachusetts Institute of Technology

    Published 2018
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  5. 5
    Verification of correctness properties of programs that read input files

    Verification of correctness properties of programs that read input files by Kim, Deokhwan,Ph. D.Massachusetts Institute of Technology.

    Published 2020
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  6. 6
    Automated exploitation of fully randomized executables

    Automated exploitation of fully randomized executables by Gadient, Austin James.

    Published 2020
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  7. 7
    Learning risk models for pancreatic cancer from electronic health records

    Learning risk models for pancreatic cancer from electronic health records by McCleary, Jennifer(Jennifer A.)

    Published 2021
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  8. 8
    SafeJava : a unified type system for safe programming

    SafeJava : a unified type system for safe programming by Boyapati, Chandrasekhar, 1973-

    Published 2006
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  9. 9
    Automatic testing of software with structurally complex inputs

    Automatic testing of software with structurally complex inputs by Marinov, Darko, 1976-

    Published 2006
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  10. 10
    Enhancing availability and security through boundless memory blocks

    Enhancing availability and security through boundless memory blocks by Cadar, Cristian

    Published 2006
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  11. 11
    Failure detection and repair of threads in CTAS

    Failure detection and repair of threads in CTAS by Jahanmir, Farid

    Published 2006
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  12. 12
    Data structure repair using goal-directed reasoning

    Data structure repair using goal-directed reasoning by Demsky, Brian Charles, 1975-

    Published 2007
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  13. 13
    Pointer analysis for Java programs : novel techniques and applications

    Pointer analysis for Java programs : novel techniques and applications by Sălcianu, Alexandru D. (Alexandru Doru), 1975-

    Published 2007
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  14. 14
    Modular data structure verification

    Modular data structure verification by Kuncak, Viktor (Viktor Jaroslav), 1977-

    Published 2007
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  15. 15
    Automatically identifying critical behaviors in programs

    Automatically identifying critical behaviors in programs by Carbin, Michael (Michael James)

    Published 2010
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  16. 16
    Verification of full functional correctness for imperative linked data structures

    Verification of full functional correctness for imperative linked data structures by Zee, Karen K

    Published 2010
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  17. 17
    Exploring the effectiveness of loop perforation for quality of service profiling

    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
    Thesis
  18. 18
    Verification of semantic commutativity conditions and inverse operations on linked data structures

    Verification of semantic commutativity conditions and inverse operations on linked data structures by Kim, Deokhwan, Ph. D. Massachusetts Institute of Technology.

    Published 2012
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  19. 19
    Automatic input rectification

    Automatic input rectification by Long, Fan, Ph. D. Massachusetts Institute of Technology

    Published 2012
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis
  20. 20
    Applications of genetic programming to parallel system optimization

    Applications of genetic programming to parallel system optimization by Pinder, Robert William, 1977-

    Published 2014
    Other Authors: “…Martin C. Rinard.…”
    Get full text
    Thesis

Search Tools: