NDLI: Program synthesis: opportunities for the next decade

Please wait, while we are loading the content...

Program synthesis: opportunities for the next decade

Functional pearl: a SQL to C compiler in 500 lines of code

1ML – core and modules united (F-ing first-class modules)

Applicative bidirectional programming with lenses

Noninterference for free

Denotational cost semantics for functional languages with inductive types

Functional programming and hardware design: still interesting after all these years

Pilsner: a compositionally verified compiler for a higher-order imperative language

Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code

Which simple types have a unique inhabitant?

Functional pearl: two can keep a secret, if one of them uses Haskell

Practical principled FRP: forget the past, change the future, FRPNow!

RRB vector: a practical general purpose immutable sequence

Blame assignment for higher-order contracts with intersection and union

Practical SMT-based type error localization

An optimizing compiler for a purely functional web-application language

Bounded refinement types

Hygienic resugaring of compositional desugaring

Algebras and coalgebras in the light affine Lambda calculus

Analysing the complexity of functional programs: higher-order meets first-order

A unification algorithm for Coq featuring universe polymorphism and overloading

Adaptive lock-free maps: purely-functional to scalable

Elaborating evaluation-order polymorphism

HLIO: mixing static and dynamic typing for information-flow control in Haskell

Certified symbolic management of financial multi-party contracts

Functional pearl: a smart view on datatypes

Expressing contract monitors as patterns of communication

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness

Pycket: a tracing JIT for a functional language

XQuery and static typing: tackling the problem of backward axes

Structures for structural recursion

Foundational extensible corecursion: a proof assistant perspective

Partial aborts for transactions via first-class continuations

Automatic refunctionalization to a language with copattern matching: with applications to the expression problem

A fast compiler for NetKAT

Efficient communication and collection with compact normal forms

Learning refinement types

Program synthesis: opportunities for the next decade

Content Provider	ACM Digital Library
Author	Bodik, Rastislav
Abstract	Program synthesis is the contemporary answer to automatic programming. It innovates in two ways: First, it replaces batch automation with interactivity, assisting the programmer in refining the understanding of the programming problem. Second, it produces programs using search in a candidate space rather than by derivation from a specification. Searching for an acceptable program means that we can accommodate incomplete specifications, such as examples. Additionally, search makes synthesis applicable to domains that lack correct-by-construction derivation rules, such as hardware design, education, end-user programming, and systems biology. The future of synthesis rests on four challenges, each presenting an opportunity to develop novel abstractions for "programming with search." Larger scope: today, we synthesize small, flat programs; synthesis of large software will need constructs for modularity and stepwise refinement. New interaction modes: to solicit the specification without simply asking for more examples, we need to impose a structure on the candidate space and explore it in a dialogue. Construction: how to compile a synthesis problem to a search algorithm without building a compiler? Everything is a program: whatever can be phrased as a program can be in principle synthesized. Indeed, we will see synthesis advance from synthesis of plain programs to synthesis of compilers and languages. The latter may include DSLs, type systems, and modeling languages for biology. As such, synthesis could help mechanize the crown jewel of programming languages research --- the design of abstractions --- which has so far been done manually and only by experts. .
Starting Page	1
Ending Page	1
Page Count	1
File Format	PDF
ISBN	9781450336697
DOI	10.1145/2784731.2789052
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-08-29
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Program synthesis
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Program synthesis: opportunities for the next decade

Arctic air pollution : Challenges and opportunities for the next decadeArctic air pollution : Challenges and opportunities for the next decade

TCAD process/device modeling challenges and opportunities for the next decade

Challenges and Opportunities for the Academy in the Next Decade

Exascale computing: the challenges and opportunities in the next decade

1988 Chapman Address: Oklahoma Indian Law--Cases of the Last Decade and Opportunities for the Next Decade

1988 Chapman Address: Oklahoma Indian Law--Cases of the Last Decade and Opportunities for the Next Decade

TCAD Process/Device Modeling Challenges and Opportunities for the Next Decade

Research in Macromolecular Science: Challenges and Opportunities for the Next Decade

Program synthesis: opportunities for the next decade

Similar Documents

Program synthesis: opportunities for the next decade

Arctic air pollution : Challenges and opportunities for the next decadeArctic air pollution : Challenges and opportunities for the next decade

TCAD process/device modeling challenges and opportunities for the next decade

Challenges and Opportunities for the Academy in the Next Decade

Exascale computing: the challenges and opportunities in the next decade

1988 Chapman Address: Oklahoma Indian Law--Cases of the Last Decade and Opportunities for the Next Decade

1988 Chapman Address: Oklahoma Indian Law--Cases of the Last Decade and Opportunities for the Next Decade

TCAD Process/Device Modeling Challenges and Opportunities for the Next Decade

Research in Macromolecular Science: Challenges and Opportunities for the Next Decade

Program synthesis: opportunities for the next decade