蛐蛐蛐-CSDN博客

原创怎样将Windows系统上的V2rayN通过局域网共享

这个论文就简单记录一下。相信有需求的朋友不止我一个。

2024-04-18 16:11:39 56

原创 stable-diffusion-webui报OSError: Can‘t load tokenizer for ‘openai/clip-vit-large-patch14‘的正确解决方法

把repo clone到openai文件夹就行了。何必要用硬编码呢，完全违反软件工程实践。则需要在标红的目录下新建openai文件夹。不知道这么简单的问题为什么大家讲不清除。但是我发现很多朋友是改代码中的绝对路径的，这非常不科学，为啥要用硬编码绝对路径呢？

2024-04-16 22:16:28 397

原创科大讯飞星火开源大模型iFlytekSpark-13B GPU版部署方法

iFlytekSpark-13B: 讯飞星火开源-13B（iFlytekSpark-13B）拥有130亿参数，新一代认知大模型，一经发布，众多科研院所和高校便期待科大讯飞能够开源。最后说说硬件要求，我做完了以上配置就不报别的错了，只是还是显存溢出了，我的电脑是3090*2的，看来最低只能用40GB单卡，两个24GB由于各种原因会爆显存。需要注意的是，如上面repo里介绍的，由于模型太大所以使用Git LFS存储，如果直接用git clone是没法下载的。结合上面的博客，感觉有可能确实是分支的问题。

2024-04-15 16:32:54 1091

原创 Ubuntu中matplotlib显示中文的方法

可以看到/usr/share/fonts/MyFonts（这个文件夹也是新增的）下有很多字体。很多朋友说把字体拷贝到matplotlib目录下，例如我这里：/home/quyu/anaconda3/envs/TranAD/lib/python3.8/site-packages/matplotlib/mpl-data/fonts，但是个人感觉应该放到上面这个fonts文件夹的ttf目录下。这看起来就很清楚了，另外，从这个json看，是不是不拷贝到ttf目录下也能找到？这个我没测试，感兴趣的朋友可以试试！

2024-02-23 11:03:40 396

原创 MathType里怎么输入手写字体

在MathType里输入，首先输入一个正常字母，选中——样式——其他——对话框里选择“Euclid Math One”即可。这篇博客只是简单记录一下。

2024-02-21 16:05:53 651

原创 Python报No such file or directory: ‘science‘的解决方法

像在我的电脑上的路径是：/home/quyu/anaconda3/envs/TranAD/lib/python3.8/site-packages/matplotlib/mpl-data/fonts，把下载的字体更新进去。然后删掉/home/quyu/.cache/matplotlib这个文件夹就可以了。把这几个问题解决后，就可以输出论文里类似的结果图了（虽然我还是不太相信这个论文的代码和结论）。还是想看看这篇论文的可视化结果。

2024-02-08 00:54:55 603 1

原创时间序列异常检测论文TranAD: Deep Transformer Networks for Anomaly Detection in Multivariate Time Series Data

可以看作是论文中的一个W_t，前面的一个d是128个W_t的集合，也就是T=128，但是permute之后的意义全变了啊，其实在我的例子里，[7,8]也就是[3,4]，但是这样一来，序列长度就是128了，而且在训练的时候，感觉是用后面的metric value预测前面，这不就是leakage了吗？我已经花了两天多在这个model上了，真是感觉不值，不得不再吐槽一句，学术界真的是太垃圾太浮躁了。由于工作需要，想用一下这篇论文的方法，但感觉其代码还是有很多不清除的地方，简单总结一下。

2024-02-06 14:56:03 428

原创在Conda中搭建PyTorch+DGL+PyG时需要仔细查看的几个关于版本的网页

但是现在还是能遇到问题，例如今天在一个新的Ubuntu上复现别人论文里的实验，就还是出现了问题。没办法，还是得仔细检查版本。特别应该注意PyTorch和CUDA之类的对应关系。

2024-02-01 15:58:32 288

原创安装pygraphviz报错——fatal error: graphviz/cgraph.h: 没有那个文件或目录的解决方法

pygraphviz/graphviz_wrap.c:3020:10: fatal error: graphviz/cgraph.h: 没有那个文件或目录。结果报错：requires pygraphviz http://pygraphviz.github.io/

2024-01-27 21:55:07 453

原创 Windows Powershell大量进程占用CPU的一种解决方法

首先，进入安全模式；其次，和修改文件名类似，我们也可以修改powershell.exe所在路径，例如我从C:\Windows\System32\WindowsPowerShell\v1.0改到了：C:\Windows\System32\WindowsPowerShell\v2.0，然后再重启，就可以发现机子正常了。就简单总结一下，相信一定有朋友会遇到类似的问题。今天不知道怎么回事（可能是装了某个软件），导致Windows Powershell在每次开机后都会创建很多进程，消耗几乎所有的CPU和内存。

2023-12-07 15:13:47 1158

原创 Win 10部署stable-diffusion-webui时github报错的解决方法

这篇博客就是简单记录一下。设置好了之后，就可以正常下载并且部署stable-diffusion-webui了。

2023-11-25 19:54:54 1395

原创优盘安装Win 10英文版的一点经验

用微软提供的工具“Create Windows 10 installation media”，下载英文版iso，但是我总是装到一半就报错。不过我第二次试的时候，基本上就没这个问题了，简单来说，要下载英文语言包（如果版本有这个权限的话），如果遇到中英文混乱的问题，就按照上面那篇知乎文章解决。由于一些特殊的原因，需要在一个笔记本上安装Win 10英文版，没想到还挺麻烦的，简单记录两句。

2023-08-06 16:20:27 852

原创统计Ubuntu各个文件夹的大小

sudo是为了避免一些目录报“无法读取目录，权限不够”，--max-depth指定深入目录的层数，可以根据自己的需求进行修改。个人感觉这个命令就够用了。

2023-05-29 08:28:17 500

原创 Python调用ChatGPT（gpt-3.5-turbo）的最简单例子

不知道细节的朋友可以看看我之前的几篇博客。

2023-04-23 06:09:32 2163 1

原创使用OpenAI API（或ChatGPTAPI）的时候应该选择哪个model

因为GPT-4并不是人人可用的，所以目前gpt-3.5-turbo是最应该尝试使用的。

2023-04-21 16:25:04 1878

原创如何在Ubuntu上方便使用OpenAI API key

其实已经说得很清楚了，在生产环境中，务必通过环境变量加载API key。这样做也能使自己的代码更安全，更方便地和别人共享。即可以设置API key了，而且也不怕key通过代码泄密，只有能访问你操作系统的人（也就是你自己）才能看到。就可以看到你的API key了。

2023-03-26 08:28:53 2516 2

原创怎么样使用OpenAI的Python API

其次，如果在刚才第一个页面中点Sign up，然后登录，在右上角自己用户名的图标点一下，可以看到有“View API keys”，然后就可以创建或者使用自己已有的API key了。有趣的是，生成了的API key，第二次在网站上也看不到字符串了。可以在嵌入之前先计算一下序列的长度，但文档里并没有说超长了怎么处理，是截断还是直接不处理了呢。这样就会列出所有的model名字，不过大家应该注意，每一次API调用都是要收钱的，我也不知道打印个list需要收钱不，保险起见，不运行也可以。

2023-03-26 07:41:18 1330

原创 unsupported GNU version! gcc versions later than 10 are not supported! 的解决方法

然后按序号选择一个老的版本，再看version，果然已经变成低版本了。再重新安装torch-scatter，果然就好了。今天尝试使用别人一个项目（

2023-03-20 16:53:18 881

原创 NVIDIA-SMI has failed because it couldn‘t communicate with the NVIDIA driver的一种简单解决方法

NVIDIA-SMI has failed because it couldn't communicate with the NVIDIA driver的一种简单解决方法

2023-03-19 09:48:24 534

原创使用Python Seaborn绘制热力图（heatmap）的时候怎么改变配色

【代码】使用Python Seaborn绘制热力图（heatmap）的时候怎么改变配色。

2023-02-03 17:11:24 6354 3

原创怎样在Ubuntu 22.04上使用Joern处理Java源码

经过网友的提醒，我发现现在的Joern确实可以处理Java源码了，这里简单介绍一下，在一台新的Ubuntu 22.04系统中怎么使用Joern。

2022-12-22 05:54:41 961 1

原创使用Python的csv.writer的时候怎样包含双引号

定义好writer之后写每一行就可以了：writer.writerow(row)可以看到这个参数默认使用。

2022-12-10 08:50:24 1902 1

原创基于Conda的PyTorch Geometric报“段错误 (核心已转储)”的解决方法

来看，目前（2022年11月），PyTorch稳定版本是1.13.0，而从第二个网页来看，PyG最多支持的PyTorch版本是1.12.*，所以应该安装更老一点的PyTorch。另外，从上面两个网页来看，最好是全都使用conda安装。也会报“段错误 (核心已转储)”。捜了一下，发现主要是因为PyTorch和PyG的版本不对应所致。大家都提到要注意PyTorch和PyG的版本的对应。发现都通过Conda安装后，是可以解决上面的“段错误 (核心已转储)”的报错的。怎么感觉PyG的开发有点滞后了呢？

2022-11-13 17:10:57 1603

原创在Ubuntu 22.04上安装CUDA和cuDNN的经验记录（2022年11月）

会直接提示：Failed to verify gcc version. 安装gcc后，不用做降级，就可以直接运行了。安装方式也变多了很多。我之前的博客也已经写得很清楚了。

2022-11-13 11:55:01 2190

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

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

2022-09-10 11:32:30 4420 3

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

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

2022-09-03 12:28:34 15056 5

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

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

2022-09-03 05:48:14 3236

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

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

2022-08-27 02:07:14 792

原创 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 1615 4

原创将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 1187

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

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

2022-08-01 12:29:56 245

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

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

2022-07-26 14:47:20 275

原创 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 545

原创 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 1938 2

原创如何用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 361

原创怎样用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 1129

原创怎样编译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 201

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

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

2022-06-08 13:56:57 603

原创 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 1972

原创怎样将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 5616 1

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关注的人