Showing 1 - 20 results of 27 for search 'Armando Solar-Lezama.', query time: 0.04s Refine Results
  1. 1
    Synthesizing theories of human language with Bayesian program induction

    Synthesizing theories of human language with Bayesian program induction by Kevin Ellis, Adam Albright, Armando Solar-Lezama, Joshua B. Tenenbaum, Timothy J. O’Donnell

    Published 2022-08-01
    Get full text
    Article
  2. 2
    Improved modeling of RNA-binding protein motifs in an interpretable neural model of RNA splicing

    Improved modeling of RNA-binding protein motifs in an interpretable neural model of RNA splicing by Kavi Gupta, Chenxi Yang, Kayla McCue, Osbert Bastani, Phillip A. Sharp, Christopher B. Burge, Armando Solar-Lezama

    Published 2024-01-01
    Get full text
    Article
  3. 3
    Preventing information leaks with policy-agnostic programming

    Preventing information leaks with policy-agnostic programming by Yang, Jean, Ph. D. Massachusetts Institute of Technology

    Published 2016
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  4. 4
    Expanding the synthesis of distributed memory implementations

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

    Published 2016
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  5. 5
    Synthesis of domain specific CNF encoders for bit-vector solvers

    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
  6. 6
    Program synthesis from execution traces and demonstrations

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

    Published 2016
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  7. 7
    A tool for automated inference in rule-based biological models

    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
  8. 8
    MSL : a synthesis enabled language for distributed high performance computing implementations

    MSL : a synthesis enabled language for distributed high performance computing implementations by Xu, Zhilei

    Published 2017
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  9. 9
    Incremental parametric syntax for multi-language transformation

    Incremental parametric syntax for multi-language transformation by Koppel, James (James Brandon)

    Published 2017
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  10. 10
    Automatically learning optimal formula simplifiers and database entity matching rules

    Automatically learning optimal formula simplifiers and database entity matching rules by Singh, Rohit, Ph. D. Massachusetts Institute of Technology

    Published 2018
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  11. 11
    Augmenting a neural agent with an Oracle

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

    Published 2018
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  12. 12
    Multi-language code search

    Multi-language code search by Premtoon, Varot.

    Published 2019
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  13. 13
    Inferring program sequences for texture generation with learned abstractions

    Inferring program sequences for texture generation with learned abstractions by Kontomah, Isaac.

    Published 2021
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  14. 14
    Storyboard programming of data structure manipulations : a picture is worth 20 lines of code

    Storyboard programming of data structure manipulations : a picture is worth 20 lines of code by Singh, Rishabh

    Published 2010
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  15. 15
    Specification-enhanced execution

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

    Published 2011
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  16. 16
    Synthesizing framework uses from program behavior data

    Synthesizing framework uses from program behavior data by Xu, Zhilei

    Published 2011
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  17. 17
    Using Program Synthesis for Social Recommendations

    Using Program Synthesis for Social Recommendations by Cheung, Alvin, Solar-Lezama, Armando, Madden, Samuel

    Published 2012
    Other Authors: “…Armando Solar-Lezama…”
    Get full text
  18. 18
    Synthesizing a synthesis tool

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

    Published 2014
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  19. 19
    Analyzing performance and usability of broadcast-based inter-core communication (ATAC) on manycore architecture

    Analyzing performance and usability of broadcast-based inter-core communication (ATAC) on manycore architecture by Park, Seo Jin

    Published 2014
    Other Authors: “…Armando Solar-Lezama.…”
    Get full text
    Thesis
  20. 20
    A new approach to parallel SAT solvers

    A new approach to parallel SAT solvers by Nelson, Max (Max M.)

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

Search Tools: