Showing 1 - 20 results of 28 for search 'Armando Solar-Lezama.', query time: 0.04s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5

    Expanding the synthesis of distributed memory implementations by Sharpe, Jeremy Edward

    Published 2016
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  6. 6

    Synthesis of domain specific CNF encoders for bit-vector solvers by Inala, Jeevana Priya

    Published 2016
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  7. 7

    Program synthesis from execution traces and demonstrations by Yessenov, Kuat T

    Published 2016
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  8. 8

    A tool for automated inference in rule-based biological models by Voss, Chelsea (Chelsea S.)

    Published 2017
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  9. 9
  10. 10
  11. 11
  12. 12

    Augmenting a neural agent with an Oracle by Miranda, Zachery A

    Published 2018
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  13. 13

    Multi-language code search by Premtoon, Varot.

    Published 2019
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  14. 14
  15. 15
  16. 16

    Specification-enhanced execution by Yang, Jean, Ph. D. Massachusetts Institute of Technology

    Published 2011
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  17. 17

    Synthesizing framework uses from program behavior data by Xu, Zhilei

    Published 2011
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  18. 18
  19. 19

    Synthesizing a synthesis tool by Singh, Rohit, Ph. D. Massachusetts Institute of Technology.

    Published 2014
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  20. 20