LLM-based Vulnerability Detection at Project Scale: An Empirical Study
IEEE Transactions on Software Engineering, Accepted · 2026年10月
期刊论文 37
SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
TOSEM: ACM Transactions on Software Engineering and Methodology · 2026年7月
Intent-Aware Defect Pattern Extraction from Singular Examples
ACM Trans. Softw. Eng. Methodol., Association for Computing Machinery · 2026年6月
SmartFL: Semantics Based Probabilistic Fault Localization
IEEE Trans. Software Eng. 51(7): 2161-2180 · 2025年7月
Validity-Preserving Delta Debugging via Generator Trace Reduction
ACM Trans. Softw. Eng. Methodol. 34(3): 65:1-65:33 · 2025年2月
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
TSE: IEEE Transactions on Software Engineering, Online First · 2024年1月
Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
TOPLAS: ACM Transactions on Programming Languages and Systems, Accepted · 2024年1月
Toward Actionable Testing of Deep Learning Models
Science China, Information Sciences, Volume 66, Issue 7:176101, Accepted at 2022-08-30 · 2023年6月
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 · 2022年7月
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
TOSEM: ACM Transactions on Software Engineering and Methodology · 2020年8月
Learning Code Context Information to Predict Comment Locations
IEEE Transactions on Reliability, Early Access · 2019年8月
Automated Program Repair: A Step towards Software Automation
Science China Information Sciences, Online First · 2019年8月
✦ 特邀投稿
A Manual Inspection Of Defects4j Bugs And Its Implications For Automatic Program Repair
Science China Information Sciences, Online First · 2019年8月
An Empirical Study of Fault Localization Families and Their Combinations
IEEE Transactions on Software Engineering, Online First · 2019年1月
Coverage Prediction for Accelerating Compiler Testing
IEEE Transactions on Software Engineering, Online First · 2018年12月
Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach
IEEE Transactions on Services Computing, Online First · 2016年7月
High-confidence software evolution
Science China Information Sciences, 59:071101 · 2016年6月
Range Fixes: Interactive Error Resolution for Software Configuration
IEEE Transactions on Software Engineering, Volume 41, Issue 6, pages 603-619 · 2015年6月
✦ Featured on the Homepage
Cooperative Software Testing and Analysis: Advances and Challenges
Journal of Computer Science and Technology, Volume 29, Issue 4, pp 713-723 · 2014年7月
Interactive Inconsistency Fixing in Feature Modeling
Journal of Computer Science and Technology, Volume 29, Issue 4, pp 724-736 · 2014年7月
Supporting Feature Model Refinement with Updatable View
Frontiers of Computer Science in China, Vol 7, Issue 2, pp 257-271 · 2013年4月
A Case Study on Consistency Management of Business and IT Process Models in Banking
Software and Systems Modeling, Springer. Online First · 2013年3月
Model Synchronization Based on Triple Graph Grammars: Correctness, Completeness and Invertibility
Software and Systems Modeling, Springer. Online First · 2013年1月
✦ 特邀投稿
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case
Journal of Object Technology, Volume 10, pp. 6:1-25 · 2011年6月
✦ 特邀投稿
Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach
Journal of Systems and Software, Volume 84, Issue 5, Pages 711-723, Elsevier · 2011年5月
Synchronizing Concurrent Model Updates Based on Bidirectional Transformation
Software and Systems Modeling, Springer. Online First · 2011年1月
✦ 特邀投稿
会议论文 80
LLM-Based Alarm Resolution Guided by Bayesian Program Analysis
Proc. ACM Program. Lang., 10(OOPSLA2), Association for Computing Machinery · 2026年10月
Self-Adaptive Code Representation: Grammar-Guided or Token-Based?
Proc. ACM Softw. Eng., 3(ISSTA), Association for Computing Machinery · 2026年10月
Mining Tactics for Automated Theorem Proving
ASE'26: 41th IEEE/ACM International Conference on Automated Software Engineering · 2026年10月
Reducing Cost of LLM Agents with Trajectory Reduction
FSE'26: The ACM International Conference on the Foundations of Software Engineering · 2026年7月
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
ICSE'26: 48th IEEE/ACM International Conference on Software Engineering · 2026年5月
✦ ACM SIGSOFT杰出论文奖
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
ICSE'26: 48th IEEE/ACM International Conference on Software Engineering · 2026年5月
Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages
POPL'26: 53rd ACM SIGPLAN Symposium on Principles of Programming Languages · 2026年1月
Belief Propagation with Local Structure and Its Applications in Program Analysis
ASE'25: 40th IEEE/ACM International Conference on Automated Software Engineering · 2025年11月
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 · 2025年10月
Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
ACL (Findings): Findings of the Association for Computational Linguistic · 2025年7月
Proving Functional Program Equivalence via Directed Lemma Synthesis
FM'24: 26th International Symposium on Formal Methods · 2024年9月
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis
PLDI'24: ACM SIGPLAN Conference on Programming Language Design and Implementation · 2024年6月
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code
ICSE'24: 46th International Conference on Software Engineering · 2024年4月
Synthesizing Efficient Memoization Algorithms
OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications · 2023年10月
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications · 2023年10月
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees
ISSRE'23: the 34th IEEE International Symposium on Software Reliability Engineering · 2023年9月
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability with Attribute Checking
ASE'23: 38th IEEE/ACM International Conference on Automated Software Engineering · 2023年9月
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
ICSE'23: 45th International Conference on Software Engineering · 2023年5月
Tare: Type-Aware Neural Program Repair
ICSE'23: 45th International Conference on Software Engineering · 2023年5月
Oracle-Free Repair Synthesis for Floating-Point Programs
OOPSLA'22: the OOPSLA issue of the Proceedings of the ACM on Programming Languages (PACMPL) · 2022年12月
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification
ASE'22: 37th IEEE/ACM International Conference on Automated Software Engineering · 2022年10月
Lyra: A Benchmark for Turducken-Style Code Generation
IJCAI'22: 31st International Joint Conference on Artificial Intelligence · 2022年7月
Grape: Grammar Preserving Rule Embedding
IJCAI'22: 31st International Joint Conference on Artificial Intelligence · 2022年7月
Improving Machine Translation Systems via Isotopic Replacement
ICSE'22: 44th International Conference on Software Engineering · 2022年5月
Fault Localization via Efficient Probabilistic Modeling of Program Semantics
ICSE'22: 44th International Conference on Software Engineering · 2022年5月
Preferential Labeling for Unattributed Node Classification in GNNs
AAAI'22: 36th AAAI Conference on Artificial Intelligence · 2022年2月
Faster Mutation Analysis with Fewer Processes and Smaller Overheads
ASE'21: 36th IEEE/ACM International Conference on Automated Software Engineering · 2021年11月
Accelerating Program Analyses in Datalog by Merging Library Facts
SAS'21: International Static Analysis Symposium · 2021年10月
Generalizable Synthesis Through Unification
OOPSLA'21: Object Oriented Programming Languages, Systems and Applications · 2021年10月
Interactive Patch Filtering as Debugging Aid
ICSME'21: 37th International Conference on Software Maintenance and Evolution · 2021年9月
✦ IEEE TCSE杰出论文奖
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 · 2021年8月
✦ ACM SIGSOFT杰出论文奖提名
Probabilistic Delta Debugging
ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering · 2021年8月
✦ ACM SIGSOFT杰出论文奖
A Large-scale Study on API Misuses in the Wild
ICST'21: IEEE International Conference on Software Testing, Verification and Validation · 2021年4月
Guiding Dynamic Programming via Structural Probability for Accelerating Programming by Example
OOPSLA'20: Object-Oriented Programming, Systems, Languages, and Applications 2020 · 2020年11月
Detecting Numerical Bugs in Neural Network Architectures
ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering · 2020年11月
✦ ACM SIGSOFT杰出论文奖
OCoR: An Overalpping-Aware Code Retriever
ASE'20: 35th IEEE/ACM International Conference on Automated Software Engineering · 2020年9月
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 · 2020年7月
Question Selection for Interactive Program Synthesis
PLDI'20: 41st ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2020年6月
How Do Python Framework APIs Evolve? An Exploratory Study
SANER'20: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering · 2020年2月
Detecting Floating-Point Errors via Atomic Conditions
POPL'20: 47th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, Louisiana, United States · 2020年1月
TreeGen: A Tree-Based Transformer Architecture for Code Generation
AAAI'20: Thirty-Fourth AAAI Conference on Artificial Intelligence · 2020年1月
✦ 口头报告
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 · 2019年11月
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 · 2019年11月
✦ ACM SIGSOFT杰出论文奖
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 · 2019年11月
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 · 2019年10月
A Grammar-Based Structural CNN Decoder for Code Generation
AAAI'19: Thirty-Third AAAI Conference on Artificial Intelligence · 2019年1月
Automatic Clone Recommendation for Refactoring Based on the Present and the Past
ICSME'18: 34th IEEE International Conference on Software Maintenance and Evolution · 2018年9月
An Empirical Study on TensorFlow Program Bugs
ISSTA'18: International Symposium on Software Testing and Analysis · 2018年7月
Shaping Program Repair Space with Existing Patches and Similar Code
ISSTA'18: International Symposium on Software Testing and Analysis · 2018年7月
Identifying Features in Forks
ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden · 2018年5月
Identifying Patch Correctness in Test-Based Program Repair
ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden · 2018年5月
Un-preprocessing: Extended CPP that works with your tools
Internetware'17: 9th Asia-Pacific Symposium on Internetware, Shanghai, China, pages 21-30 · 2017年9月
✦ 被邀请投稿到期刊
Mining Version Control System for Automatically Generating Commit Comment
ESEM'17: 11th International Symposium on Empirical Software Engineering and Measurement, Toronto, Canada · 2017年8月
Faster Mutation Analysis via Equivalence Modulo States
ISSTA'17: International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pages 295-306 · 2017年7月
✦ ACM SIGSOFT杰出论文奖
Learning to Prioritize Test Programs for Compiler Testing
ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina · 2017年5月
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization
ESOP'17: 26th European Symposium on Programming, Uppsala, Sweden · 2017年4月
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 · 2016年11月
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 · 2016年7月
An Empirical Comparison of Compiler Testing Techniques
ICSE'16: 38th International Conference on Software Engineering, pp. 180-190, Austin, Texas, USA · 2016年5月
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 · 2016年4月
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 · 2016年4月
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 · 2015年11月
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
ICSE'15: 37th International Conference on Software Engineering, pages 529-539, Florence, Italy · 2015年5月
✦ ACM SIGSOFT杰出论文奖入围
Safe Memory-Leak Fixing for C Programs
ICSE'15: 37th International Conference on Software Engineering, pages 459-470, Florence, Italy · 2015年5月
Model Defined Fault Tolerance in Cloud
In Internetware'14: the Sixth Asia-Pacific Symposium on Internetware, pages 116-119, Hong Kong, China · 2014年11月
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 · 2014年9月
Search-Based Inference of Polynomial Metamorphic Relations
In ASE'14: 29th IEEE/ACM International Conference on Automated Software Engineering, pp 701-712, Vasteras, Sweden · 2014年9月
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 · 2013年8月
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 · 2012年11月
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 · 2012年9月
Generating Range Fixes for Software Configuration
In ICSE'12: Proceedings of 34th International Conference on Software Engineering, pages 89-99, Zurich, Switzerland · 2012年6月
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 · 2011年10月
✦ 被邀请投稿到期刊
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 · 2011年10月
✦ MODELS最有影响力论文奖
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 · 2010年10月
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 · 2010年10月
From State- to Delta-Based Bidirectional Model Transformations
In ICMT'10: Proceedings of the 3rd International Conference on Model Transformation, pages 61-76 · 2010年6月
✦ 被邀请投稿到期刊
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 · 2009年8月
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 · 2009年6月
✦ 被邀请投稿到期刊
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 · 2007年11月
会议其他类别 6
ASAC: A Benchmark for Algorithm Synthesis
FSE'24-Demo: The ACM International Conference on the Foundations of Software Engineering, Tool Demonstration Track · 2024年9月
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 · 2023年9月
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 · 2020年9月
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 · 2020年9月
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 · 2015年8月
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 · 2013年6月
国内会议 5
Beanbag: A Language for Automatic Model Inconsistency Fixing
ソフトウェアエンジニアリングシンポジウム２００９（SES2009）, ポスター展示, 東京女子大学, pp 189 · 2009年9月
On-Site Synchronizers for Multi-View Applications
日本ソフトウェア科学会第25回大会, 筑波大学東京キャンパス, 3C-2 · 2008年9月
Bi-X Core: A General-Purpose Bidirectional Transformation Language
日本ソフトウェア科学会第24回大会, 日本奈良先端科学技術大学院大学, 2C-3 · 2007年9月
Realizing Bidirectional Graph Transformations From Bidirectional Tree Transformations
日本情報処理学会第69回全国大会 (IPSJ'07), 早稲田大学大久保キャンパス · 2007年3月
研讨会论文 16
Trustworthy Software Project Generation: A Case Study with an Interactive Theorem Prover
JAWs 2: Journal Ahead Workshop at ASE 2026 · 2026年10月
The ET Program Repair Tool for Java
APR-Comp: The first international competition for Automated Program Repair · 2024年2月
SWIN: Towards Type-Safe Java Program Adaptation between APIs
In PEPM'15: Partial Evaluation and Program Manipulation Workshop, pages 91-102, Mumbai, India · 2015年1月
✦ 被邀请投稿到期刊
Towards RSA-Based High Availability Configuration in Cloud
In MRT'13: 8th International Workshop on Models at Run.time, Austin, Texas, USA · 2013年9月
A User Survey of Configuration Challenges in Linux and eCos
VaMoS'12: Sixth International Workshop on Variability Modelling of Software-intensive Systems · 2012年1月
A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System
FOSD'11: 3rd International Workshop on Feature-Oriented Software Development · 2011年6月
Specifying Overlaps of Heterogeneous Models for Global Consistency Checking
In MDI'10: Proceedings of the 1st Workshop on Model Driven Interoperability, pages 42-51 · 2010年10月
✦ 邀请到后期论文集
Tolerating Inconsistency in Feature Models
In LWI'10: Proceedings of 3rd Workshop on Living With Inconsistency in Software Development, pages 15-20 · 2010年9月
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 · 2009年10月
✦ 邀请到后期论文集
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 · 2009年4月
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 · 2008年10月
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 · 2007年7月
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 · 2007年7月
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 · 2004年9月
技术报告 10
Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling
arXiv:2507.23370 · 2025年7月
DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence
arXiv:2401.14196 · 2024年1月
Generating Range Fixes for Software Configuration
Technical Report GSDLAB-TR 2011-10-27, Generative Software Development Laboratory, University of Waterloo · 2011年10月
Configuration Challenges in Linux and eCos: A Survey
Technical Report, GSDLAB-TR 2011-09-29 · 2011年9月
Configurator Semantics of the CDL Language
Technical Report GSDLAB-TR 2011-06-05, Generative Software Development Laboratory, University of Waterloo · 2011年6月
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 · 2011年5月
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 · 2008年12月
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 · 2008年12月
On-Site Synchronization of Software Artifacts
Technical Report METR 2008-21, Department of Mathematical Informatics, University of Tokyo · 2008年4月
A Compositional Approach to Bidirectional Model Transformation
Technical Report METR 2006-54, Department of Mathematical Informatics, University of Tokyo · 2006年10月
学位论文 2
A Language-based Approach to Model Synchronization in Software Engineering
東京大学数理情報学専攻博士論文 · 2009年9月
作者顺序说明
本小组的大部分论文遵循“学生-教师”的顺序。学生通常按贡献排序，贡献相近的学生按音序排列，并用“#”标记。教师有时按资历排序有时按贡献排序，但主要贡献教师通常作为通讯作者，用“*”标记。