├── .gitignore ├── 2024阅读笔记 ├── 2021-01-22-CCS20-RTFM_Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection.md ├── 2024-01-07-条件插值与PC-DPOR.md ├── 2024-05-19-ICSE24-RPG Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support.md ├── 2024-05-19-TKDD24-LLM4SA Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model.md ├── 2024-10-25-ACT20_FuzzSan_Efficient Sanitizer Metadata Design for Fuzzing.pdf ├── 2024-10-25-OSDI21_SANRAZOR Reducing Redundant Sanitizer Checks in CC++ Programs.pdf ├── 2024-11-08-SEC23_MTSan_A Feasible and Practical Memory Sanitizer for Fuzzing COTS Binaries.pdf ├── 2024-11-08-SEC24_Pruning Redundant Sanitizer Checks.pdf ├── 2024-11-22-FSE21-Conditional interpolation making concurrent program verification more effective.md ├── 2024-11-22-ICSE22-Controlled Concurrency Testing via Periodical Scheduling.md ├── 2024-12-05-POPL19-Incorrectness Logic.pdf ├── 2024-12-08-ASPLOS24-Greybox Fuzzing for Concurrency Testing.md └── 2024-12-10-ASPLOS24-GiantSan Efficient Memory Sanitization with Segment Folding.md ├── 2025阅读笔记 ├── 2025-01-03-ASE24-LLM Meets Bounded Model Checking Neuro-symbolic Loop Invariant Inference.pdf ├── 2025-01-03-FM24-Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs.md ├── 2025-01-03-NeurIPS24-Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters.pdf ├── 2025-01-17-ICPP-W 2023-Enhanced Memory Corruption Detection in CC++ Programs.pdf ├── 2025-01-17-PC-DPOR-vs-Interpolation.md ├── 2025-01-17-S&P25-Evaluating the Effectiveness of Memory Safety Sanitizers.md ├── 2025-02-27-PLDI09-Nagarakatte_SoftBound.pdf ├── 2025-03-20-S&P25-Poster Enhancing Symbolic Execution with LLMs for Vulnerability Detection.pdf ├── 2025-03-20-program verification with LLM.pdf ├── 2025-09-04-FSE25-CXXCraffer An LLM-Based Agent for Automated CC++ Open Source Software Building.pdf ├── 2025-09-04-popl25-Stateless Model Checking Concurrent:Distributed Programs.pdf ├── 2025-09-11-NeurIPS25-FVEL Interactive Formal Verification Environment with Large Language Models via Theorem Proving.pdf ├── 2025-09-11-OOPSLA25-Laurel Unblocking Automated Verification with Large Language Models.pdf ├── 2025-09-11-TOSEM-Structured Chain-of-Thought Prompting for Code Generation.pdf ├── 2025-09-11-usenixsec25-RangeSanitizer Detecting Memory Errors with Efficient Range Checks.pdf ├── 2025-09-18-ASPLOS20-Effective Concurrency Testing for Distributed Systems.pdf ├── 2025-09-18-ReForm — Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs A Preliminary Study on Dafny.pdf ├── 2025-09-18-ThreadSanitizer data race detection in practice.pdf ├── 2025-09-26-QREI-An Innovative Heuristic to Detect Special States in Concurrent Software Systems.pdf ├── 2025-09-26-SLD-Spec Enhancement LLM-assisted Specification Generation for Complex Loop Functions via Program Slicing and Logical Deletion.pdf ├── 2025-09-26-SOSP23-Snowcat Efficient Kernel Concurrency Testing using a Learned Coverage Predictor.pdf ├── 2025-09-26-Tamgram A Frontend for Large-scale Protocol Modeling in Tamarin.pdf ├── 2025-10-16-A Brief Overview of Quantum Computation and Quantum Information.pdf ├── 2025-10-16-Agentic Context Engineering.pdf ├── 2025-10-23-ICSE26-Practical Object-Level Sanitizer With Aggregated Memory Access and Custom Allocator.pdf └── 2025-10-23-RAGVerus Repository-Level Program Verifcationwith LLMs using Retrieval Augmented Generation.pdf ├── README.md ├── images ├── 2021-01-22 │ ├── Advance_230.png │ ├── Advance_231.png │ ├── Advance_232.png │ ├── Advance_233.png │ ├── Advance_234.png │ └── Advance_235.png ├── 2024-05-19 │ ├── 1.png │ ├── 2.png │ ├── 3.png │ ├── 4.png │ ├── 5.png │ └── 6.png ├── 2024-11-22 │ ├── CCT两个关键点.png │ ├── CVE下错误检测能力对比.png │ ├── IPB特性.png │ ├── Period工作流程.png │ ├── Period核心思想.png │ ├── Period算法图.png │ ├── Period算法流程.png │ ├── Period规则.png │ ├── SctBench下错误检测方法对比.png │ ├── a.png │ ├── bug.png │ ├── fse_fig1.png │ ├── fse_fig2.png │ ├── fse_fig3.png │ ├── fse_fig4.png │ ├── fse_fig5.png │ ├── fse_ncs1.png │ ├── fse_ncs10.png │ ├── fse_ncs11.png │ ├── fse_ncs2.png │ ├── fse_ncs3.png │ ├── fse_ncs4.png │ ├── fse_ncs5.png │ ├── fse_ncs6.png │ ├── fse_ncs7.png │ ├── fse_ncs8.png │ ├── fse_ncs9.png │ ├── fse_tab1.png │ ├── fse_tab3.png │ ├── fse_tab4.png │ ├── fse_tab5.png │ ├── step.png │ ├── 三线程增加为四线程.png │ ├── 周期规则.png │ ├── 周期调度执行.png │ ├── 常见并发错误检测对比.png │ ├── 平均执行速度.png │ ├── 无竞争并发错误.png │ ├── 最后一个周期并发执行示例.png │ ├── 线程交错实例.png │ ├── 调度数与发现BUG数的关系图.png │ └── 错误深度.png ├── 2024-11-27 │ ├── asan--1.png │ ├── asan--10.png │ ├── asan--11.png │ ├── asan--2.png │ ├── asan--3.png │ ├── asan--4.png │ ├── asan--5.png │ ├── asan--6.png │ ├── asan--7.png │ ├── asan--8.png │ ├── asan--9.png │ ├── asan_compare.png │ ├── asap1.png │ ├── asap2.png │ ├── asap3.png │ ├── fp1.png │ ├── fp2.png │ ├── fp3.png │ ├── fp4.png │ ├── fp5.png │ ├── fuzazan1.png │ ├── fuzazan2.png │ ├── fuzazan3.png │ ├── fuzazan4.png │ ├── fuzazan5.png │ ├── fuzazan6.png │ ├── fuzazan7.png │ ├── fuzazan8.png │ ├── giantsan1.png │ ├── giantsan2.png │ ├── giantsan3.png │ ├── giantsan4.png │ ├── instru.png │ ├── redzone.png │ ├── redzone1.png │ ├── redzone2.png │ ├── rq1.png │ ├── rq2.png │ ├── rq3.png │ ├── rq4.png │ ├── rq5.png │ ├── sand1.png │ ├── sand2.png │ ├── sand3.png │ ├── sanrazor1.png │ ├── sanrazor2.png │ ├── shadow_memory.jpeg │ └── tab_overview.png ├── 2024-12-8 │ ├── GreyBox算法.png │ ├── Log-scale frequency of reads-from sequences observed by POS(top) and RFF(bottom) in 10000 executions.png │ ├── Mean Number of Schedules to 1st Bug.png │ ├── Total Bugs Discovered After Log Across All Trials(Higer is better).png │ ├── reads-from对示例.png │ ├── 乐观与悲观并发测试.png │ ├── 正向与负向约束.png │ ├── 示例程序.png │ └── 调度控制与event_on控制函数.png ├── 2025-01 │ ├── 1737793323748.jpg │ ├── 1737794540267.jpg │ ├── 1737795320283.jpg │ ├── 1737812861088.jpg │ ├── 1737872322098.jpg │ ├── 1737872454957.jpg │ ├── 1737872490020.jpg │ ├── 1737872609718.jpg │ ├── 1737872648068.jpg │ ├── image-20250115153340217.png │ ├── image-20250115153417404.png │ ├── image-20250115155554599.png │ ├── image-20250115155609286.png │ ├── image-20250115160919244.png │ ├── image-20250115160936371.png │ ├── image-20250115165011245.png │ ├── image-20250115165918385.png │ ├── image-20250115170027436.png │ ├── image-20250115170031997.png │ ├── image-20250115170036275.png │ ├── image-20250115170051005.png │ ├── image-20250115170104218.png │ └── image-20250115170120725.png └── top │ ├── pyramid.png │ ├── six_school.png │ └── verification_process.png └── 月报总结 ├── .gitignore ├── 2024-10-Report-Performance Optimization of AddressSanitizer.md ├── 2024-11-Report-A Survey on Combining Simulink with Large Language Models (LLMs)-1.md ├── 2024-12-Report-A Survey on Combining Simulink with Large Language Models (LLMs)-2.md ├── 2025-01-Report-A Survey on Verification and Testing of Deep Neural Networks (DNNs).md ├── 2025-03-Report-A Survey on Large Language Model in the directions of code generation (1).md ├── 2025-04-Report-A Survey on Large Language Model in the directions of code generation (2).md └── 2025-05-Report-A Survey on Formal proof of mathematical theorems via LLM.md /.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | -------------------------------------------------------------------------------- /2024阅读笔记/2021-01-22-CCS20-RTFM_Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2021-01-22-CCS20-RTFM_Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection.md -------------------------------------------------------------------------------- /2024阅读笔记/2024-01-07-条件插值与PC-DPOR.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-01-07-条件插值与PC-DPOR.md -------------------------------------------------------------------------------- /2024阅读笔记/2024-05-19-ICSE24-RPG Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-05-19-ICSE24-RPG Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support.md -------------------------------------------------------------------------------- /2024阅读笔记/2024-05-19-TKDD24-LLM4SA Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-05-19-TKDD24-LLM4SA Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model.md -------------------------------------------------------------------------------- /2024阅读笔记/2024-10-25-ACT20_FuzzSan_Efficient Sanitizer Metadata Design for Fuzzing.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-10-25-ACT20_FuzzSan_Efficient Sanitizer Metadata Design for Fuzzing.pdf -------------------------------------------------------------------------------- /2024阅读笔记/2024-10-25-OSDI21_SANRAZOR Reducing Redundant Sanitizer Checks in CC++ Programs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-10-25-OSDI21_SANRAZOR Reducing Redundant Sanitizer Checks in CC++ Programs.pdf -------------------------------------------------------------------------------- /2024阅读笔记/2024-11-08-SEC23_MTSan_A Feasible and Practical Memory Sanitizer for Fuzzing COTS Binaries.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-11-08-SEC23_MTSan_A Feasible and Practical Memory Sanitizer for Fuzzing COTS Binaries.pdf -------------------------------------------------------------------------------- /2024阅读笔记/2024-11-08-SEC24_Pruning Redundant Sanitizer Checks.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-11-08-SEC24_Pruning Redundant Sanitizer Checks.pdf -------------------------------------------------------------------------------- /2024阅读笔记/2024-11-22-FSE21-Conditional interpolation making concurrent program verification more effective.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-11-22-FSE21-Conditional interpolation making concurrent program verification more effective.md -------------------------------------------------------------------------------- /2024阅读笔记/2024-11-22-ICSE22-Controlled Concurrency Testing via Periodical Scheduling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-11-22-ICSE22-Controlled Concurrency Testing via Periodical Scheduling.md -------------------------------------------------------------------------------- /2024阅读笔记/2024-12-05-POPL19-Incorrectness Logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-12-05-POPL19-Incorrectness Logic.pdf -------------------------------------------------------------------------------- /2024阅读笔记/2024-12-08-ASPLOS24-Greybox Fuzzing for Concurrency Testing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-12-08-ASPLOS24-Greybox Fuzzing for Concurrency Testing.md -------------------------------------------------------------------------------- /2024阅读笔记/2024-12-10-ASPLOS24-GiantSan Efficient Memory Sanitization with Segment Folding.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2024阅读笔记/2024-12-10-ASPLOS24-GiantSan Efficient Memory Sanitization with Segment Folding.md -------------------------------------------------------------------------------- /2025阅读笔记/2025-01-03-ASE24-LLM Meets Bounded Model Checking Neuro-symbolic Loop Invariant Inference.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-01-03-ASE24-LLM Meets Bounded Model Checking Neuro-symbolic Loop Invariant Inference.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-01-03-FM24-Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-01-03-FM24-Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs.md -------------------------------------------------------------------------------- /2025阅读笔记/2025-01-03-NeurIPS24-Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-01-03-NeurIPS24-Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-01-17-ICPP-W 2023-Enhanced Memory Corruption Detection in CC++ Programs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-01-17-ICPP-W 2023-Enhanced Memory Corruption Detection in CC++ Programs.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-01-17-PC-DPOR-vs-Interpolation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-01-17-PC-DPOR-vs-Interpolation.md -------------------------------------------------------------------------------- /2025阅读笔记/2025-01-17-S&P25-Evaluating the Effectiveness of Memory Safety Sanitizers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-01-17-S&P25-Evaluating the Effectiveness of Memory Safety Sanitizers.md -------------------------------------------------------------------------------- /2025阅读笔记/2025-02-27-PLDI09-Nagarakatte_SoftBound.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-02-27-PLDI09-Nagarakatte_SoftBound.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-03-20-S&P25-Poster Enhancing Symbolic Execution with LLMs for Vulnerability Detection.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-03-20-S&P25-Poster Enhancing Symbolic Execution with LLMs for Vulnerability Detection.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-03-20-program verification with LLM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-03-20-program verification with LLM.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-04-FSE25-CXXCraffer An LLM-Based Agent for Automated CC++ Open Source Software Building.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-04-FSE25-CXXCraffer An LLM-Based Agent for Automated CC++ Open Source Software Building.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-04-popl25-Stateless Model Checking Concurrent:Distributed Programs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-04-popl25-Stateless Model Checking Concurrent:Distributed Programs.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-11-NeurIPS25-FVEL Interactive Formal Verification Environment with Large Language Models via Theorem Proving.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-11-NeurIPS25-FVEL Interactive Formal Verification Environment with Large Language Models via Theorem Proving.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-11-OOPSLA25-Laurel Unblocking Automated Verification with Large Language Models.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-11-OOPSLA25-Laurel Unblocking Automated Verification with Large Language Models.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-11-TOSEM-Structured Chain-of-Thought Prompting for Code Generation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-11-TOSEM-Structured Chain-of-Thought Prompting for Code Generation.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-11-usenixsec25-RangeSanitizer Detecting Memory Errors with Efficient Range Checks.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-11-usenixsec25-RangeSanitizer Detecting Memory Errors with Efficient Range Checks.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-18-ASPLOS20-Effective Concurrency Testing for Distributed Systems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-18-ASPLOS20-Effective Concurrency Testing for Distributed Systems.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-18-ReForm — Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs A Preliminary Study on Dafny.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-18-ReForm — Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs A Preliminary Study on Dafny.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-18-ThreadSanitizer data race detection in practice.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-18-ThreadSanitizer data race detection in practice.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-26-QREI-An Innovative Heuristic to Detect Special States in Concurrent Software Systems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-26-QREI-An Innovative Heuristic to Detect Special States in Concurrent Software Systems.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-26-SLD-Spec Enhancement LLM-assisted Specification Generation for Complex Loop Functions via Program Slicing and Logical Deletion.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-26-SLD-Spec Enhancement LLM-assisted Specification Generation for Complex Loop Functions via Program Slicing and Logical Deletion.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-26-SOSP23-Snowcat Efficient Kernel Concurrency Testing using a Learned Coverage Predictor.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-26-SOSP23-Snowcat Efficient Kernel Concurrency Testing using a Learned Coverage Predictor.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-09-26-Tamgram A Frontend for Large-scale Protocol Modeling in Tamarin.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-09-26-Tamgram A Frontend for Large-scale Protocol Modeling in Tamarin.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-10-16-A Brief Overview of Quantum Computation and Quantum Information.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-10-16-A Brief Overview of Quantum Computation and Quantum Information.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-10-16-Agentic Context Engineering.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-10-16-Agentic Context Engineering.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-10-23-ICSE26-Practical Object-Level Sanitizer With Aggregated Memory Access and Custom Allocator.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-10-23-ICSE26-Practical Object-Level Sanitizer With Aggregated Memory Access and Custom Allocator.pdf -------------------------------------------------------------------------------- /2025阅读笔记/2025-10-23-RAGVerus Repository-Level Program Verifcationwith LLMs using Retrieval Augmented Generation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/2025阅读笔记/2025-10-23-RAGVerus Repository-Level Program Verifcationwith LLMs using Retrieval Augmented Generation.pdf -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/README.md -------------------------------------------------------------------------------- /images/2021-01-22/Advance_230.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2021-01-22/Advance_230.png -------------------------------------------------------------------------------- /images/2021-01-22/Advance_231.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2021-01-22/Advance_231.png -------------------------------------------------------------------------------- /images/2021-01-22/Advance_232.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2021-01-22/Advance_232.png -------------------------------------------------------------------------------- /images/2021-01-22/Advance_233.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2021-01-22/Advance_233.png -------------------------------------------------------------------------------- /images/2021-01-22/Advance_234.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2021-01-22/Advance_234.png -------------------------------------------------------------------------------- /images/2021-01-22/Advance_235.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2021-01-22/Advance_235.png -------------------------------------------------------------------------------- /images/2024-05-19/1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-05-19/1.png -------------------------------------------------------------------------------- /images/2024-05-19/2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-05-19/2.png -------------------------------------------------------------------------------- /images/2024-05-19/3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-05-19/3.png -------------------------------------------------------------------------------- /images/2024-05-19/4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-05-19/4.png -------------------------------------------------------------------------------- /images/2024-05-19/5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-05-19/5.png -------------------------------------------------------------------------------- /images/2024-05-19/6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-05-19/6.png -------------------------------------------------------------------------------- /images/2024-11-22/CCT两个关键点.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/CCT两个关键点.png -------------------------------------------------------------------------------- /images/2024-11-22/CVE下错误检测能力对比.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/CVE下错误检测能力对比.png -------------------------------------------------------------------------------- /images/2024-11-22/IPB特性.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/IPB特性.png -------------------------------------------------------------------------------- /images/2024-11-22/Period工作流程.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/Period工作流程.png -------------------------------------------------------------------------------- /images/2024-11-22/Period核心思想.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/Period核心思想.png -------------------------------------------------------------------------------- /images/2024-11-22/Period算法图.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/Period算法图.png -------------------------------------------------------------------------------- /images/2024-11-22/Period算法流程.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/Period算法流程.png -------------------------------------------------------------------------------- /images/2024-11-22/Period规则.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/Period规则.png -------------------------------------------------------------------------------- /images/2024-11-22/SctBench下错误检测方法对比.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/SctBench下错误检测方法对比.png -------------------------------------------------------------------------------- /images/2024-11-22/a.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/a.png -------------------------------------------------------------------------------- /images/2024-11-22/bug.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/bug.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_fig1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_fig1.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_fig2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_fig2.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_fig3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_fig3.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_fig4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_fig4.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_fig5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_fig5.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs1.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs10.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs10.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs11.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs11.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs2.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs3.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs4.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs5.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs6.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs7.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs7.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs8.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_ncs9.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_ncs9.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_tab1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_tab1.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_tab3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_tab3.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_tab4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_tab4.png -------------------------------------------------------------------------------- /images/2024-11-22/fse_tab5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/fse_tab5.png -------------------------------------------------------------------------------- /images/2024-11-22/step.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/step.png -------------------------------------------------------------------------------- /images/2024-11-22/三线程增加为四线程.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/三线程增加为四线程.png -------------------------------------------------------------------------------- /images/2024-11-22/周期规则.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/周期规则.png -------------------------------------------------------------------------------- /images/2024-11-22/周期调度执行.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/周期调度执行.png -------------------------------------------------------------------------------- /images/2024-11-22/常见并发错误检测对比.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/常见并发错误检测对比.png -------------------------------------------------------------------------------- /images/2024-11-22/平均执行速度.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/平均执行速度.png -------------------------------------------------------------------------------- /images/2024-11-22/无竞争并发错误.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/无竞争并发错误.png -------------------------------------------------------------------------------- /images/2024-11-22/最后一个周期并发执行示例.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/最后一个周期并发执行示例.png -------------------------------------------------------------------------------- /images/2024-11-22/线程交错实例.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/线程交错实例.png -------------------------------------------------------------------------------- /images/2024-11-22/调度数与发现BUG数的关系图.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/调度数与发现BUG数的关系图.png -------------------------------------------------------------------------------- /images/2024-11-22/错误深度.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-22/错误深度.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--1.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--10.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--10.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--11.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--11.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--2.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--3.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--4.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--5.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--6.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--7.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--7.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--8.png -------------------------------------------------------------------------------- /images/2024-11-27/asan--9.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan--9.png -------------------------------------------------------------------------------- /images/2024-11-27/asan_compare.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asan_compare.png -------------------------------------------------------------------------------- /images/2024-11-27/asap1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asap1.png -------------------------------------------------------------------------------- /images/2024-11-27/asap2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asap2.png -------------------------------------------------------------------------------- /images/2024-11-27/asap3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/asap3.png -------------------------------------------------------------------------------- /images/2024-11-27/fp1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fp1.png -------------------------------------------------------------------------------- /images/2024-11-27/fp2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fp2.png -------------------------------------------------------------------------------- /images/2024-11-27/fp3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fp3.png -------------------------------------------------------------------------------- /images/2024-11-27/fp4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fp4.png -------------------------------------------------------------------------------- /images/2024-11-27/fp5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fp5.png -------------------------------------------------------------------------------- /images/2024-11-27/fuzazan1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fuzazan1.png -------------------------------------------------------------------------------- /images/2024-11-27/fuzazan2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fuzazan2.png -------------------------------------------------------------------------------- /images/2024-11-27/fuzazan3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fuzazan3.png -------------------------------------------------------------------------------- /images/2024-11-27/fuzazan4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fuzazan4.png -------------------------------------------------------------------------------- /images/2024-11-27/fuzazan5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fuzazan5.png -------------------------------------------------------------------------------- /images/2024-11-27/fuzazan6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fuzazan6.png -------------------------------------------------------------------------------- /images/2024-11-27/fuzazan7.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fuzazan7.png -------------------------------------------------------------------------------- /images/2024-11-27/fuzazan8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/fuzazan8.png -------------------------------------------------------------------------------- /images/2024-11-27/giantsan1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/giantsan1.png -------------------------------------------------------------------------------- /images/2024-11-27/giantsan2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/giantsan2.png -------------------------------------------------------------------------------- /images/2024-11-27/giantsan3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/giantsan3.png -------------------------------------------------------------------------------- /images/2024-11-27/giantsan4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/giantsan4.png -------------------------------------------------------------------------------- /images/2024-11-27/instru.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/instru.png -------------------------------------------------------------------------------- /images/2024-11-27/redzone.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/redzone.png -------------------------------------------------------------------------------- /images/2024-11-27/redzone1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/redzone1.png -------------------------------------------------------------------------------- /images/2024-11-27/redzone2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/redzone2.png -------------------------------------------------------------------------------- /images/2024-11-27/rq1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/rq1.png -------------------------------------------------------------------------------- /images/2024-11-27/rq2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/rq2.png -------------------------------------------------------------------------------- /images/2024-11-27/rq3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/rq3.png -------------------------------------------------------------------------------- /images/2024-11-27/rq4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/rq4.png -------------------------------------------------------------------------------- /images/2024-11-27/rq5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/rq5.png -------------------------------------------------------------------------------- /images/2024-11-27/sand1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/sand1.png -------------------------------------------------------------------------------- /images/2024-11-27/sand2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/sand2.png -------------------------------------------------------------------------------- /images/2024-11-27/sand3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/sand3.png -------------------------------------------------------------------------------- /images/2024-11-27/sanrazor1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/sanrazor1.png -------------------------------------------------------------------------------- /images/2024-11-27/sanrazor2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/sanrazor2.png -------------------------------------------------------------------------------- /images/2024-11-27/shadow_memory.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/shadow_memory.jpeg -------------------------------------------------------------------------------- /images/2024-11-27/tab_overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-11-27/tab_overview.png -------------------------------------------------------------------------------- /images/2024-12-8/GreyBox算法.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-12-8/GreyBox算法.png -------------------------------------------------------------------------------- /images/2024-12-8/Log-scale frequency of reads-from sequences observed by POS(top) and RFF(bottom) in 10000 executions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-12-8/Log-scale frequency of reads-from sequences observed by POS(top) and RFF(bottom) in 10000 executions.png -------------------------------------------------------------------------------- /images/2024-12-8/Mean Number of Schedules to 1st Bug.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-12-8/Mean Number of Schedules to 1st Bug.png -------------------------------------------------------------------------------- /images/2024-12-8/Total Bugs Discovered After Log Across All Trials(Higer is better).png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-12-8/Total Bugs Discovered After Log Across All Trials(Higer is better).png -------------------------------------------------------------------------------- /images/2024-12-8/reads-from对示例.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-12-8/reads-from对示例.png -------------------------------------------------------------------------------- /images/2024-12-8/乐观与悲观并发测试.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-12-8/乐观与悲观并发测试.png -------------------------------------------------------------------------------- /images/2024-12-8/正向与负向约束.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-12-8/正向与负向约束.png -------------------------------------------------------------------------------- /images/2024-12-8/示例程序.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-12-8/示例程序.png -------------------------------------------------------------------------------- /images/2024-12-8/调度控制与event_on控制函数.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2024-12-8/调度控制与event_on控制函数.png -------------------------------------------------------------------------------- /images/2025-01/1737793323748.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/1737793323748.jpg -------------------------------------------------------------------------------- /images/2025-01/1737794540267.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/1737794540267.jpg -------------------------------------------------------------------------------- /images/2025-01/1737795320283.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/1737795320283.jpg -------------------------------------------------------------------------------- /images/2025-01/1737812861088.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/1737812861088.jpg -------------------------------------------------------------------------------- /images/2025-01/1737872322098.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/1737872322098.jpg -------------------------------------------------------------------------------- /images/2025-01/1737872454957.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/1737872454957.jpg -------------------------------------------------------------------------------- /images/2025-01/1737872490020.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/1737872490020.jpg -------------------------------------------------------------------------------- /images/2025-01/1737872609718.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/1737872609718.jpg -------------------------------------------------------------------------------- /images/2025-01/1737872648068.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/1737872648068.jpg -------------------------------------------------------------------------------- /images/2025-01/image-20250115153340217.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115153340217.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115153417404.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115153417404.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115155554599.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115155554599.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115155609286.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115155609286.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115160919244.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115160919244.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115160936371.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115160936371.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115165011245.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115165011245.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115165918385.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115165918385.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115170027436.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115170027436.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115170031997.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115170031997.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115170036275.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115170036275.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115170051005.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115170051005.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115170104218.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115170104218.png -------------------------------------------------------------------------------- /images/2025-01/image-20250115170120725.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/2025-01/image-20250115170120725.png -------------------------------------------------------------------------------- /images/top/pyramid.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/top/pyramid.png -------------------------------------------------------------------------------- /images/top/six_school.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/top/six_school.png -------------------------------------------------------------------------------- /images/top/verification_process.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/images/top/verification_process.png -------------------------------------------------------------------------------- /月报总结/.gitignore: -------------------------------------------------------------------------------- 1 | *.pdf 2 | -------------------------------------------------------------------------------- /月报总结/2024-10-Report-Performance Optimization of AddressSanitizer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/月报总结/2024-10-Report-Performance Optimization of AddressSanitizer.md -------------------------------------------------------------------------------- /月报总结/2024-11-Report-A Survey on Combining Simulink with Large Language Models (LLMs)-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/月报总结/2024-11-Report-A Survey on Combining Simulink with Large Language Models (LLMs)-1.md -------------------------------------------------------------------------------- /月报总结/2024-12-Report-A Survey on Combining Simulink with Large Language Models (LLMs)-2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/月报总结/2024-12-Report-A Survey on Combining Simulink with Large Language Models (LLMs)-2.md -------------------------------------------------------------------------------- /月报总结/2025-01-Report-A Survey on Verification and Testing of Deep Neural Networks (DNNs).md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/月报总结/2025-01-Report-A Survey on Verification and Testing of Deep Neural Networks (DNNs).md -------------------------------------------------------------------------------- /月报总结/2025-03-Report-A Survey on Large Language Model in the directions of code generation (1).md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/月报总结/2025-03-Report-A Survey on Large Language Model in the directions of code generation (1).md -------------------------------------------------------------------------------- /月报总结/2025-04-Report-A Survey on Large Language Model in the directions of code generation (2).md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/月报总结/2025-04-Report-A Survey on Large Language Model in the directions of code generation (2).md -------------------------------------------------------------------------------- /月报总结/2025-05-Report-A Survey on Formal proof of mathematical theorems via LLM.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Xidian-ICTT-GZ/Academic_Blog/HEAD/月报总结/2025-05-Report-A Survey on Formal proof of mathematical theorems via LLM.md --------------------------------------------------------------------------------