Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Tue 6 Dec 2022 11:00 - 11:30 at Seminar Room G145 - Morning Session B

Automatic complexity analysis has not reached mainstream adoption due to outstanding challenges, such as scalability and usability, and no formally verified analyzer exists. However, the need to evaluate resource usage is crucial: even a guaranteed correct program, whose memory usage exceeds available resources, is unreliable. The field of Implicit Computational Complexity (ICC) offers a potential avenue to resolving some of these outstanding challenges by introducing unique, machine-independent, and flexible approaches to program analysis. But since ICC techniques are mostly theoretical, it is unclear how strongly these assumptions hold in practice. This project defines a 3-directional plan—focused on practical analysis, compiler-integration, and formal verification—to assess the suitability of ICC to address outstanding challenges in automatic complexity analysis.

Tue 6 Dec

Displayed time zone: Auckland, Wellington change