JZTXT

proj

Proj CDeepFuzz Paper Reading: ACETest: Automated Constraint Extraction for Testing Deep Learning Operators

## Abstract Github: https://github.com/shijy16/ACETest 背景： 1. DL operators 用来计算多维tensors，很重要 本文：ACETest Task: automatically extract input validation c ......
Constraint Extraction CDeepFuzz Automated Operators

Proj CDeepFuzz Paper Reading: AutoML: A survey of the state-of-the-art

## Abstract Github: https://github.com/marsggbo/automl_a_survey_of_state_of_the_art 本文： 1. intro AutoML methods: data preparation, feature engineering ......
state-of-the-art CDeepFuzz the Reading AutoML

解决GDAL格式转换投影问题—proj.db报错

![](https://img2023.cnblogs.com/blog/1987782/202308/1987782-20230830172446788-76024815.png) ### 解决方案1 在用到的python文件开头设置环境变量，即`proj.db`的路径地址 ```py impor ......
格式 问题 GDAL proj db

Proj CDeepFuzz Paper Reading: Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation

## Abstract 背景： 1. the de facto standard to assess the quality of DNNs in the industry is to check their performance (accuracy) on a collected set of ......
Labeling-Free Estimation CDeepFuzz Efficient Accuracy

Proj CDeepFuzz Paper Reading: An Extensive Study on Pre-trained Models for Program Understanding and Generation

## Abstract ## 1. Intro ## 2. Background ### 2.1 Program Understanding and Generation Tasks ### 2.2 NL-PL Pre-Trained Models ![](https://img2023.cnblo ......
Understanding Pre-trained Generation CDeepFuzz Extensive

Proj CDeepFuzz Paper Reading: SyRust: automatic testing of Rust libraries with semantic-aware program synthesis

## Abstract 背景： 1. unsafe能够绕开rust type system 2. rust libraries中常有许多unsafe keyword 本文：SyRust Task: fuzz Rust library APIs Challenge: synthesize well-t ......
semantic-aware CDeepFuzz automatic libraries synthesis

Proj CDeepFuzz Paper Reading: Deepxplore: Automated whitebox testing of deep learning systems

## Abstract 背景：现有的深度学习测试在很⼤程度上依赖于⼿动标记的数据，因此通常⽆法暴露罕⻅输⼊的错误⾏为。 本文：DeepXplore Task: a white-box framework to test DL Models 方法： 1. neuron coverage 2. diff ......
Deepxplore CDeepFuzz Automated whitebox learning

Proj. CMI Paper Reading: Conversational Automated Program Repair

## Abstract 背景：之前APR与大模型的结合仅仅使用了一些特殊构建的input/prompt 本文：conversational APR 方法：使用long-term context window来记录之前的validation feedback 实验： 在10个LLMs上进行对比展示改进 ......
Conversational Automated Program Reading Repair

Proj. CMI Paper Reading: R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents

## Abstract Task: building uncertainty-aware suggestions based on a decision-theoretic model of goal-conditional utility，推理LLM用户的未观测到的意图 方法：a decision ......
Uncertainty-Aware Uncertainty Suggestions Maximizing R-U-SURE

Proj. CMI Paper Reading: Distributed System Fuzzing

## Abstract 背景：当前分布式系统分析一般都是黑盒工具，难以探索程序状态 工具：MALLORY 任务：greybox fuzzing testing distributed system 方法：timeline-driven testing, timeline abstraction 步骤 ......
Distributed Fuzzing Reading System Paper

Proj. CAR Paper Reading: CodeBPE: Investigating Subtokenization Options for Large Language Model Pretraining on Source Code

## Abstract 本文：探索LLM在source code上pretrain时的subtokenization效果。 subtokenization: split long tokens into smaller subtokens, in order to ensure the relati ......
Subtokenization Investigating Pretraining Language CodeBPE

Proj. CAR Paper Reading: C3PO: A Lightweight Copying Mechanism for Translating Pseudocode to Code

## Abstract 本文： 方法：直接从伪代码中利用多数tokens，以此节约计算代价 步骤： 1. Copy: 使用二分类来决定哪些pseudocode tokens to be masked，以便直接使用 2. Generate: 使用Seq2Seq来生成masked PL code 3. ......
Lightweight Translating Pseudocode Mechanism Copying

Proj. CAR Paper Reading: Augmenting Decompiler Output with Learned Variable Names and Types

## Abstract 背景： 1. decompilers难以恢复注释、variable names, custom variable types 本文： 工具：DIRTY((DecompIled variable ReTYper) 方法: postprocesses decompiled fil ......
Augmenting Decompiler Variable Learned Reading

PostGIS中获取所有EPSG的编码以及对应Proj4字符串

场景 PostGIS在Windows上的下载与安装： https://blog.csdn.net/BADAO_LIUMANG_QIZHI/article/details/124107198 在上面安装好PostGIS后会默认生成一个spatial_ref_sys表，此表 保存空间数据库中使用的坐标系 ......
字符串 字符 编码 PostGIS Proj4

Java+proj4j实现根据EPSG编码进行坐标系转换

场景 Java+GeoTools实现WKT数据根据EPSG编码进行坐标系转换： https://blog.csdn.net/BADAO_LIUMANG_QIZHI/article/details/130370754 上面使用GeoTools实现坐标系转换。 Vue+Openlayers+proj4实 ......
坐标系 坐标 编码 proj4j proj4

Vue+Openlayers+proj4实现坐标系转换

场景 Vue中使用Openlayers加载Geoserver发布的TileWMS： https://blog.csdn.net/BADAO_LIUMANG_QIZHI/article/details/115916949 在上面的基础上实现不同坐标系坐标数据的转换。 Openlayers中默认的坐标系 ......
坐标系 坐标 Openlayers proj4 proj

Proj. CHW Paper Reading: Characterizing Cryptocurrency Exchange Scams

1. intro Blockchain community防范scam attack措施 包含malicious domains的开源数据库，例如CryptoScamDB和EtherScanDB 多半是使用crowd-sourcing based approach搜集，例如受害者报告 本文探究 th ......
Characterizing Cryptocurrency Exchange Reading Paper
共47篇  :2/2页 首页上一页2下一页尾页