CMI

2024-08-02V.PS香港三网CMI线路VPS详细测评
V.PS有数据中心分布在香港，其香港VPS默认接入三网移动CMI线路，直连内地，默认1Gbps大带宽。这算是香港VPS里面少见的大带宽而且是直连线路的。实际网络效果如何？测评数据如下：CPU默认型号是XeonPlatinnum8163（24核、48线程、主频2.5GHz、加速3.1GHz），站长启用了BBR，XTOM的AS，归属地香
2023-07-17Proj. CMI Paper Reading: Conversational Automated Program Repair
Abstract背景：之前APR与大模型的结合仅仅使用了一些特殊构建的input/prompt本文：conversationalAPR方法：使用long-termcontextwindow来记录之前的validationfeedback实验：在10个LLMs上进行对比展示改进
2023-07-17Proj. CMI Paper Reading: R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across R
AbstractTask:buildinguncertainty-awaresuggestionsbasedonadecision-theoreticmodelofgoal-conditionalutility，推理LLM用户的未观测到的意图方法：adecision-theoreticmodelofgoal-conditionedutility,使用生成式模型生成的randomsamples来做proxy，minimumBa
2023-07-17Proj. CMI Paper Reading: Distributed System Fuzzing
Abstract背景：当前分布式系统分析一般都是黑盒工具，难以探索程序状态工具：MALLORY任务：greyboxfuzzingtestingdistributedsystem方法：timeline-driventesting,timelineabstraction步骤：动态构建描述系统行为的Lamporttimelines将这些timelines抽象化为happens-beforesu
2023-01-09Proj.CMI Paper Reading: SoK: Sanitizing for Security
1.Intromemorycorruptionexploits能绕过AddressSpaceLayoutRandomization(ASLR，地址空间布局随机化)和DataExecutionPrevention(DEP,数据执行保护）Codereusea
2022-10-08大疆 L1 任务文件格式说明（CLC/CLI/CMI/IMU/LDR/MNF/RTB/RTK/RTL/RTS/JPG/MOV）
大疆L1任务文件格式说明（CLC/CLI/CMI/IMU/LDR/MNF/RTB/RTK/RTL/RTS/JPG/MOV）大疆L1官网简介CLCCLICMIIMULDRMNF
2022-10-01Proj CMI Paper Reading: LAVA: Large-scale Automated Vulnerability Addition
AbstractTask:generatinglargegroundtruthvulnerabilitycorpora方法：动态污点分析。合成bugs但这些bugs因为只能够被真实输入诱发且在程序逻辑深处因而较为真实和有