2019年6月22日至26日，第40届程序设计语言设计与实现会议(ACM SIGPLAN Conference on Programming Language Design and Implementation，PLDI 2019)在美国凤凰城举行，南京大学计算机科学与技术系程序设计语言研究组冯新宇教授、梁红瑾副教授及其团队的论文“Towards Certified Separate Compi