网大论坛

 找回密码
 注册

QQ登录

只需一步,快速开始

https://www.chinaedugrp.com/MIT/edm.html
查看: 1881|回复: 4

南大冯新宇教授在POPL发表的论文 [复制链接]

Rank: 13Rank: 13Rank: 13Rank: 13

精华
120
积分
7813
发表于 2018-2-12 19:09:03 |显示全部楼层
查到了四篇

Progress of Concurrent Objects with Partial Methods
Hongjin Liang and Xinyu Feng.
POPL'18

A Program Logic for Concurrent Objects under Fair Scheduling (TR, and POPL talk by Hongjin Liang)
Hongjin Liang and Xinyu Feng.
POPL'16

A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations (TR, Talk by Hongjin Liang, and Coq Implementation)
Hongjin Liang, Xinyu Feng, and Ming Fu.
POPL'12

Local Rely-Guarantee Reasoning.
Xinyu Feng.
POPL'09

Rank: 13Rank: 13Rank: 13Rank: 13

精华
120
积分
7813
发表于 2018-2-12 19:13:14 |显示全部楼层
全国一半以上在这吧

使用道具 举报

Rank: 13Rank: 13Rank: 13Rank: 13

精华
120
积分
7813
发表于 2018-2-14 11:34:05 |显示全部楼层
又一个虎级团队-----------

使用道具 举报

Rank: 2

精华
0
积分
148
发表于 2018-2-14 12:16:27 来自手机 |显示全部楼层
本帖最后由 vwbq 于 2018-2-14 12:17 编辑

这种宣传也是醉了。哪篇文章署名南大?

使用道具 举报

Rank: 13Rank: 13Rank: 13Rank: 13

精华
120
积分
7813
发表于 2018-2-14 14:13:10 |显示全部楼层
这种宣传也是醉了。哪篇文章署名南大?
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


最新的一篇就是南大第一单位

加盟南大后的第一个工作

使用道具 举报

Rank: 13Rank: 13Rank: 13Rank: 13

精华
120
积分
7813
发表于 2018-2-14 14:40:22 |显示全部楼层
之前有人在另一个帖子中说了,我们国家的POPL论文是个位数,包括港澳台

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

Archiver|手机版|mba报考条件|Conference Centre|netbig.com|大学排名|国际学校|欧洲移民|股票行情|网大论坛 ( 粤ICP备08125616号 )

GMT+8, 2018-5-23 19:07

Powered by Discuz! X2

© 2001-2011 Comsenz Inc.

回顶部