FenixEdu™

Dissertação

{en_GB=Program Synthesis from Noisy Tabular Data} {} EVALUATED

Detalhes: {pt=O foco desta dissertação é o problema de síntese de programas. O interesse na área de síntese de programas tem aumentado nos últimos anos, principalmente devido a uma das suas grandes promessas: permitir que qualquer utilizador consiga construir programas sem ter de saber programar, a partir de exemplos input-output. As mais recentes propostas de sintetizadores permitem gerar programas através de exemplos, contudo estes raramente suportam a existência de ruído. Isto significa que uma pequena gralha num exemplo por parte do utilizador pode tornar a tarefa de sintetizar um programa inexequível. Para além disso, sintetizar programas a partir de um conjunto de exemplos com ruído continua por explorar. Neste documento procuramos resolver o problema de síntese de programas neste cenário., en=This dissertation targets program synthesis, the task of automatically generating programs from a set of constraints. Interest in program synthesis has soared in recent years, mainly because of what it promises to deliver: to allow users with little programming knowledge to indirectly program, by simply providing input-output examples. Although recent program synthesizers are capable of synthesizing programs from input-output examples, most of them cannot deal with noise. Therefore, a simple mistake in one of those examples can render the synthesis task infeasible. Moreover, to the best of our knowledge, the task of synthesizing programs from a set of noisy input-output examples remains unexplored. In this document, we aim to solve program synthesis in such a setting. }
Keywords: {pt=Síntese de Programas, Satisfatibilidade Módulo Teorias, Exemplos com Ruído, Transformação de Tabelas, en=Program Synthesis, Satisfiability Modulo Theories, Noisy Examples, Table Transformations}

Discussão: novembro 15, 2019, 13:0