近日，我院題為“Design and Implementation of an Aspect-Oriented C Programming Language”的論文被程序設計語言領域國際頂級會議OOPSLA 2024錄用。該論文的第一作者為我院陳哲副教授，作者還包括我院碩士生朱雲龍、王哲民，我校為所有作者的唯一單位。這是我校在程序設計語言領域發表的第一篇CCF A類會議論文。

論文提出：面向切面編程（Aspect-Oriented Programming, AOP）是一種通過模塊化方式實現交叉關注點問題的編程範式。人們已經見證了AspectJ和AspectC++等Java和C++語言的AOP支持的繁榮，這使得AOP成為一種重要的編程範式，擁有許多有趣的應用場景。相比之下，C語言的AOP支持仍然較為匮乏，且缺乏編譯器支持。該項工作成功設計了一種新的通用且表達力強的面向切面C編程語言，并為其實現了一個編譯器，從而将完善的AOP支持引入了C語言領域，同時在有效性和性能上成為SOTA。

同時，該論文中開發的軟件和實驗已通過OOPSLA 2024的工件同行評審（Artifact Evaluation），獲得了全部三項認證，包括：工件可下載（Artifacts Available）、工件可重用（Artifacts Evaluated – Reusable）和結果可複現（Results Reproduced），保證了論文結論的正确和嚴謹，為同行重用、複現論文結論提供了便利。

OOPSLA（全稱ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications）是中國計算機學會（CCF）推薦的程序設計語言領域三個A類學術會議之一，聚焦于編程語言、編譯系統和程序運行時環境的研究，旨在推動程序設計語言和編譯器的創新和發展。