Search papers, labs, and topics across Lattice.
The State Key Laboratory of Blockchain and Data Security, Zhejiang University
4
0
2
3
Achieving up to 3.14x speedup in pointer analysis by leveraging compiler optimizations could revolutionize static analysis performance benchmarks.
A new optimization-based approach to inductive invariant synthesis achieves an 86% increase in benchmark solvability compared to traditional methods.
Spear accelerates the synthesis of optimal abstract transformers by exploiting parallelism, outperforming state-of-the-art solvers in both efficiency and scalability.
LLMs can supercharge traditional compilers, achieving up to 6.88x speedups by synthesizing precise compiler hints that unlock hidden optimization opportunities.
