发表服务
南大冯新宇教授团队获PLDI杰出论文奖2019-06-2813:27来源:软件工程研究与实践来源：软件新技术青年学者学术沙龙2019年6月22日至26日，第40届程序设计语言设计与实现会议（ACMSIGPLANConferenceonProgrammingLanguageDesignand...
2019年6月22日至26日，第40届程序设计语言设计与实现会议（ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation，PLDI2019）在美国凤凰城举行，我室程序设计语言研究组冯新宇教授、梁红瑾副教授及其团队的论文“TowardsCertifiedSeparateCompilationforConcurrentPrograms”荣获本次会议的杰出论文...
南京大学计算机科学与技术系程序设计语言研究组荣获PLDI2019杰出论文奖.2019年6月22日至26日，第40届程序设计语言设计与实现会议（ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation，PLDI2019）在美国凤凰城举行，南京大学计算机科学与技术系程序设计语…
PLDI是程序设计语言和编译器领域的旗舰会议。根据PLDI2021会务组发送的消息，今年共接收有效投稿320个，所有稿件条件录用87个，录用率约27%。所谓值得关注，我觉得可以从两个方面考虑，首先是爱…
科研|南京大学计算机科学与技术系程序设计语言研究组荣获PLDI2019杰出论文奖.2019年6月22日至26日，第40届程序设计语言设计与实现会议（ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation，PLDI2019）在美国凤凰城举行，南京大学计算机科学与技术系程…
南京大学计算机学院冯新宇导师,40年来首次|南京大学冯新宇、梁红瑾团队荣获PLDI2019杰出论文奖...Certifiedseparatecompilationisimportantforestablishingend-to-endguaranteesforcertifiedsystemsconsistingofmultipleprogrammodules.Therehas…
图源南京大学官网冯新宇教授主要从事程序验证、并发理论、程序设计语言理论方面的研究，是我国高校编程语言方向的专家。2010-2017年期间，冯新宇教授曾经在中科大就任教授，并于18年以后来到南京大学，目前在南京大学就任教授，并于2019年带领团队获得PLDI杰出论文奖。
2019年6月22日至26日，第40届程序设计语言设计与实现会议(ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation，PLDI2019)在美国凤凰城举行，南京大学计算机科学与技术系程序设计语言研究组冯新宇教授、梁红瑾副...
在过去5年（2013-2017），整个大中华地区（含港澳台）只有6篇论文入选PLDI，其中两篇就来自港科大安全实验室，包括迄今为止亚洲唯一的一篇杰出论文，以及2014年源伞科技创始人在读时发…
讲座内容简介：讲座人简介：俞能昆，悉尼科技大学量子计算中心高级讲师，毕业于清华大学计算机科学与技术系。曾获得澳大利亚科学院拉塞尔奖，华莱士奖，oopsla杰出论文奖，和pldi杰出论文…
南大冯新宇教授团队获PLDI杰出论文奖2019-06-2813:27来源:软件工程研究与实践来源：软件新技术青年学者学术沙龙2019年6月22日至26日，第40届程序设计语言设计与实现会议（ACMSIGPLANConferenceonProgrammingLanguageDesignand...
2019年6月22日至26日，第40届程序设计语言设计与实现会议（ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation，PLDI2019）在美国凤凰城举行，我室程序设计语言研究组冯新宇教授、梁红瑾副教授及其团队的论文“TowardsCertifiedSeparateCompilationforConcurrentPrograms”荣获本次会议的杰出论文...
南京大学计算机科学与技术系程序设计语言研究组荣获PLDI2019杰出论文奖.2019年6月22日至26日，第40届程序设计语言设计与实现会议（ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation，PLDI2019）在美国凤凰城举行，南京大学计算机科学与技术系程序设计语…
PLDI是程序设计语言和编译器领域的旗舰会议。根据PLDI2021会务组发送的消息，今年共接收有效投稿320个，所有稿件条件录用87个，录用率约27%。所谓值得关注，我觉得可以从两个方面考虑，首先是爱…
科研|南京大学计算机科学与技术系程序设计语言研究组荣获PLDI2019杰出论文奖.2019年6月22日至26日，第40届程序设计语言设计与实现会议（ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation，PLDI2019）在美国凤凰城举行，南京大学计算机科学与技术系程…
南京大学计算机学院冯新宇导师,40年来首次|南京大学冯新宇、梁红瑾团队荣获PLDI2019杰出论文奖...Certifiedseparatecompilationisimportantforestablishingend-to-endguaranteesforcertifiedsystemsconsistingofmultipleprogrammodules.Therehas…
图源南京大学官网冯新宇教授主要从事程序验证、并发理论、程序设计语言理论方面的研究，是我国高校编程语言方向的专家。2010-2017年期间，冯新宇教授曾经在中科大就任教授，并于18年以后来到南京大学，目前在南京大学就任教授，并于2019年带领团队获得PLDI杰出论文奖。
2019年6月22日至26日，第40届程序设计语言设计与实现会议(ACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation，PLDI2019)在美国凤凰城举行，南京大学计算机科学与技术系程序设计语言研究组冯新宇教授、梁红瑾副...
在过去5年（2013-2017），整个大中华地区（含港澳台）只有6篇论文入选PLDI，其中两篇就来自港科大安全实验室，包括迄今为止亚洲唯一的一篇杰出论文，以及2014年源伞科技创始人在读时发…
讲座内容简介：讲座人简介：俞能昆，悉尼科技大学量子计算中心高级讲师，毕业于清华大学计算机科学与技术系。曾获得澳大利亚科学院拉塞尔奖，华莱士奖，oopsla杰出论文奖，和pldi杰出论文…
发表服务