search result

Cover von Computer-Assisted Query Formulation
Author: Cheung, Alvin; Solar-Lezama, Armando Search for this author
Year: 2016
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 3. 2016, 1
Media group: ONLINEBOOK
Cover von Computer-Assisted Query Formulation
special issue
Author: Cheung, Alvin; Solar-Lezama, Armando Search for this author
Year: 2016
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 3. 2016, 1
Media group: SPECIAL ISSUE
Cover von Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis

Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis

Year: 2015
Media group: LIPIcs
Cover von Tenspiler

Tenspiler

A Verified-Lifting-Based Compiler for Tensor Operations
Author: Cheung, Alvin
Year: 2024
Media group: LIPIcs
Cover von Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper)

Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper)

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0