Parf Wins the 2nd Prize at ChinaSoft 2024

Our tool Parf has been awarded the 2nd prize in the Software Prototype System Competition at ChinaSoft 2024.

Our prototypical tool Parf (Parf: Adaptive Parameter Refining for Abstract Interpretation) by Zhongyi Wang, Linyu Yang, Yixuan Bu, Junhao Zhuo, Jinhan Wu, Yunxiang Wei, Zhiyang Li, Mingshuai Chen, and Jianwei Yin has been awarded the 2nd prize (ranking 5/74) in the Software Prototype System Competition as part of ChinaSoft 2024, Xi’an, China. Parf is geared towards automatically refining external parameters of abstract interpretation-based static analyzers for C programs; It now incorporates a web-based UI that supports the intuitive configuration of static analyzers and a visualization of dynamic distribution refinement of the external parameters. An entry to the Parf website will be published soon.