自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

qysh123的专栏

个人主页:https://sites.google.com/view/yuqu

  • 博客(381)
  • 资源 (65)
  • 收藏
  • 关注

原创 解决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年论文集

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

2014-01-13

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

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

2013-12-24

ASE 2013-International Conference on Automated Software Engineering 2013

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

2013-11-25

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

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

2013-11-22

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

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

2013-09-20

SS 2013-USENIX Security Symposium 2013年论文集

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

2013-08-31

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

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

2013-06-08

NDSS 2013-ISOC Network and Distributed System Security Symposium 2013

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

2013-05-01

POPL 2013-Annual Symposium on Principles of Programming Languages 2013

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

2013-03-26

CSUR 2012-ACM Computing Surveys 2012

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

2013-02-05

ASPLOS 2012-International conference on ASPLOS 2012

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

2013-01-20

OOPSLA 2012-Object oriented programming systems languages and applications 2012

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

2013-01-16

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

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

2013-01-06

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

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

2012-12-29

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

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

2012-12-18

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

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

2012-11-16

ICSE 2012-International Conference on Software Engineering 2012

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

2012-10-31

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

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

2012-09-16

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

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

2012-09-13

PLDI 2012-ACM SIGPLAN conference on PLDI 2012

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

2012-09-11

SS 2012-USENIX Security Symposium 2012年论文集

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

2012-08-14

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

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

2012-07-21

POPL 2012-Annual Symposium on Principles of Programming Languages 2012

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

2012-05-09

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

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

2012-05-09

NDSS 2012-ISOC Network and Distributed System Security Symposium 2012

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

2012-04-21

IMC 2011-Annual conference on Internet measurement 2011

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

2012-03-22

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

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

2012-03-14

OOPSLA 2011-Object oriented programming systems languages and applications 2011

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

2012-02-19

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

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

2012-02-02

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

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

2012-01-28

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

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

2012-01-19

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

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

2012-01-05

IMC 2010-Annual conference on Internet measurement

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

2011-11-03

ICSE 2011-International Conference on Software Engineering

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

2011-10-20

PLDI 2011-ACM SIGPLAN conference on PLDI 2011

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

2011-09-25

ISSTA 2011-International Symposium on Software Testing and Analysis

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

2011-09-18

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

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

2011-09-14

SS 2011-USENIX Security Symposium 2011年论文集

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

2011-09-08

NFM 2010-NASA Formal Methods Symposium 2010 论文集

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

2011-08-22

SIGCOMM 2010-ACM SIGCOMM conference on Data communication 2010

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

2011-08-10

空空如也

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

TA关注的人

提示
确定要删除当前文章?
取消 删除