
工作内推
截止日期2021-03-03
Active program synthesis aims at generating a program through ``teacher'' / ``learner'' interactions, where the ``learner'' can ask the ``teacher'' yes/no questions and equivalence questions to the teacher.
The aim of this project is to use active program synthesis to produce simple programs that model the behaviour of more complex ones. Specifically, given a program that generates strings (e.g. SQL queries, JSON, or XML documents), the goal of this project is to synthesise a simpler program that generates equivalent strings, but that is easier to analyse for security (e.g. injection vulnerabilities).
公司直聘
Brisbane
匠人学院
大学辅导Sales
仅限学员和tutor
Brisbane
匠人学院
数据分析班助教
公司直聘
Melbourne
匠人学院
招微信公众号写手
公司直聘
Brisbane
匠人学院
匠人学院招聘
Active program synthesis aims at generating a program through ``teacher'' / ``learner'' interactions, where the ``learner'' can ask the ``teacher'' yes/no questions and equivalence questions to the teacher.
The aim of this project is to use active program synthesis to produce simple programs that model the behaviour of more complex ones. Specifically, given a program that generates strings (e.g. SQL queries, JSON, or XML documents), the goal of this project is to synthesise a simpler program that generates equivalent strings, but that is easier to analyse for security (e.g. injection vulnerabilities).