[Studentship] Using Programming by Example to facilitate online, continual, evolution of Domain Specific Languages

Ente: Engineering and Physical Sciences Research Council

Scadenza: 2028-08-31

Paese: GB

Descrizione

Using program synthesis techniques, we intend to facilitate the construction of domain specific languages (DSLs) used by program synthesiser. The efficacy and viability of program synthesis is often limited by the required vocabulary, DSL, endowed to the synthesiser. An increase in vocabulary size gives rise to an exponential increase in computational and memory demands of the synthesiser. The size of the vocabulary is enforced by the use case, DSLs often require abstractions of complex processes into simple interfaces and hence require a large synthesis vocabulary with a wide variety of functionality. We will address this challenge by facilitating the construction of program synthesis DSLs through the combination of an iterative approach in conjunction with SMT/AI methods. We will apply this methodology to cases where the DSL is currently ill-defined and to occasions where the DSL is well defined but too large such as in automatic program lifting, whereby legacy code is translated to DSLs.

Settori: Sch of Informatics

Vai al bando originale

Registrati gratis su Bandolo per trovare bandi compatibili con la tua azienda.