Agent 平台开发实习生
2026年5月 - 至今高通,深圳
高通,深圳
香港科技大学(广州)
Linksome,深圳
武汉大学,武汉
南方科技大学
IEEE Transactions on Software Engineering
ICE 通过缩小错误诱导输入的搜索空间,提高了在数值程序中发现浮点错误触发输入的效率。
arXiv preprint
我们提出 MGDE,一种基于数学引导的新方法,利用具有二次收敛性质的牛顿-拉夫森方法检测错误诱导输入。该方法在 44 个程序中识别出 89 个 bug,速度比基线快 6.4 倍。
arXiv preprint
我们提出 PI-detector,一种通过在程序中各原子操作的操作数上注入微小扰动,并比较原始程序与扰动版本的输出来高效计算浮点数误差的新方法。
Environmental Science & Technology
利用 Flightradar24 大规模航班追踪数据集,以前所未有的时空粒度评估全球航空 CO2 排放的航次间变异性。我们为超过两百种标准机型开发了简化模型,可捕获航次间的排放波动。
arXiv preprint
我们提出 DELA 方法,基于大多数数值误差源于原子操作中较大条件数这一观察。DELA 在单个原子操作结果中注入微小扰动并比较输出来检测误差。
开发了一款面向 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% 的排放。