新闻

2024年4月1日 Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis被PLDI'24接收。该论文将我们之前的AutoLifter方法泛化为超融合（Superfusion）方法。超融合通过自动消除中间数据结构来优化程序，是对函数式程序设计中常用的融合（fusion）技术的自动化。基于超融合方法实现的青方系统，不仅在分治类算法的合成上达到了AutoLifter的效果，并且在融合问题和递归程序合成问题上大幅超越了已有工作。
2024年2月13日 我们的ET工具在首届国际程序修复大赛参加人数最多的Java功能性缺陷赛道中获得第一名。ET由我们之前提出的两项方法构成：补丁验证方法ExpressAPR和补丁生成方法Tare。ET在没有生成任何错误补丁的情况下成功修复6个缺陷，超过了主办发直接调用ChatGPT的基线方法，也超过了其他所有参赛工具。
2024年1月26日 Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling被IEEE Transactions on Software Engineering接收。该论文介绍了我们的高效补丁验证工具ExpressAPR背后的技术。ExpressAPR比直接编译测试验证快137.1倍，比目前最快的验证平台UniAPR快8.8倍。希望该工具能帮助未来的缺陷修复的研究和开发。
2024年1月25日 通过和深度求索公司（幻方AI的子公司）合作，我的博士生朱琪豪领导了目前最好的面向代码开源基座大模型——DeepSeek-Coder的开发。我们已有研究中的一些思路帮助了模型效果提升，比如组织相关信息来帮助模型学习程序设计语言中的规则。我们刚刚发布了一个技术报告来介绍训练的技术细节。朱琪豪将于今年6月毕业，期待各家单位赐工作机会。
2024年1月1日 Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms被TOPLAS接收。这是我们算法合成项目正式发表的第二篇论文（第一篇是动态规划合成），尽管实际完成得更早一些。这篇论文识别出分治、增量算法、线段树等多个算法类别都有相似的结构，并提出了一个统一的合成方法来自动合成这些算法。实验中求解出的问题是已有的通用算法的两倍，甚至比之前半自动分治合成方法更优。
2023年12月20日 GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code被ICSE'24接收. 这篇文章将我们一直在研究的基于文法的解码技术(L2S、TreeGen等)应用到预训练模型上，所产生的预训练模型显著超越了同规模最好的CodeT5模型。
2023年7月31日 A Probabilistic Delta Debugging Approach for Abstract Syntax Trees被ISSRE'23接收。这是我们ESEC/FSE'21论文的后续工作，为抽象语法树构建了概率模型，可以对于程序设计语言等上下文无关语言实现更高效的差异调试。
2023年7月18日 两篇论文被ASE'23的研究和工具展示分会接收. ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems是一篇工具展示论文，介绍了我们的补丁验证新工具。该工具集成了五种技术来减少编译和测试执行的开销，比直接编译测试验证快100倍，比目前最快的验证平台UniAPR快10倍。希望该工具能帮助未来的缺陷修复的研究和开发。 OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability with Attribute Checking提出了一种新的CFL可达性算法来计算编译错误的最小修复。
2023年7月1日 Synthesizing Efficient Memoization Algorithms被OOPSLA'23接收。这是我们三年前启动的算法合成项目发表的第一篇论文，这也是我们现在的主力项目。给定一个形式化规约，算法合成试图应用算法领域提出的算法设计模式（如分治、动态规划等）来合成高效程序满足规约。这篇论文关注动态规划算法的合成。另外一篇分治和类似算法的合成工作已经完成，可以在arxiv访问。
2023年3月30日 “数据驱动的软件测试与修复”获得电子学会自然科学一等奖。我是该项目的第一完成人。这是近三年软件领域唯一获得电子学会自然科学一等奖的项目。
2023年2月24日 Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection被OOPSLA'23接收。该论文提出了一种新的近似模型，可以在OGIS程序合成中高效选择最优询问，在交互式和非交互式场景下均能提升OGIS程序合成方法的表现。这是我们PLDI'20交互式合成论文的后续工作。
2022年12月9日 两篇论文被ICSE23接收。 Tare: Type-Aware Neural Program Repair描述了一种引导神经网络学习类型规则的方法，基于该方法，我们构建了新的程序修复方法，显著超越了现有方法。Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects是我们FSE20论文的后续工作，不仅改进了之前工作中对神经网络体系结构的缺陷查找效果，并且能生成测试验证缺陷并建议修复。
2022年8月30日 Toward Actionable Testing of Deep Learning Models被《中国科学：信息科学》英文版接收。这是一篇观点论文，呼吁未来的深度学习测试方法能更多地指导系统改进。
2022年7月21日 Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification被ASE'22接收。该论文提出了一种新的程序合成算法，通过枚举可达堆结构来合成单元测试。
2022年4月21日 两篇论文被IJCAI 2022接收. Grape: Grammar Preserving Rule Embedding是一个关于语法规则的嵌入技术。类似Word2Vec用神经网络嵌入单词，我们的技术用神经网络嵌入语法规则的编号，可以用于其他依赖语法的下游深度学习应用中，比如程序生成。不同于Word2Vec，我们的技术将语法规则的定义考虑在内，嵌入规则的结构和内容信息。 Lyra: A Benchmark for Turducken-Style Code Generation提出了一个新的程序生成任务和数据集：同时生成包含两种不同程序设计语言代码的程序。
2022年1月7日 之前我在中国软件大会上做了算法合成报告以及在CCF ADL上做了程序合成讲座，这两个视频现在可以在CCF数字图书馆观看，链接详见特邀报告页面。
2021年12月20日 三篇论文被ICSE 2022和AAAI 2022接收。 Fault Localization via Efficient Probabilistic Modeling of Program Semantics是我们采用概率图模型来捕获程序语义来重新构建错误定位方法的首次尝试。Preferential Labeling for Unattributed Node Classification in GNNs关心当分类任务应该不依赖于变量的具体命名时（如SAT），如何在图神经网络中表示程序。Improving Machine Translation Systems via Isotopic Replacement是一个机器翻译的测试和修复方法。
2021年10月11日 L2S: a Framework for Synthesizing the Most Probable Program under a Specification被TOSEM接收。本文提出了玲珑框架。该框架采用概率指导程序合成，其思想是我们很多其他工作的基础。这项研究最早于2016年底以泛化和扩展ACS工作为目标启动。2018年我们把初步想法和实验结果发表为一篇workshop论文。最终，在经过了接近5年的工作之后，在我多个特邀报告和主题演讲介绍玲珑框架之后，在多篇基于玲珑框架思想的其他论文发表之后，我们终于发表了完整版玲珑框架论文。完整论文不算附录长达44页。
2021年10月2日 Interactive Patch Filtering as Debugging Aid被评为IEEE TCSE杰出论文。感谢评委的认可。
2021年9月30日 我获得了CCF-IEEE CS青年科学家奖。该奖每年颁发给不超过5名40岁以下的中国计算机科学家。感谢提名者和评奖委员会的认可！
2021年9月13日 我们发表在MODELS 2011的论文From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case被授予MODELS 2021最有影响论文奖。感谢评委会的认可！
2021年8月31日 Generalizable Synthesis Through Unification被OOPSLA'21接收. 在本文中，我们将机器学习领域的奥卡姆学习理论和程序合成结合起来，在合并学习框架的基础上构建了第一个奥卡姆程序合成求解器，从理论上保证了程序合成的可泛化性。
2021年8月6日 我获得了第二个ESEC/FSE杰出审稿人奖。感谢评选委员会的认可。
2021年8月2日 Faster Mutation Analysis with Fewer Processes and Smaller Overheads被ASE'21接收. 这是我们ISSTA'17论文的后续工作，进一步提升了变异分析的效率。变异分析的效率是很多应用问题的效率关键，比如变异测试和补丁验证。
2021年7月1日 Probabilistic Delta Debugging被评为ACM SIGSOFT杰出论文。感谢评委的认可。
2021年6月15日 Interactive Patch Filtering as Debugging Aid被ICSME'21接收. 之前工作一直认为修复工具如果不能达到很高的正确率是没用的，这篇工作通过200轮人工调试的实验证明了，如果在程序员复查补丁的时候给予适当的交互式工具辅助，正确率低的修复工具也能帮助程序员，从而为未来修复研究的发展带来了全新空间，比如在无需担心正确率的情况下进一步提升召回率。该论文是我们PLDI'20论文的后续工作。
2021年5月21日 两篇论文被ESEC/FSE'21接收。Probabilistic Delta Debugging提出了首个基于概率建模的差异化调试方法，效果显著超越经典ddmin方法。A Syntax-Guided Edit Decoder for Neural Program Repair提出了首个效果超越传统方法的神经网络程序修复方法。
2020年12月1日 我获得了NASAC青年软件创新奖和ESEC/FSE 2020的杰出审稿人称号。感谢同行的提名和评审委员会的认可。
2020年10月1日 Guiding Dynamic Programming via Structural Probability for Accelerating Programming by Example被OOPSLA'20接收。该工作是我们采用概率来指导基于枚举的程序合成的后续工作，通过用概率指导Flashfill风格的动态规划程序合成，提速达到4-2000倍。
2020年8月21日 Detecting Numerical Bugs in Neural Network Architectures被评为ESEC/FSE'20的ACM SIGSOFT杰出论文。感谢评委的认可。
2020年6月2日 我被评选为ICSE 2020杰出审稿人。感谢帮忙审稿的同学们，感谢评委的认可。
2020年5月20日 Detecting Numerical Bugs in Neural Network Architectures被ESEC/FSE'20接收. 这是我们在分析神经网络程序缺陷上的第二篇论文，是ISSTA'18上发表的实证研究工作的后续。
2020年3月31日 Question Selection for Interactive Program Synthesis was accepted at PLDI'20. Unlike most existing research studies how computers answer questions from pepople, this paper studies how computers ask questions to people for program synthesis. This is the second paper in our new project on interactive program synthesis/repair, following the ISSRE'19 paper.
2019年11月20日 TreeGen: A Tree-Based Transformer Architecture for Code Generation has been accepted as an oral paper at AAAI'20. This paper proposes a novel transformaer architecture for code generation, which outperforms our AAAI'19 paper, the current state-of-the-art.
2019年11月5日 Detecting Floating-Point Errors via Atomic Conditions has been accepted at POPL'20. This is a follow-up work of our ICSE'15 paper to quickly find the inputs that lead to large floating-point errors.
2019年10月10日 Our ASE paper History-Guided Configuration Diversification for Compiler Test-Program Generation was awarded ACM SIGSOFT Distinguished Paper Award.
2019年9月19日 Our paper A Survey of Compiler Testing was accepted at ACM Computing Surveys.
2019年8月16日 I have received the early career award from NSFC. This is a Chinese version of the NSF career award in US, but is only given to researchers under the age of 38 and is very competitive. Among all researchers who mainly work in software engineering in China, only Dan Hao and He Jiang have received this award before.
2019年8月6日 Three papers were accepted at ASE'19. Inferring Program Transformations From Singular Examples via Big Code solves the small-sample learning problem for program transformation inference: with the help of big code, we infer a program transformation from only one example. This technique is useful in many domains such as program repair. History-Guided Configuration Diversification for Compiler Test-Program Generation is a follow-up work of our ICSE17 paper, using historical information to directly guide the generation of test programs. Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study is the first empirical study that bridges two main families of fault localization: spectrum-based fault localization and statistical debugging.
2019年8月1日 Three forward-looking papers on program repair were accepted. Automated Program Repair: A Step towards Software Automation is an invited paper for discussing the future of program repair. A Manual Inspection Of Defects4j Bugs And Its Implications For Automatic Program Repair is an empirical study on possible strategies that could potentially be adopted by program repair techniques. How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects explores how a patch should be communicated to developers by studying how human performs the task.
2019年2月1日 I will give a keynote speech at IBF 2019 on Feb 24th, 2019 and give a lecture at ISSTA Summer School on July 16th, 2019.
2018年12月8日 Two papers were accepted at IEEE Transactions on Software Engineering. An Empirical Study of Fault Localization Families and Their Combinations provides an infrastructure for combining and evaluating fault localization techniques, in the hope to support future fault localization research. Coverage Prediction for Accelerating Compiler Testing combines coverage prediction with learning-to-test to further accelerate compiler testing.
2018年11月2日 Our paper A Grammar-Based Structural CNN Decoder for Code Generation was accepted at AAAI'19. This paper proposes a novel CNN neural structure for code generation and can be used to instantiate the framework of learning to synthesize.
2018年8月1日 I have been promoted to Associated Professor (with tenure). Thanks for all people who helped in this process.
2018年6月5日 Automatic Clone Recommendation for Refactoring Based on the Present and the Past was accepted at ICSME'18.
2018年5月25日 Two papers were accepted at ISSTA'18. Shaping Program Repair Space with Existing Patches and Similar Code reports our newest attempt to increase the recall of program repair after our previous attempts (ICSE18a, ICSE17a) to increase the precision. An Empirical Study on TensorFlow Program Bugs is our first step to understand and support testing and debugging in deeping learning applications.
2018年3月15日 Learning to Synthesize was accepted at GI'18. This paper proposes a framework for synthesizing a program that has a high probability in a given context.
2017年12月15日 Two papers were accepted at ICSE'18. Identifying Patch Correctness in Test-Based Program Repair utilizes two new heuristic rules to identify the correctness of generated patches. Identifying Features in Forks studies the problem of understanding forks and provides an overview of features in a fork.
2017年7月3日 Our ISSTA'17 paper Faster Mutation Analysis via Equivalence Modulo States was awarded ACM Distinguished Paper Award.
2017年5月10日 Faster Mutation Analysis via Equivalence Modulo States was accepted at ISSTA'17. Many program analysis tasks require to execute many similar versions of a program, including but not limited to mutation testing, generate-and-validate program repair, mutation-based fault localization, and product line testing. Our approach accelerates these analyses by sharing the redundant executions.
2016年12月17日 Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization was accepted at ESOP'17. In this paper we propose conditional reachability summarization to enable library summarization for Dyck-CFL reachability problems, a large class of program analysis problems.
2016年12月13日 Precise Condition Synthesis for Program Repair was accepted at ICSE'17. Following our previous attempt in our ASE'15 paper to increase the precision of defect repair (less incorrect patches), in this paper we try to generate precise patches for a more general category of defects: incorrect conditions.
2016年12月13日 Learning to Prioritize Test Programs for Compiler Testing was accepted at ICSE'17. In this paper we propose the idea of "learning to test" that applies learning techniques to accelerate compiler testing.
2016年6月1日 Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors was accepted at FSE'16. Precision tuning is widely used in many applications. In this paper we identified a type of code where raising precision may lead to less accurate result.
2016年4月2日 We have discovered a mistake in the data presentation of our ICST paper "empirical evaluation of test coverage for functional programs". Unfortuately, it is already too late to update the camera-ready version, so please download the corrected version here. Compared with the published version, Figure 3 and Table II are updated, while all discussions and conclusions are the same.
2016年3月31日 PATL paper, Transforming programs between APIs with Many-to-Many Mappings, has been accepted at ECOOP'16. A full version will be uploaded soon.
2016年3月2日 A paper describing our new program transformation language, PATL, was conditionally accepted at ECOOP'16. PATL handles program transformation with many-to-many mappings with the idea of guided normalization. This completes our previous work on one-to-many program transformation.
2015年12月21日 Our empirical evaluation of test coverage for functional programs has been accepted at ICST'16. The paper presents the first empirical study on test coverage of functional programs.
2015年12月21日 Recently we started a new project on compiler testing. The ICSE'16 paper presents an empirical comparison of the mainstream compiler testing techniques, where we used a new method to measure test effectiveness to make the comparison possible. The ICST'16 paper presents a low-cost test prioritization approach that has the potential of accelerating compiler testing, even for the non-regressional cases.
2015年12月1日 As a member of a big team on software-defined cloud management, I received the the First-Class Award on Scientific and Technological Progress, Ministry of Education, one of the most pretigeous award from Ministry fo Education, China.
2015年7月19日 Fixing Recurring Crash Bugs via Analyzing Q&A Sites was accepted at ASE'15. Within our knowledge, this is the first paper that leverages Internet resources to fix bugs. Our approach achieved high accuracy in producing correct patches, successfully avoiding the over-fitting problem in automatic bug repair.
2015年7月2日 Inner Oracles: Input-Specific Assertions on Internal States was accepted at the new idea track of ESEC/FSE'15. In this paper, we propose the novel concept of inner oracle, which asserts the inner state of one test case. We believe inner oracles are useful in many testing scenarios.
2015年6月25日 Our paper Range Fixes: Interactive Error Resolution for Software Configuration was featured on the homepage of IEEE Transactions on Software Engineering.
2015年4月13日 Our paper SWIN: Towards Type-Safe Java Program Adaptation between APIs was invited to a journal submission as one of the best papers at PEPM'15.
2014年12月27日 Two papers were accepted at ICSE'15. Safe Memory-Leak Fixing for C Programs uses a series of dataflow analyses to fix memory leaks automatically in C programs. A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies leverages FPDebug to automatically locate input that leads to large inaccuracies in floating-point programs. Both are nice pieces of work and I am proud of the students who produced them.
2014年12月13日 Range Fixes: Interactive Error Resolution for Software Configuration was accepted at IEEE Transactions on Software Engineering. This paper extends our previous work on range fixes with a new property on the minimality of fix units, a simplified algorithm, and new experiments on Linux.
2014年10月13日 Our paper about type-safe program transformation is accepted at PEPM'15. This is our first step towards creating a transformation language for adapting programs between different APIs, following our empirical study on API evolution.
2014年7月2日 Recently I started to work on problems in testing and debugging of general programs, and here are two new papers. The ICSME'14 paper is about the automatic association of bug reports to source files, reporting two new heuristics to improve the accuracy of existing techniques. The ASE'14 paper reports the first approach to automatically inferring metamorphic relations from programs.
2013年8月1日 Our project proposal on improving the quality of safety-critical software system has been approved. This five year project is supported by the young scientist fund under the national basic research program, and I am the principal investigator. The young scientist fund under the national basic research program is one of the most competitive fund for young scientists in China. Every year only 1~3 projects are granted in the area of computer science. Our project is the first one in the area of software development.
2013年5月30日 Our paper about priority-based fixing was accepted at SPLC 2013. This work enhances our ICSE'12 work about range fix, reducing the number of options presented to the user by inferring implicit priorities from user interactions.
2013年4月12日 Our empirical study on web API evolution was accepted at ICWS 2013. This is the first step of our new project on web API evolution, which, hopefully, will eventually make it easier to migrate clients for API update.
2013年1月13日 Model Synchronization Based on Triple Graph Grammars: Correctness, Completeness and Invertibility was accepted at SoSyM. This paper is the extended version of our MODELS'11 paper, which was selected as one of the best papers at MODELS'11 and we were invited to this submission.
2012年6月21日 Inferring the Data Access from the Clients of Generic APIs was accepted at ICSM'12. This paper enhanced our MODELS'10 work to infer code snippets as well as the schema.
2012年6月18日 Automating Presentation Changes in Dynamic Web Applications via Collaborative Hybrid Analysis was accepted at FSE'12. This paper evolves the idea of bidirectionalization into collaborative hybrid analysis, which is able to propagate changes in web pages back to the generation program.
2012年4月18日 I have joined Peking University faculty as an assistant professor under the "Young talents plan". This is a newly-designed position to match the tenure-track system used in North America.
2012年1月27日 Generating Range Fixes for Software Configuration was accepted at ICSE'12. This paper proposes a new type of fix, range fix, to handle the inconsistency fixing problem arised from our survey. An automated algorithm for generating range fix is also given. In the sense of general inconsistency handling, range fixes introduce an interative fixing process to resolving inconsistencies, which is a complement of our existing work on fully automatic fixing.
2011年12月14日 A summary paper of our online survey was accepted at VaMoS'12.
2011年11月30日 I have finished my postdoc and left University of Waterloo. Now I temporarily work as an indepent researcher while waiting for a new job offer.
2011年9月29日 We have conducted an online survey about what challenges are faced by the users of modern configuration tools. The result was published here as a technical report.
2011年7月25日 I will serve as a PC member of BX 2012. Please consider submitting a papper.
2011年7月5日 From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case and Correctness of Model Synchronization Based on Triple Graph Grammars were accepted at MODELS'11.
2011年7月1日 From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case is available on line.
2011年6月28日 A study of non-Boolean constraints in variability models of an embedded operating system was accepted at FOSD'11.
2011年6月5日 I have written an article about Configurator Semantics of the CDL Language. Should be useful to anyone who wants to understand the configuration aspect of eCos/CDL.
2011年5月14日 From State- to Delta-Based Bidirectional Model Transformation: the Asymmetric Case was accepted at Journal of Object Technology. This an extended version of our ICMT'10 paper.
2011年1月5日 Synchronizing concurrent model updates based on bidirectional transformation was accepted at Software and Systems Modeling and is available online. This is an extended version of our ICMT'09 paper. This version adds discussion on history ignorance law and connects it with constant complement. I recommend to read even if you have read the conference version.
2010年12月21日 Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach was accepted at Journal of Systems and Software and is available online. This is an extended version of our Models@Runtime'09 paper.
2010年10月31日 Specifying Overlaps of Heterogeneous Models for Global Consistency Checking was selected as one of the two best papers in MDI'10 and will appear in the post-proceedings.
2010年9月29日 From State- to Delta-Based Bidirectional Model Transformations was invited to a journal submission as one of the four best papers in ICMT'10.
2010年8月27日 Specifying Overlaps of Heterogeneous Models for Global Consistency Checking was accepted by MDI'10.
2010年7月28日 Tolerating Inconsistency in Feature Models was accepted by LWI'10.
2010年6月28日 Inferring Meta-Models for Runtime System Data from the Client Code of Management API and A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models were accepted by MODELS'10.
2010年4月5日 From State- to Delta-Based Bidirectional Model Transformations was accepted by ICMT'10.
2009年12月1日 I have moved from the University of Tokyo to University of Waterloo as a postdoc.
2009年10月24日 Generating Synchronization Engines between Running Systems and Their Model-Based Views was selected as one of the best two papers of Models@runtime.
2009年9月28日 I have graduated from the University of Tokyo. My thesis is available here.
2009年9月17日 We have released a library for helping integrate the Haskell-based synchronizer into Java projects. Please refer to here for more information.
2009年9月1日 Generating Synchronization Engines between Running Systems and Their Model-Based Views was accepted by Models@runtime.
2009年8月15日 Beanbag 1.0 was released.
2009年7月1日 A new paper describing the upcoming Beanbag 1.0 language was accepted by ESEC/FSE'09.
2009年4月30日 Atenea group has released reSynch, a UML synchronization tool developed using Beanbag. Visit here for more information.
2009年3月16日 Beanbag 0.2.1 has released. Added an output to the sync command and the resync command to show only effective update on the data. Also fixed a bug with incremental synchronization.
2008年12月12日 We have published a technical report about the Beanbag language.
2008年11月11日 Our ATL-based synchronization tool has been named as SyncATL.
2008年9月30日 We have released a new version of Beanbag. The new version includes a new and easy-to-write Beanbag language, an interactive console and two example programs.
2008年9月5日 Our on-site synchronization project has been named as Beanbag. This name comes from a Japanese traditional game of the same name where the players tries to keep several beanbag consistent within a short time constraint.
2007年10月10日 Our paper is accepted by ASE 2007!