Showing 1 - 20 results of 28 for search 'Armando Solar-Lezama.', query time: 0.04s
Refine Results
-
1
Results and Analysis of SyGuS-Comp'15 by Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
Published 2016-02-01
Article -
2
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
Article -
3
-
4
Preventing information leaks with policy-agnostic programming by Yang, Jean, Ph. D. Massachusetts Institute of Technology
Published 2016Other Authors: “…Armando Solar-Lezama.…”
Thesis -
5
Expanding the synthesis of distributed memory implementations by Sharpe, Jeremy Edward
Published 2016Other Authors: “…Armando Solar-Lezama.…”
Thesis -
6
Synthesis of domain specific CNF encoders for bit-vector solvers by Inala, Jeevana Priya
Published 2016Other Authors: “…Armando Solar-Lezama.…”
Thesis -
7
Program synthesis from execution traces and demonstrations by Yessenov, Kuat T
Published 2016Other Authors: “…Armando Solar-Lezama.…”
Thesis -
8
A tool for automated inference in rule-based biological models by Voss, Chelsea (Chelsea S.)
Published 2017Other Authors: “…Armando Solar-Lezama.…”
Thesis -
9
MSL : a synthesis enabled language for distributed high performance computing implementations by Xu, Zhilei
Published 2017Other Authors: “…Armando Solar-Lezama.…”
Thesis -
10
Incremental parametric syntax for multi-language transformation by Koppel, James (James Brandon)
Published 2017Other Authors: “…Armando Solar-Lezama.…”
Thesis -
11
Automatically learning optimal formula simplifiers and database entity matching rules by Singh, Rohit, Ph. D. Massachusetts Institute of Technology
Published 2018Other Authors: “…Armando Solar-Lezama.…”
Thesis -
12
Augmenting a neural agent with an Oracle by Miranda, Zachery A
Published 2018Other Authors: “…Armando Solar-Lezama.…”
Thesis -
13
Multi-language code search by Premtoon, Varot.
Published 2019Other Authors: “…Armando Solar-Lezama.…”
Thesis -
14
Inferring program sequences for texture generation with learned abstractions by Kontomah, Isaac.
Published 2021Other Authors: “…Armando Solar-Lezama.…”
Thesis -
15
Storyboard programming of data structure manipulations : a picture is worth 20 lines of code by Singh, Rishabh
Published 2010Other Authors: “…Armando Solar-Lezama.…”
Thesis -
16
Specification-enhanced execution by Yang, Jean, Ph. D. Massachusetts Institute of Technology
Published 2011Other Authors: “…Armando Solar-Lezama.…”
Thesis -
17
Synthesizing framework uses from program behavior data by Xu, Zhilei
Published 2011Other Authors: “…Armando Solar-Lezama.…”
Thesis -
18
Using Program Synthesis for Social Recommendations by Cheung, Alvin, Solar-Lezama, Armando, Madden, Samuel
Published 2012Other Authors: “…Armando Solar-Lezama…”
-
19
Synthesizing a synthesis tool by Singh, Rohit, Ph. D. Massachusetts Institute of Technology.
Published 2014Other Authors: “…Armando Solar-Lezama.…”
Thesis -
20
Analyzing performance and usability of broadcast-based inter-core communication (ATAC) on manycore architecture by Park, Seo Jin
Published 2014Other Authors: “…Armando Solar-Lezama.…”
Thesis