时光之歌

曾经的梦想

曾经的梦想

发表于2025-03-27|情感

把记忆结成冰

把记忆结成冰

发表于2025-03-27|情感

漫谈：我妻同学是我老婆

漫谈：我妻同学是我老婆

发表于2025-03-22|漫谈

阅读笔记：Unveiling Cross-checking Opportunities in Verilog Compilers

阅读笔记：Unveiling Cross-checking Opportunities in Verilog Compilers

发表于2025-03-17|论文阅读

论文阅读：Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction

论文阅读：Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction

发表于2025-03-12|阅读笔记

论文阅读：BitsAI-CR: Automated Code Review via LLM in Practice

论文阅读：BitsAI-CR: Automated Code Review via LLM in Practice

发表于2025-02-18|阅读笔记

阅读笔记：Which Crashes Should I Fix First Predicting Top Crashes at an Early Stage to Prioritize Debugging Effort

阅读笔记：Which Crashes Should I Fix First Predicting Top Crashes at an Early Stage to Prioritize Debugging Effort

发表于2025-02-15|论文阅读

阅读笔记：What IF Is Not Enough? Fixing Null Pointer Dereference With Contextual Check

阅读笔记：What IF Is Not Enough? Fixing Null Pointer Dereference With Contextual Check

发表于2025-02-15|论文阅读

阅读笔记：VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences

阅读笔记：VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences

发表于2025-02-15|论文阅读

阅读笔记：Semantic crash bucketing

阅读笔记：Semantic crash bucketing

发表于2025-02-15|论文阅读