12 papers · ranked by Valyu relevance
Cristina David, Daniel Kroening
Program synthesis is the mechanized construction of software, dubbed ‘self-writing code’. Synthesis tools relieve the programmer from thinking about how the problem is to be solved; instead, the programmer only provides a description of what is to be achieved. Given a specification of what the program should do, the…
Shuvendu K. Lahiri, Chao Wang, Paul Krogmeier, Umang Mathur + 3 more
'Adithya Murali' 'P. Madhusudan' 'Mahesh Viswanathan'] We identify a decidable synthesis problem for a class of programs of unbounded size with conditionals and iteration that work over infinite data domains. The programs in our class use uninterpreted functions and relations, and abide by a restriction called…
Shuvendu K. Lahiri, Chao Wang, Yanju Chen, Chenglong Wang + 3 more
'Osbert Bastani' 'Isil Dillig' 'Yu Feng'] In this paper, we present a new program synthesis algorithm based on reinforcement learning. Given an initial policy (i.e. statistical model) trained off-line, our method uses this policy to guide its search and gradually improves it by leveraging feedback obtained from a…
Alessandro Abate, Haniel Barbosa, Clark Barrett, Cristina David + 5 more
'Pascal Kesseli' 'Daniel Kroening' 'Elizabeth Polgreen' 'Andrew Reynolds' 'Cesare Tinelli'] Program synthesis is the mechanised construction of software. One of the main difficulties is the efficient exploration of the very large solution space, and tools often require a user-provided syntactic restriction of the…
Yao Xiao, Shahin Nazarian, Paul Bogdan
Quantum computers and algorithms can offer exponential performance improvement over some NP-complete programs which cannot be run efficiently through a Von Neumann computing approach. In this paper, we present BayeSyn, which utilizes an enhanced stochastic program synthesis and Bayesian optimization to automatically…
Maribel Fernández, Jack Hughes, Dominic Orchard
Linear types provide a way to constrain programs by specifying that some values must be used exactly once. Recent work on graded modal types augments and refines this notion, enabling fine-grained, quantitative specification of data use in programs. The information provided by graded modal types appears to be useful…
Man Tianxing, Vasiliy Yurievich Osipov, Alexander Ivanovich Vodyaho, Andrey Kalmatskiy + 4 more
'Andrey Kalmatskiy' 'Natalia Alexandrovna Zhukova' 'Sergey Vyacheslavovich Lebedev' 'Yulia Alexandrovna Shichkina' 'Shlomi Dolev'] This article addresses the monitoring problem of the telecommunication networks. We consider these networks as multilevel dynamic objects. It shows that reconfigurable systems are necessary…
Zoltan A. Kocsis, Jerry Swan
\usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{+}$$\end{document} + Proof Search \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym}…
Shane B Claggett, Kevin M Quinn, Mark Lazari, Melissa D Moore + 1 more
'R Michael van Dam'] Background Many automated radiosynthesizers for producing positron emission tomography (PET) probes provide a means for the operator to create custom synthesis programs. The programming interfaces are typically designed with the engineer rather than the radiochemist in mind, requiring lengthy…
Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna + 3 more
We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis procedure inserts synchronization to ensure that the final program works even with a preemptive scheduler. The correctness specification is…
Gunther Eysenbach, Martin Popovic, Shuvarthi Bhattacharjee, Miranda Lynn Janvrin + 2 more
'Miranda Lynn Janvrin' 'Jessica Korona-Bailey' 'Tracey Pérez Koehlmoos'] Background Early in the pandemic, in 2020, Koehlmoos et al completed a framework synthesis of currently available self-reported symptom tracking programs for COVID-19. This framework described relevant programs, partners and affiliates, funding…
Shuan Chen, Yousung Jung
Synthetic accessibility prediction is a task to estimate how easily a given molecule might be synthesizable in the laboratory, playing a crucial role in computer-aided molecular design. Although synthesis planning programs can determine synthesis routes, their slow processing times make them impractical for large-scale…