Discovery Early Career Researcher Award - Grant ID: DE230100473
Funder
Australian Research Council
Funding Amount
$410,154.00
Summary
Effective integration of human and automated analyses for security testing. This DECRA project aims to significantly improve the performance of current state-of-the-art automated security testing approaches, enabling them to discover more security bugs in strict time constraints. The key innovation of the project is its novel way to embrace human element to leverage the ingenuity of the developers. This project will help companies improve the security and reliability of their products, thwarting ....Effective integration of human and automated analyses for security testing. This DECRA project aims to significantly improve the performance of current state-of-the-art automated security testing approaches, enabling them to discover more security bugs in strict time constraints. The key innovation of the project is its novel way to embrace human element to leverage the ingenuity of the developers. This project will help companies improve the security and reliability of their products, thwarting cyberattacks that cost Australian business $29 billion each year. The knowledge from this project will be transferred and integrated into higher education subjects to train the next generations of software developers, who are responsible to build security-critical systems that we all rely on now and in the future.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE240100040
Funder
Australian Research Council
Funding Amount
$442,302.00
Summary
Quality Assurance of Mobile Applications by Effective Testing and Repair. This project aims to create advanced techniques that will enable software engineers to effectively develop quality assured and robust software systems. This project expects to generate new and innovative approaches that automate software testing and repair. The expected outcomes of this project include new knowledge of software engineering, development of an automated and cost-effective testing system with improved coverag ....Quality Assurance of Mobile Applications by Effective Testing and Repair. This project aims to create advanced techniques that will enable software engineers to effectively develop quality assured and robust software systems. This project expects to generate new and innovative approaches that automate software testing and repair. The expected outcomes of this project include new knowledge of software engineering, development of an automated and cost-effective testing system with improved coverage, greater bug detection and repair, and faster testing protocols. This should provide significant benefits to software users by providing reliable and user-friendly systems and to software companies to position Australia as a global leader in software development and technological advancement.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE220101057
Funder
Australian Research Council
Funding Amount
$424,140.00
Summary
Practical Automated Software Bug Fixing via Syntactic and Semantic Analyses. This proposal aims to advance the practical adoption of automated software bug repair, which has recently been adopted by industry, e.g., Facebook. It will produce novel methods that use mining software repositories, program analysis, and human-guided search to help automated repair to scale and be accurate. Expected outcomes include a publicly available automated bug repair framework. This project will help the softwar ....Practical Automated Software Bug Fixing via Syntactic and Semantic Analyses. This proposal aims to advance the practical adoption of automated software bug repair, which has recently been adopted by industry, e.g., Facebook. It will produce novel methods that use mining software repositories, program analysis, and human-guided search to help automated repair to scale and be accurate. Expected outcomes include a publicly available automated bug repair framework. This project will help the software industry deliver to users high quality software with improved reliability and safety, and increase education quality for students learning to code via automated feedback generation.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE170101081
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis t ....Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis to efficiently and precisely analyse large-scale programs according to clients’ needs, thereby allowing compilers to generate safe, reliable and secure code. This project is expected to advance value-flow analysis for industrial-sized software, improve software reliability and security, and benefit Australian software systems and industries.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE180100153
Funder
Australian Research Council
Funding Amount
$361,446.00
Summary
Automatically summarising and measuring software development activity. This project aims to create technologies for automatically repackaging, interpreting, and aggregating software development activity. The project will devise new natural-language summarisation approaches and productivity metrics that use all data available in a software repository. This is likely to lead to knowledge and tools that allow organisations to quickly integrate new developers into existing software projects, to impr ....Automatically summarising and measuring software development activity. This project aims to create technologies for automatically repackaging, interpreting, and aggregating software development activity. The project will devise new natural-language summarisation approaches and productivity metrics that use all data available in a software repository. This is likely to lead to knowledge and tools that allow organisations to quickly integrate new developers into existing software projects, to improve project awareness, and to increase productivity goals. The outcomes would include a comprehensive decision and awareness support system for software projects, based on automating the creation and continual updating of developer activity summaries and measures.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE200100941
Funder
Australian Research Council
Funding Amount
$392,778.00
Summary
Practical and Explainable Analytics to Prevent Future Software Defects. This project aims to create technologies that enable software engineers to produce the highest quality software systems with the lowest costs, by preventing future defects in safety-critical systems that could result in death and disasters. Expected outcomes of this project include new theories, techniques, and analytics systems to assist software engineers accurately predict, explain, and prevent future software defects bef ....Practical and Explainable Analytics to Prevent Future Software Defects. This project aims to create technologies that enable software engineers to produce the highest quality software systems with the lowest costs, by preventing future defects in safety-critical systems that could result in death and disasters. Expected outcomes of this project include new theories, techniques, and analytics systems to assist software engineers accurately predict, explain, and prevent future software defects before they impact end users. This should provide significant benefits including accelerating the productivity of the software industry while preventing software defects in many critical domains including smart city and e-health applications.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE200100021
Funder
Australian Research Council
Funding Amount
$413,665.00
Summary
An Intelligent Programmer’s Assistant Using Data Mining. This project aims to advance the important practice of pair programming in software engineering via software repository mining and create automated support tools. This project expects to use innovative techniques combining artificial intelligence, programming analysis and software analytics, to help software developers review code, fix bugs and implement new features. Expected outcomes of this project include an intelligent programmer’s as ....An Intelligent Programmer’s Assistant Using Data Mining. This project aims to advance the important practice of pair programming in software engineering via software repository mining and create automated support tools. This project expects to use innovative techniques combining artificial intelligence, programming analysis and software analytics, to help software developers review code, fix bugs and implement new features. Expected outcomes of this project include an intelligent programmer’s assistant, consisting of a set of automated tools, covering software development, testing and maintenance. This should provide significant benefits to the Australian software development industry by improving developers’ productivity and reduce overall project costs.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE240100006
Funder
Australian Research Council
Funding Amount
$444,847.00
Summary
Robust Derivative-Free Algorithms for Complex Optimisation Problems. Mathematical optimisation gives a systematic way for optimal decision-making. This project aims to develop new mathematical tools for complex optimisation problems where limited problem information is available. It will generate new foundational theories for alternative optimisation tools, introducing substantial new capability and rigour to the discipline. The project will create significant new mathematical optimisation techn ....Robust Derivative-Free Algorithms for Complex Optimisation Problems. Mathematical optimisation gives a systematic way for optimal decision-making. This project aims to develop new mathematical tools for complex optimisation problems where limited problem information is available. It will generate new foundational theories for alternative optimisation tools, introducing substantial new capability and rigour to the discipline. The project will create significant new mathematical optimisation techniques and create world-leading and publicly available software. These new techniques and software may ultimately be able to solve some of the most complex optimisation problems in research and industry, such as improving long-term climate predictions and designing 3D-printed medical implants.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE230100730
Funder
Australian Research Council
Funding Amount
$448,000.00
Summary
Strategies to minimise the societal impacts of zoonotic pandemics. The continuing pandemic has had unprecedented effects across society. Population mobility restrictions have been effective in slowing transmission, but are only effective while in place and have dramatic adverse effects. Despite Australia’s relative success, we have lacked a clear national strategy to guide the optimal deployment of such restrictions. During this fellowship, I will use robust software development practices to dev ....Strategies to minimise the societal impacts of zoonotic pandemics. The continuing pandemic has had unprecedented effects across society. Population mobility restrictions have been effective in slowing transmission, but are only effective while in place and have dramatic adverse effects. Despite Australia’s relative success, we have lacked a clear national strategy to guide the optimal deployment of such restrictions. During this fellowship, I will use robust software development practices to develop a unified software platform that integrates semi-mechanistic, particle filter and agent-based methodologies. I will then use this platform to quantify the effects of mobility restrictions and define the optimal strategic response that should be selected based on the characteristics of a newly emerged pathogen.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE190100046
Funder
Australian Research Council
Funding Amount
$387,000.00
Summary
Fortifying our digital economy: advanced automated vulnerability discovery. This project aims to enable security researchers to detect critical vulnerabilities in large software systems with maximal efficiency, cost-effectively, and with known statistical accuracy. The aim is to develop advanced high-performance fuzzers that effectively thwart malware attacks, ransomware epidemics, and cyber terrorism by exposing security flaws before they can commence. The project will employ a well-established ....Fortifying our digital economy: advanced automated vulnerability discovery. This project aims to enable security researchers to detect critical vulnerabilities in large software systems with maximal efficiency, cost-effectively, and with known statistical accuracy. The aim is to develop advanced high-performance fuzzers that effectively thwart malware attacks, ransomware epidemics, and cyber terrorism by exposing security flaws before they can commence. The project will employ a well-established statistical framework utilised in ecology research to provide fundamental insights to boosting the efficiency of software vulnerability discovery, and on the trade-off between investing more resources and gaining better cyber security guarantees. As our reliance on new technologies is ever growing, this project equips Australia to curb cyber crime cost-effectively.Read moreRead less