- 博客(314)
- 资源 (65)
- 论坛 (7)
- 收藏
- 关注
原创 Python报object of type generator has no len()或generator object is not subscriptable的解决办法
出现这个问题,是我用yield将list平均分割,其实也有网友指出不用yield会更好理解:https://blog.csdn.net/bz0446/article/details/105247931我是这样使用的:def change(listTemp, n): for i in range(0, len(listTemp), n): yield listTemp[i:i + n]lists_after_change=change(list_before_change
2021-02-17 14:20:12
47
1
原创 自己训练Transformers的GPT-2 model时报:You are attempting to pad samples but the tokenizer you are using……
我之前没怎么用过Transformers的GPT2,今天尝试了自己训练,结果报:ValueError: You are attempting to pad samples but the tokenizer you are using (GPT2Tokenizer) does not have one. 搜了一下,并不是我一个人遇到了这个问题,例如这里:https://github.com/huggingface/transformers/issues/4122按照大家的讨论,解决的方法也很简单,在这里
2021-02-12 18:09:14
127
3
原创 海量Embedding进行相似度查询和比较的方法
这个是在科研中的现实需求。例如每一个源代码文件,我们可以生成一个embedding,如果有超过5000万个embedding(例如用BERT生成5000万个embedding),怎么样有效地计算相似性呢(例如有5000个positive的embedding,想在5000万个中找到类似的)。简单介绍一下我尝试的结果:如果直接用torch.cosine_similarity,我手里的数据估计至少要处理两个月。这时候就想到了用LSH -- Locality Sensitive Hashing,但是我之前并没怎
2021-02-08 12:39:34
57
原创 如何使用Understand Perl API对BigCloneBench中的Java Method的起始、终止行进行提取
这个标题好长……,接上篇博客的内容,上篇博客中讲到,IJaDataset里面的源代码都是Java文件,但是数据库中的记录都是Method级别的,这时候就需要根据Java源文件提取出每个Method,并且确定每个Method的“STARTLINE”和“ENDLINE”,本来觉得用Understand应该很好实现,谁知道也试了好几种方法。最简单的想法,看看每个Method的entity(Perl API中的ent)是否有这个属性,可惜没有。又仔细看了看API,看到这里:http://documentat
2021-01-14 14:44:38
92
原创 代码克隆检测(Code Clone Detection)数据集BigCloneBench最新版的使用方法
代码克隆检测(Code Clone Detection)是软件工程领域的一个重要方向,每年都有很多论文,其中很多论文都用到了BigCloneBench,这里简单总结一下这个数据集的使用,不得不吐槽一点:学术界的数据集和工具,易用性都太差了,发再多paper有啥用呢?只是在自己小圈子里自娱自乐,完全没有实际的impact和意义。如果我们在google搜索bigclonebench,可以看到排名第一的就是一个GitHub上的repo:https://github.com/clonebench/BigClon
2021-01-08 14:33:31
169
原创 MySQL 8报OperationalError: (1130, “XX‘ is not allowed to connect to this MySQL server“)的正确解决方法
这个博客也觉得挺无语的。由于实验需要,临时在一台笔记本上装了8.0.22-0ubuntu0.20.04.3 (Ubuntu),结果发现不能从远程连接,报:pymysql.err.OperationalError: (1130, "192.168.0.113' is not allowed to connect to this MySQL server") 这种错(我这里也不隐藏用户名密码IP之类的了,因为都是内网,也仅仅是为了做实验用),结果网上大部分教程是类似于这么说的:2. 授权法。例如,你想
2021-01-04 16:44:50
177
原创 怎样使用srcML对C++和Java源代码中的function参数进行替换(normalization)
这个也是在现实科研中的需求,看似简单,实际上也得动动脑子。另外,掌握了这种方法,我们可以对源码中的任意满足条件的token进行替换。这篇博客是承接上一篇的:https://blog.csdn.net/qysh123/article/details/110849387,不过稍微有所改进。上篇博客中,由于有命令空间(namespace)的存在,所以用了模糊匹配的方法,这里我们参考其他朋友的方法:https://blog.csdn.net/weixin_45069542/article/details/902
2020-12-30 14:43:35
54
3
原创 怎样在LaTeX中增加代表通讯作者的信封符号
先吐槽两句:昨天提交了一篇论文修改稿,结果过了两个小时被退回来了,说让我在第一页显著标明通讯作者。问题是,我这篇论文已经是三审了,为啥前两次没说呢?不得不说,这些学术期刊的这种手工作坊式的管理真和这个时代脱节太严重,如果我们提交论文有网购或者发顺丰快递时候的体验,也要比现在强得多啊(例如审稿人选定、邀请、审稿、返回都应该更加透明高效一些),我有一篇论文已经审了7个月没动静了,这个行业实在太落后。简单搜了一下,发现了两种方法:https://latex.org/forum/viewtopic.php?t=
2020-12-22 16:41:19
166
2
原创 LaTeX中实心圆点列表的一点经验
这个只是我在写论文过程中遇到的一个小问题,简单总结一下:其实很多朋友都介绍过了,一般可以使用{itemize}来插入实现黑色圆点,例如百度经验里:https://jingyan.baidu.com/article/cd4c2979109d02756e6e60e2.html,但是当我在一个模板中这样做的时候,默认插入的是小横线,怎么改成实心圆点呢?实际上很简单:\begin{itemize}\item[$\bullet$] 文字内容\end{itemize}这么简单的东西也得靠自己试出来,真
2020-12-20 15:15:24
1538
原创 怎样使用srcML对Java或C++源代码进行tokenization
这个需求我觉得很多做软件分析的朋友都会有,我之前的方法比较傻:https://blog.csdn.net/qysh123/article/details/89810018,Understand有时候会有点问题(特别是在处理C++源码的时候),而且Understand跑的时间也比较长。如果在tokenization的时候顺便进行一些处理,如数字换成“<num>”,函数调用换成抽象的“funccall”等等,这时候用Understand也不是不可以,就是比较笨重,所以想尝试一下srcML。下面以Wi
2020-12-08 15:38:28
58
原创 怎样使用PMD检测Java代码中Code Smell
关于Code Smell的定义,我就不介绍,大家可以自己去找。我做这个纯粹是为了响应审稿人的要求,不得不说,现在有些审稿人真是太自以为是,傲慢,固执,得罪不得。PMD:https://github.com/pmd/pmd是非常好的Java静态分析工具,例如我们在这里下载:https://github.com/pmd/pmd/releases其最新的bin文件夹:pmd-bin-6.29.0.zip。解压之后可以顺便把其bin目录加入Path环境变量(我这里用的是Win10)。那么怎么通过命...
2020-11-22 13:25:00
71
原创 怎样通过预训练的Transformers的模型得到一个Sentence的Representation
这篇博客紧接前面的内容:https://blog.csdn.net/qysh123/article/details/109666416在我们预训练了Transformers的某个model之后(如RoBERTa),怎么用训练好的model生成某一个句子的Representation呢,其实过程也是很简单的:在这里看到了有人在问这个问题:https://github.com/huggingface/transformers/issues/2986其中第一个回答说他写了一篇文章介绍了过程,我仔细看了
2020-11-13 15:11:54
241
原创 使用huggingface‘s transformers预训练自己模型时报:Assertion ‘srcIndex < srcSelectDimSize‘ failed. 的解决办法
说来这个坑真让人无语,都是因为自己不细心,浪费了将近一个小时时间来排查,但我肯定不是最后一个,所以总结一下,希望能帮助到一些朋友。huggingface's transformers是目前功能比较强大的包含各种预训练Transformer类模型的framework:https://github.com/huggingface/transformers在这里,他们介绍了怎么用自己的corpus训练自己的预训练模型:https://colab.research.google.com/github/hug
2020-11-13 03:31:54
314
原创 怎样在Word和LaTeX中打出黑底的圆圈数字?
这个需求其实也是客观存在的,如果图中用黑底的圆圈数字表示步骤,往往会更醒目一些,今天尝试了一下怎么在Word和LaTeX中输入:对于Word 2016而言:插入——符号——其他符号——在“字体”中输入“Wingdings 2”并打回车——然后把滚动条向下拉一些就能看到黑底圆圈的数字0到10了另外,如果在“字体”中输入“Cambria”并敲回车——在“子集”中选择“带括号的字母数字”——就可以看到黑底的11到20以及0,但是没有1到9的,这个也太奇葩了吧。另外吐槽一句,Word这种特殊字符的输入和查找
2020-10-17 05:14:53
263
原创 Ubuntu安装psycopg2时报:fatal error: libpq-fe.h: 没有那个文件或目录的解决方法
上一篇博客说了postgres的安装,下面要用python试一下操作,按照网友介绍,需要安装psycopg2:https://www.jianshu.com/p/646f4c19b0f3?utm_campaign=harukipip install psycopg2但却报错:./psycopg/psycopg.h:36:10: fatal error: libpq-fe.h: 没有那个文件或目录 #include <libpq-fe.h> ^~~~~
2020-09-21 16:26:18
623
原创 在Ubuntu 20.04中使用RA-SZZ等算法,以及Postgre数据库的基本设置和使用
如果大家作软件缺陷和漏洞一类的研究,免不了要和SZZ算法打交道,遗憾的是目前还没有一个完全靠谱的SZZ算法open source project。这里我想利用一下RA-SZZ作者提供的几个实现:https://github.com/danielcalencar/ma-szzhttps://github.com/danielcalencar/raszzprime我这里以MA-SZZ为例。打开项目主页后发现需要安装Postgre,呵呵呵。Ubuntu装postgre很方便,参考这里的文章:https
2020-09-21 15:06:49
77
原创 使用Python爬虫框架Scrapy爬取CVE Details中的CVSS
这篇博客也就是简单记录两句。我之前写过两篇博文讨论Scrapy的使用:https://blog.csdn.net/qysh123/article/details/106655644,https://blog.csdn.net/qysh123/article/details/79802250。不过每次用的时候还都得参考会议一会。下面再总结一点:以这个页面为例:https://www.cvedetails.com/cve/CVE-2017-15102/,如果我想提取其CVSS Score 6.9,应该怎么做
2020-09-16 17:13:05
95
原创 Python中字符list,list,numpy.array,tensor之间的转换
相信这是每个做deep learning的朋友都有可能遇到的问题。例如,我们有一些其他方法生成的embedding,那么通常是存在文本文件中的,需要进行处理并输出到文本文件,那这中间就牵扯到这些对应的转换,用一个例子具体总结一下:import torchimport numpy as npstring_list=['1.0','2.0','3.0']float_list=list(map(float,string_list))tensor=torch.Tensor(float_list)n
2020-08-29 08:27:11
116
原创 如何在Ubuntu 20.04的Anaconda不同环境中安装不同的CUDA版本(2020年8月)
我觉得这个需求肯定很多朋友都有。首先应该考虑一点:如果装了不同版本的CUDA,是不是也得装不同版本的cuDNN?我目前的结论是:为了不影响系统中本来的cuDNN,是可以不装的。按照这篇博客的介绍:https://www.cnblogs.com/laosan007/p/12612511.html“如果没有编译cuDNN的话,执行一些基于Caffe这一深度学习框架的程序速度上要慢3-5倍”这个measurement我没有自己做过,如果目的仅仅是为了试着跑一下别人的代码,完全可以不理会cuDNN。另外
2020-08-22 13:12:00
1174
8
原创 通过Anaconda安装低版本PyTorch及环境配置一些经验
可以说Python下的依赖管理是特别混乱费事的,这个情况在Deep Learning方面更是如此,大家在发论文的时候lib版本千奇百怪,要想复现真的是不太容易。这里我就简单总结一些方法:首先Anaconda为我们提供了这种可能。例如我想运行这个repo:https://github.com/rootlu/MMDNE它是在python 2.7+PyTorch 0.3.0的。所以我们现生成一个python 2.7的环境:conda create -n pytorch0.3 python=2.7c
2020-08-22 05:34:24
577
2
原创 Ubuntu下eclipse启动时报jvm terminated.exit code=13的可能原因
写下这个标题,我真是想问候oracle JDK团队全家啊。在这里下载JDK的时候,一不小心就会看串行:https://www.oracle.com/java/technologies/javase/javase-jdk8-downloads.html导致下载了32位的JDK,就这Oracle还好意思要人用户名密码,让人登陆?做一下自动的系统版本匹配很难吗?整天就是因为版本这些问题让人糟心,真是太扯了。...
2020-08-21 07:50:12
63
原创 在Ubuntu 20.04上安装Anaconda和PyTorch的一些注意事项(2020年8月)
其实其他朋友都总结得很详细了,我这里就是稍微做一点补充:首先按照这里的教程:https://blog.csdn.net/weixin_44776894/article/details/106159483可以下载并安装Anacoda,装好之后重启终端可以看到前面多了一个(base),输入python或者python3,也都替换成了Anaconda的python。其次,这个教程介绍了怎样安装CUDA和cuDNN:https://blog.csdn.net/ashome123/article/deta
2020-08-21 07:26:17
650
原创 Graph-tool在Ubuntu上安装时,报No usable boost::python found的解决方法
不得不吐槽一句,像Graph-tool这种工具,这么麻烦的安装过程和限制条件,注定没有多少人用啊!我在两个Ubuntu系统上试着安装,都报了一样的错,实在是郁闷。看到Graph-tool的邮件列表里有人问了类似的问题:http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/Problem-with-configure-and-Boost-Python-td4024944.html下面有个人问:Did
2020-08-19 06:51:46
94
原创 Ubuntu 18.04上安装CMake的简单经验流程
这篇博客继续第一篇和第二篇的内容。这篇相对简单,按照这里的介绍:https://cmake.org/install/我们直接把CMake的压缩包下载下来,解压后首先运行:./bootstrap如果是在一个比较新的系统上安装,则有可能会报下面的错:Could NOT find OpenSSL, try to set the path to OpenSSL root folder in the system variable OPENSSL_ROOT_DIR (missing: OPENSS
2020-08-19 02:59:52
133
原创 Ubuntu上安装eigen3的基本流程和解决问题经验
继续上一篇博客的工作,不得不说,要用一个论文里的implementation,得做这么多额外的、没有技术含量的工作,也是醉了。希望以后论文的作者们,在公布implementation的时候,也想想别人的工作量,你自己用自己熟悉的库,C++、Python混用,但别人可能只习惯Python啊。这里总结一下怎么在Ubuntu上安装Eigen3,顾名思义,这应该是一个进行矩阵运算操作的库。首先在这个页面下看看:https://eigen.tuxfamily.org/dox/GettingStarted.ht
2020-08-17 13:06:15
184
原创 Ubuntu上安装Boost C++以及Boost.Python的过程和经验
由于实验的需要,想运行一下这个项目:https://github.com/luckiezhou/DynamicTriad,和所有科研相关类的repo一样,要真正用起来还得填很多坑。不得不说,这个repo的作者已经足够认真负责,但是要跑起来还是不容易,个人感觉,machine learning方面的实验代码,能真正顺利直接跑起来的,不超过20%。在这个repo第一个dependency就花了些时间,由于需要用到Boost.Python,所以我简单学习了一下。Boost C++被称为C++标准库的后备,是C
2020-08-16 16:14:14
155
原创 快速检测源代码Corpus中重复代码的工具Near-Duplicate Code Detector的简单使用方法(以Win10为例)
使用这个工具是为了响应Reviewer的建议,另外我也看到一些新的arXiv论文中用到了这个工具,例如这篇:Buratti, Luca, Saurabh Pujar, Mihaela Bornea, Scott McCarley, Yunhui Zheng, Gaetano Rossiello, Alessandro Morari et al. "Exploring Software Naturalness throughNeural Language Models." arXiv preprint a
2020-08-11 08:40:36
93
原创 .Net报:It was not possible to find any installed .NET Core SDKs的问题根源和解决
吐槽一个小问题:由于要运行别人的一个工具,需要在windows命令行中运行dotnet,我想当然地在google里搜了.NET Core,在这个页面:https://dotnet.microsoft.com/download看到有好几个选项,感觉应该和JRE,JDK的关系差不多吧,就下载了.Net Core Runtime,结果在Windows命令行中输入dotnet,可以有Usage之类的提示,以为就装好了,但是运行别人工具的时候输入:dotnet run 项目名称.csproj就报了:
2020-08-10 12:46:08
1822
原创 在Win10上手动安装PyTorch的流程(不使用Anaconda,2020年8月)
在上一篇博客中,我总结了使用Anaconda安装PyTorch的过程,不得不说这个过程是简便的,但是我还是觉得Anaconda有没处理好的地方(例如我吐槽的目录位置),另外,我在Anaconda的Prompt中输入import torch是正常的,但是在VSCode中运行,就会报File "C:\Users\%我的用户名%\.conda\envs\pytorch\lib\site-packages\torch\__init__.py", line 189, in <module> f..
2020-08-06 17:27:02
360
原创 在Win 10+RTX 2070上安装并使用PyTorch的流程(2020年8月)
为啥用Windows?因为对ubuntu的远程桌面觉得不爽,想用Windows的远程桌面。这种教程很多朋友都总结过了,但是要么太复杂(像这个小姐姐就写得特别详细:https://www.jianshu.com/p/d7851ffea38b,但这么多步骤我实在懒得做啊),要么有些点还是没说清楚,我就自己简单记录一下。首先应该是更新显卡驱动,我们通过鲁大师,驱动精灵更新的显卡虽说可以用,但是可能版本不够新。在cmd下输入:nvidia-smi可以看到驱动版本号和其他信息。我也是这样查看了之后才发现
2020-08-06 13:48:37
245
2
原创 使用UltraISO制作Win10(1909版本)启动盘时失败的原因总结
这两天需要在一台机子上重新安装Win10,但是发现用UltraISO制作的U盘启动盘并没有优盘启动功能。试了好几次还是不行,最终在这里看到:https://www.cnblogs.com/sjdn/p/12156990.html,原来应该是这样:主界面“文件”——打开——打开iso文件后——主界面“启动”——写入硬盘映像——在弹出的对话框中选择“便捷启动”,像我用的是UltraISO 9.7.1版本,并不需要进行其他任何的设置,即可成功制作启动U盘了。一点小经验总结一下。...
2020-08-05 16:34:13
1633
原创 怎样计算Apache Jira中的所有项目的issue个数
Apache的JIRA是Apache的多个项目的Issue Tracking System:https://issues.apache.org/jira不过怎么统计这些项目中都各自有多少issue呢,相信这个问题是很多做Mining Software Repository的朋友们都会关心的。我试着用jira-python统计了一下,虽然很不优雅,但总算是可以获取到。jira-python的doc在:https://jira.readthedocs.io/en/latest/下面是实现代码,很简单。虽
2020-08-01 06:37:58
141
原创 Git中AuthorDate和CommitDate的区别以及由此引起的JGit使用时造成的Bug
这个坑,多少让人觉得有点无语。其实很早就注意到,Git中一次Commit对应两个时间的,但是也没仔细看JGit中的时间对应的是哪个时间。这里我们以这个Repo为例:https://git-wip-us.apache.org/repos/asf/wicket.git对于这个Repo而言,如果我在命令行中输入:git show ca03c252b5745bdccfb7c8cdffcc705846593ec1那么将得到下面的一些输出:commit ca03c252b5745bdccfb7c8c
2020-07-27 07:11:54
196
1
原创 Eclipse中报Exception in thread main java.lang.OutOfMemoryError: Java heap space的准确解决方法
写这个博客就是想吐槽一下。其实这个问题很简单,我在6年前就写博客记录过:https://blog.csdn.net/qysh123/article/details/40587571但是当时记录的是在Ant的build.xml的解决方案。这次搜了一下,发现大家写博客的时候,普遍都比较懒,也不想把问题说清楚,例如下面这些(当然还是应该感谢这些朋友,如果再记录得清楚一点就更好了):https://blog.csdn.net/weixin_30594001/article/details/97987207
2020-07-22 13:34:05
112
原创 用diff命令计算源代码(如C源码)差异时忽略注释的最详细方法及应用
这里我准备系统地总结一下这个问题。如果我们要统计一份源码不同版本之间的差异,当然希望是忽略所有的注释,我之前也写过博客文章总结:https://blog.csdn.net/qysh123/article/details/72866251,但是今天发现之前总结的不是很仔细,所以这里再仔细总结一下,还是基于上次博客中给的例子,这次稍微复杂了一点,假设我有两个c代码,分别是a.c和b.c:a.c:test//command/*1 *1*1 */1b.c:test//com
2020-07-06 14:48:12
208
原创 Windows 10快速删除大量回收站文件以及由此引起的回收站右键清空反应慢问题的解决
这个博文的标题很长,我稍微解释一下。前几天在Windows 10上收集一些数据,由于删除了几万个小文件,发现回收站清空的时候特别慢,就像用类似rd/s/q的方法快速清空,看到了这里的帖子:https://justyy.com/archives/3240应该说这个网友的介绍是对的,但是他少介绍了一步,最好是通过管理员方式运行。我之前没有,虽然也清空回收站了,但是从此之后在回收站图标上点右键——清空回收站的时候,两步都反应特别慢,大概至少要间隔5秒左右。觉得好奇怪,感觉可能是之前那种操作的问题。虽然在网
2020-07-05 06:35:20
773
原创 Python Strip()函数踩坑记录
今天遇到了一个奇怪的bug,仔细看了一下原来是自己想当然了:我们一般用strip()函数去掉字符串首尾的空格或者换行符之类的,但是我有一个需求就是去掉字符串尾部的.txt,想当然的用了.strip('.txt'),仔细看了一下网友的解释:https://blog.csdn.net/weixin_30657541/article/details/99390522才发现自己完全理解错了,是去掉首尾中的. t x t这几个字符的意思,导致出现了一些莫名其妙的错误,还以为是因为换行符之类的问题。简单记录一.
2020-07-03 16:04:32
298
原创 Windows系统中用Python Shutil拷贝文件夹并保持目录结构的方法([Errno 13] Permission denied的解决办法)
这个博客的目的很简单,希望用Shutil实现目录拷贝,并且在目标文件夹中保持源文件夹中的目录结构,但是如果直接用:shutil.copy(source_dir,des_dir)这种写法,可能会报:PermissionError: [Errno 13] Permission denied,这种错误(像其他网友也讨论了这种情况:https://stackoverflow.com/questions/39844123/permissionerror-errno-13-permission-denied-p
2020-07-01 13:00:28
835
原创 在LaTeX中插入圆角文本框并底色填充的方法
在前面这篇博客中,我总结怎么插入带底色文本框的方法,不过总觉得如果是圆角文本框更好看。搜了一下,发现这里的网友解释得比较清楚:https://tex.stackexchange.com/questions/327323/how-to-change-options-in-the-fcolorbox-environment,也就是说,用\fcolorbox是没办法插入圆角文本框的。所以按照上面这个网页里网友的方法,可以用下面方式:\begin{center}\begin{tcolorbox}[col
2020-06-20 14:03:48
624
1
原创 Ubuntu中Python2和Python3共存时构建Python2的虚拟环境
其实这个很简单,但是我也是看了其他网友的博客才知道:https://blog.csdn.net/qq_33251995/article/details/83214971,https://blog.csdn.net/wangkun1340378/article/details/82380160,我们往往可以输入:virtualenv -p /usr/bin/python2 --no-site-packages %虚拟环境名称%来构建基于Python2的虚拟环境。由于现在经常要直接使用别人的实
2020-06-14 18:01:52
97
USENIX Security Symposium 2009年论文集(USENIX Security 2009)
2011-04-11
CCS 2012-ACM Conference on Computer and Communications Security 2012年论文集
2012-12-18
Introduction to Discrete Event Systems
2010-03-30
CCS 2011-ACM Conference on Computer and Communications Security 2011年论文集
2012-01-28
IEEE TDSC 2012-IEEE Transactions on Dependable and Secure Computing 2012
2013-01-06
NDSS 2013-ISOC Network and Distributed System Security Symposium 2013
2013-05-01
CCS 2013-ACM Conference on Computer and Communications Security 2013年论文集
2013-12-24
USENIX OSDI 2010年论文集(Proceedings of USENIX OSDI 2010)
2010-11-11
NDSS 2009论文集
2011-05-19
ISOC Network and Distributed System Security Symposium(NDSS) 2010年论文集
2011-01-18
Statistical Analysis of Network Data
2010-10-08
Software Testing and Analysis: Process, Principles and Techniques
2010-06-19
IMC 2011-Annual conference on Internet measurement 2011
2012-03-22
ASPLOS 2012-International conference on ASPLOS 2012
2013-01-20
IMC 2010-Annual conference on Internet measurement
2011-11-03
ISSRE 2010-International Symposium on Software Reliability Engineering 2010论文集
2011-05-10
ToSEM 2013-ACM Transactions on Software Engineering and Methodology 2013年论文集
2014-01-13
PLDI 2011-ACM SIGPLAN conference on PLDI 2011
2011-09-25
CSUR 2012-ACM Computing Surveys 2012
2013-02-05
NFM 2010-NASA Formal Methods Symposium 2010 论文集
2011-08-22
ISSTA 2011-International Symposium on Software Testing and Analysis
2011-09-18
ACM Symposium on Operating Systems Principles 2009年论文集
2010-07-29
Design for Trustworthy Software
2009-08-10
SOSP 2013-ACM Symposium on Operating Systems Principles 2013年论文集
2013-11-22
SOSP 2011-ACM Symposium on Operating Systems Principles 2011年论文集
2012-02-02
FSE 2012-International Symposium on the Foundations of Software Engineering 2012
2012-12-29
POPL 2012-Annual Symposium on Principles of Programming Languages 2012论文集
2012-05-09
POPL 2011-Annual Symposium on Principles of Programming Languages 2011论文集
2012-03-14
SS 2012-USENIX Security Symposium 2012年论文集
2012-08-14
NDSS 2012-ISOC Network and Distributed System Security Symposium 2012
2012-04-21
ICSE 2011-International Conference on Software Engineering
2011-10-20
SIGCOMM 2009-ACM SIGCOMM conference on Data communication 2009年论文集(proceedings of SIGCOMM 2009)
2011-02-25
SIGCOMM 2010-ACM SIGCOMM conference on Data communication 2010
2011-08-10
SIGCOMM 2013-ACM SIGCOMM conference on Data communication 2013论文集
2013-09-20
SP 2013-IEEE Symposium on Security & Privacy 2013年论文集
2013-06-08
OSDI 2012-Operating Systems Design and Implementation 2012年论文集
2012-11-16
ISSTA 2012-International Symposium on Software Testing and Analysis 2012年论文集
2012-09-13
NDSS 2011-ISOC Network and Distributed System Security Symposium 2011
2011-06-14
IEEE Symposium on Security & Privacy 2009年论文集(Proceedings of IEEE Symposium on Security & Privacy 2009)
2010-06-23
SP 2011-IEEE Symposium on Security & Privacy 2011年论文集
2011-07-23
蛐蛐蛐的留言板
发表于 2020-01-02 最后回复 2020-03-15
【已处理】麻烦请帮忙修改一下资源描述
发表于 2012-05-09 最后回复 2012-05-10
问个外行问题:怎么获得如word文档之类的文件信息?
发表于 2007-03-20 最后回复 2007-03-23
getaddrinfo()是不是和版本有关啊?
发表于 2006-06-01 最后回复 2006-06-02
毕业设计最后一个关键问题,send函数
发表于 2006-05-30 最后回复 2006-05-30
再问毕设问题,ipv6地址
发表于 2006-05-23 最后回复 2006-05-25
急求毕设问题,怎样获得本机ipv6地址(winsock下)?
发表于 2006-05-16 最后回复 2006-05-22
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人 TA的粉丝