131,464 Hits in 3.2 sec

Programmable Program Synthesis [chapter]

Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas Reps
2021 Lecture Notes in Computer Science  
However, for synthesis to become a mainstream technique adopted at large by programmers as well as by end-users, we need to design programmable synthesis frameworks that (i) are not tailored to specific  ...  We report on our work on designing such frameworks and on building synthesis engines that can handle program-synthesis problems describable in such frameworks, and describe open challenges and opportunities  ...  Why Isn't Existing Work in Synthesis Programmable?  ... 
doi:10.1007/978-3-030-81685-8_4 fatcat:osmodpksw5cufgczwanjbmwjhu

Latent Programmer: Discrete Latent Codes for Program Synthesis [article]

Joey Hong and David Dohan and Rishabh Singh and Charles Sutton and Manzil Zaheer
2021 arXiv   pre-print
We evaluate the Latent Programmer on two domains: synthesis of string transformation programs, and generation of programs from natural language descriptions.  ...  Based on these insights, we introduce the Latent Programmer, a program synthesis method that first predicts a discrete latent code from input/output examples, and then generates the program in the target  ...  On two different program synthesis domains, we find empirically that the Latent Programmer improves synthesis accuracy by over 10% compared to several baseline synthesis methods, especially on longer programs  ... 
arXiv:2012.00377v2 fatcat:apac2zybjfg55gyj4jknoknixu

Kiwi: Synthesis of FPGA Circuits from Parallel Programs

Satnam Singh, David J. Greaves
2008 2008 16th International Symposium on Field-Programmable Custom Computing Machines  
We describe the Kiwi parallel programming library and its associated synthesis system which is used to transform C# parallel programs into circuits for realization on FP-GAs.  ...  through the choice of parallel and concurrent programming language constructs.  ...  By expressing concurrent computations in terms of regular concurrency constructs we hope to make our synthesis technology accessible to mainstream programmers.  ... 
doi:10.1109/fccm.2008.46 dblp:conf/fccm/GreavesS08 fatcat:cee4ohwwgrgnppyvlnajztitpi

Numerical Program Optimization for High-Level Synthesis

Xitong Gao, George A. Constantinides
2015 Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays - FPGA '15  
doi:10.1145/2684746.2689090 dblp:conf/fpga/GaoC15 fatcat:nalqv4ek4vazfg6gxgo7ay4wri

FPGA Circuit Synthesis of Accelerator Data-Parallel Programs

Barry Bond, Kerry Hammil, Lubomir Litchev, Satnam Singh
2010 2010 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines  
The Accelerator API provides methods which allow a programmer to specify a data-parallel computation in a convenient notation using overloaded operators and calls to static methods.  ...  Resource usage specific makes to most sense for the FPGA target to guide the synthesis system to instantiate the required number and type of cores.  ... 
doi:10.1109/fccm.2010.51 dblp:conf/fccm/BondHLS10 fatcat:gaclnncikjbsfohxq2ghlfwjfy

Configuration synthesis for programmable analog devices with Arco

Sara Achour, Rahul Sarpeshkar, Martin C. Rinard
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
Programmable analog devices have emerged as a powerful computing substrate for performing complex neuromorphic and cytomorphic computations.  ...  We present Arco, a new solver that, given a dynamical system specification in the form of a set of differential equations, generates physically realizable configurations for programmable analog devices  ...  Acknowledgements We would like to thank Sung Sik Woo for helpful discussions about programmable analog hardware platforms in general and the specific programmable analog devices that he is building.  ... 
doi:10.1145/2908080.2908116 dblp:conf/pldi/AchourSR16 fatcat:smjbedtlkrbztkazbs7unqlyt4

A low cost reconfigurable soft processor for multimedia applications: Design synthesis and programming model

Sai Rahul Chalamalasetti, Wim Vanderbauwhede, Sohan Purohit, Martin Margala
2009 2009 International Conference on Field Programmable Logic and Applications  
A low cost reconfigurable soft processor for multimedia applications: design synthesis and programming model.  ...  A special feature of the proposed architecture is its simple programming model which allows low level programming.  ...  This allows the programmer to program the various algorithms in his native programming language, rather than model them using a hardware description language (HDL).  ... 
doi:10.1109/fpl.2009.5272461 dblp:conf/fpl/ChalamalasettiVPM09 fatcat:644nndzs4vhelm4wwrxctamlka

Automatically Optimizing the Latency, Area, and Accuracy of C Programs for High-Level Synthesis

Xitong Gao, John Wickerson, George A. Constantinides
2016 Proceedings of the 2016 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays - FPGA '16  
Loops are pervasive in numerical programs, so high-level synthesis (HLS) tools use state-of-the-art scheduling techniques to pipeline them efficiently.  ...  Our tool, SOAP3, reports a multi-dimensional Pareto frontier that the programmer can use to resolve the trade-off according to their needs.  ...  INTRODUCTION There are many reasons why FPGA implementations of numerical algorithms are best obtained via high-level synthesis (HLS) from C: less development effort, the abundance of software engineers  ... 
doi:10.1145/2847263.2847282 dblp:conf/fpga/GaoWC16 fatcat:7serh5sef5e7lei3mhxagdoyt4

A High-Level Synthesis Approach Optimizing Accumulations in Floating-Point Programs Using Custom Formats and Operators

Yohann Uguen, Florent de Dinechin, Steven Derrien
2017 2017 IEEE 25th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)  
A high-level synthesis approach optimizing accumulations in floating-point programs using custom formats and operators.  ...  Abstract-High-level synthesis (HLS) is a big step forward in terms of design productivity.  ...  Table V : V Synthesis results of the Fourier coefficients program before and after transformations. .  ... 
doi:10.1109/fccm.2017.41 dblp:conf/fccm/UguenDD17 fatcat:44ostrl6m5dotpdngqq4b2rjjq

Synthèse de la littérature académique sur le programme d'Éthique et culture religieuse : la question de l'enseignant
A synthesis of the literature on Québec's Ethics and Religious Culture program: The teacher's posture

Nancy Bouchard, Nicolas Haeck, Maxime Plante, Raymonde Venditti
2016 Formation et profession: revue scientifique internationale en éducation  
Abstract This article reviews the academic literature about the Ethics and Religious Culture program (MELS, 2008). We focus here specifically on the teacher.  ...  After a few words about the methodology borrowed, we present an outline of the results about the professional posture of the teacher and his assimilation of the program.  ...  Et avec un programme qui n' est pas neutre?  ... 
doi:10.18162/fp.2016.324 fatcat:2ylthh5xinguvma4t7kef6copy

Human-Centric Program Synthesis

Will Crichton, Joshua Sunshine, Elena L. Glassman, Sarah Chasins
2020 ACM Symposium on User Interface Software and Technology  
I sketch a human-centric vision for program synthesis where programmers explore and learn languages and APIs aided by a synthesis tool.  ...  Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications.  ...  If high-level specifications replace I/O pairs, does this reduce the program search space, or is it just a means of generating examples (like QuickCheck)?  ... 
doi:10.4230/oasics.plateau.2019.5 dblp:conf/uist/Crichton19 fatcat:koty5hfl6rekrdnhxznune5cne

Human-Centric Program Synthesis [article]

Will Crichton
2019 arXiv   pre-print
I sketch a human-centric vision for program synthesis where programmers explore and learn languages and APIs aided by a synthesis tool.  ...  Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications.  ...  The Past and Present of Program Synthesis The stories above highlight a key fact about modern-day programming: programmers routinely deal with dozens of representations of code and data.  ... 
arXiv:1909.12281v1 fatcat:qbkf3mnyqreddag7sjugaftx74

From boolean to quantitative synthesis

Pavol Černý, Thomas A. Henzinger
2011 Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11  
programmer productivity.  ...  In this paper, we argue that quantitative objectives are needed in partial-program synthesis in order to produce higher-quality programs, while enabling simpler specifications.  ...  BOOLEAN PARTIAL-PROGRAM SYNTHESIS The goal of partial-program synthesis is to allow the programmer to specify a part of her intent imperatively as a partial program, and a part of her intent declaratively  ... 
doi:10.1145/2038642.2038666 dblp:conf/emsoft/CernyH11 fatcat:ej5hbcfiyzaeziuthocydcwt3m

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base [article]

Ali Shokri
2021 arXiv   pre-print
Despite the advances in the field of Program Synthesis, the current approaches still synthesize a block of code snippet and leave the task of reusing it in an existing code base to program developers.  ...  In this paper, we introduce a novel program synthesis approach that synthesizes architectural tactics and adds them to an existing code base.  ...  However, despite the advances in API-based program synthesis, novice programmers still are not able to easily incorporate these approaches in architectural tactic implementation tasks.  ... 
arXiv:2108.07117v1 fatcat:5gpos3xrznamli6xevhgs2kcoe

Template-based program verification and program synthesis

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
2012 International Journal on Software Tools for Technology Transfer (STTT)  
Program synthesis is the task of automatically generating a program that meets a given specification.  ...  Both program verification and program synthesis can be viewed as search problems, for proofs and programs, respectively.  ...  Program Templates for Synthesis In synthesis the tool instantiates a programmer-specified program template to a program matching a specification.  ... 
doi:10.1007/s10009-012-0223-4 fatcat:jiocju4xijfzdchpr3wmbhrs3e
« Previous Showing results 1 — 15 out of 131,464 results