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
A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, an ....A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, and defense. This project will develop a novel model and language for analyzing and programming device ecologies. This will be an Australian contribution towards techniques for constructing advanced applications that work over the computing infrastructure of the future.Read moreRead less
Supporting adaptive, interactive documents. The project will improve comprehensibility of technical material, reduce paper usage, encourage collaborative science, improve the reliability of published science (by allowing post-publication annotation and correction), and improve the accessibility of technical material for readers who are blind or have poor vision. The project also holds considerable potential for supporting Australian companies in the publishing and document processing industries.
Experimental runtime complexity analysis of logic programs. While declarative languages improve programmer productivity, they make it harder for programmers to understand the performance of their code. We will build a tool that will use profiling data and program analysis to allow programmers to predict the running time of their programs.
Adaptive and Integrated Resource Allocation. By leveraging progress in communication technologies, adaptive and integrated optimization systems will open innovative application areas critical to Australia, yet outside the scope of existing optimization technology. For instance, they will dispatch and reallocate ambulances in real time, help contain pandemics, allocate resources dynamically to extinguish bushfires, and assist in failure recovery of energy infrastrutures. These systems will also s ....Adaptive and Integrated Resource Allocation. By leveraging progress in communication technologies, adaptive and integrated optimization systems will open innovative application areas critical to Australia, yet outside the scope of existing optimization technology. For instance, they will dispatch and reallocate ambulances in real time, help contain pandemics, allocate resources dynamically to extinguish bushfires, and assist in failure recovery of energy infrastrutures. These systems will also solve existing logistics and manufacturing applications better, making these industries more effective and reactive. The project also aims at establishing a center of excellence in optimization in Melbourne with an international reputation in research, teaching, and industrial collaboration.Read moreRead less
Accurate analysis of combinatorial problems: from the particular to the general. Combinatorial problems pervade all aspects of our social, environmental and economic life, but finding good solutions to these problems can take too much computer time. This project will develop new analysis tools that are effective at reducing this time, thus allowing for better solutions to be found.
Learning from learning solvers. Finding optimum solutions to everyday problems is one of the most common challenges in decision making. This project aims to design and implement effective analysis and transformation methods to improve models of combinatorial optimisation problems. Better models will enable more scalable and robust deployment of resources in all these areas, and do so immediately and at low risk and cost. The results will help users design better models while spending less time a ....Learning from learning solvers. Finding optimum solutions to everyday problems is one of the most common challenges in decision making. This project aims to design and implement effective analysis and transformation methods to improve models of combinatorial optimisation problems. Better models will enable more scalable and robust deployment of resources in all these areas, and do so immediately and at low risk and cost. The results will help users design better models while spending less time and money. This will in turn allow organisations large and small to reap the benefits of optimisation technology and, thus, make more efficient use of their resources.Read moreRead less