qysh123的专栏_蛐蛐蛐_CSDN博客-科研工具,Python技巧,论文点评领域博主

原创 Python报object of type generator has no len()或generator object is not subscriptable的解决办法

出现这个问题，是我用yield将list平均分割，其实也有网友指出不用yield会更好理解：https://blog.csdn.net/bz0446/article/details/105247931我是这样使用的：def change(listTemp, n): for i in range(0, len(listTemp), n): yield listTemp[i:i + n]lists_after_change=change(list_before_change

2021-02-17 14:20:12 47 1

原创自己训练Transformers的GPT-2 model时报：You are attempting to pad samples but the tokenizer you are using……

我之前没怎么用过Transformers的GPT2，今天尝试了自己训练，结果报：ValueError: You are attempting to pad samples but the tokenizer you are using (GPT2Tokenizer) does not have one. 搜了一下，并不是我一个人遇到了这个问题，例如这里：https://github.com/huggingface/transformers/issues/4122按照大家的讨论，解决的方法也很简单，在这里

2021-02-12 18:09:14 127 3

原创海量Embedding进行相似度查询和比较的方法

这个是在科研中的现实需求。例如每一个源代码文件，我们可以生成一个embedding，如果有超过5000万个embedding（例如用BERT生成5000万个embedding），怎么样有效地计算相似性呢（例如有5000个positive的embedding，想在5000万个中找到类似的）。简单介绍一下我尝试的结果：如果直接用torch.cosine_similarity，我手里的数据估计至少要处理两个月。这时候就想到了用LSH -- Locality Sensitive Hashing，但是我之前并没怎

2021-02-08 12:39:34 57

原创如何使用Understand Perl API对BigCloneBench中的Java Method的起始、终止行进行提取

这个标题好长……，接上篇博客的内容，上篇博客中讲到，IJaDataset里面的源代码都是Java文件，但是数据库中的记录都是Method级别的，这时候就需要根据Java源文件提取出每个Method，并且确定每个Method的“STARTLINE”和“ENDLINE”，本来觉得用Understand应该很好实现，谁知道也试了好几种方法。最简单的想法，看看每个Method的entity（Perl API中的ent）是否有这个属性，可惜没有。又仔细看了看API，看到这里：http://documentat

2021-01-14 14:44:38 92

原创代码克隆检测（Code Clone Detection）数据集BigCloneBench最新版的使用方法

代码克隆检测（Code Clone Detection）是软件工程领域的一个重要方向，每年都有很多论文，其中很多论文都用到了BigCloneBench，这里简单总结一下这个数据集的使用，不得不吐槽一点：学术界的数据集和工具，易用性都太差了，发再多paper有啥用呢？只是在自己小圈子里自娱自乐，完全没有实际的impact和意义。如果我们在google搜索bigclonebench，可以看到排名第一的就是一个GitHub上的repo：https://github.com/clonebench/BigClon

2021-01-08 14:33:31 169

原创 MySQL 8报OperationalError: (1130, “XX‘ is not allowed to connect to this MySQL server“)的正确解决方法

这个博客也觉得挺无语的。由于实验需要，临时在一台笔记本上装了8.0.22-0ubuntu0.20.04.3 (Ubuntu)，结果发现不能从远程连接，报：pymysql.err.OperationalError: (1130, "192.168.0.113' is not allowed to connect to this MySQL server") 这种错（我这里也不隐藏用户名密码IP之类的了，因为都是内网，也仅仅是为了做实验用），结果网上大部分教程是类似于这么说的：2. 授权法。例如，你想

2021-01-04 16:44:50 177

原创怎样使用srcML对C++和Java源代码中的function参数进行替换（normalization）

这个也是在现实科研中的需求，看似简单，实际上也得动动脑子。另外，掌握了这种方法，我们可以对源码中的任意满足条件的token进行替换。这篇博客是承接上一篇的：https://blog.csdn.net/qysh123/article/details/110849387，不过稍微有所改进。上篇博客中，由于有命令空间（namespace）的存在，所以用了模糊匹配的方法，这里我们参考其他朋友的方法：https://blog.csdn.net/weixin_45069542/article/details/902

2020-12-30 14:43:35 54 3

原创怎样在LaTeX中增加代表通讯作者的信封符号

先吐槽两句：昨天提交了一篇论文修改稿，结果过了两个小时被退回来了，说让我在第一页显著标明通讯作者。问题是，我这篇论文已经是三审了，为啥前两次没说呢？不得不说，这些学术期刊的这种手工作坊式的管理真和这个时代脱节太严重，如果我们提交论文有网购或者发顺丰快递时候的体验，也要比现在强得多啊（例如审稿人选定、邀请、审稿、返回都应该更加透明高效一些），我有一篇论文已经审了7个月没动静了，这个行业实在太落后。简单搜了一下，发现了两种方法：https://latex.org/forum/viewtopic.php?t=

2020-12-22 16:41:19 166 2

原创 LaTeX中实心圆点列表的一点经验

这个只是我在写论文过程中遇到的一个小问题，简单总结一下：其实很多朋友都介绍过了，一般可以使用{itemize}来插入实现黑色圆点，例如百度经验里：https://jingyan.baidu.com/article/cd4c2979109d02756e6e60e2.html，但是当我在一个模板中这样做的时候，默认插入的是小横线，怎么改成实心圆点呢？实际上很简单：\begin{itemize}\item[$\bullet$] 文字内容\end{itemize}这么简单的东西也得靠自己试出来，真

2020-12-20 15:15:24 1538

原创怎样使用srcML对Java或C++源代码进行tokenization

这个需求我觉得很多做软件分析的朋友都会有，我之前的方法比较傻：https://blog.csdn.net/qysh123/article/details/89810018，Understand有时候会有点问题（特别是在处理C++源码的时候），而且Understand跑的时间也比较长。如果在tokenization的时候顺便进行一些处理，如数字换成“<num>”，函数调用换成抽象的“funccall”等等，这时候用Understand也不是不可以，就是比较笨重，所以想尝试一下srcML。下面以Wi

2020-12-08 15:38:28 58

原创怎样使用PMD检测Java代码中Code Smell

关于Code Smell的定义，我就不介绍，大家可以自己去找。我做这个纯粹是为了响应审稿人的要求，不得不说，现在有些审稿人真是太自以为是，傲慢，固执，得罪不得。PMD：https://github.com/pmd/pmd是非常好的Java静态分析工具，例如我们在这里下载：https://github.com/pmd/pmd/releases其最新的bin文件夹：pmd-bin-6.29.0.zip。解压之后可以顺便把其bin目录加入Path环境变量（我这里用的是Win10）。那么怎么通过命...

2020-11-22 13:25:00 71

原创怎样通过预训练的Transformers的模型得到一个Sentence的Representation

这篇博客紧接前面的内容：https://blog.csdn.net/qysh123/article/details/109666416在我们预训练了Transformers的某个model之后（如RoBERTa），怎么用训练好的model生成某一个句子的Representation呢，其实过程也是很简单的：在这里看到了有人在问这个问题：https://github.com/huggingface/transformers/issues/2986其中第一个回答说他写了一篇文章介绍了过程，我仔细看了

2020-11-13 15:11:54 241

原创使用huggingface‘s transformers预训练自己模型时报：Assertion ‘srcIndex ＜ srcSelectDimSize‘ failed. 的解决办法

说来这个坑真让人无语，都是因为自己不细心，浪费了将近一个小时时间来排查，但我肯定不是最后一个，所以总结一下，希望能帮助到一些朋友。huggingface's transformers是目前功能比较强大的包含各种预训练Transformer类模型的framework：https://github.com/huggingface/transformers在这里，他们介绍了怎么用自己的corpus训练自己的预训练模型：https://colab.research.google.com/github/hug

2020-11-13 03:31:54 314

原创怎样在Word和LaTeX中打出黑底的圆圈数字？

这个需求其实也是客观存在的，如果图中用黑底的圆圈数字表示步骤，往往会更醒目一些，今天尝试了一下怎么在Word和LaTeX中输入：对于Word 2016而言：插入——符号——其他符号——在“字体”中输入“Wingdings 2”并打回车——然后把滚动条向下拉一些就能看到黑底圆圈的数字0到10了另外，如果在“字体”中输入“Cambria”并敲回车——在“子集”中选择“带括号的字母数字”——就可以看到黑底的11到20以及0，但是没有1到9的，这个也太奇葩了吧。另外吐槽一句，Word这种特殊字符的输入和查找

2020-10-17 05:14:53 263

原创 Ubuntu安装psycopg2时报：fatal error: libpq-fe.h: 没有那个文件或目录的解决方法

上一篇博客说了postgres的安装，下面要用python试一下操作，按照网友介绍，需要安装psycopg2：https://www.jianshu.com/p/646f4c19b0f3?utm_campaign=harukipip install psycopg2但却报错：./psycopg/psycopg.h:36:10: fatal error: libpq-fe.h: 没有那个文件或目录 #include <libpq-fe.h> ^~~~~

2020-09-21 16:26:18 623

原创在Ubuntu 20.04中使用RA-SZZ等算法，以及Postgre数据库的基本设置和使用

如果大家作软件缺陷和漏洞一类的研究，免不了要和SZZ算法打交道，遗憾的是目前还没有一个完全靠谱的SZZ算法open source project。这里我想利用一下RA-SZZ作者提供的几个实现：https://github.com/danielcalencar/ma-szzhttps://github.com/danielcalencar/raszzprime我这里以MA-SZZ为例。打开项目主页后发现需要安装Postgre，呵呵呵。Ubuntu装postgre很方便，参考这里的文章：https

2020-09-21 15:06:49 77

原创使用Python爬虫框架Scrapy爬取CVE Details中的CVSS

这篇博客也就是简单记录两句。我之前写过两篇博文讨论Scrapy的使用：https://blog.csdn.net/qysh123/article/details/106655644，https://blog.csdn.net/qysh123/article/details/79802250。不过每次用的时候还都得参考会议一会。下面再总结一点：以这个页面为例：https://www.cvedetails.com/cve/CVE-2017-15102/，如果我想提取其CVSS Score 6.9，应该怎么做

2020-09-16 17:13:05 95

原创 Python中字符list，list，numpy.array，tensor之间的转换

相信这是每个做deep learning的朋友都有可能遇到的问题。例如，我们有一些其他方法生成的embedding，那么通常是存在文本文件中的，需要进行处理并输出到文本文件，那这中间就牵扯到这些对应的转换，用一个例子具体总结一下：import torchimport numpy as npstring_list=['1.0','2.0','3.0']float_list=list(map(float,string_list))tensor=torch.Tensor(float_list)n

2020-08-29 08:27:11 116

原创如何在Ubuntu 20.04的Anaconda不同环境中安装不同的CUDA版本（2020年8月）

我觉得这个需求肯定很多朋友都有。首先应该考虑一点：如果装了不同版本的CUDA，是不是也得装不同版本的cuDNN？我目前的结论是：为了不影响系统中本来的cuDNN，是可以不装的。按照这篇博客的介绍：https://www.cnblogs.com/laosan007/p/12612511.html“如果没有编译cuDNN的话，执行一些基于Caffe这一深度学习框架的程序速度上要慢3-5倍”这个measurement我没有自己做过，如果目的仅仅是为了试着跑一下别人的代码，完全可以不理会cuDNN。另外

2020-08-22 13:12:00 1174 8

原创通过Anaconda安装低版本PyTorch及环境配置一些经验

可以说Python下的依赖管理是特别混乱费事的，这个情况在Deep Learning方面更是如此，大家在发论文的时候lib版本千奇百怪，要想复现真的是不太容易。这里我就简单总结一些方法：首先Anaconda为我们提供了这种可能。例如我想运行这个repo：https://github.com/rootlu/MMDNE它是在python 2.7+PyTorch 0.3.0的。所以我们现生成一个python 2.7的环境：conda create -n pytorch0.3 python=2.7c

2020-08-22 05:34:24 577 2

原创 Ubuntu下eclipse启动时报jvm terminated.exit code=13的可能原因

写下这个标题，我真是想问候oracle JDK团队全家啊。在这里下载JDK的时候，一不小心就会看串行：https://www.oracle.com/java/technologies/javase/javase-jdk8-downloads.html导致下载了32位的JDK，就这Oracle还好意思要人用户名密码，让人登陆？做一下自动的系统版本匹配很难吗？整天就是因为版本这些问题让人糟心，真是太扯了。...

2020-08-21 07:50:12 63

原创在Ubuntu 20.04上安装Anaconda和PyTorch的一些注意事项（2020年8月）

其实其他朋友都总结得很详细了，我这里就是稍微做一点补充：首先按照这里的教程：https://blog.csdn.net/weixin_44776894/article/details/106159483可以下载并安装Anacoda，装好之后重启终端可以看到前面多了一个(base)，输入python或者python3，也都替换成了Anaconda的python。其次，这个教程介绍了怎样安装CUDA和cuDNN：https://blog.csdn.net/ashome123/article/deta

2020-08-21 07:26:17 650

原创 Graph-tool在Ubuntu上安装时，报No usable boost::python found的解决方法

不得不吐槽一句，像Graph-tool这种工具，这么麻烦的安装过程和限制条件，注定没有多少人用啊！我在两个Ubuntu系统上试着安装，都报了一样的错，实在是郁闷。看到Graph-tool的邮件列表里有人问了类似的问题：http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/Problem-with-configure-and-Boost-Python-td4024944.html下面有个人问：Did

2020-08-19 06:51:46 94

原创 Ubuntu 18.04上安装CMake的简单经验流程

这篇博客继续第一篇和第二篇的内容。这篇相对简单，按照这里的介绍：https://cmake.org/install/我们直接把CMake的压缩包下载下来，解压后首先运行：./bootstrap如果是在一个比较新的系统上安装，则有可能会报下面的错：Could NOT find OpenSSL, try to set the path to OpenSSL root folder in the system variable OPENSSL_ROOT_DIR (missing: OPENSS

2020-08-19 02:59:52 133

原创 Ubuntu上安装eigen3的基本流程和解决问题经验

继续上一篇博客的工作，不得不说，要用一个论文里的implementation，得做这么多额外的、没有技术含量的工作，也是醉了。希望以后论文的作者们，在公布implementation的时候，也想想别人的工作量，你自己用自己熟悉的库，C++、Python混用，但别人可能只习惯Python啊。这里总结一下怎么在Ubuntu上安装Eigen3，顾名思义，这应该是一个进行矩阵运算操作的库。首先在这个页面下看看：https://eigen.tuxfamily.org/dox/GettingStarted.ht

2020-08-17 13:06:15 184

原创 Ubuntu上安装Boost C++以及Boost.Python的过程和经验

由于实验的需要，想运行一下这个项目：https://github.com/luckiezhou/DynamicTriad，和所有科研相关类的repo一样，要真正用起来还得填很多坑。不得不说，这个repo的作者已经足够认真负责，但是要跑起来还是不容易，个人感觉，machine learning方面的实验代码，能真正顺利直接跑起来的，不超过20%。在这个repo第一个dependency就花了些时间，由于需要用到Boost.Python，所以我简单学习了一下。Boost C++被称为C++标准库的后备，是C

2020-08-16 16:14:14 155

原创快速检测源代码Corpus中重复代码的工具Near-Duplicate Code Detector的简单使用方法（以Win10为例）

使用这个工具是为了响应Reviewer的建议，另外我也看到一些新的arXiv论文中用到了这个工具，例如这篇：Buratti, Luca, Saurabh Pujar, Mihaela Bornea, Scott McCarley, Yunhui Zheng, Gaetano Rossiello, Alessandro Morari et al. "Exploring Software Naturalness throughNeural Language Models." arXiv preprint a

2020-08-11 08:40:36 93

原创 .Net报：It was not possible to find any installed .NET Core SDKs的问题根源和解决

吐槽一个小问题：由于要运行别人的一个工具，需要在windows命令行中运行dotnet，我想当然地在google里搜了.NET Core，在这个页面：https://dotnet.microsoft.com/download看到有好几个选项，感觉应该和JRE，JDK的关系差不多吧，就下载了.Net Core Runtime，结果在Windows命令行中输入dotnet，可以有Usage之类的提示，以为就装好了，但是运行别人工具的时候输入：dotnet run 项目名称.csproj就报了：

2020-08-10 12:46:08 1822

原创在Win10上手动安装PyTorch的流程（不使用Anaconda，2020年8月）

在上一篇博客中，我总结了使用Anaconda安装PyTorch的过程，不得不说这个过程是简便的，但是我还是觉得Anaconda有没处理好的地方（例如我吐槽的目录位置），另外，我在Anaconda的Prompt中输入import torch是正常的，但是在VSCode中运行，就会报File "C:\Users\%我的用户名%\.conda\envs\pytorch\lib\site-packages\torch\__init__.py", line 189, in <module> f..

2020-08-06 17:27:02 360

原创在Win 10+RTX 2070上安装并使用PyTorch的流程（2020年8月）

为啥用Windows？因为对ubuntu的远程桌面觉得不爽，想用Windows的远程桌面。这种教程很多朋友都总结过了，但是要么太复杂（像这个小姐姐就写得特别详细：https://www.jianshu.com/p/d7851ffea38b，但这么多步骤我实在懒得做啊），要么有些点还是没说清楚，我就自己简单记录一下。首先应该是更新显卡驱动，我们通过鲁大师，驱动精灵更新的显卡虽说可以用，但是可能版本不够新。在cmd下输入：nvidia-smi可以看到驱动版本号和其他信息。我也是这样查看了之后才发现

2020-08-06 13:48:37 245 2

原创使用UltraISO制作Win10（1909版本）启动盘时失败的原因总结

这两天需要在一台机子上重新安装Win10，但是发现用UltraISO制作的U盘启动盘并没有优盘启动功能。试了好几次还是不行，最终在这里看到：https://www.cnblogs.com/sjdn/p/12156990.html，原来应该是这样：主界面“文件”——打开——打开iso文件后——主界面“启动”——写入硬盘映像——在弹出的对话框中选择“便捷启动”，像我用的是UltraISO 9.7.1版本，并不需要进行其他任何的设置，即可成功制作启动U盘了。一点小经验总结一下。...

2020-08-05 16:34:13 1633

原创怎样计算Apache Jira中的所有项目的issue个数

Apache的JIRA是Apache的多个项目的Issue Tracking System：https://issues.apache.org/jira不过怎么统计这些项目中都各自有多少issue呢，相信这个问题是很多做Mining Software Repository的朋友们都会关心的。我试着用jira-python统计了一下，虽然很不优雅，但总算是可以获取到。jira-python的doc在：https://jira.readthedocs.io/en/latest/下面是实现代码，很简单。虽

2020-08-01 06:37:58 141

原创 Git中AuthorDate和CommitDate的区别以及由此引起的JGit使用时造成的Bug

这个坑，多少让人觉得有点无语。其实很早就注意到，Git中一次Commit对应两个时间的，但是也没仔细看JGit中的时间对应的是哪个时间。这里我们以这个Repo为例：https://git-wip-us.apache.org/repos/asf/wicket.git对于这个Repo而言，如果我在命令行中输入：git show ca03c252b5745bdccfb7c8cdffcc705846593ec1那么将得到下面的一些输出：commit ca03c252b5745bdccfb7c8c

2020-07-27 07:11:54 196 1

原创 Eclipse中报Exception in thread main java.lang.OutOfMemoryError: Java heap space的准确解决方法

写这个博客就是想吐槽一下。其实这个问题很简单，我在6年前就写博客记录过：https://blog.csdn.net/qysh123/article/details/40587571但是当时记录的是在Ant的build.xml的解决方案。这次搜了一下，发现大家写博客的时候，普遍都比较懒，也不想把问题说清楚，例如下面这些（当然还是应该感谢这些朋友，如果再记录得清楚一点就更好了）：https://blog.csdn.net/weixin_30594001/article/details/97987207

2020-07-22 13:34:05 112

原创用diff命令计算源代码（如C源码）差异时忽略注释的最详细方法及应用

这里我准备系统地总结一下这个问题。如果我们要统计一份源码不同版本之间的差异，当然希望是忽略所有的注释，我之前也写过博客文章总结：https://blog.csdn.net/qysh123/article/details/72866251，但是今天发现之前总结的不是很仔细，所以这里再仔细总结一下，还是基于上次博客中给的例子，这次稍微复杂了一点，假设我有两个c代码，分别是a.c和b.c：a.c：test//command/*1 *1*1 */1b.c：test//com

2020-07-06 14:48:12 208

原创 Windows 10快速删除大量回收站文件以及由此引起的回收站右键清空反应慢问题的解决

这个博文的标题很长，我稍微解释一下。前几天在Windows 10上收集一些数据，由于删除了几万个小文件，发现回收站清空的时候特别慢，就像用类似rd/s/q的方法快速清空，看到了这里的帖子：https://justyy.com/archives/3240应该说这个网友的介绍是对的，但是他少介绍了一步，最好是通过管理员方式运行。我之前没有，虽然也清空回收站了，但是从此之后在回收站图标上点右键——清空回收站的时候，两步都反应特别慢，大概至少要间隔5秒左右。觉得好奇怪，感觉可能是之前那种操作的问题。虽然在网

2020-07-05 06:35:20 773

原创 Python Strip()函数踩坑记录

今天遇到了一个奇怪的bug，仔细看了一下原来是自己想当然了：我们一般用strip()函数去掉字符串首尾的空格或者换行符之类的，但是我有一个需求就是去掉字符串尾部的.txt，想当然的用了.strip('.txt')，仔细看了一下网友的解释：https://blog.csdn.net/weixin_30657541/article/details/99390522才发现自己完全理解错了，是去掉首尾中的. t x t这几个字符的意思，导致出现了一些莫名其妙的错误，还以为是因为换行符之类的问题。简单记录一.

2020-07-03 16:04:32 298

原创 Windows系统中用Python Shutil拷贝文件夹并保持目录结构的方法（[Errno 13] Permission denied的解决办法）

这个博客的目的很简单，希望用Shutil实现目录拷贝，并且在目标文件夹中保持源文件夹中的目录结构，但是如果直接用：shutil.copy(source_dir,des_dir)这种写法，可能会报：PermissionError: [Errno 13] Permission denied，这种错误（像其他网友也讨论了这种情况：https://stackoverflow.com/questions/39844123/permissionerror-errno-13-permission-denied-p

2020-07-01 13:00:28 835

原创在LaTeX中插入圆角文本框并底色填充的方法

在前面这篇博客中，我总结怎么插入带底色文本框的方法，不过总觉得如果是圆角文本框更好看。搜了一下，发现这里的网友解释得比较清楚：https://tex.stackexchange.com/questions/327323/how-to-change-options-in-the-fcolorbox-environment，也就是说，用\fcolorbox是没办法插入圆角文本框的。所以按照上面这个网页里网友的方法，可以用下面方式：\begin{center}\begin{tcolorbox}[col

2020-06-20 14:03:48 624 1

原创 Ubuntu中Python2和Python3共存时构建Python2的虚拟环境

其实这个很简单，但是我也是看了其他网友的博客才知道：https://blog.csdn.net/qq_33251995/article/details/83214971，https://blog.csdn.net/wangkun1340378/article/details/82380160，我们往往可以输入：virtualenv -p /usr/bin/python2 --no-site-packages %虚拟环境名称%来构建基于Python2的虚拟环境。由于现在经常要直接使用别人的实

2020-06-14 18:01:52 97

USENIX Security Symposium 2009年论文集（USENIX Security 2009）

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

2011-04-11

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

Introduction to Discrete Event Systems

主要介绍如何使用automata以及Petri Nets对离散事件（动态）系统进行建模及描述。吴老师上学期连讲了好多节课，并且发了一篇book review在IEEE Control System Magazine上：　　　　A. Paoli and N.E. Wu, Book review: An Introduction to Discrete Event Systems, 2nd Edition, by C.G. Cassandras, and S. Lafortune, IEEE Control Systems Magazine, June, 2009. 　　　　Eva Wu的个人主页：　　http://www.ws.binghamton.edu/wuweb

2010-03-30

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

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

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

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

2013-12-24

USENIX OSDI 2010年论文集（Proceedings of USENIX OSDI 2010）

（我现在主要在CSDN上整理计算机安全、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）操作系统研究领域的顶级会议OSDI 2010年的会议论文集，关于该会议，可参考下面的介绍： 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篇文章。

2010-11-11

NDSS 2009论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）计算机安全界的会议ISOC Network and Distributed System Security Symposium (NDSS)2009年的文章，ISOC是互联网领域最专业组织之一，NDSS也是安全界较为重要的国际会议。特别值得一提的是北大的王铁磊同学，继2009年在NDSS上发表一篇文章之后，2010年在SP上获得了最佳学生论文奖。值得我们学习的榜样啊！

2011-05-19

ISOC Network and Distributed System Security Symposium(NDSS) 2010年论文集

（我现在主要在CSDN上整理计算机安全、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）计算机安全界的会议ISOC Network and Distributed System Security Symposium (NDSS)2010年的文章，ISOC是互联网领域最专业组织之一，NDSS也是安全界较为重要的国际会议。特别值得一提的是北大的王铁磊同学，继2009年在NDSS上发表一篇文章之后，2010年在SP上获得了最佳学生论文奖。值得我们学习的榜样啊！

2011-01-18

Statistical Analysis of Network Data

这本书是Springer Series in Statistics中的一本，主要专注于对网络化数据的统计分析，包括对图论、复杂网络、统计分析的介绍，适合计算机及统计学相关专业学习。美国麻省大学教授，Complex Systems Modeling and Control Laboratory主任Weibo Gong强烈推荐此书。

2010-10-08

Software Testing and Analysis: Process, Principles and Techniques

这本书是一本不可多得的好书。强烈推荐相关测试及开发、管理人员阅读。同时软件分析与测试方面的研究人员也可以将这本书作为入门参考。这本书的两位作者分别是Mauro Pezzè和Michal Young，两位作者的主页分别是： http://www.inf.usi.ch/faculty/pezze/ http://ix.cs.uoregon.edu/~michal/ Mauro Pezzè是软件工程研究领域顶级期刊ACM Transactions on software engineering的副主编，同时是多个国际会议，如International Symposium on Software Testing and Analysis的委员会成员。他领导的实验室主页为： http://www.lta.disco.unimib.it/lta/index.php 我们小组系统读过他们的很多文章。总之，这本书在理论与技术方面做到了较好的统一，既有一定深度，又有实用价值。

2010-06-19

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

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

IMC 2010-Annual conference on Internet measurement

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

2011-11-03

ISSRE 2010-International Symposium on Software Reliability Engineering 2010论文集

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）软件可靠性分析方面的顶级国际会议，由IEEE Computer Society和Reliability Society合办的会议International Symposium on Software Reliability Engineering 2010年的会议论文集，请需要的朋友下载、学习。

2011-05-10

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

2014-01-13

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

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

NFM 2010-NASA Formal Methods Symposium 2010 论文集

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

2011-08-22

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

ACM Symposium on Operating Systems Principles 2009年论文集

操作系统研究领域的顶级会议SOSP 2009年论文集。关于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上发表论文真的是所有操作系统相关研究者的无上荣誉。

2010-07-29

Design for Trustworthy Software

重点介绍了DFTS（Design For Trustworthy Software），可信软件开发过程。具体内容包括RSDM（Robust Software Development Model）等。

2009-08-10

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

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

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

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

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

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

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

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

SIGCOMM 2009-ACM SIGCOMM conference on Data communication 2009年论文集(proceedings of SIGCOMM 2009)

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

2011-02-25

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

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

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

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

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

NDSS 2011-ISOC Network and Distributed System Security Symposium 2011

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）计算机安全界的会议ISOC Network and Distributed System Security Symposium (NDSS)2011年的文章，ISOC是互联网领域最专业组织之一，NDSS也是安全界较为重要的国际会议。欢迎大家下载并学习该论文集。

2011-06-14

IEEE Symposium on Security & Privacy 2009年论文集（Proceedings of IEEE Symposium on Security & Privacy 2009）

计算机安全界的顶级会议IEEE Symposium on Security & Privacy 2009年论文集。关于该会议，可参看相关的介绍： Oakland：95分，全称IEEE Symposium on Security & Privacy，每年都在Oakland召开。之所以不简称S&P，是为了跟一个magazine----IEEE Security & Privacy区分开来。被认为是计算机安全的最高会议，比ACM的CCS更受尊敬。该会自称接受一切与计算机安全的文章，但我感觉其以应用型为主，对理论性的文章尤其crypto-flavor的文章非常排斥。请注意，本论文集仅为个人整理资料，严禁用于商业或其他用途。

2010-06-23

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

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。）计算机、网络安全界的顶级会议IEEE Symposium on Security & Privacy 2011年论文集。关于该会议，可参看相关的介绍： Oakland：95分，全称IEEE Symposium on Security & Privacy，每年都在Oakland召开。之所以不简称S&P，是为了跟一个magazine----IEEE Security & Privacy区分开来。被认为是计算机安全的最高会议，比ACM的CCS更受尊敬。该会自称接受一切与计算机安全的文章，但我感觉其以应用型为主，对理论性的文章尤其crypto-flavor的文章非常排斥。

2011-07-23

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人 TA的粉丝