ideas.md · tomgu1991/Foundation4AIandSE

一些想法

1. project specific developing assistant driven by program anlaysis support with mechina learning techniques
   1. 做一些 project specific bug。相当于 我们能掌握一些bug pattern。然后 apply到不同的project specific rules上。这种 heuristic strategy guided approach 比 AI的方法 靠谱很多。而且 完全可以做到，用户自定义（需要分析或者不需要）。然后 这些project specific rules也可以用来做 code suggestion，just in time bug detection。
2. a novel hybrid source code representation for large-scale code base modeling and analysis
3. 基于code property的概念，做一个交互式的搜索方式。
   1. 参考Sporq。用户选择元素、然后增加元素
   1. 以代码的方式搜索代码，引入类型、表达式、代码结构的描述。
   1. 交互式选择，生成查询模式
   1. 还可以把选出来的结构进行修改和自动重构
4. static analysis for performance 
   1. 利用静态分析代码，评估代码的算法复杂度
   2. 对于单个API，其实可以直接评估好
      1. Evaluating The Energy Consumption of Java I/O APIs
   3. 同时做一个IDE插件呈现给用户
      1. Interactive Static Performance Analysis in the IDE
   4. 也可以利用这个信息来推测优化点、log的位置
   5. 结合动态分析的结果来综合分析
   6. https://www.microsoft.com/en-us/research/uploads/prod/2021/05/pldiws21soapmain-id12-p-4b5ea2b586-51249-final1.pdf   
      1. PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
      2. 还个微软的工作用数据驱动的方式。先找perf的bug，然后做一个code search去检索。
      3. DeepPERF: A Deep Learning-Based Approach For Improving Software Performance   最新的工作
5. 静态分析的可视化理解
   1. Human-Centered Approach to Static-AnalysisDriven Developer Tools  - 2022 ACM Communication
   2. \1. 最开始大家想一篓子把事干了，例如检测缺陷。但是呢，这个事效果太差，所以大家不用。 
      \2. 那么大家就想，我不用你告诉我对不对，因为你告诉我不对，我也要去看为什么不对。 
      \3. 所以，我们退一步，我告诉你很多中间的信息，帮你快速理解，或者能让你较快理解你的阻塞点。似乎是一个新的方向
   3. Human-Centered Design and Understanding Program Behavior More information about code is useful, but what humans need is an interface that matches their intuition.
   4. One obstacle preventing developers from understanding program behavior is the large amount of context switching required to be productive.

6. API知识图谱
   1. 自动化挖掘各种信息的pipeline - 以类型为基础，doc、代码、stackoverflow、代码调用关系
   2. 一个支持灵活配置和描述的数据建模、索引、查询的平台（类似sql那种）
   3. 一个IDE插件，能够分析用户画像，做到精准推荐、代码补全、搜索的过滤和排序
   4. 支持自然语言的对话式的搜索引擎（对话系统）
   5. 以API为核心的代码质量检查（可以把API的spec做持久化，然后云端存，按需下载）

tomgu1991/Foundation4AIandSE

简介

发行版

贡献者

近期动态

tomgu1991/Foundation4AIandSE .gitee-modal { width: 500px !important; }

简介

发行版

贡献者

近期动态

搜索帮助

tomgu1991/Foundation4AIandSE