LLM-based Vulnerability Detection at Project Scale: An Empirical Study
IEEE Transactions on Software Engineering, Accepted · October 2026
2026
LLM-Based Alarm Resolution Guided by Bayesian Program Analysis
Proc. ACM Program. Lang., 10(OOPSLA2), Association for Computing Machinery · October 2026
Trustworthy Software Project Generation: A Case Study with an Interactive Theorem Prover
JAWs 2: Journal Ahead Workshop at ASE 2026 · October 2026
Self-Adaptive Code Representation: Grammar-Guided or Token-Based?
Proc. ACM Softw. Eng., 3(ISSTA), Association for Computing Machinery · October 2026
Mining Tactics for Automated Theorem Proving
ASE'26: 41th IEEE/ACM International Conference on Automated Software Engineering · October 2026
SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
TOSEM: ACM Transactions on Software Engineering and Methodology · July 2026
Reducing Cost of LLM Agents with Trajectory Reduction
FSE'26: The ACM International Conference on the Foundations of Software Engineering · July 2026
Intent-Aware Defect Pattern Extraction from Singular Examples
ACM Trans. Softw. Eng. Methodol., Association for Computing Machinery · June 2026
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
ICSE'26: 48th IEEE/ACM International Conference on Software Engineering · May 2026
✦ ACM SIGSOFT Distinguished Paper Award
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
ICSE'26: 48th IEEE/ACM International Conference on Software Engineering · May 2026
Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages
POPL'26: 53rd ACM SIGPLAN Symposium on Principles of Programming Languages · January 2026
2025
Belief Propagation with Local Structure and Its Applications in Program Analysis
ASE'25: 40th IEEE/ACM International Conference on Automated Software Engineering · November 2025
Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis
OOPSLA'25: the OOPSLA issue of the Proceedings of the ACM on Programming Languages · October 2025
Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling
arXiv:2507.23370 · July 2025
SmartFL: Semantics Based Probabilistic Fault Localization
IEEE Trans. Software Eng. 51(7): 2161-2180 · July 2025
Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
ACL (Findings): Findings of the Association for Computational Linguistic · July 2025
Validity-Preserving Delta Debugging via Generator Trace Reduction
ACM Trans. Softw. Eng. Methodol. 34(3): 65:1-65:33 · February 2025
2024
ASAC: A Benchmark for Algorithm Synthesis
FSE'24-Demo: The ACM International Conference on the Foundations of Software Engineering, Tool Demonstration Track · September 2024
Proving Functional Program Equivalence via Directed Lemma Synthesis
FM'24: 26th International Symposium on Formal Methods · September 2024
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis
PLDI'24: ACM SIGPLAN Conference on Programming Language Design and Implementation · June 2024
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code
ICSE'24: 46th International Conference on Software Engineering · April 2024
The ET Program Repair Tool for Java
APR-Comp: The first international competition for Automated Program Repair · February 2024
DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence
arXiv:2401.14196 · January 2024
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
TSE: IEEE Transactions on Software Engineering, Online First · January 2024
Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
TOPLAS: ACM Transactions on Programming Languages and Systems, Accepted · January 2024
2023
Synthesizing Efficient Memoization Algorithms
OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications · October 2023
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications · October 2023
An Isotopic-Replacement-Based Approach for Testing and Improving Code Generation Systems (in Chinese)
计算机学报，第46卷第10期 · October 2023
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees
ISSRE'23: the 34th IEEE International Symposium on Software Reliability Engineering · September 2023
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems
ASE'23-Demo: 38th IEEE/ACM International Conference on Automated Software Engineering, Tool Demo Track · September 2023
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability with Attribute Checking
ASE'23: 38th IEEE/ACM International Conference on Automated Software Engineering · September 2023
Toward Actionable Testing of Deep Learning Models
Science China, Information Sciences, Volume 66, Issue 7:176101, Accepted at 2022-08-30 · June 2023
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
ICSE'23: 45th International Conference on Software Engineering · May 2023
Tare: Type-Aware Neural Program Repair
ICSE'23: 45th International Conference on Software Engineering · May 2023
2022
Oracle-Free Repair Synthesis for Floating-Point Programs
OOPSLA'22: the OOPSLA issue of the Proceedings of the ACM on Programming Languages (PACMPL) · December 2022
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification
ASE'22: 37th IEEE/ACM International Conference on Automated Software Engineering · October 2022
A survey of deep learning based text-to-SQL generation (in Chinese)
中国科学：信息科学，52:1363-1392 · August 2022
L2S: a Framework for Synthesizing the Most Probable Program under a Specification
TOSEM: ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 3, pp 1-45 · July 2022
Lyra: A Benchmark for Turducken-Style Code Generation
IJCAI'22: 31st International Joint Conference on Artificial Intelligence · July 2022
Grape: Grammar Preserving Rule Embedding
IJCAI'22: 31st International Joint Conference on Artificial Intelligence · July 2022
Improving Machine Translation Systems via Isotopic Replacement
ICSE'22: 44th International Conference on Software Engineering · May 2022
Fault Localization via Efficient Probabilistic Modeling of Program Semantics
ICSE'22: 44th International Conference on Software Engineering · May 2022
Preferential Labeling for Unattributed Node Classification in GNNs
AAAI'22: 36th AAAI Conference on Artificial Intelligence · February 2022
2021
Faster Mutation Analysis with Fewer Processes and Smaller Overheads
ASE'21: 36th IEEE/ACM International Conference on Automated Software Engineering · November 2021
Accelerating Program Analyses in Datalog by Merging Library Facts
SAS'21: International Static Analysis Symposium · October 2021
Generalizable Synthesis Through Unification
OOPSLA'21: Object Oriented Programming Languages, Systems and Applications · October 2021
Interactive Patch Filtering as Debugging Aid
ICSME'21: 37th International Conference on Software Maintenance and Evolution · September 2021
✦ IEEE TCSE Distinguished Paper Award
A Syntax-Guided Edit Decoder for Neural Program Repair
ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering · August 2021
✦ ACM SIGSOFT Distinguished Paper Award Nominee
Probabilistic Delta Debugging
ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering · August 2021
✦ ACM SIGSOFT Distinguished Paper Award
A Large-scale Study on API Misuses in the Wild
ICST'21: IEEE International Conference on Software Testing, Verification and Validation · April 2021
2020
Guiding Dynamic Programming via Structural Probability for Accelerating Programming by Example
OOPSLA'20: Object-Oriented Programming, Systems, Languages, and Applications 2020 · November 2020
Detecting Numerical Bugs in Neural Network Architectures
ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering · November 2020
✦ ACM SIGSOFT Distinguished Paper Award
How to Mitigate the Incident? An Effective Troubleshooting Guide Recommendation Technique for Online Service Systems
ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Industrial Track · September 2020
Scaling Static Taint Analysis to Industrial SOA Applications: A Case Study at Alibaba
ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Industrial Track · September 2020
OCoR: An Overalpping-Aware Code Retriever
ASE'20: 35th IEEE/ACM International Conference on Automated Software Engineering · September 2020
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
TOSEM: ACM Transactions on Software Engineering and Methodology · August 2020
NLocalSAT: Boosting Local Search with Solution Prediction
IJCAI'20: 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence · July 2020
Question Selection for Interactive Program Synthesis
PLDI'20: 41st ACM-SIGPLAN Symposium on Programming Language Design and Implementation · June 2020
Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques
软件学报, 31(6):1681−1702 · June 2020
How Do Python Framework APIs Evolve? An Exploratory Study
SANER'20: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering · February 2020
Detecting Floating-Point Errors via Atomic Conditions
POPL'20: 47th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, Louisiana, United States · January 2020
TreeGen: A Tree-Based Transformer Architecture for Code Generation
AAAI'20: Thirty-Fourth AAAI Conference on Artificial Intelligence · January 2020
✦ Oral Paper
2019
Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study
ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States · November 2019
History-Guided Configuration Diversification for Compiler Test-Program Generation
ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States · November 2019
✦ ACM SIGSOFT Distinguished Paper Award
Inferring Program Transformations From Singular Examples via Big Code
ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States · November 2019
How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects
ISSRE'19: The 30th International Symposium on Software Reliability Engineering, Berlin, Germany · October 2019
Static Duplicate Bug Report Identification for Compilers (in Chinese)
中国科学：信息科学 · September 2019
Learning Code Context Information to Predict Comment Locations
IEEE Transactions on Reliability, Early Access · August 2019
Automated Program Repair: A Step towards Software Automation
Science China Information Sciences, Online First · August 2019
✦ Invited Submission
A Manual Inspection Of Defects4j Bugs And Its Implications For Automatic Program Repair
Science China Information Sciences, Online First · August 2019
An Empirical Study of Fault Localization Families and Their Combinations
IEEE Transactions on Software Engineering, Online First · January 2019
A Grammar-Based Structural CNN Decoder for Code Generation
AAAI'19: Thirty-Third AAAI Conference on Artificial Intelligence · January 2019
2018
Coverage Prediction for Accelerating Compiler Testing
IEEE Transactions on Software Engineering, Online First · December 2018
Automatic Clone Recommendation for Refactoring Based on the Present and the Past
ICSME'18: 34th IEEE International Conference on Software Maintenance and Evolution · September 2018
An Empirical Study on TensorFlow Program Bugs
ISSTA'18: International Symposium on Software Testing and Analysis · July 2018
Shaping Program Repair Space with Existing Patches and Similar Code
ISSTA'18: International Symposium on Software Testing and Analysis · July 2018
Identifying Features in Forks
ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden · May 2018
Identifying Patch Correctness in Test-Based Program Repair
ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden · May 2018
2017
Un-preprocessing: Extended CPP that works with your tools
Internetware'17: 9th Asia-Pacific Symposium on Internetware, Shanghai, China, pages 21-30 · September 2017
✦ Invited to Journal Submission
Mining Version Control System for Automatically Generating Commit Comment
ESEM'17: 11th International Symposium on Empirical Software Engineering and Measurement, Toronto, Canada · August 2017
Faster Mutation Analysis via Equivalence Modulo States
ISSTA'17: International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pages 295-306 · July 2017
✦ ACM SIGSOFT Distinguished Paper Award
Learning to Prioritize Test Programs for Compiler Testing
ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina · May 2017
Precise Condition Synthesis for Program Repair
ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina · May 2017
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization
ESOP'17: 26th European Symposium on Programming, Uppsala, Sweden · April 2017
Auxiliary Method for Code Commit Comprehension Based on Core-Class Identification
软件学报, 28(6) · February 2017
2016
Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors
FSE'16: 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, pp. 619-630, Seatle, WA, USA · November 2016
Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach
IEEE Transactions on Services Computing, Online First · July 2016
Transforming programs between APIs with Many-to-Many Mappings
ECOOP'16: 30th European Conference on Object-Oriented Programming, pp. 25:1-25:26, Rome, Italy · July 2016
High-confidence software evolution
Science China Information Sciences, 59:071101 · June 2016
A Model-Based Fault Tolerance Mechanism Development Approach for Cloud Computing
计算机研究与发展（黄罡老师优青特邀论文），第53卷，第1期 · June 2016
An Empirical Comparison of Compiler Testing Techniques
ICSE'16: 38th International Conference on Software Engineering, pp. 180-190, Austin, Texas, USA · May 2016
Test Case Prioritization for Compilers: a Text-Vector Based Approach
ICST'16: IEEE International Conference on Software Testing, Verificationa and Validation, pp. 266-277, Chicago, IL, USA · April 2016
Empirical Evaluation of Test Coverage for Functional Programs
ICST'16: IEEE International Conference on Software Testing, Verificationa and Validation (the posted version corrects some data representation errors in the published version), pp. 255-265, Chicago, IL, USA · April 2016
2015
Fixing Recurring Crash Bugs via Analyzing Q&A Sites
ASE'15: 30th IEEE/ACM International Conference on Automated Software Engineering, pages 307-318, Lincoln, Nebraska, USA · November 2015
Inner Oracles: Input-Specific Assertions on Internal States
ESEC/FSE'15-NIER: New Idea Track at 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 902-905, Bergamo, Italy · August 2015
Range Fixes: Interactive Error Resolution for Software Configuration
IEEE Transactions on Software Engineering, Volume 41, Issue 6, pages 603-619 · June 2015
✦ Featured on the Homepage
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
ICSE'15: 37th International Conference on Software Engineering, pages 529-539, Florence, Italy · May 2015
✦ ACM SIGSOFT Distinguished Paper Nominee
Safe Memory-Leak Fixing for C Programs
ICSE'15: 37th International Conference on Software Engineering, pages 459-470, Florence, Italy · May 2015
SWIN: Towards Type-Safe Java Program Adaptation between APIs
In PEPM'15: Partial Evaluation and Program Manipulation Workshop, pages 91-102, Mumbai, India · January 2015
✦ Invited to Journal Submission
2014
Reversible Transformation from Context-free Grammars
计算机科学与探索, 2015 9(7):793-802, 提前在线公开 · December 2014
✦ Invited Submission
Reversible Computation from Context-Free Grammars
第十三届全国软件与应用学术会议(NASAC2014), 桂林，广西 · November 2014
✦ Invited to Journal Submission
Model Defined Fault Tolerance in Cloud
In Internetware'14: the Sixth Asia-Pacific Symposium on Internetware, pages 116-119, Hong Kong, China · November 2014
Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis
In ICSME'14: 30th International Conference on Software Maintenance and Evolution, pages 181-190, Victoria, Canada · September 2014
Search-Based Inference of Polynomial Metamorphic Relations
In ASE'14: 29th IEEE/ACM International Conference on Automated Software Engineering, pp 701-712, Vasteras, Sweden · September 2014
Cooperative Software Testing and Analysis: Advances and Challenges
Journal of Computer Science and Technology, Volume 29, Issue 4, pp 713-723 · July 2014
Interactive Inconsistency Fixing in Feature Modeling
Journal of Computer Science and Technology, Volume 29, Issue 4, pp 724-736 · July 2014
2013
Towards RSA-Based High Availability Configuration in Cloud
In MRT'13: 8th International Workshop on Models at Run.time, Austin, Texas, USA · September 2013
SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities
In SPLC'13: Proceedings of 17th International Software Product Line Conference, pp. 257-271, Tokyo, Japan · August 2013
How Does Web Service API Evolution Affect Clients?
In ICWS'13: Proceedings of IEEE 20th International Conference on Web Service (Application & Experience Track), pp 300-307, Santa Clara, CA, USA · June 2013
Supporting Feature Model Refinement with Updatable View
Frontiers of Computer Science in China, Vol 7, Issue 2, pp 257-271 · April 2013
A Case Study on Consistency Management of Business and IT Process Models in Banking
Software and Systems Modeling, Springer. Online First · March 2013
Model Synchronization Based on Triple Graph Grammars: Correctness, Completeness and Invertibility
Software and Systems Modeling, Springer. Online First · January 2013
✦ Invited Submission
2012
Automating Presentation Changes in Dynamic Web Applications via Collaborative Hybrid Analysis
In FSE'12: 20th International Symposium on the Foundations of Software Engineering, pages 16:1-16:11 · November 2012
Inferring the Data Access from the Clients of Generic APIs
In ICSM'12: 28th IEEE International Conference on Software Maintenance, pages 388--397, Riva del Garda, Italy · September 2012
Generating Range Fixes for Software Configuration
In ICSE'12: Proceedings of 34th International Conference on Software Engineering, pages 89-99, Zurich, Switzerland · June 2012
A User Survey of Configuration Challenges in Linux and eCos
VaMoS'12: Sixth International Workshop on Variability Modelling of Software-intensive Systems · January 2012
2011
Correctness of Model Synchronization Based on Triple Graph Grammars
MODELS'11: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, pages 668-682 · October 2011
✦ Invited to Journal Submission
From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case
MODELS'11: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, pages 304-318 · October 2011
✦ MODELS Most Influential Paper
Generating Range Fixes for Software Configuration
Technical Report GSDLAB-TR 2011-10-27, Generative Software Development Laboratory, University of Waterloo · October 2011
Configuration Challenges in Linux and eCos: A Survey
Technical Report, GSDLAB-TR 2011-09-29 · September 2011
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case
Journal of Object Technology, Volume 10, pp. 6:1-25 · June 2011
✦ Invited Submission
Configurator Semantics of the CDL Language
Technical Report GSDLAB-TR 2011-06-05, Generative Software Development Laboratory, University of Waterloo · June 2011
A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System
FOSD'11: 3rd International Workshop on Feature-Oriented Software Development · June 2011
Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach
Journal of Systems and Software, Volume 84, Issue 5, Pages 711-723, Elsevier · May 2011
From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case
Technical Report GSDLAB-TR 2011-05-03, Generative Software Development Laboratory, University of Waterloo · May 2011
Synchronizing Concurrent Model Updates Based on Bidirectional Transformation
Software and Systems Modeling, Springer. Online First · January 2011
✦ Invited Submission
2010
A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models
In MODELS'10: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Part I, 181-195 · October 2010
Inferring Meta-Models for Runtime System Data from the Clients of Management APIs
In MODELS'10: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Part II, 168-182 · October 2010
Specifying Overlaps of Heterogeneous Models for Global Consistency Checking
In MDI'10: Proceedings of the 1st Workshop on Model Driven Interoperability, pages 42-51 · October 2010
✦ Invited to post-proceedings
Tolerating Inconsistency in Feature Models
In LWI'10: Proceedings of 3rd Workshop on Living With Inconsistency in Software Development, pages 15-20 · September 2010
From State- to Delta-Based Bidirectional Model Transformations
In ICMT'10: Proceedings of the 3rd International Conference on Model Transformation, pages 61-76 · June 2010
✦ Invited to Journal Submission
2009
Generating Synchronization Engines between Running Systems and Their Model-Based Views
In Models@run.time'09: Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, page 140-154 · October 2009
✦ Invited to post-proceedings
Beanbag: A Language for Automatic Model Inconsistency Fixing
ソフトウェアエンジニアリングシンポジウム２００９（SES2009）, ポスター展示, 東京女子大学, pp 189 · September 2009
A Language-based Approach to Model Synchronization in Software Engineering
東京大学数理情報学専攻博士論文 · September 2009
Supporting Automatic Model Inconsistency Fixing
In ESEC/FSE'09: Proceedings of 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 315-324 · August 2009
Supporting Parallel Updates with Bidirectional Model Transformations
In ICMT'09: Proceedings of the Second International Conference on Model Transformation, ETH Zurich, Switzerland, pages 213-228 · June 2009
✦ Invited to Journal Submission
From Bidirectional Model Transformation to Model Synchronization
In AWFS'09: Proceedings of the Sixth Asian Workshop on Foundations of Software, Tokyo, Japan, pages 56-65 · April 2009
2008
A Model-Driven Framework for Constructing Runtime Architecture Infrastructures
Technical Report GRACE-TR-2008-05, Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics, Japan · December 2008
Beanbag: Operation-based Synchronization with Intra-relations
Technical Report GRACE-TR-2008-04, Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics, Japan · December 2008
Enforcing a Security Pattern in Stakeholder Goal Models
In QoP'08: Proceedings of the 4th Workshop on Quality of Protection, co-located with CCS-2008, Alexandria VA, USA, pages 9-14 · October 2008
On-Site Synchronizers for Multi-View Applications
日本ソフトウェア科学会第25回大会, 筑波大学東京キャンパス, 3C-2 · September 2008
On-Site Synchronization of Software Artifacts
Technical Report METR 2008-21, Department of Mathematical Informatics, University of Tokyo · April 2008
2007
Towards Automatic Model Synchronization from Model Transformations
In ASE'07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, Georgia, pages 164-173 · November 2007
Bi-X Core: A General-Purpose Bidirectional Transformation Language
In JSSST'07: Proceedings of the 24th JSSST Conference, No. 2C-3, Nara, Japan · September 2007
Bi-CQ: A Bidirectional Code Query Language
In GTTSE'07: (informal) Proceedings of the 2nd Summer School on Generative and Transformational Techniques in Software Engineering, pages 348–349 · July 2007
A Bidirectional Transformation Approach towards Automatic Model Synchronization
In GTTSE'07: (informal) Proceedings of the 2nd Summer School on Generative and Transformational Techniques in Software Engineering, pages 359–360 · July 2007
Realizing Bidirectional Graph Transformations From Bidirectional Tree Transformations
日本情報処理学会第69回全国大会 (IPSJ'07), 早稲田大学大久保キャンパス · March 2007
2006
A Compositional Approach to Bidirectional Model Transformation
Technical Report METR 2006-54, Department of Mathematical Informatics, University of Tokyo · October 2006
2004
CCC: An Aspect-Oriented Intermediate Language on .Net Platform
In WOSD'04: Proceedings of the International Workshop on Aspect-Oriented Software Development, pages 44-58 · September 2004
The Design and Implementation of a Language-Independent Aspect-Oriented Extension
本科毕业论文, 电子科技大学 · July 2004
About Author Orders
In most of the papers from our group, the student authors are listed first and then the professors. The students are often sorted by their contributions, where equal contributors are sorted alphabetically and marked with "#". The sorting methods of the professors vary, sometimes by contribution and sometimes by seniority, but the one with the most contribution usually serves as the corresponding author (typical in China), and denoted with "*".