Adaptive Concretization for Parallel Program Synthesis

Adaptive Concretization for Parallel Program Synthesis

Program synthesis tools work by searching for an implementation that satisfies a given specification. Two popular search strategies are symbolic search, which reduces synthesis to a formula passed to a SAT solver, and explicit search, which uses brute force or random search to find a solution. In th...

Bibliografski detalji
Glavni autori:	Jeon, Jinseong, Foster, Jeffrey S., Qiu, Xiaokang, Solar Lezama, Armando
Daljnji autori:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Članak
Jezik:	en_US
Izdano:	Springer-Verlag 2017
Online pristup:	http://hdl.handle.net/1721.1/111033 https://orcid.org/0000-0001-9476-7349 https://orcid.org/0000-0001-7604-8252

Slični predmeti

JSketch: Sketching for Java
od: Jeon, Jinseong, i dr.
Izdano: (2017)

Synthesizing framework models for symbolic execution
od: Jeon, Jinseong, i dr.
Izdano: (2016)

Program synthesis with algebraic library specifications
od: Mariano, Benjamin, i dr.
Izdano: (2021)

Program synthesis from polymorphic refinement types
od: Polikarpova, Nadezhda, i dr.
Izdano: (2017)

Using Program Synthesis for Social Recommendations
od: Cheung, Alvin, i dr.
Izdano: (2012)

Inductive Program Synthesis Guided by Observational Program Similarity
od: Feser, Jack, i dr.
Izdano: (2023)

Unsupervised learning by program synthesis
od: Ellis, Kevin M., i dr.
Izdano: (2018)

Program sketching
od: Solar Lezama, Armando
Izdano: (2017)

Synthesis of Recursive ADT Transformations from Reusable Templates
od: Qiu, Xiaokang, i dr.
Izdano: (2017)

Using program synthesis for social recommendations
od: Cheung, Alvin K., i dr.
Izdano: (2014)

Program Sketching by Automatically Generating Mocks from Tests
od: Bragg, Nate FF, i dr.
Izdano: (2022)

SPT: Storyboard Programming Tool
od: Singh, Rishabh, i dr.
Izdano: (2014)

Smoothing a program soundly and robustly
od: Chaudhuri, Swarat, i dr.
Izdano: (2012)

Euler: A System for Numerical Optimization of Programs
od: Chaudhuri, Swarat, i dr.
Izdano: (2014)

Combining Functional and Automata Synthesis to Discover Causal Reactive Programs
od: Das, Ria, i dr.
Izdano: (2023)

Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems
od: Kuraj, Ivan, i dr.
Izdano: (2021)

Data-driven synthesis for object-oriented frameworks
od: Yessenov, Kuat T., i dr.
Izdano: (2012)

Automated feedback generation for introductory programming assignments
od: Singh, Rishabh, i dr.
Izdano: (2014)

Bridging boolean and quantitative synthesis using smoothed proof search
od: Chaudhuri, Swarat, i dr.
Izdano: (2014)

Write, Execute, Assess: Program Synthesis with a REPL
od: Ellis, Kevin, i dr.
Izdano: (2021)

Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis
od: Cheung, Alvin, i dr.
Izdano: (2018)

AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs
od: Chowdhury, Rezaul, i dr.
Izdano: (2018)

Optimizing database-backed applications with query synthesis
od: Cheung, Alvin K., i dr.
Izdano: (2014)

Sampling for Bayesian program learning
od: Ellis, Kevin M., i dr.
Izdano: (2017)

Faceted execution of policy-agnostic programs
od: Austin, Thomas H., i dr.
Izdano: (2014)

sk_p: a neural program corrector for MOOCs
od: Pu, Yewen, i dr.
Izdano: (2017)

Modular Synthesis of Sketches Using Models
od: Singh, Rohit, i dr.
Izdano: (2014)

Synthesizing data-structure manipulations from storyboards
od: Singh, Rishabh, i dr.
Izdano: (2012)

A large-scale benchmark for few-shot program induction and synthesis
od: Alet, Ferran, i dr.
Izdano: (2022)

Learning to Infer Graphics Programs from Hand-Drawn Images
od: Ellis, Kevin, i dr.
Izdano: (2021)

Learning to Infer Graphics Programs from Hand-Drawn Images
od: Ellis, Kevin, i dr.
Izdano: (2021)

Searching Entangled Program Spaces
od: Koppel, James, i dr.
Izdano: (2022)

Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes
od: Psota, James, i dr.
Izdano: (2024)

Aspect-Oriented Language for Reactive Distributed Applications at the Edge
od: Kuraj, Ivan, i dr.
Izdano: (2022)

Smooth interpretation
od: Chaudhuri, Swarat, i dr.
Izdano: (2020)

DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
od: Ellis, Kevin, i dr.
Izdano: (2022)

Designing and building parallel programs : concepts and tools for parallel software engineering /
od: Foster, Ian, 1959-
Izdano: (1995)

Strand : new concepts in parallel programming /
od: Foster, Ian, 1959-
Izdano: (1990)

Systems programming in parallel logic langauages /
od: Foster, Ian, 1959-
Izdano: (1990)

Neurosymbolic Programming for Science
od: Sun, Jennifer J, i dr.
Izdano: (2022)