蛐蛐蛐的博客_CSDN博客-科研工具,Python技巧,深度学习领域博主

原创解决Python 3报：bad magic number in XXX的解决方法

目前发现下面这个方法是最简单的，所以简单记录一下：其实删掉.pyc文件即可，但有时候由于anaconda之类的存在，我们都不太好定位到底是哪里的.pyc文件出了错，解决方法也很简单，在一个大的目录下，终端打开，运行：

2022-09-10 11:32:30 169

原创怎样在LaTeX中方便输入带圆圈的数字

我也是同感，不教会别人怎么用，说那么多有什么意义？第一个\normalsize指定了圆圈的大小，后面一个\normalsize是为了使正文中的其他字体恢复正常。如果使用\textcircled，数字编号大的时候，数字会跑到圆圈外面。最后给出一个具体示例，大家看看便知，再吐槽一下，写博客是为了帮助大家解决问题，不是炫自己的知识，第一篇博客我看了好久，还是不会用。小四号　12pt 　　　　4.2175mm　　　 \normalsize。四号　　13.75pt 　　 4.83mm　　　　 \large。

2022-09-03 12:28:34 701 1

原创在IEEE会议论文LaTeX模板中添加页码

这个问题我已经碰到过很多次了。先说一下原因：我们提交会议论文的时候，如果不设置，一般是没有页码的。但是从审稿人和控制页数的角度，都是加上页码以后方便（例如Reviewer直接说Page X有YYY问题）。这样第一页是没有页码的，但是并不妨碍Reviewer的工作。

2022-09-03 05:48:14 236

原创怎样使用Scrapy爬取NVD网站上的数据

不过遇到新的需求的时候，还是想记录一下。不过因为只是简单记录，所以这篇博客很水。就简单总结这么多，应该说我对Scrapy这个爬虫的使用算是相当了解了。

2022-08-27 02:07:14 396

原创 Transformers的RoBERTa model怎么使用word level的tokenizer

不得不说，和上面相比，差别有点大啊（例如：tokenizer = Tokenizer(WordLevel())，以及必需要加tokenizer.pre_tokenizer = Whitespace()这一行）。其实这个问题应该是很好解决的，想不到竟然花了3个多小时。我去，这个原因我也是醉了，所以最后手动建立一个空白的merges.txt文件，然后就可以正常保存和使用这个tokenizer了。从之前说的RoBERTa的示例代码可以知道，需要再重新加载的tokenizer需要在一个文件夹下，所以这个也不行。

2022-08-24 12:32:20 183

原创将transformers的tokenizer处理之后（如BPE）的序列映射回输入序列

从上面的输出中可以看到，encoded['input_ids']对应的就是输入到transformer encoder的tensor输入，.tokens()返回的是tokenize以后的token，.word_ids()返回的是tokenize以后的token的编码（而并不是输入sequence的）。为了展示方便，省略了之前很长的那些print，可以看到，最后生成的这个word_2_token_mapping是完全正确的。，这个和API文档里说的完全不一样啊。，这个表明的是在原输入序列中的位置。

2022-08-20 12:36:30 351

原创 Ubuntu上运行ProbLog程序的基本方法

这篇博客很简单，接上一篇：在Ubuntu上安装并运行DeepProbLog的简单过程_蛐蛐蛐的博客-CSDN博客。其实要运行ProbLog代码是相当简单的，如上一篇博客中所说的，首先安装engine：

2022-08-01 12:29:56 54

原创在Ubuntu上安装并运行DeepProbLog的简单过程

可以通过binary形式安装，照着输入命令就可以了，然后再运行pythonaddition.py，发现就可以正常开始训练了。，原来是个Prolog的engine，想不通，我只想运行一下这个model，为啥还要装Prolog呢，这个model不是基于Problog的吗？就是论文里说的图像数字相加的例子。这篇博客只是简单记录一下，没什么技术含量。...

2022-07-26 14:47:20 75

原创 Ubuntu 20.04上安装Datalog Disassembly工具的过程

这篇博客只是简单记录和吐槽一下。Datalog Disassembly发表于USENIX Security 2020。GitHub repo是：GitHub - GrammaTech/ddisasm: A fast and accurate disassembler看到其repo上说所以试一下怎么通过安装这个GTIRB来安装Datalog Disassembly：GitHub - GrammaTech/gtirb: Intermediate Representation for Binary analysi

2022-06-29 08:01:05 110

原创 Ubuntu更新Node.js时遇到的“由于没有公钥，无法验证下列签名： NO_PUBKEY”的解决方法

这个问题说来比较绕，主要是因为我系统上的node.js版本太低了，想安装新的版本，参考这里的说明：https://github.com/nodesource/distributions/blob/master/README.md首先输入：结果就报了下面的错：我这里特别想吐槽一下：这个源不能用就不用了呗，为啥就exit了，这是什么傻叉逻辑？？？于是得想办法解决这个报错。看到一些朋友说是加入签名，更新/etc/apt/sources.list文件，删除软件源等等（例如：sudo apt-get updat

2022-06-19 13:37:13 657 1

原创如何用O1编译Linux Kernel并禁止inlining

这已经是这个系列的第四篇博客了（上一篇是怎样用O0来（尽可能地）编译Linux Kernel_蛐蛐蛐的博客-CSDN博客），但是还是很多问题没有解决。上一篇博客中说了用O0编译的方法，但是O0编译的很不全，还是有报错，我也没有精力挨个去解决error，想着O1似乎也可以用，就想试试，找了找，可以参考这篇博客里的方法：如何在编译linux内核时不优化内核以便于调试内核?_weixin_30662109的博客-CSDN博客具体而言，还是先将Makefile中的O2，O3，Os等等都改成O1，其次，按照上面

2022-06-17 12:20:37 45

原创怎样用O0来（尽可能地）编译Linux Kernel

这篇博客接前面两篇：在Ubuntu上编译特定版本的Linux Kernel_蛐蛐蛐的博客-CSDN博客和怎样编译Linux Kernel中的尽可能多的源码_蛐蛐蛐的博客-CSDN博客。有时候我们想尽量用O0来编译Kernel，以进行一些后续分析，但是就像上面第二个链接中说的，基本上用O0编译是很难的。我主要参考了一下这篇博客：使用-O0编译Linux内核_玉双龙的博客-CSDN博客首先，将makefile中的O2，O3，Os都改成O0。（我这里依然以v5.12-rc2为例）其次然后这时候就会有下

2022-06-13 13:14:39 192

原创怎样编译Linux Kernel中的尽可能多的源码

在上一篇博客：在Ubuntu上编译特定版本的Linux Kernel_蛐蛐蛐的博客-CSDN博客中，我介绍了编译Linux Kernel源码的基本过程，但是如果按照menuconfig默认选项来编译的话，生成的binary file个数很少，明显和源码的规模不符。那怎么编译其中的所有源码呢？这里有朋友进行了解释：How to make all features compile to modules in kernel compilation? - Stack Overflow也就是说，首先执行：再执行

2022-06-09 04:36:40 56

原创在Ubuntu上编译特定版本的Linux Kernel

由于实验需要，我得在Ubuntu上编译特定版本的Linux Kernel，网上的教程已经很多了，不过有的有错，有的不完整，所以再自己简单总结一下。需要注意的是，我这里只编译生成一些binary files，并不安装内核。例如我需要编译这个版本：Linux kernel v5.12-rc2，解压之后终端进入文件夹，首先就是安装一些必要的工具，注意到网上有些浏览量很大的教程也缺少了这一步，例如：Linux内核编译_ibless的博客-CSDN博客_linux内核编译其次就是和编译其他项目一样，需要有一个C

2022-06-08 13:56:57 176

原创 Ubuntu 20.04上编译OpenSSL的编译选项设置

由于实验需要，我想简单看看怎么在编译OpenSSL的时候设置编译选项，之前都是用的默认选项，例如这里：怎样在BinaryNinja中查看Vulnerable的function（以HeartBleed CVE-2014-0160为例）_蛐蛐蛐的博客-CSDN博客首先下载一个对应版本，例如我在这里：/source/old/3.0/index.html下载了openssl-3.0.0.tar.gz。解压之后进入文件夹。搜了一圈发现，虽然介绍的博客很多，但是基本上大家都没有详细介绍编译选项，例如这里的介绍：linu

2022-06-07 12:12:54 958

原创怎样将PDF作为矢量图插入PPT中

关于这种问题，我已经研究过很多了，例如这几篇博客：Matlab中的图怎样插入Word效果最好_蛐蛐蛐的博客-CSDN博客Visio中画的图怎么更清晰美观地插入LaTeX中（Visio 2016）_蛐蛐蛐的博客-CSDN博客_visio画图插入latex想不到研究尝试了这么多，还是能学习到新的经验，看来真是活到老学到老啊…… 总体来说，Visio画的图可以直接保存成PDF，包含在论文里。MATLAB的图也一般保存成PDF。另外，我现在不太喜欢把eps等转成emf放在ppt，因为有时会遇到字体嵌入的问题

2022-05-31 11:47:03 777

原创使用Joern处理大量文件，生成PDG速度很慢的解决方法

这个问题我也是无语了。在之前的博客中，我介绍了怎么通过Joern生成PDG，特别是以代码行为单位的PDG：怎样使用Joern生成Program Dependence Graph并和源码中的行号对应起来_蛐蛐蛐的博客-CSDN博客但是最近用Joern的时候，发现速度越来越慢，实在不知道怎么回事。抱怨Joern速度慢也不是我一个人了，例如这里：今天慢得实在太离谱了，我仔细看了一下，发现在文件夹下有个workspace的文件夹，每次处理一个文件的时候都会更新其下的所有文件夹（例如cpg.bin，cpg

2022-05-26 15:14:27 89

原创 PyTorch使用index_add_报：one of the variables needed for gradient computation has been modified

简单记录一下这个问题的解决。我需要使用tensor A的一些行来替换tensor B的一些行（通过一个表示索引的tensor来指定位置），发现可以使用：torch.index_select和torch.index_add来实现。具体等会来介绍一下，先说说怎么解决这个报错。发现PyTorch的文档主要介绍的是：torch.Tensor.index_add_：torch.Tensor.index_add_ — PyTorch 1.11.0 documentationtorch.index_add — P

2022-04-30 14:16:52 390

原创使用DGL实现RGCN时报Assertion srcIndex ＜ srcSelectDimSize failed.的解决办法

这个问题在不同的framework上碰到过很多次了。我之前没有用过DGL实现过RGCN，简单看了一下网上的例子，按照这里：dgl.nn.pytorch.conv.relgraphconv — DGL 0.8.1 documentation和GCN的区别就是forward中要输入一个表示edge类型的tensor，我就是因为这里的输入有点问题，所以才报错了。具体来说，看这里注释中的例子：dgl/relgraphconv.py at master · dmlc/dgl · GitHub输入的te

2022-04-23 07:17:04 2676

原创怎么实现GCN Siamese network？

这篇博客只是简单谈一下思路：GCN+Siamese Network可以实现对graph相似度检测，其思路和其他Siamese network的思路是相同的，如果我们在GitHub上搜索“gcn siamese”，可以看到如下的结果：简单看一下这些Repo是怎么组织数据的：https://github.com/flychen321/siamese_gcn/blob/master/datasets.py感觉大体思路都和基于CNN的Siamese network差不多：PyTorch之—S

2022-04-13 16:48:05 1130

原创 PyTorch Dataloader报CUDA error: initialization error的解决方法

这里也就简单记录一下，和这篇博客说的类似：RuntimeError: CUDA error: initialization error_IMU_YY的博客-CSDN博客除了上面这个报错，还报了：During handling of the above exception, another exception occurred:除了这篇博客的解决方法，还可以直接把num_workers这个参数删掉即可。例如我从train_dataloader = DataLoader(dataset=t

2022-04-13 05:45:33 465

原创通过Ghidra Java API同时获取一个function的low level和high level IR

接上一篇博客。这也是个很基础的需求，只不过我想简单记录一下：下面以一个简单的C函数为例，假设我们想获得这个函数的low level和high level IR：#include <stdio.h>#include <stdlib.h>int a=0;char *p1;void main(void){ int b; char s[]="abc"; char *p2; static int c=0; p1=(cha

2022-03-29 04:56:01 251

原创 Ghidra Java API怎么得到Low level Function的所有instruction

这是一个很细节的问题，但还是想记录一下。我们都知道，Ghidra有high level IR和low level IR的区别，high level的function是很容易获得所有的PCode Operation的，其文档为：HighFunction可以通过getPcodeOps获得，但是low level function中并没有相应的方法：Function那应该怎么办呢？参考了一下师妹的代码，原来可以通过：Program的getListing()方法获得一个Listing对象，然后再

2022-03-26 15:42:54 425

原创 Points-to analysis工具Doop的命令行参数

接前两篇博客，这里总结一下Doop的命令行参数，另外记录一下我没搞清楚的一些东西。在终端里运行：./doop --help all可以看到其给出一些参数选项：== Configuration options == -a,--analysis <NAME> The name of the analysis. Valid values: 1-call-site-sensitive, 1-call-site

2022-03-17 16:33:53 386

原创 Points-to analysis工具Doop的基本使用（2）

在上一篇博客中：Java和Android应用points-to analysis工具Doop的基本使用方法_qysh123的专栏-CSDN博客我简单介绍了Souffle和Doop的安装和使用方法，下面以Doop自带的例子为例，简单介绍一下Doop的运行过程，和一些我注意到的问题：首先，在这个文件夹下doop/docs/doop-101-examples，我们可以看到一个示例代码：Example.java，直接在这个文件夹下运行：make就可以生成对应的jar包，然后我们可以通过命令行对其进

2022-02-03 06:23:04 1060

原创 Java和Android应用points-to analysis工具Doop的基本使用方法

今天简单总结一下Doop这个工具的使用方法：

2022-02-02 14:06:28 1950

原创怎样在Win 10中运行MASM汇编代码

由于科研需要，我想复习一下汇编的知识，大概十几年前写过挺多汇编代码（估计最少有五六千行吧，搞个单片机计算器什么的），不过已经基本上全忘了。下面总结一下如何在Win 10里运行，主要参考了一下内容：[1]怎样在win10 64位系统运行汇编程序_吼吼哒的博客-CSDN博客_win10运行汇编[2]How To Install MASM In Windows (11, 10, 8, 7)应该说这两篇已经讲得很清楚了，我补充一些内容：首先，DOSBOX的主页是：DOSBox, an x86 em...

2021-12-28 13:51:03 848

原创 Ghidra Java API报NoClassDefFoundError的解决方法

Ghidra是很优秀的逆向工程工具，我也写过一些博客介绍其Java API的用法，例如：Ghidra在Eclipse中新建和运行项目的路径问题_qysh123的专栏-CSDN博客但是不得不吐槽，其Java API用起来真的是太傻了。我经常遇到的一个问题是：往往我们按照Java的规范新建了类，也包含在classpath中，但是就是报找不到这个类，例如：ERROR Abort due to Headless analyzer error: Node (HeadlessAnalyzer) java.lan

2021-12-16 12:49:41 409

原创 XGBoost 1.5.0的sklearn接口怎么使用GPU

虽然很早就听说XGBoost：Chen, Tianqi, and Carlos Guestrin. "Xgboost: A scalable tree boosting system." In Proceedings of the 22nd acm sigkdd international conference on knowledge discovery and data mining, pp. 785-794. 2016.已经引用一万多次了。但是我没怎么用过，如果是传统机器学习方法，还是用R

2021-11-19 14:18:29 2130

原创 LaTeX表格中使用multirow和multirowcell换行时左对齐的方法

我们通常在LaTeX表格中通过p{3.5cm}这种方法来实现自动换行的目的，但是，如果使用了multirow，特别是像这样：multirow{2}{*}的时候，这个p就没有用了，解决的方法也很简单：第二个参数应该也指定宽度为3.5cm。具体可以参考这里：https://mirrors.rit.edu/CTAN/macros/latex/contrib/multirow/multirow.pdf另外我们可以通过multirowcell等方法来实现强制的换行。下面首先给出换行的结果截图：对应的几种情

2021-11-02 16:11:25 2196

原创谈谈LaTeX中代码段显示的选择，以及Package minted Error: You must invoke LaTeX with the -shell-escape flag的处理方法

我已经写过好几篇博客说这个问题，总体上来讲，我觉得LaTeX的listing特别拉胯，显示的代码段高亮很丑，让人不忍直视。下面举个例子来说明：例如要显示下面这段C代码：int max(int a, int b){ if (a > b) return a; else return b;}我们有两种选择，一种是用listing，另一种是用minted，用listing的时候，我进行了如下的设置：\usepackage{listings

2021-10-27 05:15:20 1398

原创记录一个Ubuntu中python深度学习程序的内存泄漏情况及其处理

不得不说，很多看似很成熟的程序，也会有很多内存泄露的问题：由于实验需要，我需要在硬盘上生成很多的小文件，然后调用srcML处理（我也试过直接在内存中读写，但会有其他问题），然后根据处理结果生成embedding。最终生成几个list，每个list大概有十几万个图。本来很简单的过程，但是跑实验的时候遇到了好几个内存泄漏问题：1. 我希望看到生成小文件的过程，因为可以判断程序运行的速度，就一直开着文件夹看，结果看到nautilus逐渐把内存占满了，我以为是因为频繁读写硬盘造成的：Ubuntu 中的

2021-10-01 13:39:42 255

原创 Gensim的doc2vec如何使用新的数据update model

先吐槽一下，我觉得Gensim的种种设计都特别反人类，开发这个库的人脑子都是浆糊。下面给出示例代码：import gensimimport datetimedef Doc2VecModelBuilding(): sentence='0 INT_EQUAL ARG3 CONST'.split(' ') print('Start reading the corpus') sentences=gensim.models.doc2vec.TaggedLineDocument(

2021-09-17 05:06:01 111

原创 PyTorch二分类时BCELoss，CrossEntropyLoss，Sigmoid等的选择和使用

这两天我们有一篇顶会的论文需要Minor Revision，reviewer说让我们在网络图中把fully connected layer画出来。对到底应该画图、画到多详细有点疑问，所以简单总结一下。我们在论文中解决的是一个二分类的问题，我们说hidden state送入fully connected layer+sigmoid做分类，但没有在网络图中画出来，有reviewer就让我们改图了。不过画了fully connected layer，还需要画sigmoid吗？这里就总结一下使用PyTorch做

2021-09-08 01:52:03 2300 1

原创 SSH操作GitHub Repo的方法和应注意的问题

其实平时用GitHub或者Git比较少，因为主要是写自己用的和科研相关的代码。不过随着代码越来越多，自己管理和找起来也不方便，特别是：实现某个新的功能，或者写新的一段代码的时候，总是习惯旁边打开自己之前的代码作为参考。所以如果能有一个支持高效检索的自己的代码库，就会方便很多。GitHub和Gitee都看了一下，发现在Gitee上没找到搜索自己Repo或自己所有相关项目的功能（在页面里只有一个所谓的“搜开源”的搜索框）。话说，这个功能很难想到吗？Gitee连这么简单的需求都看不到？实现不了？另外，Gi

2021-09-05 16:09:32 375

原创 Python报错：enumerate() takes 0 positional arguments but 1 was given的解决办法

这个问题出现，感觉很莫名奇妙，baidu并没有看到什么有价值的答案，还是google给出了答案：https://stackoverflow.com/questions/57403522/enumerate-takes-0-positional-arguments-but-1-was-giventhreading has a threading.enumerate function that returns a list of the Thread objects for all live thre

2021-09-04 17:29:31 689

原创 Ubuntu 20.04安装搜狗输入法无法进入系统的解决方法

觉得Ubuntu自带的输入法太傻了，想换成搜狗的试试，按照这里的介绍做了：https://pinyin.sogou.com/linux/help.php结果就输入用户名后无法进入系统了（黑屏光标），惊出了一身冷汗，毕竟还在跑实验啊大哥！发现这个问题不是我一个人遇到了：https://blog.csdn.net/weixin_28729271/article/details/87601342https://blog.csdn.net/a571255945/article/details/113

2021-08-25 03:28:05 1235

原创关于Gensim的word2vec要不要train的疑问

我一直有这方面的疑问，看网上大部分的例子，大家都是直接创建了model即可，例如这里：https://www.jianshu.com/p/5f04e97d1b27给出的例子：from gensim.models import word2vec import timestart = time.clock()model=word2vec.Word2Vec(train_content, size=200)end = time.clock()print('Running time: %s Sec

2021-08-19 02:31:41 325 5

原创 PyTorch的NLLLoss和CrossEntropyLoss区别和联系

这个问题其他网友已经总结得很好，例如：https://blog.csdn.net/qq_22210253/article/details/85229988为了方便大家更进一步理解，我把上面博客中的例子总结到了一个文件中，方便大家以此为例学习：import torchimport torch.nn as nninput=torch.randn(3,3)print(input)sm=nn.Softmax(dim=1)print(sm(input))log_result=torch.l

2021-08-16 15:43:45 79

原创安装KeOps过程中的踩坑记录

由于需要跑一篇论文的代码，需要安装KeOps。这里忍不住再吐槽一次：Python开发环境的版本依赖管理太混乱了，加上各种操作系统，驱动，CUDA版本等等，太浪费生命。所以，如果要写论文，发布open source的package，最好是用大家主流用到的一些库（如PyTorch，numpy，networkx这些），免得让很多人重复实验的时候浪费时间（很多情况下你不重复实验，reviewer会吐槽），请作者和reviewer们都做个人吧！别再浪费大家的时间了。具体到这个库，我连听都没有听说过，按照其文档进行

2021-08-11 03:40:00 531

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

2014-01-13

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

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年论文集

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年论文集

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

空空如也

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

TA关注的人