2017年12月_蛐蛐蛐

ToSEM 2013-ACM Transactions on Software Engineering and Methodology 2013年论文集

======================= 特别提醒大家：由于我这里网络条件的原因，往往不能顺利上传到CSDN上，所以现在主要改在百度空间和网盘中进行更新，请感兴趣的朋友到这里下载我最新上传的论文集：http://hi.baidu.com/ictpapers 百度网盘速度较快，还不需要积分。 ======================= （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）软件工程研究领域的顶级期刊，ACM Transactions on Software Engineering and Methodology 2013年的全部论文。该期刊是软件工程领域最负盛名的学术期刊之一，2013年一共刊出4期，刊发了30篇文章。欢迎大家下载、学习。

2014-01-13

CCS 2013-ACM Conference on Computer and Communications Security 2013年论文集

======================= 特别提醒大家：由于我这里网络条件的原因，往往不能顺利上传到CSDN上，所以现在主要改在百度空间和网盘中进行更新，请感兴趣的朋友到这里下载我最新上传的论文集：http://hi.baidu.com/ictpapers 百度网盘速度较快，还不需要积分。 ======================= （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机及网络安全界的顶级会议，ACM Conference on Computer and Communications Security 2013年的会议论文集。欢迎大家下载、学习。 2013年CCS在德国柏林召开，主会一共录用了创纪录的105篇文章，共分为33个Session，印象中应该多篇来自大陆高校的论文（好像复旦大学有好几篇）。

2013-12-24

ASE 2013-International Conference on Automated Software Engineering 2013

======================= 特别提醒大家：由于我这里网络条件的原因，往往不能顺利上传到CSDN上，所以现在主要改在百度空间和网盘中进行更新，请感兴趣的朋友到这里下载我最新上传的论文集：http://hi.baidu.com/ictpapers 百度网盘速度较快，还不需要积分。 ======================= （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）这里上传的是ASE（IEEE/ACM International Conference on Automated Software Engineering） 2013年的论文集。ASE是IEEE和ACM合办的，在软件工程方面的著名会议。从会议档次来讲，比起FSE和ICSE来讲，可能稍差一些，但也算是ACM和IEEE合办的，在软件工程方面最重要的会议之一。 2013年ASE于当地时间11月11日至15日在美国硅谷Palo Alto举行，本人作为一篇Workshop paper的作者，也有幸参加了会议。压缩包共收录了包括keynote（Invited Papers）在内的，共计13个Session，46篇文档。其中Technical Research Paper有12个Session，43篇文章。中科院软件所张健老师团队有一篇文章Characterizing and Detecting Resource Leaks in Android Applications被录用。

2013-11-25

SOSP 2013-ACM Symposium on Operating Systems Principles 2013年论文集

======================= 特别提醒大家：由于我这里网络条件的原因，往往不能顺利上传到CSDN上，所以现在主要改在百度空间和网盘中进行更新，请感兴趣的朋友到这里下载我最新上传的论文集：http://hi.baidu.com/ictpapers 百度网盘速度较快，还不需要积分。 ======================= （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）操作系统研究领域的顶级会议SOSP 2013年论文集。关于SOSP，请参考以下简介：操作系统（OS）领域有两个国际顶尖会议：SOSP和OSDI，但由于SOSP只在奇数年召开、OSDI只在偶数年召开，所以实际上可以将SOSP+OSDI合并看成操作系统领域的顶尖年会。 SOSP由ACM SIGOPS组织开办，USENIX组织也常参与进来。与SIGCOMM类似，SOSP也是一个只求精品的会议：数量方面每年只录用20篇左右的正式会议论文，录取率约20%（由此可见录取率不能表征一个会议的好坏，20%的会议可以是顶尖，10%的会议可以是垃圾）；质量方面的要求极高——重大问题、有趣且有竞争力的解法、实用有益、接合业内前驱工作等等。 SOSP采用Blind审稿和Single-Track演讲，20来篇论文，每年的参会人数却在400左右，可见能在SOSP上发表论文真的是所有操作系统相关研究者的无上荣誉。压缩包共收录了2013年SOSP的9个Session，共计30篇论文。另外值得一提的是，今年SOSP也在第一时间发布了包含所有论文的完整PDF文件，在这个压缩包中也包含了这个pdf文件。欢迎大家下载。

2013-11-22

SIGCOMM 2013-ACM SIGCOMM conference on Data communication 2013论文集

======================= 特别提醒大家：由于我这里网络条件的原因，往往不能顺利上传到CSDN上，所以现在主要改在百度空间和网盘中进行更新，请感兴趣的朋友到这里下载我最新上传的论文集：http://hi.baidu.com/ictpapers 百度网盘速度较快，还不需要积分。 ======================= （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） Networking界的顶级会议SIGCOMM 2013年的论文集,关于SIGCOMM，请参考以下介绍： SIGCOMM是ACM组织在通信网络领域的旗舰型会议，也是目前国际通信网络领域的顶尖会议，由ACM SIGCOMM组织举办。SIGCOMM的特点是对论文的质量和数量要求极高，质量方面要求具有基础性贡献、领导性影响和坚实系统背景，数量方面每年只录用30篇左右的正式会议论文，录取率约10%。会议采用Double-Blind审稿和Single-Track演讲，前者保证了审稿质量，后者保证了每篇论文的演讲都能被所有参会者听到。由于SIGCOMM录用的论文大多数都会被广泛引用、具有非常大的影响力，因此能在SIGCOMM年会上发表论文是所有通信网络研究者的无上荣誉。 SIGCOMM 2013年在位于香港的香港中文大学召开，由邱达民教授任大会主席。我们实验室也和邱老师有深入的合作关系。SIGCOMM 2013年主会共录用38篇论文，压缩包内收录了包括Keynote address在内的12个Session共计39篇文档。

2013-09-20

SS 2013-USENIX Security Symposium 2013年论文集

======================= 特别提醒大家：由于我这里网络条件的原因，往往不能顺利上传到CSDN上，所以现在主要改在百度空间和网盘中进行更新，请感兴趣的朋友到这里下载我最新上传的论文集：http://hi.baidu.com/ictpapers 百度网盘速度较快，还不需要积分。 ======================= （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机安全界会议USENIX Security Symposium 2013年的会议论文集，关于该会议，可参考下面的介绍： USENIX Security：91分。USENIX是systems research方面的重要组织，主办了systems方面的若干重要会议，如OSDI（操作系统的第二会议）等。USENIX Security Symposium则是systems security的著名会议，文章基本陷于hardcore systems类型。该资源实际上只是USENIX Security 2013年论文中的第一篇（由于是在上传不到CSDN上，请大家务必到这里下载最新的论文集：http://hi.baidu.com/ictpapers）

2013-08-31

SP 2013-IEEE Symposium on Security & Privacy 2013年论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机、网络安全界的顶级会议IEEE Symposium on Security & Privacy 2013年论文集。关于该会议，可参看相关的介绍： Oakland：95分，全称IEEE Symposium on Security & Privacy，每年都在Oakland召开。之所以不简称S&P，是为了跟一个magazine----IEEE Security & Privacy区分开来。被认为是计算机安全的最高会议，比ACM的CCS更受尊敬。该会自称接受一切与计算机安全的文章，但我感觉其以应用型为主，对理论性的文章尤其crypto-flavor的文章非常排斥。这里一共收录了2013年SP的13个Session，共计38篇论文，其中包括5片SoK（systematization of knowledge，意为对已有的知识和技术进行系统化总结的文章）论文。这里特别感谢CSDN ID为triumphyuan的网友提供资源。欢迎大家下载。

2013-06-08

NDSS 2013-ISOC Network and Distributed System Security Symposium 2013

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机安全界的会议ISOC Network and Distributed System Security Symposium (NDSS)2013年的文章，ISOC是互联网领域最专业组织之一，NDSS也是安全界较为重要的国际会议。欢迎大家下载并学习该论文集。共收录了2013年NDSS 11个session，47篇论文，没有包括Keynote和Session 8（short talks），所以压缩包中没有Session 8，请大家注意。另外，本人的一位曾经的师兄（目前在米国任教），今年也有一篇第一作者的文章。很是羡慕啊！

2013-05-01

POPL 2013-Annual Symposium on Principles of Programming Languages 2013

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）国际软件工程和编程语言界的顶级会议，POPL 2013年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信软件等方面的研究者具有很重要的参考意义。在citeseer 07年的计算机科学会议排名中，POPL名列第一。 2013年POPL在意大利罗马召开，共收录包括Keynote address在内的15个session，共计47篇文章。

2013-03-26

CSUR 2012-ACM Computing Surveys 2012

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）这个资源的内容更宽泛些，感兴趣的朋友下载就可以了。这是ACM的著名期刊：ACM Computing Surveys的2012年论文合集。该期刊主要发表综述性、介绍性文章，帮助研究者更快了解某个领域的现状和进展，涵盖内容非常广泛，只要是和计算机相关的内容，都可能发表在该期刊上。该期刊也是计算机领域影响因子比较高的SCI期刊。 CSUR 2012年共出版5期，收录了38篇文章。

2013-02-05

ASPLOS 2012-International conference on ASPLOS 2012

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）体系结构和编程语言方面的著名会议，International conference on Architectural Support for Programming Languages and Operating Systems （ASPLOS） 2012年的论文集。这个会议总体上感觉偏计算机系统结构，但是对操作系统、软件、编译器等topic均有涉及，例如目前在软件测试分析领域著名的符号执行平台S2E就是发表在11年的ASPLOS上。对这个会议，请参考以下介绍： 1 ASPLOS是由ACM主办的国际会议。主要关注硬件、体系结构、编译、操作系统等研究方向，在国内外学术界很高的影响。 2 ASPLOS（编程语言和操作系统的体系结构支持会议）是ACM开办的一个以体系结构为核心内容的多学科会议，其研究领域跨越硬件、体系结构、编译器、编程语言、操作系统、网络和应用，尤其关注这些学科间的交叉性研究课题。 ASPLOS的开会年份非常奇怪，82、87、89、91、92、94、96、98、00、02、04、06、08、09，既不是双年会，又不是但年会，还说不准奇数年或偶数年开会，真是个“不走寻常路”的会议。但ASPLOS绝对是一个精品会议，一年仅录用20多篇论文，几乎每篇都会受到计算机领域的大量引用。 2012年ASPLOS共收录了37篇文章，分为10个Session，欢迎需要的朋友下载。

2013-01-20

OOPSLA 2012-Object oriented programming systems languages and applications 2012

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）面向对象程序设计语言及应用方面的顶级会议——ACM international conference on Object oriented programming systems languages and applications 2012年的论文集，关于该会议，可参看以下简介： OOPSLA是一个年度会议，此年度会议为面向对象编程系统，语言以及应用程序举办，主办方是计算机协会(ACM)的SIGPLAN以及SIGSOFT团体。第一届OOPSLA会议是在1986年在俄勒冈州波特兰市召开的。OOPSLA组织者们将这个会议描述成为“面向对象技术的高峰会议”。该会议2012年共收录59篇论文，共分为15个session。

2013-01-16

IEEE TDSC 2012-IEEE Transactions on Dependable and Secure Computing 2012

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机及网络安全、可信计算等研究领域顶级国际期刊——IEEE Transactions on Dependable and Secure Computing 2012年的论文合集，IEEE TDSC是上述领域著名的国际期刊，其2012年共刊出70篇论文。

2013-01-06

FSE 2012-International Symposium on the Foundations of Software Engineering 2012

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）软件工程研究领域的著名国际会议（可以说和ICSE并列为最顶级的），International Symposium on Foundations of Software Engineering （FSE） 2012年的论文合集。这里共收录了FSE 2012年包括Keynote addresses在内的共计11个session的35篇research paper，对本次会议中的demo和NIER papers没有收录，欢迎需要的同学下载、学习。

2012-12-29

CCS 2012-ACM Conference on Computer and Communications Security 2012年论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机及网络安全界的顶级会议，ACM Conference on Computer and Communications Security 2012年的会议论文集。欢迎大家下载、学习。2012年CCS共收录包括Keynote address在内的21个session共计82篇论文。

2012-12-18

OSDI 2012-Operating Systems Design and Implementation 2012年论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）操作系统研究领域的顶级会议OSDI 2012年的会议论文集，关于该会议，可参考下面的介绍： OSDI：一个年轻的会议，它的全称是Operating Systems Design and Implementation。它是由USENIX主办的。USENIX是一个于1975年成立的Advanced Computing Systems Association。它所举办的都是一些非常好的会议，比如前面提到的OSDI，FAST等等。OSDI是USENIX于1994年创办的，基本上是两年一次，至今为止举办了7届(94，96，99，2000，2002，2004，2006)。每届会议举行3天，早期的OSDI每届收录20篇左右的文章，从2002年开始稳定在27篇，一般是每个小方向有3篇文章。可以将OSDI和SOSP合起来看做是操作系统领域最顶级的会议。像著名的MapReduce，Bigtable，NoSQL，都是Google，Amazon等互联网及软件大牌公司最先在OSDI上提出的，其影响力可谓十分巨大。另外值得一提的是，本届OSDI有一篇文章的第三作者是本人之前的同门，真是很羡慕啊！

2012-11-16

ICSE 2012-International Conference on Software Engineering 2012

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）软件工程研究领域的顶级国际会议，International Conference on Software Engineering 2012年的论文合集，只收录了正式的Regular Research Paper以及Keynote Speech，共包含35个session，121篇论文（或Keynote摘要），其实ICSE的规模已经比较大了，是一个由IEEE和ACM轮流举办的大会，2012年由IEEE举办，每次由IEEE办的时候，收录的论文就要更多些。但该会议的质量和声望一直相当高，欢迎大家下载、学习。

2012-10-31

SIGCOMM 2012-ACM SIGCOMM conference on Data communication 2012论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） Networking界的顶级会议SIGCOMM 2012年的论文集,关于SIGCOMM，请参考以下介绍： SIGCOMM是ACM组织在通信网络领域的旗舰型会议，也是目前国际通信网络领域的顶尖会议，由ACM SIGCOMM组织举办。SIGCOMM的特点是对论文的质量和数量要求极高，质量方面要求具有基础性贡献、领导性影响和坚实系统背景，数量方面每年只录用30篇左右的正式会议论文，录取率约10%。会议采用Double-Blind审稿和Single-Track演讲，前者保证了审稿质量，后者保证了每篇论文的演讲都能被所有参会者听到。由于SIGCOMM录用的论文大多数都会被广泛引用、具有非常大的影响力，因此能在SIGCOMM年会上发表论文是所有通信网络研究者的无上荣誉。 2012年的SIGCOMM在芬兰首都赫尔辛基举行，其中主会收录31篇文章，分为10个session。

2012-09-16

ISSTA 2012-International Symposium on Software Testing and Analysis 2012年论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） ACM组织的，在软件测试与分析方面最著名的国际会议，International Symposium on Software Testing and Analysis 2012年的论文集。传统观点认为这个会议和ICSE，POPL等大会相比层次要稍逊一筹，但我个人认为其专业性较强，大多数论文也很严谨，近年来发表文章的也多是知名高校与欧美著名研发型公司。很适合软件分析、可信软件、可靠性分析等专业的研究人员和相应测试、开发人员阅读。今年ISSTA主会共收录31篇文章，分为10个session，确实也是精品会议。

2012-09-13

PLDI 2012-ACM SIGPLAN conference on PLDI 2012

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）国际程序语言设计和分析方面的顶级会议，PLDI 2012年的论文集，关于PLDI的档次，可以参考下面这个链接：http://citeseerx.ist.psu.edu/stats/venues PLDI排在所有会议中的第三名，非常适合软件工程、编程语言、可信软件方面的研究人员阅读和参考。大名鼎鼎的Pin，Valgrind等Framework就是最早由PLDI会议论文设计并提出，上述框架多用于程序代码的调试及二进制代码分析，程序插桩等方面。今年PLDI的主会共收录48篇文章，分为16个session，今天是在中国北京召开，相信很多同行都去参加了会议。

2012-09-11

SS 2012-USENIX Security Symposium 2012年论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机安全界会议USENIX Security Symposium 2012年的会议论文集，关于该会议，可参考下面的介绍： USENIX Security：91分。USENIX是systems research方面的重要组织，主办了systems方面的若干重要会议，如OSDI（操作系统的第二会议）等。USENIX Security Symposium则是systems security的著名会议，文章基本陷于hardcore systems类型。值得一提的是，今年的USENIX Security Symposium论文集提供了合集下载，并提供了epub、mobi等格式，非常方便，应该是今后会议论文集的一个发展方向。

2012-08-14

SP 2012-IEEE Symposium on Security & Privacy 2012年论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）计算机、网络安全界的顶级会议IEEE Symposium on Security & Privacy 2012年论文集。关于该会议，可参看相关的介绍： Oakland：95分，全称IEEE Symposium on Security & Privacy，每年都在Oakland召开。之所以不简称S&P，是为了跟一个magazine----IEEE Security & Privacy区分开来。被认为是计算机安全的最高会议，比ACM的CCS更受尊敬。该会自称接受一切与计算机安全的文章，但我感觉其以应用型为主，对理论性的文章尤其crypto-flavor的文章非常排斥。值得一提的是，今年SP上还有一篇北大第一作者的文章：A Framework to Eliminate Backdoors from Response-Computable Authentication，另外有两篇清华非第一作者的署名文章：Secure and Scalable Fault Localization under Dynamic Traffic Patterns 以及 LAP: Lightweight Anonymity and Privacy。在此也恭喜相关老师和同学。本届SP共收录40篇文章。欢迎大家下载、查看。

2012-07-21

POPL 2012-Annual Symposium on Principles of Programming Languages 2012

国际软件工程和编程语言界的顶级会议，POPL 2011年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信软件等方面的研究者具有很重要的参考意义。在07年的计算机科学会议排名中，POPL名列第一，参见：http://citeseerx.ist.psu.edu/stats/venues 2012年POPL共收录包括Invited talk在内的18个session，共计48篇文章。另外值得一提的是，中科大计算机学院有一篇文章被2012年POPL收录：A rely-guarantee-based simulation for verifying concurrent program transformations，在此恭喜相关老师和同学。

2012-05-09

POPL 2012-Annual Symposium on Principles of Programming Languages 2012论文集

内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）国际软件工程和编程语言界的顶级会议，POPL 2012年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信软件等方面的研究者具有很重要的参考意义。 2012年POPL共收录包括Invited talk在内的18个session，共计48篇文章。另外值得一提的是，中科大计算机学院有一篇文章被2012年POPL收录：A rely-guarantee-based simulation for verifying concurrent program transformations，在此恭喜相关老师和同学。

2012-05-09

NDSS 2012-ISOC Network and Distributed System Security Symposium 2012

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机安全界的会议ISOC Network and Distributed System Security Symposium (NDSS)2012年的文章，ISOC是互联网领域最专业组织之一，NDSS也是安全界较为重要的国际会议。欢迎大家下载并学习该论文集。值得一提的是，今年也同样有一篇中国大陆的论文被接收。关于本次会议的详细信息，可参考： http://www.tektalk.org/2012/02/07/ndss-2012-见闻1/

2012-04-21

IMC 2011-Annual conference on Internet measurement 2011

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） ACM SIGCOMM在网络测量领域的明星会议。随着Internet的不断发展，IMC的学术地位也越来越高，近年来已经从第二档次的会议发展到基本上可以和SIGCOMM媲美的明星会议，很多大牛也把在IMC上发表论文当作自己的目标之一。总之本人感觉IMC是ACM在网络测量方面非常有名的会议，很值得大家学习。本次IMC共收录12个session，42篇论文，其中和我们实验室有合作关系的老师有：清华大学的袁睿翕老师，以及明尼苏达大学的Zhili Zhang老师（http://www-users.cs.umn.edu/~zhzhang/），张老师2011年有两篇IMC，很厉害！

2012-03-22

POPL 2011-Annual Symposium on Principles of Programming Languages 2011论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）国际软件工程和编程语言界的顶级会议，POPL 2011年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信软件等方面的研究者具有很重要的参考意义。 2011年POPL共收录包括Invited talk在内的18个session，共计52篇文章。奇怪的是，今年的论文集中有一个session叫做8.1 + 8.2，不知道是什么意思？另外值得一提的是，清华大学计算机系有一篇文章被2011年POPL收录：Bisimulation for quantum processes，在此恭喜相关老师和同学。

2012-03-14

OOPSLA 2011-Object oriented programming systems languages and applications 2011

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）面向对象程序设计语言及应用方面的顶级会议——ACM international conference on Object oriented programming systems languages and applications 2011年的论文集，关于该会议，可参看以下简介： OOPSLA是一个年度会议，此年度会议为面向对象编程系统，语言以及应用程序举办，主办方是计算机协会(ACM)的SIGPLAN以及SIGSOFT团体。第一届OOPSLA会议是在1986年在俄勒冈州波特兰市召开的。OOPSLA组织者们将这个会议描述成为“面向对象技术的高峰会议”。该会议2011年共收录62篇论文，共分为18个session。

2012-02-19

SOSP 2011-ACM Symposium on Operating Systems Principles 2011年论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）操作系统研究领域的顶级会议SOSP 2011年论文集。关于SOSP，请参考以下简介：操作系统（OS）领域有两个国际顶尖会议：SOSP和OSDI，但由于SOSP只在奇数年召开、OSDI只在偶数年召开，所以实际上可以将SOSP+OSDI合并看成操作系统领域的顶尖年会。 SOSP由ACM SIGOPS组织开办，USENIX组织也常参与进来。与SIGCOMM类似，SOSP也是一个只求精品的会议：数量方面每年只录用20篇左右的正式会议论文，录取率约20%（由此可见录取率不能表征一个会议的好坏，20%的会议可以是顶尖，10%的会议可以是垃圾）；质量方面的要求极高——重大问题、有趣且有竞争力的解法、实用有益、接合业内前驱工作等等。 SOSP采用Blind审稿和Single-Track演讲，20来篇论文，每年的参会人数却在400左右，可见能在SOSP上发表论文真的是所有操作系统相关研究者的无上荣誉。 SOSP 2011年共接收论文28篇，分为9个Session，值得一提的是，复旦大学软件学院在本次会议上有一篇论文CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization被接收，祝贺相关老师和同学！

2012-02-02

CCS 2011-ACM Conference on Computer and Communications Security 2011年论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机及网络安全界的顶级会议，ACM Conference on Computer and Communications Security 2011年的会议论文集。欢迎大家下载、学习。2011年CCS共收录包括keynote address在内的17个session共计62篇论文。

2012-01-28

FSE 2011-Foundations of Software Engineering 2011年论文集

（我现在主要在CSDN上整理计算机安全、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）软件工程研究领域的著名国际会议，International Symposium on Foundations of Software Engineering 2011年的论文合集，该会议是ACM和ESEC（欧洲软件工程协会）合办的会议。所以通常也叫做ESEC/FSE，很适合软件工程的相关研究领域人员阅读。这里共收录了FSE 2011年包括Keynote addresses在内的共计13个session的37篇research paper，欢迎需要的同学下载、学习。

2012-01-19

SIGCOMM 2011-ACM SIGCOMM conference on Data communication 2011论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。） Networking界的顶级会议SIGCOMM 2011年的论文集,关于SIGCOMM，请参考以下介绍： SIGCOMM是ACM组织在通信网络领域的旗舰型会议，也是目前国际通信网络领域的顶尖会议，由ACM SIGCOMM组织举办。SIGCOMM的特点是对论文的质量和数量要求极高，质量方面要求具有基础性贡献、领导性影响和坚实系统背景，数量方面每年只录用30篇左右的正式会议论文，录取率约10%。会议采用Double-Blind审稿和Single-Track演讲，前者保证了审稿质量，后者保证了每篇论文的演讲都能被所有参会者听到。由于SIGCOMM录用的论文大多数都会被广泛引用、具有非常大的影响力，因此能在SIGCOMM年会上发表论文是所有通信网络研究者的无上荣誉。本届SIGCOMM在regular research paper方面，共收录了32篇文章，分为11个Session，确实是精品会议。

2012-01-05

IMC 2010-Annual conference on Internet measurement

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） ACM SIGCOMM在网络测量领域的明星会议。随着Internet的不断发展，IMC的学术地位也越来越高，近年来已经从第二档次的会议发展到基本上可以和SIGCOMM媲美的明星会议，很多大牛也把在IMC上发表论文当作自己的目标之一。总之本人感觉IMC是ACM在网络测量方面非常有名的会议，很值得大家学习。

2011-11-03

ICSE 2011-International Conference on Software Engineering

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）软件工程研究领域的顶级国际会议，International Conference on Software Engineering 2011年的论文合集，只收录了正式的Regular Research Paper，共计82篇。值得一提的是，本次ICSE在夏威夷召开，所以session的名字中总包含有冲浪、漂流等词语。本次大会仍然是众星云集，像周媛媛（http://opera.ucsd.edu/index.html），Michael Ernst （http://www.cs.washington.edu/homes/mernst/），Daniel Jackson（http://people.csail.mit.edu/dnj/），Shay Artzi （http://people.csail.mit.edu/artzi/）等人，依然是ICSE上的活跃人物。

2011-10-20

PLDI 2011-ACM SIGPLAN conference on PLDI 2011

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）国际程序语言设计和分析方面的顶级会议，PLDI 2011年的论文集，关于PLDI的档次，可以参考下面这个链接：http://citeseerx.ist.psu.edu/stats/venues PLDI排在所有会议中的第三名，非常适合软件工程、编程语言、可信软件方面的研究人员阅读和参考。大名鼎鼎的Pin，Valgrind等Framework就是最早由PLDI会议论文设计并提出，上述框架多用于程序代码的调试及二进制代码分析，程序插桩等方面。

2011-09-25

ISSTA 2011-International Symposium on Software Testing and Analysis

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） ACM组织的，在软件测试与分析方面最著名的国际会议，International Symposium on Software Testing and Analysis 2011年的论文集。传统观点认为这个会议和ICSE，POPL等大会相比层次要稍逊一筹，但我个人认为其专业性较强，大多数论文也很严谨，近年来发表文章的也多是知名高校与欧美著名研发型公司。很适合软件分析、可信软件、可靠性分析等专业的研究人员和相应测试、开发人员阅读。

2011-09-18

CCS 2010-ACM Conference on Computer and Communications Security 2010年论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机及网络安全界的顶级会议，ACM Conference on Computer and Communications Security 2010年的会议论文集。欢迎大家下载、学习。

2011-09-14

SS 2011-USENIX Security Symposium 2011年论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。）计算机安全界会议USENIX Security Symposium 2011年的会议论文集，关于该会议，可参考下面的介绍： USENIX Security：91分。USENIX是systems research方面的重要组织，主办了systems方面的若干重要会议，如OSDI（操作系统的第二会议）等。USENIX Security Symposium则是systems security的著名会议，文章基本陷于hardcore systems类型。

2011-09-08

NFM 2010-NASA Formal Methods Symposium 2010 论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。） NASA在软件与信息系统形式化验证方面的著名会议，NASA在形式化方面具有较强的研究实力，大名鼎鼎的JPF即由其开发和维护。由于NASA在国防、科研方面的特殊地位，此会议也吸引了大量的高校研究学者参加，适合系统安全、可信软件等领域的研究人员参考、学习。

2011-08-22

SIGCOMM 2010-ACM SIGCOMM conference on Data communication 2010

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。） Networking界的顶级会议SIGCOMM 2010年的论文集,关于SIGCOMM，请参考以下介绍： SIGCOMM是ACM组织在通信网络领域的旗舰型会议，也是目前国际通信网络领域的顶尖会议，由ACM SIGCOMM组织举办。SIGCOMM的特点是对论文的质量和数量要求极高，质量方面要求具有基础性贡献、领导性影响和坚实系统背景，数量方面每年只录用30篇左右的正式会议论文，录取率约10%。会议采用Double-Blind审稿和Single-Track演讲，前者保证了审稿质量，后者保证了每篇论文的演讲都能被所有参会者听到。由于SIGCOMM录用的论文大多数都会被广泛引用、具有非常大的影响力，因此能在SIGCOMM年会上发表论文是所有通信网络研究者的无上荣誉。

2011-08-10

原创 在一台全新的Ubuntu系统上安装和使用Keras的主要流程

原创 如何准确下载Eclipse Foundation项目的对应版本

原创 如何使用SVN checkout到某个项目的指定版本（Win 10系统）