高通，深圳
香港科技大学（广州）
领寻，深圳
武汉大学，武汉
南方科技大学
IEEE Transactions on Software Engineering
ICE 通过缩小错误诱导输入的搜索空间，提高了在数值程序中发现浮点错误触发输入的效率。
ACM SIGSOFT 国际软件测试与分析研讨会（ISSTA）
我们提出 MGDE，一种基于数学引导的新方法，利用具有二次收敛性质的牛顿-拉夫森方法检测错误诱导输入。该方法在 44 个程序中识别出 89 个 bug，速度比基线快 6.4 倍。
arXiv preprint
我们提出 PI-detector，一种通过在程序中各原子操作的操作数上注入微小扰动，并比较原始程序与扰动版本的输出来高效计算浮点数误差的新方法。
Environmental Science & Technology
利用 Flightradar24 大规模航班追踪数据集，以前所未有的时空粒度评估全球航空 CO2 排放的航次间变异性。我们为超过两百种标准机型开发了简化模型，可捕获航次间的排放波动。
arXiv preprint
我们提出 DELA 方法，基于大多数数值误差源于原子操作中较大条件数这一观察。DELA 在单个原子操作结果中注入微小扰动并比较输出来检测误差。
面向开源项目发现、理解与持续追踪，构建 Chat / Explore / Watch 等 Agent 工作流。设计 Agent 调研与 Watch 链路，由 Agent 自主调用工具调查 README / Release / Activity 等仓库信息，并生成结构化判断。
构建 AI 健康 Agent，整合用户画像、健康记录与 20+ Tool Calling 能力，实现个性化健康交互。实现语义记忆与主动健康提醒，将对话转化为可执行任务；获深圳黑客松三等奖。
开发了一款面向 Bilibili 的跨平台追更与防失效工具，支持 UP 主订阅、更新通知与自动缓存，尽量避免视频失效带来的遗憾。
利用 Llama2-7B/13B 等开源大语言模型合成多样化 JSON 输入，对 13 个解析器进行 100 多种测试用例类型的测试，发现 26 个行为差异。
实现了一个兼容 Minisys 的 CPU，支持 32 条核心指令，解析 COE 二进制文件，并通过 Minisys 开发板与用户交互。
构建了模因算法和混合元启发式求解器，在 180 秒内对中小规模图达到最优 CARP 解，并在 255 节点网络上表现出竞争力。
开发了一个简易编译器（代码量达 15,000 行），将 C 语言文件编译为中间表示（IR）和 MIPS32 汇编代码。编译器支持 I/O 操作、控制流和函数调用等核心功能，包含完整的词法、语法和语义分析及友好的错误提示。
该系统允许玩家为自定义角色选择动作、追踪生命值，并通过 miniSTM32 开发板进行精确数据传输的实时多人对战。
处理了 10 TB 的 Flightradar24 数据，覆盖 1.53 亿次航班，建模飞机级别的 CO2 排放，解释了 99.4% 的排放方差，并指出滑行优化策略可减少高达 20% 的排放。
