Showing
1 - 8
results of
8
for search '
LANGUAGE
'
Skip to content
Home
High Impact Articles
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
Jawi Collection
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Author:
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
AND
Solar Lezama, Armando
Reset Filters
Show filters (2)
Author:
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
AND
Solar Lezama, Armando
Search Results - LANGUAGE
Showing
1 - 8
results of
8
for search '
LANGUAGE
'
, query time: 0.46s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Verified lifting of stencil computations
by
Kamil, Shoaib
,
Cheung, Alvin
,
Itzhaky, Shachar
,
Solar Lezama, Armando
Published 2017
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
2
Unsupervised learning by program synthesis
by
Ellis, Kevin M.
,
Solar Lezama, Armando
,
Tenenbaum, Joshua B
Published 2018
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
3
Synthesis of Recursive ADT Transformations from Reusable Templates
by
Qiu, Xiaokang
,
Lerner, Benjamin S.
,
Inala, Jeevana Priya
,
Polikarpova, Nadezhda
,
Solar Lezama, Armando
Published 2017
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
4
Optimizing database-backed applications with query synthesis
by
Cheung, Alvin K.
,
Solar-Lezama, Armando
,
Madden, Samuel R.
Published 2014
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
5
Faceted execution of policy-agnostic programs
by
Austin, Thomas H.
,
Yang, Jean
,
Flanagan, Cormac
,
Solar-Lezama, Armando
Published 2014
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
6
Program synthesis from polymorphic refinement types
by
Polikarpova, Nadezhda
,
Kuraj, Ivan
,
Solar Lezama, Armando
Published 2017
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
7
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
by
Chowdhury, Rezaul
,
Itzhaky, Shachar
,
Singh, Rohit
,
Solar Lezama, Armando
,
Yessenov, Kuat T
,
Lu, Yongquan
,
Leiserson, Charles E
Published 2017
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
8
The three pillars of machine programming
by
Gottschlich, Justin
,
Solar Lezama, Armando
,
Tatbul Bitim, Emine Nesime
,
Carbin, Michael James
,
Rinard, Martin C
,
Barzilay, Regina
,
Amarasinghe, Saman P
,
Tenenbaum, Joshua B
,
Mattson, Tim
Published 2021
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
Search Tools:
Get RSS Feed
—
Email this Search
Back
Narrow Search
Format
Article
8
Sources
MIT IR
8
Collections
Institutional Repositories
8
Author
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
8
Solar Lezama, Armando
Itzhaky, Shachar
2
Massachusetts Institute of Technology. Department of Brain and Cognitive Sciences
2
Polikarpova, Nadezhda
2
Solar-Lezama, Armando
2
Tenenbaum, Joshua B
2
Amarasinghe, Saman P
1
Austin, Thomas H.
1
Barzilay, Regina
1
Carbin, Michael James
1
Cheung, Alvin
1
Cheung, Alvin K.
1
Chowdhury, Rezaul
1
Ellis, Kevin M.
1
Flanagan, Cormac
1
Gottschlich, Justin
1
Inala, Jeevana Priya
1
Kamil, Shoaib
1
Kuraj, Ivan
1
Leiserson, Charles E
1
Lerner, Benjamin S.
1
Lu, Yongquan
1
Madden, Samuel R.
1
Massachusetts Institute of Technology. Department of Mathematics
1
Mattson, Tim
1
Qiu, Xiaokang
1
Rinard, Martin C
1
Singh, Rohit
1
see all ...
Language
English
8
Genre
Article
8
Year of Publication
From:
To:
Loading...