Analysis and Optimisation of Incomplete Object-Oriented Programs
Analysis and Optimisation of Incomplete Object-Oriented Programs
批准号:
DP0665581
负责人:
Prof Jingling Xue
金额:
$19.81万
依托单位国家:
澳大利亚
项目类别:
Discovery Projects
财政年份:
2006
资助国家:
澳大利亚
项目状态:
已结题
起止时间:
2006-06-01 至 2010-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This project will push Australia to the forefront of OO technologies and will increase the profile of advanced programming language design and implementation research in Australia. The completed framework will
likely be commercially viable as Australia industries such as banks and
insurance companies and government organisations hosting large
OO software systems may benefit (in terms of performance and
code security) from the technology developed as a result of this research. The completed framework will also provide an excellent platform for researchers in Australia and elsewhere to do research in OO technologies, helping in producing quality students for the Australian IT industry.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Ownership-based Alias Analysis for Securing Unsafe Rust Programs
-
批准号:DP240103194
-
项目类别:Discovery Projects
-
资助金额:$35.59万
-
财政年份:2024
-
负责人:Prof Jingling Xue
-
依托单位:
Detecting Asynchronous Event-Driven Order Violations in Android Apps
-
批准号:DP210102409
-
项目类别:Discovery Projects
-
资助金额:$22.17万
-
财政年份:2022
-
负责人:Prof Jingling Xue
-
依托单位:
Discovery Projects - Grant ID: DP210102409
-
批准号:ARC : DP210102409
-
项目类别:Discovery Projects
-
资助金额:$31.5万
-
财政年份:2022
-
负责人:Prof Jingling Xue
-
依托单位:
Securing systems against code-reuse attacks with modular pointer analysis
-
批准号:DP180104069
-
项目类别:Discovery Projects
-
资助金额:$25.38万
-
财政年份:2018
-
负责人:Prof Jingling Xue
-
依托单位:
Soundness-guided security analysis for android applications
-
批准号:DP170103956
-
项目类别:Discovery Projects
-
资助金额:$25.02万
-
财政年份:2017
-
负责人:Prof Jingling Xue
-
依托单位:
Sparse Demand-Driven Analysis to Improve Software Reliability and Security
-
批准号:DP150102109
-
项目类别:Discovery Projects
-
资助金额:$18.37万
-
财政年份:2015
-
负责人:Prof Jingling Xue
-
依托单位:
Finding concurrency bugs in multithreaded software
-
批准号:DP130101970
-
项目类别:Discovery Projects
-
资助金额:$25.58万
-
财政年份:2013
-
负责人:Prof Jingling Xue
-
依托单位:
Automating data placement and movement for explicitly managed memory hierarchies
-
批准号:DP110104628
-
项目类别:Discovery Projects
-
资助金额:$27.44万
-
财政年份:2011
-
负责人:Prof Jingling Xue
-
依托单位:
A Programming Model of Object Validity for Secure and Efficient Concurrency
-
批准号:DP0987236
-
项目类别:Discovery Projects
-
资助金额:$27.06万
-
财政年份:2009
-
负责人:Prof Jingling Xue
-
依托单位:
Scratchpad-based Memory Allocation Techniques for Embedded Software
-
批准号:DP0881330
-
项目类别:Discovery Projects
-
资助金额:$19.77万
-
财政年份:2008
-
负责人:Prof Jingling Xue
-
依托单位:
Compiler-Directed Code Tiling for Higher Program Performance and Predictability on Multi-Level Memory Hierarchies
-
批准号:DP0452623
-
项目类别:Discovery Projects
-
资助金额:$10.45万
-
财政年份:2004
-
负责人:Prof Jingling Xue
-
依托单位:
海外基金